3 papers
cs.PL2023
Resource Leak Checker (RLC#) for C# Code using CodeQL
Pritam Gharat, Narges Shadab, Shrey Tiwari +2
Resource leaks occur when a program fails to release a finite resource after it is no longer needed. These leaks are a significant cause of real-world crashes and performance issue…
cs.SE2023
Inference of Resource Management Specifications
Narges Shadab, Pritam Gharat, Shrey Tiwari +5
A resource leak occurs when a program fails to free some finite resource after it is no longer needed. Such leaks are a significant cause of real-world crashes and performance prob…
cs.PL2020
Temporal Logic of Composable Distributed Components
Jeremiah Griffin, Mohsen Lesani, Narges Shadab +1
Distributed systems are critical to reliable and scalable computing; however, they are complicated in nature and prone to bugs. To modularly manage this complexity, network middlew…