Bill McCloskey

According to our database, Bill McCloskey authored at least 7 papers between 2005 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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

Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2023

2010

Statically Inferring Complex Heap, Array, and Numeric Invariants.

Bill McCloskey, Thomas W. Reps, Mooly Sagiv

Proceedings of the Static Analysis - 17th International Symposium, 2010

2008

Lifting abstract interpreters to quantified logical domains.

Sumit Gulwani, Bill McCloskey, Ashish Tiwari

Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008

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

Proceedings of the 8th ACM & IEEE International conference on Embedded software, 2008

2006

Autolocker: synchronization inference for atomic sections.

Bill McCloskey, Feng Zhou, David Gay, Eric A. Brewer

Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2006

2005

ASTEC: a new approach to refactoring C.

Bill McCloskey, Eric A. Brewer

Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005

Thirty Years Is Long Enough: Getting Beyond C.

Eric A. Brewer, Jeremy Condit, Bill McCloskey, Feng Zhou

Proceedings of HotOS'05: 10th Workshop on Hot Topics in Operating Systems, 2005