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 looking at SIMD vectorization code translations. I am also working on developing static data-flow analysis using CodeQL for Java programs to optimize performance in JVM. Previously, I worked 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 2024

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-4 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 internships for Summer 2027!

News

[10/2026]: I attended OOPSLA 2026, where I also served on the AEC.
[06/2026]: Our paper, LLMutantKiller, got accepted at ISSTA 2026!
[05/2026]: Started an Applied Scientist internship at Amazon in the Automated Reasoning Group.
[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!

Publications

See all research

LLMutantKiller: Using Large Language Models to Generate Tests that Kill Mutants

Farideh Khalili, Aidan Domondon, Harshit Garg, Frank Tip

Paper

In
ISSTA 2026
Bridging the Gap: Precise Static Analysis of WebAssembly in a JavaScript World

Michelle Thalakottur, Harshit Garg, Siddhant Mane, Chris Fallin, Amal Ahmed, Frank Tip

Under review
What's in a String? Optimizing String Representations via Static Analysis

Hexiang Geng*, Harshit Garg*, Daniele Bonetta, Frank Tip (* equal contribution)

Under review

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.