Harshit Garg 
cv /

Hi there! 👋

I am a PhD student at Northeastern University, working at the Programming Research Lab . Largely, I work at the intersection of Distributed Systems + Programming Languages + Testing.

I am currently working on developing static data-flow analysis using CodeQL for Java programs to optimize performance in JVM. I am also working on inferring type information in WASM-generated JavaScript code. Recently, a fun thing I worked on was compositional TLA+ specification for a custom Raft implementation.

Me, circa 2021

Before this, I was a Research Fellow at Microsoft Research India, advised by Dr. Akash Lal and Dr. Suman Nath. There, I worked at the intersection of AI + SE, specifically using LLMs such as GPT* to generate reference implementations of RESTful APIs in C#, and use them for test generation. Before that, I worked with OpenTelemetry and dynamic binary instrumentation for zero-touch distributed tracing of .NET services.

During my Bachelor Thesis, I visited the EASE Lab at University of Edinburgh, advised by Dr. Boris Grot. There, I worked on Serverless computing, specifically creating a set of microbenchmarks for testing the performance of serverless platforms, vSwarm .

I finished my Bachelors in Computer Science and Engineering at BITS Pilani, where I took a variety of courses relating to Networks, Operating Systems, and Parallel Computing.

📢📢 Currently looking for summer internships for 2025!

News

  • [04/2025]: I attended ICSE 2025 at Ottawa as part of the SMeW Workshop.
  • [02/2025]: I served as part of the AEC for OOPSLA 2025.
  • [09/2024]: Joined Northeastern for a PhD, advised by Frank Tip .
  • [08/2022]: Joined MSR as a Research Fellow!

Let's Connect

If you want to get in touch with me about something or just to say hi, feel free to send me an email.

Press Esc or click anywhere to close