Advanced Program Analysis - Blockseminar March 2019

List of Papers

1. Making numerical program analysis fast, PLDI'15
2. AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation, S&P'18
3. RacerD: compositional static race detection, OOPSLA'18
4. Race Detection for Android Applications, PLDI'14
5. Driller: Augmeting Fuzzing Through Selective Symbolic Execution, NDSS'16
6. Directed Greybox Fuzzing, CCS'17
7. Static Analysis for Probabilistic Programs: Inferring Whole Program Properties from Infinitely Many Paths, PLDI'13
8. Conditional Model Checking: A Technique to Pass Information between Verifiers, FSE'12
9. FlowDroid: Precise Context, Flow, Field, Object-sensitive and Lifecycle-aware Taint Analysis for Android, PLDI'14
10. A Formally-Verified C Static Analyzer, POPL'15
11. Automatic Testing of Symbolic Execution Engines via Program Generation and Differential Testing, ASE'17
12. Contract-Based Resource Verification for Higher-Order Functions with Memoization, POPL'17