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. Building web-apps for Zero3 Inc as a Tech Lead. I help startups deliver their technical goals, ping me for a quick meet. I completed my bachelors in mechanical engineering from NIT Durgapur.
- Presented our work on Hot Path SSA in Sixth LLVM Performance Workshop at CGO (Seoul, South Korea) : Sixth LLVM Performance Workshop at CGO-2022
- Our work on Chiron Framework got accepted in 38th IEEE/ACM International Conference on Automated Software Engineering (ASE). An Integrated Program Analysis Framework for Graduate Courses in Programming Languages and Software Engineering
- My Doctoral Symposium at SPLASH 2022 (OOPSLA2-2022). https://2022.splashcon.org/details/splash-2022-Doctoral-Symposium/8/Verification-of-Programs-with-Concealed-Components
- Our work on Almost Correct Invariants got accepted in ISSTA 2022 (Daejeon, South Korea). https://dl.acm.org/doi/10.1145/3533767.3534381
- Our work on Symbolic Execution for Randomized Programs got accepted in OOPSLA 2022 (Round 2). https://dl.acm.org/doi/10.1145/3563344
- LLVM MeetUp Talk on Hot Path SSA: LLVM MeetUp Talk
- Designed website for Shubaarambh'22 PhD Meet in CS IITK. https://shubhaarambh.netlify.app/
- Designed ACM Winter School Website (with React, React-MUI & Tailwind CSS): ACM Winter School Compilers/PL
- Designed Summer School IIT Kanpur website: https://summerschool.cse.iitk.ac.in/
- Design History Society IIT Kanpur website: https://www.historysocietyiitk.in/
- Program Analysis, Verification & Testing Resources : Software-Analysis-PAVT
- LLVM Examples : LLVM Examples
- Compilation on System Design : System-Design
- Web Engineering : Web Dev Stuff & More
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 and other startups that I have worked with.
-
Check out educative.io for an awesome course on
System Design(recommended by highscalability.com). -
A discussion snippet from my presentation at Uber