PLDI 2019 Workshops
40th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2019)
Powered by
Conference Publishing Consulting

8th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP 2019), June 22, 2019, Phoenix, AZ, USA

SOAP 2019 – Proceedings

Contents - Abstracts - Authors

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

Frontmatter

Title Page
Message from the Chairs

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 ORCID logo, and Ben Hardekopf ORCID logo
(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 HermannORCID logo, and Eric BoddenORCID logo
(University of Paderborn, Germany; Fraunhofer IEM, Germany)
Publisher's Version
SootDiff: Bytecode Comparison across Different Java Compilers
Andreas Dann, Ben HermannORCID logo, and Eric BoddenORCID logo
(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 ORCID logo, 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 ORCID logo, Hampus Balldin, and Christoph Reichenbach
(Lund University, Sweden)
Publisher's Version

proc time: 2.33