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

5th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP 2016), June 14, 2016, Santa Barbara, CA, USA

SOAP 2016 – Proceedings

Contents - Abstracts - Authors

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

Title Page
Frontmatter
Towards Cross-Platform Cross-Language Analysis with Soot
Steven Arzt, Tobias Kussmaul, and Eric Bodden
(TU Darmstadt, Germany; Fraunhofer SIT, Germany; University of Paderborn, Germany; Fraunhofer IEM, Germany)
Publisher's Version Article Search
Iceberg: A Tool for Static Analysis of Java Critical Sections
Michael D. Shah and Samuel Z. Guyer
(Tufts University, USA)
Publisher's Version Article Search
Toward an Automated Benchmark Management System
Lisa Nguyen Quang Do, Michael Eichberg, and Eric Bodden
(Fraunhofer IEM, Germany; TU Darmstadt, Germany; University of Paderborn, Germany)
Publisher's Version Article Search Info
On the Unsoundness of Static Analysis for Android GUIs
Yan Wang, Hailong Zhang, and Atanas Rountev
(Ohio State University, USA)
Publisher's Version Article Search
LifeJacket: Verifying Precise Floating-Point Optimizations in LLVM
Andres Nötzli and Fraser Brown
(Stanford University, USA)
Publisher's Version Article Search Info

proc time: 0.04