Shrey Tiwari
PhD Student
Carnegie Mellon University
About Me
Hey!
I'm a software engineering PhD student in the Software and Societal Systems Department at Carnegie Mellon University. I am a part of the PASTA Lab, where I am advised by Prof. Rohan Padhye.
My research focuses on developing practical tools to ensure the reliability of industry-scale software by enhancing static and dynamic analyses for bug detection. I am particularly interested in leveraging artificial intelligence to innovate and improve methodologies in software engineering.
Previously, I worked at Microsoft Research India in the Cloud Reliability team, where I was advised by Dr. Akash Lal and Dr. Suman Nath. Before that, I was a software engineer at Citrix Systems, working with the VPN Gateway Solutions team. I completed my undergraduate degree in Computer Science and Engineering from PES University in 2020.
News & Updates
🧑🏻💻 Excited to kick off my summer internship with Uber's programming systems group
🏆 Delighted to receive the ACM SIGSOFT Distinguished Paper Award at MSR 2025!
🧑🏻🏫 I will be mentoring a CMU undergraduate on her independent research study for the semester. More details to follow soon!
🎉 Our latest paper on date and time defects in software has been accepted to MSR 2025
👋 Serving as a Student Volunteer at SPLASH 2024. Come say hi if you're attending!
🧑🏻🏫 I will be mentoring three outstanding REU students throughout Summer '24. Update: Our paper on date and time defects in software is publically available now!
🎓 I began my Ph.D. journey at Carnegie Mellon University
🎉 Our paper on making software more robust against resource leaks has been accepted to OOPSLA 2023
🧑🏻💻 Joined Microsoft Research as a Research Fellow in the cloud reliability team lead by Dr. Akash Lal
🎓 Graduated from PES University and joined Citrix as a Software Development Engineer
Publications
It's About Time: An Empirical Study of Date and Time Bugs in Open-Source Python Software
Mining Software Repositories (MSR) 2025
🏆 ACM SIGSOFT Distinguished Paper Award
Fray: An Efficient General-Purpose Concurrency Testing Platform for the JVM
Under review: Object-Oriented Programming, Systems, Languages & Applications (OOPSLA) 2025
Lightweight and Modular Resource Leak Checking (Extended Version)
State Of the Art in Program Analysis (SOAP) 2024
Inference of Resource Management Specifications
Object-Oriented Programming, Systems, Languages & Applications (OOPSLA) 2023
Resource Leak Checker (RLC#) for C# code using CodeQL
Awards & Recognition
ACM SIGSOFT Distinguished Paper Award
Mining Software Repositories (MSR 2025) — Ottawa, Canada
Honoured with the ACM SIGSOFT Distinguished Paper Award for research presented at MSR 2025.
SIGPLAN Student Travel Grant
SPLASH 2024 — Pasadena, USA
Received competitive SIGPLAN funding to present work at SPLASH 2024.
University Gold Medal
PES University, India
Awarded the Gold Medal for graduating 2nd out of 500+ Computer Science & Engineering students.
C.N.R Rao Merit Scholarship
PES University, India
Six-time recipient of the CNR Rao Merit Scholarship (every applicable semester).
MHRD Merit Scholarship
Ministry of Human Resource Development, Government of India
Six-time recipient of the MHRD Merit Scholarship (every applicable semester).
Mentoring
Research Study Mentor
PASTA Lab
Mentoring an undergraduate student on her final year research project, where she collaborates with me on my ongoing research.
REUSE Program Mentor
Mentored three outstanding undergraduate students during the summer, contributing to CMU's recognition as having the best REU mentors in the United States.
Service
Steering Committee Member
Reviewer
Programming Language Design and Implementation (PLDI 2025)
Student Volunteer
International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH 2024)
Reviewer
International Symposium on Software Testing and Analysis (ISSTA 2024)