{"id":18689046,"url":"https://github.com/codersguild/codersguild","last_synced_at":"2025-06-30T03:36:33.724Z","repository":{"id":105881668,"uuid":"284496837","full_name":"codersguild/codersguild","owner":"codersguild","description":"Profile: https://lahiri.netlify.com/","archived":false,"fork":false,"pushed_at":"2024-10-25T11:59:15.000Z","size":2340,"stargazers_count":3,"open_issues_count":0,"forks_count":1,"subscribers_count":1,"default_branch":"master","last_synced_at":"2025-04-12T06:34:46.818Z","etag":null,"topics":["c","cpp17","css3","html5","llvm-pass","node-js","react-router","reactjs"],"latest_commit_sha":null,"homepage":"","language":null,"has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/codersguild.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2020-08-02T16:15:11.000Z","updated_at":"2024-11-24T23:23:48.000Z","dependencies_parsed_at":"2024-05-09T17:47:45.889Z","dependency_job_id":"61c6e1d9-ff6a-4182-bcf2-2c699907c70c","html_url":"https://github.com/codersguild/codersguild","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/codersguild/codersguild","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/codersguild%2Fcodersguild","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/codersguild%2Fcodersguild/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/codersguild%2Fcodersguild/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/codersguild%2Fcodersguild/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/codersguild","download_url":"https://codeload.github.com/codersguild/codersguild/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/codersguild%2Fcodersguild/sbom","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":262705172,"owners_count":23351199,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["c","cpp17","css3","html5","llvm-pass","node-js","react-router","reactjs"],"created_at":"2024-11-07T10:39:49.770Z","updated_at":"2025-06-30T03:36:33.701Z","avatar_url":"https://github.com/codersguild.png","language":null,"readme":"[![Netlify Status](https://api.netlify.com/api/v1/badges/b7d665b3-a61d-42e1-a5d9-9916132a85dc/deploy-status)](https://app.netlify.com/sites/lahiri/deploys)\n\n## I ❤️ developing software ([Profile](https://lahiri.netlify.app/))\n\nI am a full-stack developer pursuing [**Ph.D**](https://github.com/lahiri-phdworks). from IIT Kanpur on **Program Analysis** \u0026 **Verification** using \n**machine learning** and **formal methods** under the supervision of [**Dr. Subhajit Roy**](https://www.cse.iitk.ac.in/users/subhajit/). \n\nMy technical expertise lies in delivering *data driven* **full-stack** applications from **development** to **deployment**. Building web-apps for [**Zero3 Inc**](https://zero-three.co.jp/en/) as a **Tech Lead**.\nI help startups **deliver** their technical goals, ping me for a [quick meet](mailto:lahiri.devs@gmail.com).  I completed my bachelors in **mechanical engineering** from **NIT Durgapur**.\n\n - [How to Build An MVP | Startup School](https://www.youtube.com/watch?v=QRZ_l7cVzzU)\n\n## Research \n\n- Presented our work on **Hot Path SSA** in Sixth LLVM Performance Workshop at CGO (Seoul, South Korea) : [Sixth LLVM Performance Workshop at CGO-2022](https://www.youtube.com/watch?v=ECwP3HRP0Z4)\n- 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](https://www.computer.org/csdl/proceedings-article/ase/2023/299600a598/1SBGAaQGZi0)\n- My Doctoral Symposium at SPLASH 2022 (OOPSLA2-2022). [https://2022.splashcon.org/details/splash-2022-Doctoral-Symposium/8/Verification-of-Programs-with-Concealed-Components](https://2022.splashcon.org/details/splash-2022-Doctoral-Symposium/8/Verification-of-Programs-with-Concealed-Components)\n- Our work on **Almost Correct Invariants** got accepted in ISSTA 2022 (Daejeon, South Korea). [https://dl.acm.org/doi/10.1145/3533767.3534381](https://dl.acm.org/doi/10.1145/3533767.3534381)\n- Our work on **Symbolic Execution for Randomized Programs** got accepted in OOPSLA 2022 (Round 2). [https://dl.acm.org/doi/10.1145/3563344](https://dl.acm.org/doi/10.1145/3563344)\n- LLVM MeetUp Talk on **Hot Path SSA**: [LLVM MeetUp Talk](https://www.youtube.com/watch?si=kqmmJpQ0SeLiHtgt\u0026v=GW_icF7J2kY\u0026feature=youtu.be)\n\n## More Repos Compilation\n\n- Designed website for Shubaarambh'22 PhD Meet in CS IITK. [https://shubhaarambh.netlify.app/](https://shubhaarambh.netlify.app/)\n- Designed ACM Winter School Website (with React, React-MUI \u0026 Tailwind CSS): [ACM Winter School Compilers/PL](https://winterschool2022.cse.iitk.ac.in)\n- Designed Summer School IIT Kanpur website: [https://summerschool.cse.iitk.ac.in/](https://summerschool.cse.iitk.ac.in/)\n- Design History Society IIT Kanpur website: [https://www.historysocietyiitk.in/](https://www.historysocietyiitk.in/)\n- Program Analysis, Verification \u0026 Testing Resources : [Software-Analysis-PAVT](https://github.com/codersguild/Software-Analysis-PAVT)\n- LLVM Examples : [LLVM Examples](https://github.com/codersguild/LLVM-Examples)\n- Compilation on System Design : [System-Design](https://github.com/codersguild/System-Design/blob/master/README.md)\n- Web Engineering : [Web Dev Stuff \u0026 More](https://github.com/codersguild/System-Design/blob/master/Web%20Development%20-%20Engineering/README.md)\n\n## Frameworks/Languages Experience :\n\n[![holder](https://img.shields.io/badge/-Linode-green?style=for-the-badge\u0026logo=linode\u0026logoColor=white)](https://img.shields.io/badge/-Linode-green?style=for-the-badge\u0026logo=linode\u0026logoColor=white)\n[![holder](https://img.shields.io/badge/-C/C++-lightpink?style=for-the-badge\u0026logo=c\u0026logoColor=black)](https://img.shields.io/badge/-C/C++-lightpink?style=for-the-badge\u0026logo=c\u0026logoColor=black)\n[![holder](https://img.shields.io/badge/-CSS-orange?style=for-the-badge\u0026logo=css3\u0026logoColor=white)](https://img.shields.io/badge/-CSS-orange?style=for-the-badge\u0026logo=css3\u0026logoColor=white)\n[![holder](https://img.shields.io/badge/-Docker-46a2f1?style=for-the-badge\u0026logo=docker\u0026logoColor=white)](https://img.shields.io/badge/-Docker-46a2f1?style=for-the-badge\u0026logo=docker\u0026logoColor=white)\n[![holder](https://img.shields.io/badge/-FireBase-lightyellow?style=for-the-badge\u0026logo=FIREBASE\u0026logoColor=YELLOW)](https://img.shields.io/badge/-FireBase-lightyellow?style=for-the-badge\u0026logo=FIREBASE\u0026logoColor=YELLOW)\n[![holder](https://img.shields.io/badge/-Git-F05032?style=for-the-badge\u0026logo=git\u0026logoColor=white)](https://img.shields.io/badge/-Git-F05032?style=for-the-badge\u0026logo=git\u0026logoColor=white)\n[![holder](https://img.shields.io/badge/-Golang-lightblue?style=for-the-badge\u0026logo=go\u0026logoColor=white)](https://img.shields.io/badge/-Golang-lightblue?style=for-the-badge\u0026logo=go\u0026logoColor=white)\n[![holder](https://img.shields.io/badge/-GraphQL-E10098?style=for-the-badge\u0026logo=graphql\u0026logoColor=white)](https://img.shields.io/badge/-GraphQL-E10098?style=for-the-badge\u0026logo=graphql\u0026logoColor=white)\n[![holder](https://img.shields.io/badge/-Heroku-430098?style=for-the-badge\u0026logo=heroku\u0026logoColor=white)](https://img.shields.io/badge/-Heroku-430098?style=for-the-badge\u0026logo=heroku\u0026logoColor=white)\n[![holder](https://img.shields.io/badge/-Insomnia-5849BE?style=for-the-badge\u0026logo=insomnia\u0026logoColor=white)](https://img.shields.io/badge/-Insomnia-5849BE?style=for-the-badge\u0026logo=insomnia\u0026logoColor=white)\n[![holder](https://img.shields.io/badge/-JavaScript-FCAA00?style=for-the-badge\u0026logo=JavaScript\u0026logoColor=white)](https://img.shields.io/badge/-JavaScript-FCAA00?style=for-the-badge\u0026logo=JavaScript\u0026logoColor=white)\n[![holder](https://img.shields.io/badge/-JIRA-blue?style=for-the-badge\u0026logo=jira\u0026logoColor=white)](https://img.shields.io/badge/-JIRA-blue?style=for-the-badge\u0026logo=jira\u0026logoColor=white)\n[![holder](https://img.shields.io/badge/-JITSI-white?style=for-the-badge\u0026logo=jitsi\u0026logoColor=blue)](https://img.shields.io/badge/-JITSI-white?style=for-the-badge\u0026logo=jitsi\u0026logoColor=blue)\n[![holder](https://img.shields.io/badge/-MongoDB-13aa52?style=for-the-badge\u0026logo=mongodb\u0026logoColor=white)](https://img.shields.io/badge/-MongoDB-13aa52?style=for-the-badge\u0026logo=mongodb\u0026logoColor=white)\n[![holder](https://img.shields.io/badge/-netlify-blue?style=for-the-badge\u0026logo=netlify\u0026logoColor=green)](https://img.shields.io/badge/-netlify-blue?style=for-the-badge\u0026logo=netlify\u0026logoColor=green)\n[![holder](https://img.shields.io/badge/-Nodejs-43853d?style=for-the-badge\u0026logo=Node.js\u0026logoColor=white)](https://img.shields.io/badge/-Nodejs-43853d?style=for-the-badge\u0026logo=Node.js\u0026logoColor=white)\n[![holder](https://img.shields.io/badge/-NPM-CB3837?style=for-the-badge\u0026logo=npm\u0026logoColor=white)](https://img.shields.io/badge/-NPM-CB3837?style=for-the-badge\u0026logo=npm\u0026logoColor=white)\n[![holder](https://img.shields.io/badge/-PostgreSQL-brightgreen?style=for-the-badge\u0026logo=postgresql\u0026logoColor=white)](https://img.shields.io/badge/-PostgreSQL-brightgreen?style=for-the-badge\u0026logo=postgresql\u0026logoColor=white)\n[![holder](https://img.shields.io/badge/-python-lightyellow?style=for-the-badge\u0026logo=python\u0026logoColor=color)](https://img.shields.io/badge/-python-lightyellow?style=for-the-badge\u0026logo=python\u0026logoColor=color)\n[![holder](https://img.shields.io/badge/-React-45b8d8?style=for-the-badge\u0026logo=react\u0026logoColor=white)](https://img.shields.io/badge/-React-45b8d8?style=for-the-badge\u0026logo=react\u0026logoColor=white)\n[![holder](https://img.shields.io/badge/-Redux-764ABC?style=for-the-badge\u0026logo=redux\u0026logoColor=white)](https://img.shields.io/badge/-Redux-764ABC?style=for-the-badge\u0026logo=redux\u0026logoColor=white)\n[![holder](https://img.shields.io/badge/-scala-red?style=for-the-badge\u0026logo=scala\u0026logoColor=white)](https://img.shields.io/badge/-scala-red?style=for-the-badge\u0026logo=scala\u0026logoColor=white)\n[![holder](https://img.shields.io/badge/-Travis-lightyellow?style=for-the-badge\u0026logo=travis\u0026logoColor=black)](https://img.shields.io/badge/-Travis-lightyellow?style=for-the-badge\u0026logo=travis\u0026logoColor=black)\n[![holder](https://img.shields.io/badge/-TypeScript-007ACC?style=for-the-badge\u0026logo=typescript\u0026logoColor=white)](https://img.shields.io/badge/-TypeScript-007ACC?style=for-the-badge\u0026logo=typescript\u0026logoColor=white)\n[![holder](https://img.shields.io/badge/-Digital_Ocean-blue?style=for-the-badge\u0026logo=digitalocean\u0026logoColor=white)](https://img.shields.io/badge/-Digital-Ocean-blue?style=for-the-badge\u0026logo=digitalocean\u0026logoColor=white)\n[![holder](https://img.shields.io/static/v1?label=LLVM\u0026color=lightyellow\u0026logo=llvm\u0026style=for-the-badge\u0026message=11+\u0026logoColor=color)](https://img.shields.io/static/v1?label=LLVM\u0026color=lightyellow\u0026logo=llvm\u0026style=for-the-badge\u0026message=11+\u0026logoColor=color)\n[![holder](https://img.shields.io/static/v1?label=LLVM\u0026color=lightyellow\u0026logo=llvm\u0026style=for-the-badge\u0026message=14+\u0026logoColor=color)](https://img.shields.io/static/v1?label=LLVM\u0026color=lightyellow\u0026logo=llvm\u0026style=for-the-badge\u0026message=14+\u0026logoColor=color)\n[![holder](https://img.shields.io/static/v1?label=LLVM\u0026color=lightyellow\u0026logo=llvm\u0026style=for-the-badge\u0026message=7+\u0026logoColor=color)](https://img.shields.io/static/v1?label=LLVM\u0026color=lightyellow\u0026logo=llvm\u0026style=for-the-badge\u0026message=7+\u0026logoColor=color)\n[![holder](https://img.shields.io/badge/-Google_Cloud_Platform-1a73e8?style=for-the-badge\u0026logo=google-cloud\u0026logoColor=white)](https://img.shields.io/badge/-Google_Cloud_Platform-1a73e8?style=flat-square\u0026logo=google-cloud\u0026logoColor=white)\n\n## I 🤩 Software Architecture \u0026 System Design\n\nFor 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. \n\n- Checkout my [System-Design](https://github.com/codersguild/System-Design/blob/master/README.md) repository for insights and articles I read and collected over the past years. I \nimplemented some of them for my own ideas and for **PingTrader**, **Pluto-Office** and other startups that I have worked with. \n\n- Check out [**educative.io**](https://educative.io) for an awesome course on `System Design` (recommended by [highscalability.com](https://www.highscalability.com)).\n- A discussion snippet from my presentation at [**Uber**](https://eng.uber.com/locations/bangalore/)\n\n![Uber Tech Presentation](https://raw.githubusercontent.com/codersguild/codersguild/master/images/uber_tech.png)\n\n#### Slack Campus Lead : https://slackcommunity.com/u/mbhef9/#/about \n\n\u003ca href=\"https://github.com/codersguild\"\u003e\n  \u003cimg align=\"center\" height=\"35%\" width=\"37%\"  src=\"https://github-readme-stats.vercel.app/api/top-langs/?username=codersguild\u0026show_icons=true\u0026theme=light\u0026line_height=30\" /\u003e\n\u003c/a\u003e\n\u003ca href=\"https://github.com/codersguild\"\u003e\n \u003cimg align=\"center\"  height=\"75%\" width=\"60%\" src=\"https://github-readme-stats.vercel.app/api?username=codersguild\u0026count_private=true\u0026show_icons=true\u0026theme=light\u0026line_height=30\" alt=\"Sumit Lahiri's GitHub Stats\"/\u003e\n\u003c/a\u003e\n","funding_links":[],"categories":[],"sub_categories":[],"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fcodersguild%2Fcodersguild","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fcodersguild%2Fcodersguild","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fcodersguild%2Fcodersguild/lists"}