SOAP 2019 – Proceedings

8th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP 2019)

Frontmatter

Keynote

Adventures in Commercial-Grade Static Analysis (Keynote)
Simon Goldsmith
(Synopsys, USA)

Publisher's Version

Papers

Fixpoint Reuse for Incremental JavaScript Analysis
Lawton Nichols, Mehmet Emre, and Ben Hardekopf
(University of California at Santa Barbara, USA)

Publisher's Version

Know Your Analysis: How Instrumentation Aids Understanding Static Analysis
Philipp Dominik Schubert, Richard Leer, Ben Hermann, and Eric Bodden
(University of Paderborn, Germany; Fraunhofer IEM, Germany)

Publisher's Version

SootDiff: Bytecode Comparison across Different Java Compilers
Andreas Dann, Ben Hermann, and Eric Bodden
(University of Paderborn, Germany; Fraunhofer IEM, Germany)

Publisher's Version

Modernizing Parsing Tools: Parsing and Analysis with Object-Oriented Programming
Steven O'Hara and Rocky Slavin
(University of Texas at San Antonio, USA)

Publisher's Version

Commit-Time Incremental Analysis
Padmanabhan Krishnan, Rebecca O'Donoghue, Nicholas Allen, and Yi Lu
(Oracle, Australia)

Publisher's Version

Program Analysis for Process Migration
Buse Yilmaz, Ilyas Turimbetov, and Didem Unat
(Koç University, Turkey)

Publisher's Version

MetaDL: Analysing Datalog in Datalog
Alexandru Dura, Hampus Balldin, and Christoph Reichenbach
(Lund University, Sweden)

Publisher's Version

proc time: 1.5