Automatic Inference of Resource Leak Specifications. - Narges Shadab; Pritam M. Gharat; Shrey Tiwari; Michael D. Ernst; Martin Kellogg; Shuvendu K. Lahiri; Akash Lal; Manu Sridharan (CoRR, 2023)

Resource Leak Checker (RLC#) for C# Code using CodeQL. - Pritam M. Gharat; Narges Shadab; Shrey Tiwari; Shuvendu K. Lahiri; Akash Lal (CoRR, 2023)

Inference of Resource Management Specifications. - Narges Shadab; Pritam M. Gharat; Shrey Tiwari; Michael D. Ernst; Martin Kellogg; Shuvendu K. Lahiri; Akash Lal; Manu Sridharan (Proc. ACM Program. Lang., 2023)

It's About Time: An Empirical Study of Date and Time Bugs in Open-Source Python Software. - Shrey Tiwari; Serena Chen; Alexander Joukov; Peter Vandervelde; Ao Li 009; Rohan Padhye (MSR, 2025)

Fray: An Efficient General-Purpose Concurrency Testing Platform for the JVM. - Ao Li 009; Byeongjee Kang; Vasudev Vikram; Isabella Laybourn; Samvid Dharanikota; Shrey Tiwari; Rohan Padhye (CoRR, 2025)

Lightweight and modular resource leak checking (extended version). - Narges Shadab; Pritam M. Gharat; Shrey Tiwari; Michael D. Ernst; Martin Kellogg; Shuvendu K. Lahiri; Akash Lal; Manu Sridharan (Int. J. Softw. Tools Technol. Transf., 2025)