Showing cs.PLShow all
2 papers · 1 filter
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.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…