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 – Advance Table of Contents

Contents - Abstracts - Authors

Frontmatter

Title Page
Message from the Chairs
Committees
Sponsors

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

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)
Article Search
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)
Article Search
SootKeeper: Runtime Reusability for Modular Static Analysis
Florian Kübler, Patrick Müller, and Ben Hermann
(TU Darmstadt, Germany)
Preprint Info
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)
Article Search
On the Construction of Soundness Oracles
Jens Dietrich, Li Sui, Shawn Rasheed, and Amjed Tahir
(Massey University, New Zealand)
Article Search
Systematic Approaches for Increasing Soundness and Precision of Static Analyzers
Esben Sparre Andreasen, Anders Møller, and Benjamin Barslev Nielsen
(Aarhus University, Denmark)
Preprint
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)
Article Search
Hermes: Assessment and Creation of Effective Test Corpora
Michael Reif, Michael Eichberg, Ben Hermann, and Mira Mezini
(TU Darmstadt, Germany)
Preprint Info

proc time: 2.02