Sumit Lahiri -

Registered user since Sat 3 Apr 2021

Name:Sumit Lahiri

Contributions

2023

ASE

Author of An Integrated Program Analysis Framework for Graduate Courses in Programming Languages and Software Engineering within the Research Papers-track

2022

SPLASH

Author of Symbolic Execution for Randomized Programs within the OOPSLA-track
In-person student volunteer in Organizers within the Student Volunteers-track
Author of Verification of Programs with Concealed Components within the Doctoral Symposium-track

ISSTA

Author of Almost Correct Invariants: Synthesizing Inductive Invariants by Fuzzing Proofs within the Technical Papers-track