My research interests span programming languages, software engineering, security, and privacy. I have worked on foundational program analysis techniques and their applications for mobile and wearable applications, and practical solutions ensuring statistical privacy for general software telemetry analysis. I am also interested in designing new program analyses and automated testing methods in the context of reliability and security of other software systems.

Publications