David F. Bacon

2009
57		Antony L. Hosking, David F. Bacon, Orran Krieger: Proceedings of the 5th International Conference on Virtual Execution Environments, VEE 2009, Washington, DC, USA, March 11-13, 2009 ACM 2009
56	EE	Joshua S. Auerbach, David F. Bacon, Daniel T. Iercan, Christoph M. Kirsch, V. T. Rajan, Harald Röck, Rainer Trummer: Low-latency time-portable real-time programming with Exotasks. ACM Trans. Embedded Comput. Syst. 8(2): (2009)
2008
55	EE	Amir Hormati, Manjunath Kudlur, Scott A. Mahlke, David F. Bacon, Rodric M. Rabbah: Optimus: efficient realization of streaming applications on FPGAs. CASES 2008: 41-50
54	EE	Shan Shan Huang, Amir Hormati, David F. Bacon, Rodric M. Rabbah: Liquid Metal: Object-Oriented Programming Across the Hardware/Software Boundary. ECOOP 2008: 76-103
53	EE	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
52	EE	Joshua S. Auerbach, David F. Bacon, Rachid Guerraoui, Jesper Honig Spring, Jan Vitek: Flexible task graphs: a unified restricted thread programming model for java. LCTES 2008: 1-11
51	EE	Doug Lea, David F. Bacon, David Grove: Languages and performance engineering: method, instrumentation, and pedagogy. SIGPLAN Notices 43(11): 87-92 (2008)
2007
50		Richard P. Gabriel, David F. Bacon, Cristina Videira Lopes, Guy L. Steele Jr.: Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada ACM 2007
49		Richard P. Gabriel, David F. Bacon, Cristina Videira Lopes, Guy L. Steele Jr.: Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada ACM 2007
48	EE	Daniel Frampton, David F. Bacon, Perry Cheng, David Grove: Generational Real-Time Garbage Collection. ECOOP 2007: 101-125
47	EE	Joshua S. Auerbach, David F. Bacon, Bob Blainey, Perry Cheng, Michael Dawson, Mike Fulton, David Grove, Darren Hart, Mark G. Stoodley: Design and implementation of a comprehensive real-time java virtual machine. EMSOFT 2007: 249-258
46	EE	Joshua S. Auerbach, David F. Bacon, Daniel T. Iercan, Christoph M. Kirsch, V. T. Rajan, Harald Röck, Rainer Trummer: Java takes flight: time-portable real-time programming with exotasks. LCTES 2007: 51-62
45	EE	David F. Bacon, Perry Cheng, David Grove: TuningFork: a platform for visualization and analysis of complex real-time systems. OOPSLA Companion 2007: 854-855
44	EE	Ben Titzer, Joshua S. Auerbach, David F. Bacon, Jens Palsberg: The ExoVM system for automatic VM and application reduction. PLDI 2007: 352-362
43	EE	Martin T. Vechev, Eran Yahav, David F. Bacon, Noam Rinetzky: CGCExplorer: a semi-automated search procedure for provably correct concurrent collectors. PLDI 2007: 456-467
42	EE	David F. Bacon: Realtime garbage collection. ACM Queue 5(1): 40-49 (2007)
41	EE	Harel Paz, David F. Bacon, Elliot K. Kolodner, Erez Petrank, V. T. Rajan: An efficient on-the-fly cycle collection. ACM Trans. Program. Lang. Syst. 29(4): (2007)
2006
40	EE	David F. Bacon, Perry Cheng, Daniel Frampton, David Grove, Matthias Hauswirth, V. T. Rajan: Demonstration: On-Line Visualization and Analysis of Real-Time Systems with TuningFork. CC 2006: 96-100
39	EE	Daniel Spoonhower, Joshua S. Auerbach, David F. Bacon, Perry Cheng, David Grove: Eventrons: a safe programming construct for high-frequency hard real-time applications. PLDI 2006: 283-294
38	EE	Martin T. Vechev, Eran Yahav, David F. Bacon: Correctness-preserving derivation of concurrent garbage collection algorithms. PLDI 2006: 341-353
37	EE	David F. Bacon, Xiaowei Shen: Braids and fibers: Language constructs with architectural support for adaptive responses to memory latencies. IBM Journal of Research and Development 50(2-3): 209-222 (2006)
2005
36	EE	Harel Paz, Erez Petrank, David F. Bacon, Elliot K. Kolodner, V. T. Rajan: An Efficient On-the-Fly Cycle Collection. CC 2005: 156-171
35	EE	Martin T. Vechev, David F. Bacon, Perry Cheng, David Grove: Derivation and Evaluation of Concurrent Collectors. ECOOP 2005: 577-601
34	EE	David F. Bacon, Perry Cheng, David Grove, Michael Hind, V. T. Rajan, Eran Yahav, Matthias Hauswirth, Christoph M. Kirsch, Daniel Spoonhower, Martin T. Vechev: High-level real-time programming in Java. EMSOFT 2005: 68-78
33	EE	David F. Bacon, Perry Cheng, David Grove, Martin T. Vechev: Syncopation: generational real-time garbage collection in the metronome. LCTES 2005: 183-192
2004
32		David F. Bacon, Amer Diwan: Proceedings of the 4th International Symposium on Memory Management, ISMM 2004, Vancouver, BC, Canada, October 24-25, 2004 ACM 2004
31	EE	David F. Bacon, Perry Cheng, David Grove: Garbage collection for embedded systems. EMSOFT 2004: 125-136
30	EE	Martin T. Vechev, David F. Bacon: Write barrier elision for concurrent garbage collectors. ISMM 2004: 13-24
29	EE	Sunil Soman, Chandra Krintz, David F. Bacon: Dynamic selection of application-specific garbage collectors. ISMM 2004: 49-60
28	EE	David F. Bacon, Perry Cheng, V. T. Rajan: A unified theory of garbage collection. OOPSLA 2004: 50-68
2003
27	EE	David F. Bacon, Perry Cheng, V. T. Rajan: Controlling fragmentation and space consumption in the metronome, a real-time garbage collector for Java. LCTES 2003: 81-92
26	EE	John Corwin, David F. Bacon, David Grove, Chet Murthy: MJ: a rational module system for Java and its applications. OOPSLA 2003: 241-254
25	EE	David F. Bacon, Perry Cheng, V. T. Rajan: The Metronome: A Simpler Approach to Garbage Collection in Real-Time Systems. OTM Workshops 2003: 466-478
24	EE	David F. Bacon, Perry Cheng, V. T. Rajan: A real-time garbage collector with low overhead and consistent utilization. POPL 2003: 285-298
23		David F. Bacon: Kava: a Java dialect with a uniform object model for lightweight classes. Concurrency and Computation: Practice and Experience 15(3-5): 185-206 (2003)
2002
22	EE	David F. Bacon, Stephen J. Fink, David Grove: Space- and Time-Efficient Implementation of the Java Object Model. ECOOP 2002: 111-132
2001
21	EE	David F. Bacon, V. T. Rajan: Concurrent Cycle Collection in Reference Counted Systems. ECOOP 2001: 207-235
20	EE	David F. Bacon: Kava: a Java dialect with a uniform object model for lightweight classes. Java Grande 2001: 68-77
19	EE	C. Richard Attanasio, David F. Bacon, Anthony Cocchi, Stephen E. Smith: A Comparative Evaluation of Parallel Garbage Collector Implementations. LCPC 2001: 177-192
18		David F. Bacon, C. Richard Attanasio, Han Bok Lee, V. T. Rajan, Stephen E. Smith: Java without the Coffee Breaks: A Nonintrusive Multiprocessor Garbage Collector. PLDI 2001: 92-103
2000
17	EE	David F. Bacon, Robert E. Strom, Ashis Tarafdar: Guava: a dialect of Java without data races. OOPSLA 2000: 382-400
1998
16	EE	David F. Bacon, Ravi B. Konuru, Chet Murthy, Mauricio J. Serrano: Thin locks: featherweight Synchronization for Java (with retrospective) Best of PLDI 1998: 583-595
15		David F. Bacon, Ravi B. Konuru, Chet Murthy, Mauricio J. Serrano: Thin Locks: Featherweight Synchronization for Java. PLDI 1998: 258-268
1996
14		David F. Bacon, Peter F. Sweeney: Fast Static Analysis of C++ Virtual Function Calls. OOPSLA 1996: 324-341
1994
13	EE	David F. Bacon, Jyh-Herng Chow, Dz-ching Ju, Kalyan Muthukumar, Vivek Sarkar: A compiler framework for restructuring data declarations to enhance cache and TLB effectiveness. CASCON 1994: 3
12		David F. Bacon, Susan L. Graham, Oliver J. Sharp: Compiler Transformations for High-Performance Computing. ACM Comput. Surv. 26(4): 345-420 (1994)
1992
11	EE	Joshua S. Auerbach, David F. Bacon, Arthur P. Goldberg, Germán S. Goldszmidt, Ajei S. Gopal, Mark T. Kennedy, Andy Lowry, James R. Russell, William Silverman, Robert E. Strom, Daniel M. Yellin, Shaula Yemini: High-level language support for programming distributed systems. ICCL 1992: 320-330
1991
10	EE	Joshua S. Auerbach, David F. Bacon, Arthur P. Goldberg, Germán S. Goldszmidt, Mark T. Kennedy, Andy Lowry, James R. Russell, William Silverman, Robert E. Strom, Daniel M. Yellin, Shaula Yemini: High-level language support for programming distributed systems. CASCON 1991: 173-196
9		David F. Bacon, Robert E. Strom: Optimistic Parallelization of Communicating Sequential Processes. PPOPP 1991: 155-166
8		David F. Bacon: File System Measurements and their Application to the Design of Efficient Operation Logging Algorithm. SRDS 1991: 21-30
7		David F. Bacon, Seth Copen Goldstein: Hardware-Assisted Replay of Multiprocessor Programs. Workshop on Parallel and Distributed Debugging 1991: 194-206
6		David F. Bacon: Transparent Recovery in Distributed Systems. Operating Systems Review 25(2): 91-94 (1991)
1990
5	EE	David F. Bacon: Transparent recovery in distributed systems. ACM SIGOPS European Workshop 1990
4		David F. Bacon, Andy Lowry: A Portable Run-time System for the Hermes Distributed Programming Language. USENIX Summer 1990: 39-50
3		Alexander Dupuy, Jed Schwartz, Yechiam Yemini, David F. Bacon: NEST: A Network Simulation and Prototyping Testbed. Commun. ACM 33(10): 63-74 (1990)
1989
2	EE	Alexander Dupuy, Jed Schwartz, Yechiam Yemini, David F. Bacon: NEST: a network simulation & prototyping testbed. Winter Simulation Conference 1989: 1058-1064
1988
1		David F. Bacon, Jed Schwartz, Yechiam Yemini: Nest: A Network Simulation and Prototyping Tool. USENIX Winter 1988: 71-77

Coauthor Index

1	C. Richard Attanasio	[18] [19]
2	Joshua S. Auerbach	[10] [11] [39] [44] [46] [47] [52] [53] [56]
3	Ben Biron	[53]
4	Bob Blainey (Robert J. Blainey)	[47]
5	Perry Cheng	[24] [25] [27] [28] [31] [33] [34] [35] [39] [40] [45] [47] [48] [53]
6	Jyh-Herng Chow	[13]
7	Anthony Cocchi	[19]
8	John Corwin	[26]
9	Michael Dawson	[47]
10	Amer Diwan	[32]
11	Alexander Dupuy	[2] [3]
12	Stephen J. Fink (Stephen Fink)	[22]
13	Daniel Frampton	[40] [48]
14	Mike Fulton	[47]
15	Richard P. Gabriel	[49] [50]
16	Arthur P. Goldberg	[10] [11]
17	Seth Copen Goldstein	[7]
18	Germán S. Goldszmidt	[10] [11]
19	Ajei S. Gopal	[11]
20	Charlie Gracie	[53]
21	Susan L. Graham	[12]
22	David Grove	[22] [26] [31] [33] [34] [35] [39] [40] [45] [47] [48] [51] [53]
23	Rachid Guerraoui	[52]
24	Darren Hart	[47]
25	Matthias Hauswirth	[34] [40]
26	Michael Hind	[34]
27	Amir Hormati	[54] [55]
28	Antony L. Hosking	[57]
29	Shan Shan Huang	[54]
30	Daniel T. Iercan	[46] [56]
31	Dz-ching Ju	[13]
32	Mark T. Kennedy	[10] [11]
33	Christoph M. Kirsch (Christoph Meyer)	[34] [46] [56]
34	Elliot K. Kolodner	[36] [41]
35	Ravi B. Konuru (Ravindranath Konuru)	[15] [16]
36	Orran Krieger	[57]
37	Chandra Krintz	[29]
38	Manjunath Kudlur	[55]
39	Doug Lea	[51]
40	Han Bok Lee	[18]
41	Cristina Videira Lopes	[49] [50]
42	Andy Lowry	[4] [10] [11]
43	Scott A. Mahlke	[55]
44	Bill McCloskey	[53]
45	Aleksandar Micic	[53]
46	Chet Murthy	[15] [16] [26]
47	Kalyan Muthukumar	[13]
48	Jens Palsberg	[44]
49	Harel Paz	[36] [41]
50	Erez Petrank	[36] [41]
51	Rodric M. Rabbah	[54] [55]
52	V. T. Rajan	[18] [21] [24] [25] [27] [28] [34] [36] [40] [41] [46] [56]
53	Noam Rinetzky	[43]
54	Harald Röck	[46] [56]
55	James R. Russell	[10] [11]
56	Vivek Sarkar	[13]
57	Jed Schwartz	[1] [2] [3]
58	Ryan Sciampacone	[53]
59	Mauricio J. Serrano	[15] [16]
60	Oliver J. Sharp	[12]
61	Xiaowei Shen	[37]
62	William Silverman	[10] [11]
63	Stephen E. Smith	[18] [19]
64	Sunil Soman	[29]
65	Daniel Spoonhower	[34] [39]
66	Jesper Honig Spring	[52]
67	Guy L. Steele Jr.	[49] [50]
68	Mark G. Stoodley	[47]
69	Robert E. Strom	[9] [10] [11] [17]
70	Peter F. Sweeney	[14]
71	Ashis Tarafdar	[17]
72	Ben Titzer	[44]
73	Rainer Trummer	[46] [56]
74	Martin T. Vechev	[30] [33] [34] [35] [38] [43]
75	Jan Vitek	[52]
76	Eran Yahav	[34] [38] [43]
77	Daniel M. Yellin	[10] [11]
78	Shaula Yemini	[10] [11]
79	Yechiam Yemini	[1] [2] [3]

Colors in the list of coauthors