PLDI 2017 Workshops
38th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2017)
Powered by
Conference Publishing Consulting
6th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP 2017), June 18, 2017, Barcelona, Spain

SOAP 2017 – Proceedings

 Contents - Abstracts - Authors

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

Frontmatter

Title Page
Message from the Chairs

Points-to Analysis

Revisiting Recency Abstraction for JavaScript: Towards an Intuitive, Compositional, and Efficient Heap Abstraction
Jihyeok Park, Xavier Rival, and Sukyoung Ryu
(KAIST, South Korea; CNRS, France; ENS, France; INRIA, France; PSL Research University, France)
A Datalog Model of Must-Alias Analysis
George Balatsouras, Kostas Ferles, George Kastrinis, and Yannis Smaragdakis
(University of Athens, Greece; University of Texas at Austin, USA)
An Efficient Tunable Selective Points-to Analysis for Large Codebases
Behnaz Hassanshahi, Raghavendra Kagalavadi Ramesh, Padmanabhan Krishnan, Bernhard Scholz, and Yi Lu
(Oracle Labs, Australia; University of Sydney, Australia)

Modular Analysis

SootKeeper: Runtime Reusability for Modular Static Analysis
Florian Kübler, Patrick Müller, and Ben Hermann
(TU Darmstadt, Germany)
Info
Porting Doop to Soufflé: A Tale of Inter-Engine Portability for Datalog-Based Analyses
Tony Antoniadis, Konstantinos Triantafyllou, and Yannis Smaragdakis
(University of Athens, Greece)

Soundness and Precision

Systematic Approaches for Increasing Soundness and Precision of Static Analyzers
Esben Sparre Andreasen, Anders Møller, and Benjamin Barslev Nielsen
(Aarhus University, Denmark)
On the Construction of Soundness Oracles
Jens Dietrich, Li Sui, Shawn Rasheed, and Amjed Tahir
(Massey University, New Zealand)

Benchmarking

Hermes: Assessment and Creation of Effective Test Corpora
Michael Reif, Michael Eichberg, Ben Hermann, and Mira Mezini
(TU Darmstadt, Germany)
Info

proc time: 0.68