Powered by

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)

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)

Iceberg: A Tool for Static Analysis of Java Critical Sections
Michael D. Shah and Samuel Z. Guyer
(Tufts University, USA)

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)

On the Unsoundness of Static Analysis for Android GUIs
Yan Wang, Hailong Zhang, and Atanas Rountev
(Ohio State University, USA)

LifeJacket: Verifying Precise Floating-Point Optimizations in LLVM
Andres Nötzli and Fraser Brown
(Stanford University, USA)

proc time: 0.67