I ❤️ developing software (Profile)
I am a full-stack developer pursuingPh.D.from IIT Kanpur onProgram Analysis&Verificationusing machine learningandformal methodsunder the supervision ofDr. Subhajit Roy.
My technical expertise lies in deliveringdata drivenfull-stackapplications fromdevelopmenttodeployment.I joinedZero3 Incas aCTO.(April 2024) I help startupsdelivertheir technical goals, ping me for aquick meet.I completed my bachelors inmechanical engineeringfromNIT Durgapur.
- Presented our work onHot Path SSAin Sixth LLVM Performance Workshop at CGO (Seoul, South Korea):Sixth LLVM Performance Workshop at CGO-2022
- Our work onChiron Frameworkgot 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 onAlmost Correct Invariantsgot accepted in ISSTA 2022 (Daejeon, South Korea).https://dl.acm.org/doi/10.1145/3533767.3534381
- Our work onSymbolic Execution for Randomized Programsgot accepted in OOPSLA 2022 (Round 2).https://dl.acm.org/doi/10.1145/3563344
- LLVM MeetUp Talk onHot 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 variousstartups
on thetech-stack
they use and helping them out in some of theirtechnical
endevours.
-
Checkout mySystem-Designrepository for insights and articles I read and collected over the past years. I implemented some of them for my own ideas and forPingTrader,Pluto-Officeand other startups that I have worked with.
-
Check outeducative.iofor an awesome course on
System Design
(recommended byhighscalability.com). -
A discussion snippet from my presentation atUber