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

Iceberg: a tool for static analysis of Java critical sections

Toward an automated benchmark management system

On the unsoundness of static analysis for Android GUIs

LifeJacket: verifying precise floating-point optimizations in LLVM