news
| May 29, 2026 | Liquify Your Programs, accepted for presentation at SYNT ‘26, co-located with CAV ‘26. Congrats Rajarshi! |
|---|---|
| Apr 22, 2026 | Liquid Tree Automata accepted to appear at CAV 2026. |
| Apr 17, 2026 | Recent Talk on Refinement Types at LeanLang Hackathon by Emergence AI India. |
| Apr 7, 2026 | Recent Talk on Coverage Types at IARCS Verification Seminar Series. |
| Aug 15, 2025 | New draft, Qualified Tree Automata for efficient Component-Based Synthesis |