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 Article Search

Papers

Fixpoint Reuse for Incremental JavaScript Analysis
Lawton Nichols, Mehmet Emre, and Ben Hardekopf
(University of California at Santa Barbara, USA)
Publisher's Version Article Search
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 Article Search
SootDiff: Bytecode Comparison across Different Java Compilers
Andreas Dann, Ben Hermann, and Eric Bodden
(University of Paderborn, Germany; Fraunhofer IEM, Germany)
Publisher's Version Article Search
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 Article Search
Commit-Time Incremental Analysis
Padmanabhan Krishnan, Rebecca O'Donoghue, Nicholas Allen, and Yi Lu
(Oracle, Australia)
Publisher's Version Article Search
Program Analysis for Process Migration
Buse Yilmaz, Ilyas Turimbetov, and Didem Unat
(Koç University, Turkey)
Publisher's Version Article Search
MetaDL: Analysing Datalog in Datalog
Alexandru Dura, Hampus Balldin, and Christoph Reichenbach
(Lund University, Sweden)
Publisher's Version Article Search

proc time: 1.93