Static Analysis Topics
Concurrency and Weak Memory Models
- Relational Thread Interference Abstraction
- Model-checking abstractions and partial order reductions.
- Possibly: Concurrency with Algebraic Effect Handlers
SMT-Based Static Analysis
- Model-Checking Approaches: Classics & Overviews
- Combined static analysis & model-checking
- SMT for Post-Processing Analysis Results
Incremental, modular & demand-driven analysis
- Classic Fecht-Seidl solving algorithms & their incremental analysis.
- Verification of these solving algorithms.
- Some other papers on incremental/modular analysis.
- Procedure summaries...