David F. Bacon Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
62no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntony 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
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrei Hagiescu, Weng-Fai Wong, David F. Bacon, Rodric M. Rabbah: A computing origami: folding streams in FPGAs. DAC 2009: 282-287
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarald Röck, Joshua S. Auerbach, Christoph M. Kirsch, David F. Bacon: Avoiding unbounded priority inversion in barrier protocols using gang priority management. JTRES 2009: 70-79
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJia Zou, Joshua S. Auerbach, David F. Bacon, Edward A. Lee: PTIDES on flexible task graph: real-time embedded systembuilding from theory to practice. LCTES 2009: 31-40
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDan Tsafrir, Robert W. Wisniewski, David F. Bacon, Bjarne Stroustrup: Minimizing dependencies within generic classes for faster and smaller programs. OOPSLA 2009: 425-444
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid F. Bacon, Yiling Chen, David C. Parkes, Malvika Rao: A market-based approach to software evolution. OOPSLA Companion 2009: 973-980
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoshua 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
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmir Hormati, Manjunath Kudlur, Scott A. Mahlke, David F. Bacon, Rodric M. Rabbah: Optimus: efficient realization of streaming applications on FPGAs. CASES 2008: 41-50
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShan Shan Huang, Amir Hormati, David F. Bacon, Rodric M. Rabbah: Liquid Metal: Object-Oriented Programming Across the Hardware/Software Boundary. ECOOP 2008: 76-103
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoshua 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
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoshua 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
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDoug Lea, David F. Bacon, David Grove: Languages and performance engineering: method, instrumentation, and pedagogy. SIGPLAN Notices 43(11): 87-92 (2008)
2007
50no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard 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
49no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard 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
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Frampton, David F. Bacon, Perry Cheng, David Grove: Generational Real-Time Garbage Collection. ECOOP 2007: 101-125
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoshua 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
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoshua 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
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid F. Bacon, Perry Cheng, David Grove: TuningFork: a platform for visualization and analysis of complex real-time systems. OOPSLA Companion 2007: 854-855
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBen Titzer, Joshua S. Auerbach, David F. Bacon, Jens Palsberg: The ExoVM system for automatic VM and application reduction. PLDI 2007: 352-362
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin T. Vechev, Eran Yahav, David F. Bacon, Noam Rinetzky: CGCExplorer: a semi-automated search procedure for provably correct concurrent collectors. PLDI 2007: 456-467
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid F. Bacon: Realtime garbage collection. ACM Queue 5(1): 40-49 (2007)
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarel 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
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid 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
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel 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
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin T. Vechev, Eran Yahav, David F. Bacon: Correctness-preserving derivation of concurrent garbage collection algorithms. PLDI 2006: 341-353
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid 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
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarel Paz, Erez Petrank, David F. Bacon, Elliot K. Kolodner, V. T. Rajan: An Efficient On-the-Fly Cycle Collection. CC 2005: 156-171
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin T. Vechev, David F. Bacon, Perry Cheng, David Grove: Derivation and Evaluation of Concurrent Collectors. ECOOP 2005: 577-601
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid 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
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid F. Bacon, Perry Cheng, David Grove, Martin T. Vechev: Syncopation: generational real-time garbage collection in the metronome. LCTES 2005: 183-192
2004
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid F. Bacon, Amer Diwan: Proceedings of the 4th International Symposium on Memory Management, ISMM 2004, Vancouver, BC, Canada, October 24-25, 2004 ACM 2004
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid F. Bacon, Perry Cheng, David Grove: Garbage collection for embedded systems. EMSOFT 2004: 125-136
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin T. Vechev, David F. Bacon: Write barrier elision for concurrent garbage collectors. ISMM 2004: 13-24
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSunil Soman, Chandra Krintz, David F. Bacon: Dynamic selection of application-specific garbage collectors. ISMM 2004: 49-60
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid F. Bacon, Perry Cheng, V. T. Rajan: A unified theory of garbage collection. OOPSLA 2004: 50-68
2003
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid 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
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Corwin, David F. Bacon, David Grove, Chet Murthy: MJ: a rational module system for Java and its applications. OOPSLA 2003: 241-254
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid F. Bacon, Perry Cheng, V. T. Rajan: The Metronome: A Simpler Approach to Garbage Collection in Real-Time Systems. OTM Workshops 2003: 466-478
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid F. Bacon, Perry Cheng, V. T. Rajan: A real-time garbage collector with low overhead and consistent utilization. POPL 2003: 285-298
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid 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
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid F. Bacon, Stephen J. Fink, David Grove: Space- and Time-Efficient Implementation of the Java Object Model. ECOOP 2002: 111-132
2001
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid F. Bacon, V. T. Rajan: Concurrent Cycle Collection in Reference Counted Systems. ECOOP 2001: 207-235
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid F. Bacon: Kava: a Java dialect with a uniform object model for lightweight classes. Java Grande 2001: 68-77
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLC. Richard Attanasio, David F. Bacon, Anthony Cocchi, Stephen E. Smith: A Comparative Evaluation of Parallel Garbage Collector Implementations. LCPC 2001: 177-192
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid 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
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid F. Bacon, Robert E. Strom, Ashis Tarafdar: Guava: a dialect of Java without data races. OOPSLA 2000: 382-400
1998
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid F. Bacon, Ravi B. Konuru, Chet Murthy, Mauricio J. Serrano: Thin locks: featherweight Synchronization for Java (with retrospective) Best of PLDI 1998: 583-595
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid F. Bacon, Ravi B. Konuru, Chet Murthy, Mauricio J. Serrano: Thin Locks: Featherweight Synchronization for Java. PLDI 1998: 258-268
1996
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid F. Bacon, Peter F. Sweeney: Fast Static Analysis of C++ Virtual Function Calls. OOPSLA 1996: 324-341
1994
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid 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
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid F. Bacon, Susan L. Graham, Oliver J. Sharp: Compiler Transformations for High-Performance Computing. ACM Comput. Surv. 26(4): 345-420 (1994)
1992
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoshua 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
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoshua 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
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid F. Bacon, Robert E. Strom: Optimistic Parallelization of Communicating Sequential Processes. PPOPP 1991: 155-166
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid F. Bacon: File System Measurements and their Application to the Design of Efficient Operation Logging Algorithm. SRDS 1991: 21-30
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid F. Bacon, Seth Copen Goldstein: Hardware-Assisted Replay of Multiprocessor Programs. Workshop on Parallel and Distributed Debugging 1991: 194-206
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid F. Bacon: Transparent Recovery in Distributed Systems. Operating Systems Review 25(2): 91-94 (1991)
1990
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid F. Bacon: Transparent recovery in distributed systems. ACM SIGOPS European Workshop 1990
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid F. Bacon, Andy Lowry: A Portable Run-time System for the Hermes Distributed Programming Language. USENIX Summer 1990: 39-50
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Dupuy, Jed Schwartz, Yechiam Yemini, David F. Bacon: NEST: A Network Simulation and Prototyping Testbed. Commun. ACM 33(10): 63-74 (1990)
1989
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Dupuy, Jed Schwartz, Yechiam Yemini, David F. Bacon: NEST: a network simulation & prototyping testbed. Winter Simulation Conference 1989: 1058-1064
1988
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid F. Bacon, Jed Schwartz, Yechiam Yemini: Nest: A Network Simulation and Prototyping Tool. USENIX Winter 1988: 71-77

Coauthor Index

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

Colors in the list of coauthors

Copyright © Tue Feb 9 14:55:32 2010 by Michael Ley (ley@uni-trier.de)