3 papers
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…
cs.OH2006
Computational Modeling in Applied Problems: collected papers on econometrics, operations research, game theory and simulation
Florentin Smarandache, Sukanto Bhattacharya, Mohammad Khoshnevisan +5
Computational models pervade all branches of the exact sciences and have in recent times also started to prove to be of immense utility in some of the traditionally 'soft' sciences…