Selected Publications

PLDI, 2018

PLDI, 2017

NDSS, 2017

POPL, 2017

FSE, 2014

Recent Publications

More Publications

. 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

Awards

PLDI distinguished paper award, 2018.

UT Austin Graduate School Dissertation Fellowship, 2018.

ACM SIGPLAN PAC award, 2017.

Symantec Graduate Fellowship, finalist, 2017.

IBM Ph.D. Fellowship, finalist, 2016.

MSR Ph.D. Fellowship, finalist, 2015

Service

Program Committee: CAV’19, POPL’18 (AEC), ECOOP’18 (AEC), CAV’16 (AEC), MOBILESoft’16 (Publicity Chair), and MOBILESoft’15

External Review: POPL’18, CAV’18, TSE’18 (Transactions on Software Engineering), POPL’17, OOPSLA’16, PLDI’16, and PLDI’15

Contact