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.

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.