Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/codersguild/codersguild
Profile: https://lahiri.netlify.com/
https://github.com/codersguild/codersguild
c cpp17 css3 html5 llvm-pass node-js react-router reactjs
Last synced: 9 days ago
JSON representation
Profile: https://lahiri.netlify.com/
- Host: GitHub
- URL: https://github.com/codersguild/codersguild
- Owner: codersguild
- Created: 2020-08-02T16:15:11.000Z (over 4 years ago)
- Default Branch: master
- Last Pushed: 2024-07-21T11:16:15.000Z (4 months ago)
- Last Synced: 2024-07-21T12:32:08.445Z (4 months ago)
- Topics: c, cpp17, css3, html5, llvm-pass, node-js, react-router, reactjs
- Homepage:
- Size: 2.22 MB
- Stars: 2
- Watchers: 2
- Forks: 1
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
[](https://app.netlify.com/sites/lahiri/deploys)
## I ❤️ developing software ([Profile](https://lahiri.netlify.app/))
I am a full-stack developer pursuing [**Ph.D**](https://github.com/lahiri-phdworks). from IIT Kanpur on **Program Analysis** & **Verification** using
**machine learning** and **formal methods** under the supervision of [**Dr. Subhajit Roy**](https://www.cse.iitk.ac.in/users/subhajit/).
My 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**.
I help startups **deliver** their technical goals, ping me for a [quick meet](mailto:[email protected]). I completed my bachelors in **mechanical engineering** from **NIT Durgapur**.
- [How to Build An MVP | Startup School](https://www.youtube.com/watch?v=QRZ_l7cVzzU)
## Research
- 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)
- 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)
- 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)
- 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)
- 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)
- LLVM MeetUp Talk on **Hot Path SSA**: [LLVM MeetUp Talk](https://www.youtube.com/watch?si=kqmmJpQ0SeLiHtgt&v=GW_icF7J2kY&feature=youtu.be)
## More Repos Compilation
- Designed website for Shubaarambh'22 PhD Meet in CS IITK. [https://shubhaarambh.netlify.app/](https://shubhaarambh.netlify.app/)
- Designed ACM Winter School Website (with React, React-MUI & Tailwind CSS): [ACM Winter School Compilers/PL](https://winterschool2022.cse.iitk.ac.in)
- Designed Summer School IIT Kanpur website: [https://summerschool.cse.iitk.ac.in/](https://summerschool.cse.iitk.ac.in/)
- Design History Society IIT Kanpur website: [https://www.historysocietyiitk.in/](https://www.historysocietyiitk.in/)
- Program Analysis, Verification & Testing Resources : [Software-Analysis-PAVT](https://github.com/codersguild/Software-Analysis-PAVT)
- LLVM Examples : [LLVM Examples](https://github.com/codersguild/LLVM-Examples)
- Compilation on System Design : [System-Design](https://github.com/codersguild/System-Design/blob/master/README.md)
- Web Engineering : [Web Dev Stuff & More](https://github.com/codersguild/System-Design/blob/master/Web%20Development%20-%20Engineering/README.md)
## Frameworks/Languages Experience :
[](https://img.shields.io/badge/-Linode-green?style=for-the-badge&logo=linode&logoColor=white)
[](https://img.shields.io/badge/-C/C++-lightpink?style=for-the-badge&logo=c&logoColor=black)
[](https://img.shields.io/badge/-CSS-orange?style=for-the-badge&logo=css3&logoColor=white)
[](https://img.shields.io/badge/-Docker-46a2f1?style=for-the-badge&logo=docker&logoColor=white)
[](https://img.shields.io/badge/-FireBase-lightyellow?style=for-the-badge&logo=FIREBASE&logoColor=YELLOW)
[](https://img.shields.io/badge/-Git-F05032?style=for-the-badge&logo=git&logoColor=white)
[](https://img.shields.io/badge/-Golang-lightblue?style=for-the-badge&logo=go&logoColor=white)
[](https://img.shields.io/badge/-GraphQL-E10098?style=for-the-badge&logo=graphql&logoColor=white)
[](https://img.shields.io/badge/-Heroku-430098?style=for-the-badge&logo=heroku&logoColor=white)
[](https://img.shields.io/badge/-Insomnia-5849BE?style=for-the-badge&logo=insomnia&logoColor=white)
[](https://img.shields.io/badge/-JavaScript-FCAA00?style=for-the-badge&logo=JavaScript&logoColor=white)
[](https://img.shields.io/badge/-JIRA-blue?style=for-the-badge&logo=jira&logoColor=white)
[](https://img.shields.io/badge/-JITSI-white?style=for-the-badge&logo=jitsi&logoColor=blue)
[](https://img.shields.io/badge/-MongoDB-13aa52?style=for-the-badge&logo=mongodb&logoColor=white)
[](https://img.shields.io/badge/-netlify-blue?style=for-the-badge&logo=netlify&logoColor=green)
[](https://img.shields.io/badge/-Nodejs-43853d?style=for-the-badge&logo=Node.js&logoColor=white)
[](https://img.shields.io/badge/-NPM-CB3837?style=for-the-badge&logo=npm&logoColor=white)
[](https://img.shields.io/badge/-PostgreSQL-brightgreen?style=for-the-badge&logo=postgresql&logoColor=white)
[](https://img.shields.io/badge/-python-lightyellow?style=for-the-badge&logo=python&logoColor=color)
[](https://img.shields.io/badge/-React-45b8d8?style=for-the-badge&logo=react&logoColor=white)
[](https://img.shields.io/badge/-Redux-764ABC?style=for-the-badge&logo=redux&logoColor=white)
[](https://img.shields.io/badge/-scala-red?style=for-the-badge&logo=scala&logoColor=white)
[](https://img.shields.io/badge/-Travis-lightyellow?style=for-the-badge&logo=travis&logoColor=black)
[](https://img.shields.io/badge/-TypeScript-007ACC?style=for-the-badge&logo=typescript&logoColor=white)
[](https://img.shields.io/badge/-Digital-Ocean-blue?style=for-the-badge&logo=digitalocean&logoColor=white)
[](https://img.shields.io/static/v1?label=LLVM&color=lightyellow&logo=llvm&style=for-the-badge&message=11+&logoColor=color)
[](https://img.shields.io/static/v1?label=LLVM&color=lightyellow&logo=llvm&style=for-the-badge&message=14+&logoColor=color)
[](https://img.shields.io/static/v1?label=LLVM&color=lightyellow&logo=llvm&style=for-the-badge&message=7+&logoColor=color)
[](https://img.shields.io/badge/-Google_Cloud_Platform-1a73e8?style=flat-square&logo=google-cloud&logoColor=white)
## 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](https://github.com/codersguild/System-Design/blob/master/README.md) 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**](https://educative.io) for an awesome course on `System Design` (recommended by [highscalability.com](https://www.highscalability.com)).
- A discussion snippet from my presentation at [**Uber**](https://eng.uber.com/locations/bangalore/)
#### Slack Campus Lead : https://slackcommunity.com/u/mbhef9/#/about
