I am a CI postdoctoral fellow co-mentored by Prof. Sanjit Seshia
and Prof. Aws Albarghouthi.
Previously, I was a PhD student in Princeton University's Computer Science department
advised by Prof. Aarti Gupta.
I am currently on the academic job market! I have made my research, teaching, and diversity statements available.
I am broadly interested in the application of automated verification and synthesis techniques in different domains. In practice, the straightforward application of these kinds of tools and techniques faces scalability and expressivity limitations. I address these limitations by developing new representations and algorithmic approaches that take advantage of the structure of the systems and properties under consideration.
News
| Apr 2023 | Psym paper and quantum circuit optimizer synthesis paper accepted to PLDI |
|---|---|
| Sep 2022 | Benchmark paper accepted to NeurIPS |
| Aug 2022 | "Qubit mapping and routing via MaxSAT" accepted to MICRO |
| Nov 2021 | FPO ("thesis defense") complete! |
| Jul 2021 | Received CIFellowship to work with Prof. Aws Albarghouthi at UW-Madison |
Publications
- Psym: Efficient Symbolic Exploration of Distributed Systems. PLDI 2023.
- Synthesizing Quantum-Circuit Optimizers. PLDI 2023.
- AutoWS-Bench-101: Benchmarking Automated Weak Supervision with 100 Labels. NeurIPS 2022.
- Qubit Mapping and Routing via MaxSAT. MICRO 2022.
- Scaling Automatic Modular Verification. 2021.
- Unbounded Procedure Summaries from Bounded Environments.
- Automating Modular Verification of Secure Information Flow. FMCAD 2020.
- Exploiting Synchrony and Symmetry in Relational Verification. CAV 2018.