Bill McCloskey

Publication Activity (10 Years)

Years Active: 2005-2023
Publications (10 Years): 1

Top Topics

Enterprise Systems

Top Venues

Publications

Padmapriya Duraisamy, Wei Xu, Scott Hare, Ravi Rajwar, David E. Culler, Zhiyi Xu, Jianing Fan, Christopher Kennelly, Bill McCloskey, Danijela Mijailovic, Brian Morris, Chiranjit Mukherjee, Jingliang Ren, Greg Thelen, Paul Turner, Carlos Villavieja, Parthasarathy Ranganathan, Amin Vahdat
Towards an Adaptable Systems Architecture for Memory Tiering at Warehouse-Scale. ASPLOS (3) (2023)
Bill McCloskey, Thomas W. Reps, Mooly Sagiv
Statically Inferring Complex Heap, Array, and Numeric Invariants. SAS (2010)
Sumit Gulwani, Bill McCloskey, Ashish Tiwari
Lifting abstract interpreters to quantified logical domains. POPL (2008)
Joshua S. Auerbach, David F. Bacon, Perry Cheng, David Grove, Ben Biron, Charlie Gracie, Bill McCloskey, Aleksandar Micic, Ryan Sciampacone
Tax-and-spend: democratic scheduling for real-time garbage collection. EMSOFT (2008)
Bill McCloskey, Feng Zhou, David Gay, Eric A. Brewer
Autolocker: synchronization inference for atomic sections. POPL (2006)
Eric A. Brewer, Jeremy Condit, Bill McCloskey, Feng Zhou
Thirty Years Is Long Enough: Getting Beyond C. HotOS (2005)
Bill McCloskey, Eric A. Brewer
ASTEC: a new approach to refactoring C. ESEC/SIGSOFT FSE (2005)