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.

• How to Build An MVP | Startup School

• https://dl.acm.org/profile/99660519568/publications?Role=author

• https://dblp.org/pid/325/0902.html

• 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

holder holder holder holder holder holder holder holder holder holder holder holder holder holder holder holder holder holder holder holder holder holder holder holder holder holder holder holder holder

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

Uber Tech Presentation