Shrey Tiwari

According to our database, Shrey Tiwari authored at least 7 papers between 2023 and 2026.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2026

DateSAT: A Framework for Solving Date and Period Constraints.

Leyi Cui, Shrey Tiwari, Rohan Padhye

CoRR, May, 2026

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., April, 2025

Fray: An Efficient General-Purpose Concurrency Testing Platform for the JVM.

Ao Li, Byeongjee Kang, Vasudev Vikram, Isabella Laybourn, Samvid Dharanikota, Shrey Tiwari, Rohan Padhye

Proc. ACM Program. Lang., 2025

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, Rohan Padhye

Proceedings of the 22nd IEEE/ACM International Conference on Mining Software Repositories, 2025

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., October, 2023

Resource Leak Checker (RLC#) for C# Code using CodeQL.

Pritam M. Gharat, Narges Shadab, Shrey Tiwari, Shuvendu K. Lahiri, Akash Lal

CoRR, 2023

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