news
| Jul 22, 2026 | Our paper Conflict Extraction in Probabilistic Datalog Analyses has been accepted to ASE 2026 and is to appear. |
|---|---|
| Jul 22, 2026 | Our papers Incremental Inference for Probabilistic Datalog and PSoufflé: Scaling Exact Probabilistic Logic Inference for Program Analysis have been accepted to CAV 2026 and FMCAD 2026, respectively. |
| Jul 22, 2026 | I am currently an Applied Scientist Intern at Amazon Annapurna Labs, where I am designing an agentic compiler-testing system for ML compilers. |