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 broadly interested in the application of automated verification and synthesis techniques in different domains. In practice, straightforward application of these techniques faces scalability limitations, requiring new domain-specific representations and algorithmic approaches.
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. To appear at PLDI 2023.
- Synthesizing Quantum-Circuit Optimizers. To appear at 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.