Sumit Lahiri

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 5

Top Topics

Projective Invariants

Specification Language

Symbolic Execution

Denotational Semantics

Top Venues

Proc. ACM Program. Lang.

Publications

Prantik Chatterjee, Pankaj Kumar Kalita, Sumit Lahiri, Sujit Kumar Muduli, Vishal Singh, Gourav Takhar, Subhajit Roy
An Integrated Program Analysis Framework for Graduate Courses in Programming Languages and Software Engineering. ASE (2023)
Zachary Susag, Sumit Lahiri, Justin Hsu, Subhajit Roy
Symbolic execution for randomized programs. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Sumit Lahiri, Subhajit Roy
Almost correct invariants: synthesizing inductive invariants by fuzzing proofs. ISSTA (2022)
Sumit Lahiri
Verification of Programs with Concealed Components. SPLASH Companion (2022)
Zachary Susag, Sumit Lahiri, Justin Hsu, Subhajit Roy
Symbolic Execution for Randomized Programs. CoRR (2022)