Almost correct invariants: synthesizing inductive invariants by fuzzing proofs. - Sumit Lahiri; Subhajit Roy 001 (ISSTA, 2022)

Verification of Programs with Concealed Components. - Sumit Lahiri (SPLASH Companion, 2022)

Symbolic execution for randomized programs. - Zachary Susag; Sumit Lahiri; Justin Hsu; Subhajit Roy 001 (Proc. ACM Program. Lang., 2022)

An Integrated Program Analysis Framework for Graduate Courses in Programming Languages and Software Engineering. - Prantik Chatterjee; Pankaj Kumar Kalita; Sumit Lahiri; Sujit Kumar Muduli; Vishal Singh; Gourav Takhar; Subhajit Roy 001 (ASE, 2023)

Program Synthesis Meets Visual What-Comes-Next Puzzles. - Sumit Lahiri; Pankaj Kumar Kalita; Akshay Kumar Chittora; Varun Vankudre; Subhajit Roy 001 (ASE, 2024)