Advanced Program Analysis - Blockseminar March 2019

List of Papers

(in no particular order)

  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
Imprint Data Protection