| Aug 20, 2026 | AgentRx — Diagnosing AI Agent Failures from Execution Trajectories — is accepted at EMNLP 2026, from my internship at MSR Redmond. [paper] |
| Jul 10, 2026 | RuleFlow — Learning Reusable Program Transformations via LLM-Guided Rule Synthesis — is accepted at COLM 2026. [paper] [code] |
| Mar 5, 2026 | SAIL — Sound Abstract Interpreters with LLMs — is accepted at PLDI 2026. [paper] [code] |
| Jan 20, 2026 | Maestro — Unified Operational Formalism for LLM-based Theorem-proving Systems — is accepted at the VerifAI workshop at ICLR 2026. [paper] |
| Jan 15, 2026 | Syndicate — Efficient Ranking Function-Based Termination Analysis via Bidirectional Decompositional Search — is accepted at ESOP 2026. [paper] |
| Oct 15, 2025 | ProveSound — Automated Verification of Soundness of DNN Certifiers — appears at OOPSLA 2025. [paper] |
| May 12, 2025 | Started a research internship at Microsoft Research, Redmond, working with Shraddha Barke and Suman Nath on reliability of LLM agents. |
| Jun 24, 2024 | Won a Bronze Medal at the ACM Student Research Competition at PLDI 2024 for ConstraintFlow. |