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)


@InProceedings{SOAP19p1, author = {Simon Goldsmith}, title = {Adventures in Commercial-Grade Static Analysis (Keynote)}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3315568.3338015}, year = {2019}, } Publisher's Version

Papers

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


@InProceedings{SOAP19p7, author = {Lawton Nichols and Mehmet Emre and Ben Hardekopf}, title = {Fixpoint Reuse for Incremental JavaScript Analysis}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {7-6}, doi = {10.1145/3315568.3329964}, year = {2019}, } 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)


@InProceedings{SOAP19p13, author = {Philipp Dominik Schubert and Richard Leer and Ben Hermann and Eric Bodden}, title = {Know Your Analysis: How Instrumentation Aids Understanding Static Analysis}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {13-12}, doi = {10.1145/3315568.3329965}, year = {2019}, } Publisher's Version

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


@InProceedings{SOAP19p19, author = {Andreas Dann and Ben Hermann and Eric Bodden}, title = {SootDiff: Bytecode Comparison across Different Java Compilers}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {19-18}, doi = {10.1145/3315568.3329966}, year = {2019}, } 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)


@InProceedings{SOAP19p25, author = {Steven O'Hara and Rocky Slavin}, title = {Modernizing Parsing Tools: Parsing and Analysis with Object-Oriented Programming}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {25-24}, doi = {10.1145/3315568.3329967}, year = {2019}, } Publisher's Version

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


@InProceedings{SOAP19p31, author = {Padmanabhan Krishnan and Rebecca O'Donoghue and Nicholas Allen and Yi Lu}, title = {Commit-Time Incremental Analysis}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {31-30}, doi = {10.1145/3315568.3329968}, year = {2019}, } Publisher's Version

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


@InProceedings{SOAP19p37, author = {Buse Yilmaz and Ilyas Turimbetov and Didem Unat}, title = {Program Analysis for Process Migration}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {37-36}, doi = {10.1145/3315568.3329969}, year = {2019}, } Publisher's Version

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


@InProceedings{SOAP19p43, author = {Alexandru Dura and Hampus Balldin and Christoph Reichenbach}, title = {MetaDL: Analysing Datalog in Datalog}, booktitle = {Proc.\ SOAP}, publisher = {ACM}, pages = {43-42}, doi = {10.1145/3315568.3329970}, year = {2019}, } Publisher's Version

proc time: 0.75