ASE 2024
SL
Sumit Lahiri
Senior Engineer, Qualcomm • IIT Kanpur
CS joint M.Tech-Ph.D. student
I research formal methods, verify programs, and build reliable analysis tooling.
My work spans formal methods, program analysis, machine learning for program analysis, and program verification. I care about turning theory into practical systems that engineers can trust.
Research focus
Formal Methods
Verification, invariants, and correctness proofs for complex systems.
Program Analysis
Static and dynamic analysis pipelines for scalable reasoning.
ML + Verification
Learning-guided analysis and synthesis for robust programs.
Tooling stack
Frameworks and systems I work with
I use a mix of symbolic execution engines, SMT solvers, and learning frameworks to build rigorous analysis pipelines.
KLEELLVMZ3CVC4PyTorchScikit-learnKerasLangChainClineMCP
Snapshot
Formal Methods
Emphasis on correctness guarantees in large-scale systems.
Program Verification
Combining symbolic execution with solver-backed proofs.
Research to Product
Translating academic work into practical engineering tools.
Research papers
Publications in top conferences
ASE 2023
An Integrated Program Analysis Framework for Graduate Courses in Programming Languages and Software Engineering
View paperSPLASH 2022 Doctoral Symposium
Verification of Programs with Concealed Components
View paperISSTA 2022
Almost correct invariants: synthesizing inductive invariants by fuzzing proofs
View paperOOPSLA 2022
Symbolic execution for randomized programs
View paperResearch updates
Recent highlights and talks
Selected conference acceptances, symposium milestones, and invited presentations across program analysis and verification.
Conference acceptances
Invited talks
Workshop demos
ASEConference
Puzzle Generation accepted at ASE 2024
↗Open details
ASEConference
Chiron Framework accepted at ASE 2023
↗Open details
SPLASHSymposium
Doctoral Symposium at SPLASH 2022
↗Open details
ISSTAConference
Almost Correct Invariants accepted at ISSTA 2022
↗Open details
OOPSLAConference
Symbolic Execution for Randomized Programs accepted at OOPSLA 2022
↗Open details
LLVMTalk
Hot Path SSA presented at LLVM Performance Workshop (CGO 2022)
↗Open details
Profiles
Development Profile
Primary engineering portfolio and open-source work.
System Design Repository
System design and software architecture library.
ACM Publications
Author profile with curated publications.
DBLP Profile
Bibliography and citation index.
ORCID
Research identity and persistent ID.
Media and writing
Talks, demos, and recorded research walkthroughs.
Web projects
GitHub profiles
Open-source labs and engineering portfolios.
Contact
Let's collaborate on research and tooling
Reach out for collaborations in formal methods, program analysis, or verification tooling. I am open to academic and industry partnerships.
lahiri.devs@gmail.comIIT Kanpur