Bill McCloskey

	2010
6		Bill McCloskey, Thomas W. Reps, Mooly Sagiv: Statically Inferring Complex Heap, Array, and Numeric Invariants. SAS 2010: 71-99
	2008
5		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: 245-254
4		Sumit Gulwani, Bill McCloskey, Ashish Tiwari: Lifting abstract interpreters to quantified logical domains. POPL 2008: 235-246
	2006
3		Bill McCloskey, Feng Zhou, David Gay, Eric A. Brewer: Autolocker: synchronization inference for atomic sections. POPL 2006: 346-358
	2005
2		Bill McCloskey, Eric A. Brewer: ASTEC: a new approach to refactoring C. ESEC/SIGSOFT FSE 2005: 21-30
1		Eric A. Brewer, Jeremy Condit, Bill McCloskey, Feng Zhou: Thirty Years Is Long Enough: Getting Beyond C. HotOS 2005

Coauthor Index

1	Joshua S. Auerbach	[5]
2	David F. Bacon	[5]
3	Ben Biron	[5]
4	Eric A. Brewer	[1] [2] [3]
5	Perry Cheng	[5]
6	Jeremy Condit	[1]
7	David Gay	[3]
8	Charlie Gracie	[5]
9	David Grove	[5]
10	Sumit Gulwani	[4]
11	Aleksandar Micic	[5]
12	Thomas W. Reps	[6]
13	Shmuel Sagiv (Mooly Sagiv)	[6]
14	Ryan Sciampacone	[5]
15	Ashish Tiwari	[4]
16	Feng Zhou	[1] [3]

Colors in the list of coauthors

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page