codersguild / firebase-tools

The Firebase Command Line Tools

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 joined Zero3 Inc as a CTO. (April 2024) 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

Research

• Presented our work on Hot Path SSA in Sixth LLVM Performance Workshop at CGO (Seoul, South Korea): Sixth LLVM Performance Workshop at CGO
• SPLASH 2022 Doctoral Symposium Paper (Almost Verification): https://dl.acm.org/doi/abs/10.1145/3563768.3565551
• Our work on Almost Correct Invariants got accepted in ISSTA 2022 (Daejeon, South Korea). ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA)
• Our work on Symbolic Execution for Randomized Programs got accepted in OOPSLA 2022 (Round 2). ACM SIGSOFT Object-Oriented Programming, Systems, Languages & Applications (OOPSLA)
• LLVM MeetUp Talk on Hot Path SSA: LLVM MeetUp Talk

More Repos Compilation

• 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

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 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

Slack Campus Lead : https://slackcommunity.com/u/mbhef9/#/about