David F. Bacon
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
43
Venues
16
Active years
1988–2017
Best venue rank
A*
Where they publish
Papers
43 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | SIGMOD | Spanner: Becoming a SQL System. | David F. Bacon, Nathan Bales, Nicolas Bruno, Brian F. Cooper, Adam Dickinson, Andrew Fikes, Campbell Fraser, Andrey Gubarev, Milind Joshi, Eugene Kogan, Alexander Lloyd, Sergey Melnik, Rajesh Rao, David Shue, Christopher Taylor, Marcel van der Holst, Dale Woodford |
| 2015 | FCCM | Cycle-Accurate Replay and Debugging of Running FPGA Systems. | Sunil Shukla, David F. Bacon |
| 2013 | ECOOP | The Shape of Things to Run - Compiling Complex Stream Graphs to Reconfigurable Hardware in Lime. | Joshua S. Auerbach, David F. Bacon, Perry Cheng, Steve Fink, Rodric M. Rabbah |
| 2012 | AAMAS | Predicting your own effort. | David F. Bacon, David C. Parkes, Yiling Chen, Malvika Rao, Ian A. Kash, Manu Sridharan |
| 2012 | DAC | A compiler and runtime for heterogeneous computing. | Joshua S. Auerbach, David F. Bacon, Ioana Burcea, Perry Cheng, Stephen J. Fink, Rodric M. Rabbah, Sunil Shukla |
| 2012 | PLDI | And then there were none: a stall-free real-time garbage collector for reconfigurable hardware. | David F. Bacon, Perry Cheng, Sunil Shukla |
| 2012 | PLDI | Compiling a high-level language for GPUs: (via language support for architectures and compilers). | Christophe Dubach, Perry Cheng, Rodric M. Rabbah, David F. Bacon, Stephen J. Fink |
| 2011 | DAC | Virtualization of heterogeneous machines hardware description in a synthesizable object-oriented language. | Joshua S. Auerbach, David F. Bacon, Perry Cheng, Rodric M. Rabbah, Sunil Shukla |
| 2011 | VEE | Virtualization in the age of heterogeneous machines. | David F. Bacon |
| 2010 | OOPSLA | Lime: a Java-compatible and synthesizable language for heterogeneous architectures. | Joshua S. Auerbach, David F. Bacon, Perry Cheng, Rodric M. Rabbah |
| 2009 | DAC | A computing origami: folding streams in FPGAs. | Andrei Hagiescu, Weng-Fai Wong, David F. Bacon, Rodric M. Rabbah |
| 2009 | OOPSLA | A market-based approach to software evolution. | David F. Bacon, Yiling Chen, David C. Parkes, Malvika Rao |
| 2009 | OOPSLA | Minimizing dependencies within generic classes for faster and smaller programs. | Dan Tsafrir, Robert W. Wisniewski, David F. Bacon, Bjarne Stroustrup |
| 2008 | CASES | Optimus: efficient realization of streaming applications on FPGAs. | Amir Hormati, Manjunath Kudlur, Scott A. Mahlke, David F. Bacon, Rodric M. Rabbah |
| 2008 | ECOOP | Liquid Metal: Object-Oriented Programming Across the Hardware/Software Boundary. | Shan Shan Huang, Amir Hormati, David F. Bacon, Rodric M. Rabbah |
| 2008 | EMSOFT | 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 |
| 2007 | ECOOP | Generational Real-Time Garbage Collection. | Daniel Frampton, David F. Bacon, Perry Cheng, David Grove |
| 2007 | EMSOFT | Design and implementation of a comprehensive real-time java virtual machine. | Joshua S. Auerbach, David F. Bacon, Bob Blainey, Perry Cheng, Michael Dawson, Mike Fulton, David Grove, Darren Hart, Mark G. Stoodley |
| 2007 | OOPSLA | TuningFork: a platform for visualization and analysis of complex real-time systems. | David F. Bacon, Perry Cheng, David Grove |
| 2007 | PLDI | The ExoVM system for automatic VM and application reduction. | Ben L. Titzer, Joshua S. Auerbach, David F. Bacon, Jens Palsberg |
| 2007 | PLDI | CGCExplorer: a semi-automated search procedure for provably correct concurrent collectors. | Martin T. Vechev, Eran Yahav, David F. Bacon, Noam Rinetzky |
| 2006 | CC | Demonstration: On-Line Visualization and Analysis of Real-Time Systems with TuningFork. | David F. Bacon, Perry Cheng, Daniel Frampton, David Grove, Matthias Hauswirth, V. T. Rajan |
| 2006 | PLDI | Eventrons: a safe programming construct for high-frequency hard real-time applications. | Daniel Spoonhower, Joshua S. Auerbach, David F. Bacon, Perry Cheng, David Grove |
| 2006 | PLDI | Correctness-preserving derivation of concurrent garbage collection algorithms. | Martin T. Vechev, Eran Yahav, David F. Bacon |
| 2005 | CC | An Efficient On-the-Fly Cycle Collection. | Harel Paz, Erez Petrank, David F. Bacon, Elliot K. Kolodner, V. T. Rajan |
| 2005 | ECOOP | Derivation and Evaluation of Concurrent Collectors. | Martin T. Vechev, David F. Bacon, Perry Cheng, David Grove |
| 2005 | EMSOFT | High-level real-time programming in Java. | David F. Bacon, Perry Cheng, David Grove, Michael Hind, V. T. Rajan, Eran Yahav, Matthias Hauswirth, Christoph M. Kirsch, Daniel Spoonhower, Martin T. Vechev |
| 2004 | EMSOFT | Garbage collection for embedded systems. | David F. Bacon, Perry Cheng, David Grove |
| 2004 | OOPSLA | A unified theory of garbage collection. | David F. Bacon, Perry Cheng, V. T. Rajan |
| 2003 | OOPSLA | MJ: a rational module system for Java and its applications. | John Corwin, David F. Bacon, David Grove, Chet Murthy |
| 2003 | POPL | A real-time garbage collector with low overhead and consistent utilization. | David F. Bacon, Perry Cheng, V. T. Rajan |
| 2002 | ECOOP | Space- and Time-Efficient Implementation of the Java Object Model. | David F. Bacon, Stephen J. Fink, David Grove |
| 2001 | ECOOP | Concurrent Cycle Collection in Reference Counted Systems. | David F. Bacon, V. T. Rajan |
| 2001 | PLDI | Java without the Coffee Breaks: A Nonintrusive Multiprocessor Garbage Collector. | David F. Bacon, C. Richard Attanasio, Han Bok Lee, V. T. Rajan, Stephen E. Smith |
| 2000 | OOPSLA | Guava: a dialect of Java without data races. | David F. Bacon, Robert E. Strom, Ashis Tarafdar |
| 1998 | PLDI | Thin Locks: Featherweight Synchronization for Java. | David F. Bacon, Ravi B. Konuru, Chet Murthy, Mauricio J. Serrano |
| 1998 | PLDI | Thin locks: featherweight Synchronization for Java (with retrospective) | David F. Bacon, Ravi B. Konuru, Chet Murthy, Mauricio J. Serrano |
| 1996 | OOPSLA | Fast Static Analysis of C++ Virtual Function Calls. | David F. Bacon, Peter F. Sweeney |
| 1991 | PPoPP | Optimistic Parallelization of Communicating Sequential Processes. | David F. Bacon, Robert E. Strom |
| 1991 | SRDS | File System Measurements and their Application to the Design of Efficient Operation Logging Algorithm. | David F. Bacon |
| 1990 | USENIX | A Portable Run-time System for the Hermes Distributed Programming Language. | David F. Bacon, Andy Lowry |
| 1989 | WSC | NEST: a network simulation & prototyping testbed. | Alexander Dupuy, Jed Schwartz, Yechiam Yemini, David F. Bacon |
| 1988 | USENIX | Nest: A Network Simulation and Prototyping Tool. | David F. Bacon, Jed Schwartz, Yechiam Yemini |