Recommendations
A Principled Approach to Selective Context Sensitivity for Pointer Analysis
Context sensitivity is an essential technique for ensuring high precision in static analyses. It has been observed that applying context sensitivity partially, only on a select subset of the methods, can improve the balance between analysis precision ...
A Theory of Slicing for Imperative Probabilistic Programs
Dedicated to the memory of Sebastian Danicic.
We present a theory for slicing imperative probabilistic programs containing random assignments and “observe” statements for conditioning. We represent such programs as probabilistic control-flow graphs (...
Debugging Large-scale Datalog: A Scalable Provenance Evaluation Strategy
Logic programming languages such as Datalog have become popular as Domain Specific Languages (DSLs) for solving large-scale, real-world problems, in particular, static program analysis and network analysis. The logic specifications that model analysis ...






Comments