4 citations · 4 across the 3 of their papers we have counts for
4 papers
Jenga: Responsive Tiered Memory Management without Thrashing
Rohan Kadekodi, Haoran Peng, Gilbert Bernstein +2
A heterogeneous memory has a single address space with fast access to some addresses (a fast tier of DRAM) and slow access to other addresses (a capacity tier of CXL-attached memor…
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…
Characterizing consensus in the Heard-Of model
A. R. Balasubramanian, Igor Walukiewicz
The Heard-Of model is a simple and relatively expressive model of distributed computation. Because of this, it has gained a considerable attention of the verification community. We…
Planning the Future of U.S. Particle Physics (Snowmass 2013): Chapter 9: Computing
L. A. T. Bauerdick, S. Gottlieb, G. Bell +28
These reports present the results of the 2013 Community Summer Study of the APS Division of Particles and Fields ("Snowmass 2013") on the future program of particle physics in the…