Publications

Filter by type:

. Program Synthesis using Conflict-Driven Learning. PLDI, 2018.

PDF

. Singularity: Pattern Fuzzing for Worst Case Complexity. FSE, 2018.

PDF

. Component-based Synthesis of Table Consolidation and Transformation Tasks from Examples. PLDI, 2017.

PDF

. Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability. NDSS, 2017.

PDF

. Component-Based Synthesis for Complex APIs. POPL, 2017.

PDF

. Hunter: Next-Generation Code Reuse for Java. FSE, 2016.

. Bottom-up Context-Sensitive Pointer Analysis for Java. APLAS, 2015.

PDF

. Apposcopy: Semantics-Based Detection of Android Malware through Static Analysis. FSE, 2014.

PDF

. Apposcopy: Automated Detection of Android Malware (Invited Talk). DeMobile, 2014.

PDF