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

Full Citation in the ACM Digital Library

Using targeted symbolic execution for reducing false-positives in dataflow analysis

Understanding caller-sensitive method vulnerabilities: a class of access control vulnerabilities in the Java platform

Combining type-analysis with points-to analysis for analyzing Java library source-code

Droidel: a general approach to Android framework modeling

Design your analysis: a case study on implementation reusability of data-flow functions