Shape
Shape
Shape
Shape
Shape
Shape
Shape
Shape
Shape
Shape
Shape

Hi, I am Sumit Lahiri.

CS Ph.D. IIT Kanpur, Full Stack Developer and Blockchain Enthusiast. TCS Research Fellow, YC Summer School 2020.

Visit my GitHub

Mission Statement

I love developing software that solves real-world problems and bridges the gap between theory and practice.

About Me

Thanks for visiting my site. I love learning new things and putting them into action whenever I can.

What I am currently pursuing?

I am currently pursuing a Ph.D. in Computer Science & Engineering at IIT Kanpur under the guidance of Dr. Subhajit Roy

Area of Research:

Program Verification, Program Analysis, Complier Optimizations, Machine Learning, Web3, Solidity, Smart Contacts Analysis, Program Testing.

Sideworks:

I worked as a full stack developer to deliver the MVP app for Pluto-Office and the beta release app for ZStack startup. Currently I am building a trade-assistance app at PingTrader.

Experience:

I have worked at Tata Motors as an assistant proejct manager and at Golem Network as a remote Node.js developer.

Recent Highlights

  1. Almost Correct Invariants.

    Our work got published in ISSTA 2022.

    Learn more
  2. LLVM Implementation of Hot Path SSA Form.

    I presented our work in LLVM Performance Workshop in CGO 2022.

    Learn more
  3. Symbolic Execution for Randomized Programs.

    Our work got conditionally accepted in OOPSLA 2022 (Round-2).

Want to schedule a meeting? I can build you the tech stack for your next big startup!

Projects

I maintain two github accounts one to keep my webprojects and startup mvp apps and the other for all my research related projects. I showcase some of my projects here.

product image
VideoDB
A torrent based movie streaming application which scaled to 10K users. Sold the website on 2017.
React .NET Node.js MonogDB
product image
React Examples
Hosting some of the React stuff I learned on the way.
React Netlify Node.js
product image
Pluto Office (MVP)
Made a slack-like app for remote working and video-conferencing.
Electron Agora Node.js Socket.io
product image
VidConf

A web based quick video-conferencing app.
React Agora Node.js MongoDB

Background

I have a 2 years of experience in the industry tackling multiple projects. My background has helped me understanding a wide spectrum of problems. I gained both overall and ground level problem-solving skills.

  1. Teaching AssistantCurrent

    I am currently the teaching assistant for one of most favourite courses yet again! Program Analysis, Verification and Testing.

  2. TutorCurrent

    I taught C programming language to first year undergraduate students at IIT Kanpur under ESC-101 course.

  3. Teaching AssistantOngoing

    I have been a teaching assistant for a couple courses at IIT Kanpur. Advacned Compiler Optimizations, Program Verification, Analysis and Testing, Software Development and Operations. Compiler Design.

  4. Campus Expert @GitHubPending

    I have been selected as a Campus Expert representing GitHub to the IIT Kanpur community.

  1. GolemPrevious

    I worked as a remote Node.js developer on their Golem contract conversion and compilation pipeline team.

  2. Pluto Office (pre-MVP)Previous

    I worked as a remote full stack developer delivering their pre-MVP application.

  3. Tata MotorsPrevious

    I worked as an assistant project manager handling multiple projects in the M&HCV Business unit.

  1. Mechanical EngineeringB.Tech Degree

    I graduated as a mechanical engineer from NIT Durgapur.

  2. KERS ProjectB.Tech Thesis

    Developed a prototype and tested a kinetic energy recovery system for two-wheeler vehicles. Tested the prototype with FEA, FEM and on a bicycle(rig)

  3. Member of SAE Baja

    I become a member of SAE Baja and grew interest in topics like internal combustion engines and automotive design.

Useful Links/Blogs

I maintain a system design and software architecture repository with over 600 stars. I read blogs and books during my free time from research to improve my system-level implementation skills.

Shoes

System Design Sumit Lahiri

A collection of system design and software engineering articles I maintain.

Engineering
Design
Shoes

Pub-Sub Architecture Ankush @Koinex

A publisher-subscriber architecture used in Pushman by Koinex.

Engineering
Design
Shoes

Web Archtechture 101 Jonathan Fulton

A description of the client-server architecture and components for modern web

Modern Web
Design
Shoes

Turning Microservices Inside-Out InfoQ

This radical idea is very well presented by Martin Kleppmann in his talk called "Turning the database inside-out."

Microservices
Databases
Shoes

Service Meshes InfoQ

A detailed article on use and idea behind service mesh architecture.

Microservices
CD/CI
Shoes

Design Patterns sourcemaking.com

A site detailing the inner workings and types of design patterns used to build modern software.

Software Design
Patterns
Shoes

Refactoring Techniques refactoring.guru

A colossal website for learning smart refactoring techniques.

Software Design
Engineering
Shoes

CQRS with Node.js Medium

Building microservices using Node.js with DDD, CQRS and event-sourcing .

Design
Engineering
Shoes

Stuff the Internet Says... highscalability

A colossal website for facts and information about scaling the modern web.

Software Design
Engineering
Contact Information

Contact Me

Thanks for visiting my site. I hope this gives you a brief overview of my interests and my technical competency as a full stack developer.

Location

KD 106, Dept. of CSE, IIT Kanpur, Kalyanpur, UP-208016

Phone Number

(+91)90 073 422 70

Email Address

lahiri.devs@gmail.com