20 citations · 66 across the 13 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.PL2019★ 7 cited
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…
cs.SE2019★ 20 cited
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…