Bill McCloskey
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2005–2023
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | ASPLOS | Towards an Adaptable Systems Architecture for Memory Tiering at Warehouse-Scale. | 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 |
| 2010 | SAS | Statically Inferring Complex Heap, Array, and Numeric Invariants. | Bill McCloskey, Thomas W. Reps, Mooly Sagiv |
| 2008 | EMSOFT | Tax-and-spend: democratic scheduling for real-time garbage collection. | Joshua S. Auerbach, David F. Bacon, Perry Cheng, David Grove, Ben Biron, Charlie Gracie, Bill McCloskey, Aleksandar Micic, Ryan Sciampacone |
| 2008 | POPL | Lifting abstract interpreters to quantified logical domains. | Sumit Gulwani, Bill McCloskey, Ashish Tiwari |
| 2006 | POPL | Autolocker: synchronization inference for atomic sections. | Bill McCloskey, Feng Zhou, David Gay, Eric A. Brewer |
| 2005 | HotOS | Thirty Years Is Long Enough: Getting Beyond C. | Eric A. Brewer, Jeremy Condit, Bill McCloskey, Feng Zhou |