news
| 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 |
| Aug 15, 2025 | Coverage-Type-Guided Synthesis accepted to appear at OOPSLA 2025 |