Abstract is missing.
- Adventures in commercial-grade static analysis (keynote)Simon Goldsmith. 1 [doi]
- Fixpoint reuse for incremental JavaScript analysisLawton Nichols, Mehmet Emre, Ben Hardekopf. 2-7 [doi]
- Know your analysis: how instrumentation aids understanding static analysisPhilipp Dominik Schubert, Richard Leer, Ben Hermann, Eric Bodden. 8-13 [doi]
- SootDiff: bytecode comparison across different Java compilersAndreas Dann, Ben Hermann, Eric Bodden. 14-19 [doi]
- Modernizing parsing tools: parsing and analysis with object-oriented programmingSteven O'Hara, Rocky Slavin. 20-25 [doi]
- Commit-time incremental analysisPadmanabhan Krishnan, Rebecca O'Donoghue, Nicholas Allen, Yi Lu. 26-31 [doi]
- Program analysis for process migrationBuse Yilmaz, Ilyas Turimbetov, Didem Unat. 32-37 [doi]
- MetaDL: analysing Datalog in DatalogAlexandru Dura, Hampus Balldin, Christoph Reichenbach. 38-43 [doi]