My research group gratefully acknowledges support from AFRL, DARPA, NSF, ONR, and Facebook. The findings and views expressed in our work are our own and do not necessarily reflect those of our sponsors.

	Drake: Signature-Guided Detection of Bugs and Vulnerabilities	2019-2020
	Provably Correct Design of Adaptive Hybrid Neuro-Symbolic Cyber Physical Systems ANSR: Assured Neuro Symbolic Learning and Reasoning	2023-2026
	FLASH: Fast Learning via Auxiliary signals, Structured knowledge, and Human expertise LwLL: Learning with Less Labels	2019-2023
	Petablox: Large-Scale Software Analysis and Analytics Using Datalog MUSE: Mining and Understanding Software Enclaves	2014-2019
	STAMP: Static Analysis of Mobile Programs APAC: Automated Program Analysis for Cybersecurity	2012-2015
	Automatic Migration to Serverless Infrastructure, Correctly and Efficiently	2021-2024
	Synthesis of Logic Programs for Democratizing Program Analysis	2021-2025
	Synergies between Program Synthesis and Neural Learning of Graph Structures	2018-2023
	New Frontiers in Constraint-Based Program Analysis	2015-2019
	Adaptive Large-Scale Program Analysis	2013-2018
	Big Data and Security: Educating the Next-Generation Security Analysts	2015-2018
	Mobile Computing over Intermittently Connected Networks	2012-2015
	ASPIRE: Automatically Subsetting Protocol Implementations Reliably and Efficiently TPCP: Total Platform Cyber Protection	2018-2022
	CODA: A Deep Reinforcement Learning Framework for Building Code Assistants	2019-2020
	An AI-based System for Continuously Discovering Software Bugs	2018-2019
	Enhancing Mobile App Quality via Program Analysis	2011-2012
	Automated Scalable Testing of Mobile Apps Using Z3	2012-2013
	VIVAS: Verification and Validation of Autonomous Systems	2016-2017
	Smart Offloading Algorithms and Profiling Techniques for Cloud Computing	2012-2013