news
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 |
Aug 1, 2025 | Rajat Varshney joined ΣλMPL∃ Lab as a new M.Tech (RA) student. |
May 25, 2025 | Four new undergrad interns joined ΣλMPL∃ Lab for the summers! |
Jul 1, 2024 | We set up our new ΣλMPL∃ (Simple) Lab with first three students, Vyshnavi, Varsha and Rajarshi joining as PhD, PhD and MTech RA students. |