I ❤️ developing software (Profile)
I am a full-stack developer pursuing Ph.D. from IIT Kanpur on Program Analysis & Verification using machine learning and formal methods under the supervision of Dr. Subhajit Roy.
My technical expertise lies in delivering data driven full-stack applications from development to deployment. I help startups deliver MVP & pre-MVP apps, ping me for a quick meet. I completed my bachelors in mechanical engineering from NIT Durgapur.
Research GitHub :
- I maintain my research related repositories here, @github.com/lahiri-phdworks.
- Program Analysis, Verification & Testing Resources : Software-Analysis-PAVT
- LLVM Examples : LLVM Examples
- Presenting our work on Hot Path SSA in Sixth LLVM Performance Workshop at CGO (Seoul, South Korea) : Sixth LLVM Performance Workshop at CGO
- Our work on Almost Correct Invariants got accepted in ISSTA 2022 (Daejeon, South Korea). ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)
More Repos Compilation
- Designed ACM Winter School responsive Website (with React, React-MUI & Tailwind CSS) : ACM Winter School Compilers/PL
- Compilation on System Design : System-Design
- Web Engineering : Web Dev Stuff & More
- My Machine Learning journey : Machine-learning-for-serious-developers
Frameworks/Languages Experience :
I 🤩 Software Architecture & System Design
For the past few years, I have been consulting various startups on the tech-stack they use and helping them out in some of their technical endevours. Checkout my System-Design repository for insights and articles I read and collected over the past years. I implemented some of them for my own ideas and for PingTrader & Pluto-Office. Check out educative.io for an awesome course on System Design (recommended by highscalability.com). A discussion snippet from my presentation at Uber
