Sumit Lahiri
Senior Software Engineer at Qualcomm
Hyderabad, Telangana, India
Summary
🤩
Rockstar🎓
Top SchoolSumit Lahiri is a Senior Software Engineer and Ph.D. candidate at IIT Kanpur with six years of experience building full-stack, scalable systems and researching program analysis, verification, and testing via fuzzing, symbolic execution, model checking and ML. He blends deep systems and compiler expertise (LLVM, C/C++, Python) with hands-on product delivery across MERN/PERN stacks, cloud deployment (AWS/GCP/DigitalOcean), Docker/Kubernetes and real-time media. At Qualcomm he contributes to product security initiatives and previously led full-stack engineering at startups, helping build MVPs and M&A-targeted products. An active open-source contributor, he’s refined ANTLR grammars for KLEE’s KQuery language, reflecting strong compiler-construction chops not obvious from his web-facing roles. Based in Hyderabad, he pairs academic rigor with practical 3D engineering—design, development, deployment—to ship auditable, production-ready systems.
6 years of coding experience
3 years of employment as a software developer
Startup School Entrepreneurship/Entrepreneurial Studies, Startup School Entrepreneurship/Entrepreneurial Studies at Y CombinatorIndian Institute of Technology KanpurBachelor of Technology - BTech Mechanical Engineering, Bachelor of Technology - BTech Mechanical Engineering at National Institute of Technology Durgapur
English, Hindi
Github Skills (6)
grammar10
grammars10
compiler-construction10
parsing10
parse10
antlr10
Programming languages (11)
Github contributions (5)
antlr/grammars-v4
Mar 2022 - Mar 2022
Grammars written for ANTLR v4; expectation that the grammars are free of actions.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:2 reviews, 11 commits, 1 PR in 3 days
Contributions summary:Sumit primarily focused on developing and refining grammars for the KLEE KQuery language within the ANTLR v4 framework. Their contributions involved iteratively updating the grammar definition, incorporating changes to the language's syntax and semantics. The user added new features, clarified ambiguous parts of the KQuery language by modifying existing rules and introducing new ones, and refactored the grammar for improved clarity and maintainability. Their work indicates a strong understanding of ANTLR's grammar definition language and the intricacies of compiler construction.
grammarparser-generatorabstract-syntax-treeexpectationgrammars
Research-Tools-PAVT/AFLplusplus
May 2022 - Feb 2024
The fuzzer afl++ is afl with community patches, AFLfast power schedules, qemu 3.1 upgrade + laf-intel support, MOpt mutators, InsTrim instrumentation, unicorn_mode, Redqueen and a lot more!
Contributions:2 PRs, 107 pushes, 5 branches in 1 year 9 months
esxischedulesmutatorsunicorn-modelot
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.