David F. Bacon

Publication Activity (10 Years)

Years Active: 1988-2020
Publications (10 Years): 2

Top Topics

Structured Query Language

Hardware Design

Reconfigurable Hardware

Top Venues

Publications

Malvika Rao, David F. Bacon, David C. Parkes, Margo I. Seltzer
Incentivizing Deep Fixes in Software Economies. IEEE Trans. Software Eng. 46 (1) (2020)
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
Spanner: Becoming a SQL System. SIGMOD Conference (2017)
Sunil Shukla, David F. Bacon
Cycle-Accurate Replay and Debugging of Running FPGA Systems. FCCM (2015)
Joshua S. Auerbach, David F. Bacon, Perry Cheng, Stephen J. Fink, Rodric M. Rabbah, Sunil Shukla
Growing a Software Language for Hardware Design. SNAPL (2015)
David F. Bacon, Perry Cheng, Sunil Shukla
Parallel real-time garbage collection of multiple heaps in reconfigurable hardware. ISMM (2014)
David F. Bacon, Rodric M. Rabbah, Sunil Shukla
FPGA programming for the masses. Commun. ACM 56 (4) (2013)
David F. Bacon, Perry Cheng, V. T. Rajan
POPL 2003: A real-time garbage collector with low overhead and consistent utilization. ACM SIGPLAN Notices 48 (4S) (2013)
David F. Bacon, Perry Cheng, Sunil Shukla
And then there were none: a stall-free real-time garbage collector for reconfigurable hardware. Commun. ACM 56 (12) (2013)
Joshua S. Auerbach, David F. Bacon, Perry Cheng, Steve Fink, Rodric M. Rabbah
The Shape of Things to Run - Compiling Complex Stream Graphs to Reconfigurable Hardware in Lime. ECOOP (2013)
Erik R. Altman, Joshua S. Auerbach, David F. Bacon, Ioana Baldini, Perry Cheng, Stephen J. Fink, Rodric M. Rabbah
The Liquid Metal Blokus Duo Design. FPT (2013)
David F. Bacon, Rodric M. Rabbah, Sunil Shukla
FPGA Programming for the Masses. ACM Queue 11 (2) (2013)
David F. Bacon, Perry Cheng, Sunil Shukla
And then there were none: a stall-free real-time garbage collector for reconfigurable hardware. PLDI (2012)
Christophe Dubach, Perry Cheng, Rodric M. Rabbah, David F. Bacon, Stephen J. Fink
Compiling a high-level language for GPUs: (via language support for architectures and compilers). PLDI (2012)
Joshua S. Auerbach, David F. Bacon, Ioana Burcea, Perry Cheng, Stephen J. Fink, Rodric M. Rabbah, Sunil Shukla
A compiler and runtime for heterogeneous computing. DAC (2012)
David F. Bacon, David C. Parkes, Yiling Chen, Malvika Rao, Ian A. Kash, Manu Sridharan
Predicting your own effort. AAMAS (2012)
David F. Bacon
Virtualization in the age of heterogeneous machines. VEE (2011)
Joshua S. Auerbach, David F. Bacon, Perry Cheng, Rodric M. Rabbah, Sunil Shukla
Virtualization of heterogeneous machines hardware description in a synthesizable object-oriented language. DAC (2011)
David F. Bacon, Eric Bokelberg, Yiling Chen, Ian A. Kash, David C. Parkes, Malvika Rao, Manu Sridharan
Software economies. FoSER (2010)
Joshua S. Auerbach, David F. Bacon, Perry Cheng, Rodric M. Rabbah
Lime: a Java-compatible and synthesizable language for heterogeneous architectures. OOPSLA (2010)
Andrei Hagiescu, Weng-Fai Wong, David F. Bacon, Rodric M. Rabbah
A computing origami: folding streams in FPGAs. DAC (2009)
Jia 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)
Harald Röck, Joshua S. Auerbach, Christoph M. Kirsch, David F. Bacon
Avoiding unbounded priority inversion in barrier protocols using gang priority management. JTRES (2009)
David F. Bacon, Yiling Chen, David C. Parkes, Malvika Rao
A market-based approach to software evolution. OOPSLA Companion (2009)
Dan Tsafrir, Robert W. Wisniewski, David F. Bacon, Bjarne Stroustrup
Minimizing dependencies within generic classes for faster and smaller programs. OOPSLA (2009)
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. Embed. Comput. Syst. 8 (2) (2009)
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)
Shan Shan Huang, Amir Hormati, David F. Bacon, Rodric M. Rabbah
Liquid Metal: Object-Oriented Programming Across the Hardware/Software Boundary. ECOOP (2008)
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)
Amir Hormati, Manjunath Kudlur, Scott A. Mahlke, David F. Bacon, Rodric M. Rabbah
Optimus: efficient realization of streaming applications on FPGAs. CASES (2008)
Doug Lea, David F. Bacon, David Grove
Languages and performance engineering: method, instrumentation, and pedagogy. ACM SIGPLAN Notices 43 (11) (2008)
Joshua S. Auerbach, David F. Bacon, Florian Bömers, Perry Cheng
Real-Time Music synthesis in Java using the Metronome Garbage Collector. ICMC (2007)
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)
Ben L. Titzer, Joshua S. Auerbach, David F. Bacon, Jens Palsberg
The ExoVM system for automatic VM and application reduction. PLDI (2007)
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)
David F. Bacon, Perry Cheng, David Grove
TuningFork: a platform for visualization and analysis of complex real-time systems. OOPSLA Companion (2007)
David F. Bacon
Realtime garbage collection. ACM Queue 5 (1) (2007)
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)
Martin T. Vechev, Eran Yahav, David F. Bacon, Noam Rinetzky
CGCExplorer: a semi-automated search procedure for provably correct concurrent collectors. PLDI (2007)
Daniel Frampton, David F. Bacon, Perry Cheng, David Grove
Generational Real-Time Garbage Collection. ECOOP (2007)
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)
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)
Martin T. Vechev, Eran Yahav, David F. Bacon
Correctness-preserving derivation of concurrent garbage collection algorithms. PLDI (2006)
David F. Bacon, Xiaowei Shen
Braids and fibers: Language constructs with architectural support for adaptive responses to memory latencies. IBM J. Res. Dev. 50 (2-3) (2006)
Martin T. Vechev, David F. Bacon, Perry Cheng, David Grove
Derivation and Evaluation of Concurrent Collectors. ECOOP (2005)
David F. Bacon, Perry Cheng, David Grove, Martin T. Vechev
Syncopation: generational real-time garbage collection in the metronome. LCTES (2005)
Harel Paz, Erez Petrank, David F. Bacon, Elliot K. Kolodner, V. T. Rajan
An Efficient On-the-Fly Cycle Collection. CC (2005)
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)
David F. Bacon, Perry Cheng, David Grove
Garbage collection for embedded systems. EMSOFT (2004)
Martin T. Vechev, David F. Bacon
Write barrier elision for concurrent garbage collectors. ISMM (2004)
Sunil Soman, Chandra Krintz, David F. Bacon
Dynamic selection of application-specific garbage collectors. ISMM (2004)
David F. Bacon, Perry Cheng, V. T. Rajan
A unified theory of garbage collection. OOPSLA (2004)
David F. Bacon, Perry Cheng, V. T. Rajan
The Metronome: A Simpler Approach to Garbage Collection in Real-Time Systems. OTM Workshops (2003)
David F. Bacon, Perry Cheng, V. T. Rajan
A real-time garbage collector with low overhead and consistent utilization. POPL (2003)
John Corwin, David F. Bacon, David Grove, Chet Murthy
MJ: a rational module system for Java and its applications. OOPSLA (2003)
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)
David F. Bacon
Kava: a Java dialect with a uniform object model for lightweight classes. Concurr. Comput. Pract. Exp. 15 (3-5) (2003)
David F. Bacon, Stephen J. Fink, David Grove
Space- and Time-Efficient Implementation of the Java Object Model. ECOOP (2002)
David F. Bacon, V. T. Rajan
Concurrent Cycle Collection in Reference Counted Systems. ECOOP (2001)
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)
David F. Bacon
Kava: a Java dialect with a uniform object model for lightweight classes. Java Grande (2001)
C. Richard Attanasio, David F. Bacon, Anthony Cocchi, Stephen E. Smith
A Comparative Evaluation of Parallel Garbage Collector Implementations. LCPC (2001)
David F. Bacon, Robert E. Strom, Ashis Tarafdar
Guava: a dialect of Java without data races. OOPSLA (2000)
David F. Bacon, Ravi B. Konuru, Chet Murthy, Mauricio J. Serrano
Thin locks: featherweight Synchronization for Java (with retrospective) Best of PLDI (1998)
David F. Bacon, Ravi B. Konuru, Chet Murthy, Mauricio J. Serrano
Thin Locks: Featherweight Synchronization for Java. PLDI (1998)
David F. Bacon, Peter F. Sweeney
Fast Static Analysis of C++ Virtual Function Calls. OOPSLA (1996)
David F. Bacon, Susan L. Graham, Oliver J. Sharp
Compiler Transformations for High-Performance Computing. ACM Comput. Surv. 26 (4) (1994)
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)
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)
David F. Bacon
File System Measurements and their Application to the Design of Efficient Operation Logging Algorithm. SRDS (1991)
David F. Bacon, Robert E. Strom
Optimistic Parallelization of Communicating Sequential Processes. PPOPP (1991)
David F. Bacon
Transparent Recovery in Distributed Systems. ACM SIGOPS Oper. Syst. Rev. 25 (2) (1991)
David F. Bacon, Seth Copen Goldstein
Hardware-Assisted Replay of Multiprocessor Programs. Workshop on Parallel and Distributed Debugging (1991)
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)
David F. Bacon
Transparent recovery in distributed systems. ACM SIGOPS European Workshop (1990)
Alexander Dupuy, Jed Schwartz, Yechiam Yemini, David F. Bacon
NEST: A Network Simulation and Prototyping Testbed. Commun. ACM 33 (10) (1990)
David F. Bacon, Andy Lowry
A Portable Run-time System for the Hermes Distributed Programming Language. USENIX Summer (1990)
Alexander Dupuy, Jed Schwartz, Yechiam Yemini, David F. Bacon
NEST: a network simulation & prototyping testbed. WSC (1989)
Robert E. Strom, David F. Bacon, Shaula Yemini
Volatile logging in n-fault-tolerant distributed systems. FTCS (1988)
David F. Bacon, Jed Schwartz, Yechiam Yemini
Nest: A Network Simulation and Prototyping Tool. USENIX Winter (1988)