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.