Showing cs.SEShow all
2 papers · 1 filter
cs.SE2025
Repairing Leaks in Resource Wrappers
Sanjay Malakar, Michael D. Ernst, Martin Kellogg +1
A resource leak occurs when a program fails to release a finite resource like a socket, file descriptor or database connection. While sound static analysis tools can detect all lea…
cs.SE2024
RaceFixer -- An Automated Data Race Fixer
Sanjay Malakar, Tameem Bin Haider, Rifat Shahriar
Fixing software bugs has always been an essential and time-consuming process in software development. Fixing concurrency bugs has become especially critical in the multicore era. H…