Thirty Years Is Long Enough: Getting Beyond C. - Eric A. Brewer; Jeremy Condit; Bill McCloskey; Feng Zhou (HotOS, 2005)

ASTEC: a new approach to refactoring C. - Bill McCloskey; Eric A. Brewer (ESEC/SIGSOFT FSE, 2005)

Autolocker: synchronization inference for atomic sections. - Bill McCloskey; Feng Zhou; David Gay; Eric A. Brewer (POPL, 2006)

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 (EMSOFT, 2008)

Lifting abstract interpreters to quantified logical domains. - Sumit Gulwani; Bill McCloskey; Ashish Tiwari 001 (POPL, 2008)

Statically Inferring Complex Heap, Array, and Numeric Invariants. - Bill McCloskey; Thomas W. Reps; Mooly Sagiv (SAS, 2010)

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; et al. (ASPLOS (3), 2023)