Shrey Tiwari

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 3

Top Topics

Private Information

Admission Control

Inference Mechanism

Top Venues

Proc. ACM Program. Lang.

Publications

Pritam M. Gharat, Narges Shadab, Shrey Tiwari, Shuvendu K. Lahiri, Akash Lal
Resource Leak Checker (RLC#) for C# Code using CodeQL. CoRR (2023)
Narges Shadab, Pritam Gharat, Shrey Tiwari, Michael D. Ernst, Martin Kellogg, Shuvendu K. Lahiri, Akash Lal, Manu Sridharan
Automatic Inference of Resource Leak Specifications. CoRR (2023)
Narges Shadab, Pritam M. Gharat, Shrey Tiwari, Michael D. Ernst, Martin Kellogg, Shuvendu K. Lahiri, Akash Lal, Manu Sridharan
Inference of Resource Management Specifications. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)