Sumit Lahiri

According to our database, Sumit Lahiri authored at least 5 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Program Synthesis Meets Visual What-Comes-Next Puzzles.

Sumit Lahiri, Pankaj Kumar Kalita, Akshay Kumar Chittora, Varun Vankudre, Subhajit Roy

Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, 2024

2023

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

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

2022

Symbolic execution for randomized programs.

Zachary Susag, Sumit Lahiri, Justin Hsu, Subhajit Roy

Proc. ACM Program. Lang., 2022

Verification of Programs with Concealed Components.

Sumit Lahiri

Proceedings of the Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, 2022

Almost correct invariants: synthesizing inductive invariants by fuzzing proofs.

Sumit Lahiri, Subhajit Roy

Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022