Mrigank Pawagi

      I am a senior pursuing mathematics and computing at the Indian Institute of Science in Bengaluru. I am interested in research involving software engineering, specifically software testing and software quality, and the application of large language models (LLMs) for automating such work with high precision.

GlueTest

A significant portion of my prior research efforts have been directed towards developing GlueTest with Salman Abid, Darko Marinov, Saikat Dutta, and other collaborators. GlueTest is a framework for testing code translated from one programming language to another, using language-interoperability.
(ICSME NIER '24. Blog post.)

During my research visit to UIUC, I worked with Ali Reza Ibrahimzada from the Intelligent CAT Lab on developing a repository-level automated code translation tool, AlphaTrans, where GlueTest became a key component in automatically validating LLM-generated translations and providing focused feedback to the LLM for bug repair.
(FSE '25. Blog post.)

More on Software Quality

I briefly worked with Utah PLT through UCSC OSPO on benchmarking the performance of Static Python with different levels of gradual typing.
(Blog posts 1, 2, 3.)

Recently, I worked with Wenxi Wang and other collaborators on using LLMs for automatically detecting ambiguities in Internet Protocol specifications.

LLMs for Enhanced Static Analysis

I am currently working as a Research Intern at Microsoft Research in Bengaluru on using LLMs for enhancing the precision of static analysis tools and automatically patching software vulnerabilities.

Specifications in Programming Pedagogy

I started my undergraduate research journey with Viraj Kumar with whom I have had the pleasure to discuss and explore several interesting topics related to software engineering pedagogy. One line of my work with him involved creating GuardRails, a tool to help students write better specifications by automatically discovering ambiguities in their function specifications. We also developed Probeable Problems which challenge students to ask clarifying questions about the problem statement presented to them.
(ICER '24. COMPUTE '23. Blog post.)

Fun Facts

Name trivia

• The a in my first name is pronounced like the a in "pass". The last name is pronounced like "paa-vuh-gee".
• The Marathi pronunciation of my first name is like Mrugank, where the u is like the u in "put" (and with a as above).
• My name means moon.
• I couldn't correctly pronounce my name until the age of 7.

Favorites

• My favorite music is all the music from TØP. |-/
• My favorite sports are badminton and running.

Digital rebellion

• I do not use WhatsApp.
• I use an almost entirely de-Googled Android phone.
• I have turned off my accounts on Instagram, Facebook, X, and LinkedIn. An archive of my LinkedIn posts is available here, and an archive of the last version of my LinkedIn profile is available here.
• I pay to keep news free.

Vault from the multiverse

• My sister has a cool website that you should definitely check out.
• When I was in high-school, I thought I could solve any problem in the world by making a website for it. Here is my maker-portfolio from high-school.
• My closest call with art was probably when my entry to the Desmos Global Math Art Contest 2021 was selected as a finalist. This was over a decade after I previously peaked at art in first grade when I won a consolation prize at Chinmaya Mission's Rang Bharo contest in Noida.