20 citations · 27 across the 5 of their papers we have counts for
9 papers
Modular Composition of Inductive Types Using Lean Meta-programming
Ramy Shahin
Inductive types are ubiquitous building blocks in many programming and theorem proving languages. An inductive type is a closed set of constructors from which values of the type ca…
A Shallow Embedding of Datalog in Lean
Ramy Shahin
Datalog is a lightweight logic programming language, based on the logic of Horn clauses. Lean, on the other hand, is a proof assistant system and language based on the Calculus of…
Applying Declarative Analysis to Software Product Line Models: An Industrial Study
Ramy Shahin, Robert Hackman, Rafael Toledo +3
Software Product Lines (SPLs) are families of related software products developed from a common set of artifacts. Most existing analysis tools can be applied to a single product at…
Towards Assurance-Driven Architectural Decomposition of Software Systems
Ramy Shahin
Computer systems are so complex, so they are usually designed and analyzed in terms of layers of abstraction. Complexity is still a challenge facing logical reasoning tools that ar…
Towards Certified Analysis of Software Product Line Safety Cases
Ramy Shahin, Sahar Kokaly, Marsha Chechik
Safety-critical software systems are in many cases designed and implemented as families of products, usually referred to as Software Product Lines (SPLs). Products within an SPL va…
Towards Modal Software Engineering
Ramy Shahin
In this paper we introduce the notion of Modal Software Engineering: automatically turning sequential, deterministic programs into semantically equivalent programs efficiently oper…
Automatic and Efficient Variability-Aware Lifting of Functional Programs
Ramy Shahin, Marsha Chechik
A software analysis is a computer program that takes some representation of a software product as input and produces some useful information about that product as output. A softwar…
Variability-aware Datalog
Ramy Shahin, Marsha Chechik
Variability-aware computing is the efficient application of programs to different sets of inputs that exhibit some variability. One example is program analyses applied to Software…
Lifting Datalog-Based Analyses to Software Product Lines
Ramy Shahin, Marsha Chechik, Rick Salay
Applying program analyses to Software Product Lines (SPLs) has been a fundamental research problem at the intersection of Product Line Engineering and software analysis. Different…