SOAP 2016- Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis

Full Citation in the ACM Digital Library

Towards cross-platform cross-language analysis with soot

• Steven Arzt
• Tobias Kussmaul
• Eric Bodden

Iceberg: a tool for static analysis of Java critical sections

• Michael D. Shah
• Samuel Z. Guyer

Toward an automated benchmark management system

• Lisa Nguyen Quang Do
• Michael Eichberg
• Eric Bodden

On the unsoundness of static analysis for Android GUIs

• Yan Wang
• Hailong Zhang
• Atanas Rountev

LifeJacket: verifying precise floating-point optimizations in LLVM

• Andres Nötzli
• Fraser Brown