Showing cs.PLShow all
2 papers · 1 filter
cs.PL2025
Fray: An Efficient General-Purpose Concurrency Testing Platform for the JVM (Extended Version)
Ao Li, Byeongjee Kang, Vasudev Vikram +4
Concurrency bugs are hard to discover and reproduce. Prior work has developed sophisticated algorithms to search for concurrency bugs, such as partial order sampling (POS); however…
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…