Deep Majumder

Software Engineer

Kolkata, West Bengal, India2 yrs 1 mo experience
Most Likely To Switch

Key Highlights

  • Expert in LLVM and Clang development.
  • Developed tooling for deadlock detection in Rust.
  • Strong background in static analysis techniques.
Stackforce AI infers this person is a Software Engineer with a focus on systems programming and static analysis.

Contact

deep@quadeye.comLinkedIn

Skills

Core Skills

LlvmStatic AnalysisRust (programming Language)

Other Skills

C++GoHaskellKotlinclang

Experience

Quadeye

Systems Engineer

Jun 2024 – Present · 1 yr 9 mos · Gurugram, Haryana, India

Indian institute of technology, kharagpur

2 roles

Undergraduate Teaching Assistant

Jan 2024 – Apr 2024 · 3 mos · Kharagpur, West Bengal, India · On-site

  • Information and Systems Security (CS60112)

Undergraduate Teaching Assistant

Aug 2023 – Dec 2023 · 4 mos · Kharagpur, West Bengal, India · On-site

  • Compilers (CS31003) & Compilers Laboratory (CS39003)

Quadeye

Systems Engineering Intern

May 2023 – Jul 2023 · 2 mos · Gurugram, Haryana, India · On-site

Google summer of code

Student Software Developer

Jun 2021 – Aug 2021 · 2 mos · Remote

  • Worked on the Clang Static Analyzer (CSA) under the LLVM Project.
  • Improved smart pointer modelling, especially for std::unique_ptr
  • Eliminated many false positives regarding std::unique_ptr by modelling operator overloads
  • Prevented bug-report suppression by modelling the destructor of std::unique_ptr
LLVMclangStatic Analysis

Indian institute of technology, kharagpur

Summer Intern

May 2021 – Jul 2021 · 2 mos · Remote

  • Worked under Prof. Partha Pratim Das to create tooling to detect deadlocks statically in Rust programs.
  • Created a proof-of-concept tool, Undertaker, which can statically detect deadlocks in Rust programs
  • Created a proof-of-concept supporting tool, Ratmole, to perform name resolution within a crate and its dependencies
Rust (Programming Language)

Education

Indian Institute of Technology, Kharagpur

Dual Degree (B.Tech + M.Tech) — Computer Science and Engineering

Jan 2019 – Jan 2024

St. Xavier's Collegiate School - India

ISC (Board Exam

Jan 2007 – Jan 2019

Stackforce found 100+ more professionals with Llvm & Static Analysis

Explore similar profiles based on matching skills and experience

Ayush Jangir

Ayush Jangir

C++ Developer

at ZANSKAR RESEARCH

Bengaluru, India4 yrs 6 mos exp
C++
Mandar Shinde

Mandar Shinde

Advanced Professional

at Trifacta

Bengaluru, India14 yrs 3 mos exp
Cloud ComputingDatabase ManagementPerformance EngineeringQuality AssuranceSoftware Development
Arjit Mishra

Arjit Mishra

Senior Member of Technical Staff

at Siemens EDA (Siemens Digital Industries Software)

Bengaluru, India3 yrs 2 mos exp
Application SecuritySoftware Development Security
PB

Pranav Bijapur

Software Engineer 2

at Amazon Web Services (AWS)

Seattle, United States6 yrs 8 mos exp
Cloud ComputingDistributed SystemsJavaMachine LearningNatural Language Processing (NLP)
Rakshit Awasthi

Rakshit Awasthi

MTS-2 (Product Security)

at Nutanix

Roorkee, India3 yrs 3 mos exp
Kapil Anand

Kapil Anand

Engineering Manager & Tech Lead

at Google

San Francisco, United States18 yrs 6 mos exp
CompilersCyber-securityDistributed SystemsEntrepreneurshipMachine Learning
Arpit Khetan

Arpit Khetan

Software Developer 1

at Cisco

Delhi, India2 yrs 9 mos exp
AWSC++KubernetesMachine LearningMalware Analysis
Nayan Rathod

Nayan Rathod

Senior Software Engineer (Full stack)

at Intellect

Vadodara, India5 yrs 10 mos exp