David F. Bacon

86 papers A* 12A 14B 11C 5Misc 7Journal 15Unranked 20

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Hardware Support for Cloud Database Systems in the Post-Moore's Law Era (Dagstuhl Seminar 24162). Dagstuhl Reports David F. Bacon, Carsten Binnig, David Patterson, Margo I. Seltzer
2020	J	`jnl`	Incentivizing Deep Fixes in Software Economies. IEEE Trans. Software Eng. Malvika Rao, David F. Bacon, David C. Parkes, Margo I. Seltzer
2017	—	`conf`	Spanner: Becoming a SQL System. SIGMOD Conference 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	Misc	`conf`	Cycle-Accurate Replay and Debugging of Running FPGA Systems. FCCM Sunil Shukla, David F. Bacon
2015	—	`conf`	Growing a Software Language for Hardware Design. SNAPL Joshua S. Auerbach, David F. Bacon, Perry Cheng, Stephen J. Fink, Rodric M. Rabbah, Sunil Shukla
2014	C	`conf`	Parallel real-time garbage collection of multiple heaps in reconfigurable hardware. ISMM David F. Bacon, Perry Cheng, Sunil Shukla
2013	J	`jnl`	And then there were none: a stall-free real-time garbage collector for reconfigurable hardware. Commun. ACM David F. Bacon, Perry Cheng, Sunil Shukla
2013	J	`jnl`	FPGA Programming for the Masses. ACM Queue David F. Bacon, Rodric M. Rabbah, Sunil Shukla
2013	J	`jnl`	FPGA programming for the masses. Commun. ACM David F. Bacon, Rodric M. Rabbah, Sunil Shukla
2013	J	`jnl`	POPL 2003: A real-time garbage collector with low overhead and consistent utilization. ACM SIGPLAN Notices David F. Bacon, Perry Cheng, V. T. Rajan
2013	—	`conf`	The Liquid Metal Blokus Duo Design. FPT Erik R. Altman, Joshua S. Auerbach, David F. Bacon, Ioana Baldini, Perry Cheng, Stephen J. Fink, Rodric M. Rabbah
2013	A	`conf`	The Shape of Things to Run - Compiling Complex Stream Graphs to Reconfigurable Hardware in Lime. ECOOP Joshua S. Auerbach, David F. Bacon, Perry Cheng, Steve Fink, Rodric M. Rabbah
2012	A*	`conf`	A compiler and runtime for heterogeneous computing. DAC Joshua S. Auerbach, David F. Bacon, Ioana Burcea, Perry Cheng, Stephen J. Fink, Rodric M. Rabbah, Sunil Shukla
2012	A*	`conf`	And then there were none: a stall-free real-time garbage collector for reconfigurable hardware. PLDI David F. Bacon, Perry Cheng, Sunil Shukla
2012	A*	`conf`	Compiling a high-level language for GPUs: (via language support for architectures and compilers). PLDI Christophe Dubach, Perry Cheng, Rodric M. Rabbah, David F. Bacon, Stephen J. Fink
2012	A	`conf`	Predicting your own effort. AAMAS David F. Bacon, David C. Parkes, Yiling Chen, Malvika Rao, Ian A. Kash, Manu Sridharan
2011	C	`ed.`	Proceedings of the 10th International Symposium on Memory Management, ISMM 2011, San Jose, CA, USA, June 04 - 05, 2011 ISMM Hans-Juergen Boehm, David F. Bacon
2011	B	`conf`	Virtualization in the age of heterogeneous machines. VEE David F. Bacon
2011	A*	`conf`	Virtualization of heterogeneous machines hardware description in a synthesizable object-oriented language. DAC Joshua S. Auerbach, David F. Bacon, Perry Cheng, Rodric M. Rabbah, Sunil Shukla
2010	A	`conf`	Lime: a Java-compatible and synthesizable language for heterogeneous architectures. OOPSLA Joshua S. Auerbach, David F. Bacon, Perry Cheng, Rodric M. Rabbah
2010	—	`conf`	Software economies. FoSER David F. Bacon, Eric Bokelberg, Yiling Chen, Ian A. Kash, David C. Parkes, Malvika Rao, Manu Sridharan
2009	A*	`conf`	A computing origami: folding streams in FPGAs. DAC Andrei Hagiescu, Weng-Fai Wong, David F. Bacon, Rodric M. Rabbah
2009	—	`conf`	A market-based approach to software evolution. OOPSLA Companion David F. Bacon, Yiling Chen, David C. Parkes, Malvika Rao
2009	—	`conf`	Avoiding unbounded priority inversion in barrier protocols using gang priority management. JTRES Harald Röck, Joshua S. Auerbach, Christoph M. Kirsch, David F. Bacon
2009	J	`jnl`	Low-latency time-portable real-time programming with Exotasks. ACM Trans. Embed. Comput. Syst. Joshua S. Auerbach, David F. Bacon, Daniel T. Iercan, Christoph M. Kirsch, V. T. Rajan, Harald Röck, Rainer Trummer
2009	A	`conf`	Minimizing dependencies within generic classes for faster and smaller programs. OOPSLA Dan Tsafrir, Robert W. Wisniewski, David F. Bacon, Bjarne Stroustrup
2009	B	`conf`	PTIDES on flexible task graph: real-time embedded systembuilding from theory to practice. LCTES Jia Zou, Joshua S. Auerbach, David F. Bacon, Edward A. Lee
2009	B	`ed.`	Proceedings of the 5th International Conference on Virtual Execution Environments, VEE 2009, Washington, DC, USA, March 11-13, 2009 VEE Antony L. Hosking, David F. Bacon, Orran Krieger
2008	B	`conf`	Flexible task graphs: a unified restricted thread programming model for java. LCTES Joshua S. Auerbach, David F. Bacon, Rachid Guerraoui, Jesper Honig Spring, Jan Vitek
2008	J	`jnl`	Languages and performance engineering: method, instrumentation, and pedagogy. ACM SIGPLAN Notices Doug Lea, David F. Bacon, David Grove
2008	A	`conf`	Liquid Metal: Object-Oriented Programming Across the Hardware/Software Boundary. ECOOP Shan Shan Huang, Amir Hormati, David F. Bacon, Rodric M. Rabbah
2008	Misc	`conf`	Optimus: efficient realization of streaming applications on FPGAs. CASES Amir Hormati, Manjunath Kudlur, Scott A. Mahlke, David F. Bacon, Rodric M. Rabbah
2008	Misc	`conf`	Tax-and-spend: democratic scheduling for real-time garbage collection. EMSOFT Joshua S. Auerbach, David F. Bacon, Perry Cheng, David Grove, Ben Biron, Charlie Gracie, Bill McCloskey, Aleksandar Micic, Ryan Sciampacone
2007	J	`jnl`	An efficient on-the-fly cycle collection. ACM Trans. Program. Lang. Syst. Harel Paz, David F. Bacon, Elliot K. Kolodner, Erez Petrank, V. T. Rajan
2007	A*	`conf`	CGCExplorer: a semi-automated search procedure for provably correct concurrent collectors. PLDI Martin T. Vechev, Eran Yahav, David F. Bacon, Noam Rinetzky
2007	—	`ed.`	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 OOPSLA Companion Richard P. Gabriel, David F. Bacon, Cristina Videira Lopes, Guy L. Steele Jr.
2007	Misc	`conf`	Design and implementation of a comprehensive real-time java virtual machine. EMSOFT Joshua S. Auerbach, David F. Bacon, Bob Blainey, Perry Cheng, Michael Dawson, Mike Fulton, David Grove, Darren Hart, Mark G. Stoodley
2007	A	`conf`	Generational Real-Time Garbage Collection. ECOOP Daniel Frampton, David F. Bacon, Perry Cheng, David Grove
2007	B	`conf`	Java takes flight: time-portable real-time programming with exotasks. LCTES Joshua S. Auerbach, David F. Bacon, Daniel T. Iercan, Christoph M. Kirsch, V. T. Rajan, Harald Röck, Rainer Trummer
2007	A	`ed.`	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 OOPSLA Richard P. Gabriel, David F. Bacon, Cristina Videira Lopes, Guy L. Steele Jr.
2007	—	`conf`	Real-Time Music synthesis in Java using the Metronome Garbage Collector. ICMC Joshua S. Auerbach, David F. Bacon, Florian Bömers, Perry Cheng
2007	J	`jnl`	Realtime garbage collection. ACM Queue David F. Bacon
2007	A*	`conf`	The ExoVM system for automatic VM and application reduction. PLDI Ben L. Titzer, Joshua S. Auerbach, David F. Bacon, Jens Palsberg
2007	—	`conf`	TuningFork: a platform for visualization and analysis of complex real-time systems. OOPSLA Companion David F. Bacon, Perry Cheng, David Grove
2006	J	`jnl`	Braids and fibers: Language constructs with architectural support for adaptive responses to memory latencies. IBM J. Res. Dev. David F. Bacon, Xiaowei Shen
2006	A*	`conf`	Correctness-preserving derivation of concurrent garbage collection algorithms. PLDI Martin T. Vechev, Eran Yahav, David F. Bacon
2006	B	`conf`	Demonstration: On-Line Visualization and Analysis of Real-Time Systems with TuningFork. CC David F. Bacon, Perry Cheng, Daniel Frampton, David Grove, Matthias Hauswirth, V. T. Rajan
2006	A*	`conf`	Eventrons: a safe programming construct for high-frequency hard real-time applications. PLDI Daniel Spoonhower, Joshua S. Auerbach, David F. Bacon, Perry Cheng, David Grove
2005	B	`conf`	An Efficient On-the-Fly Cycle Collection. CC Harel Paz, Erez Petrank, David F. Bacon, Elliot K. Kolodner, V. T. Rajan
2005	A	`conf`	Derivation and Evaluation of Concurrent Collectors. ECOOP Martin T. Vechev, David F. Bacon, Perry Cheng, David Grove
2005	Misc	`conf`	High-level real-time programming in Java. EMSOFT David F. Bacon, Perry Cheng, David Grove, Michael Hind, V. T. Rajan, Eran Yahav, Matthias Hauswirth, Christoph M. Kirsch, Daniel Spoonhower, Martin T. Vechev
2005	B	`conf`	Syncopation: generational real-time garbage collection in the metronome. LCTES David F. Bacon, Perry Cheng, David Grove, Martin T. Vechev
2004	A	`conf`	A unified theory of garbage collection. OOPSLA David F. Bacon, Perry Cheng, V. T. Rajan
2004	C	`conf`	Dynamic selection of application-specific garbage collectors. ISMM Sunil Soman, Chandra Krintz, David F. Bacon
2004	Misc	`conf`	Garbage collection for embedded systems. EMSOFT David F. Bacon, Perry Cheng, David Grove
2004	C	`ed.`	Proceedings of the 4th International Symposium on Memory Management, ISMM 2004, Vancouver, BC, Canada, October 24-25, 2004 ISMM David F. Bacon, Amer Diwan
2004	C	`conf`	Write barrier elision for concurrent garbage collectors. ISMM Martin T. Vechev, David F. Bacon
2003	A*	`conf`	A real-time garbage collector with low overhead and consistent utilization. POPL David F. Bacon, Perry Cheng, V. T. Rajan
2003	B	`conf`	Controlling fragmentation and space consumption in the metronome, a real-time garbage collector for Java. LCTES David F. Bacon, Perry Cheng, V. T. Rajan
2003	J	`jnl`	Kava: a Java dialect with a uniform object model for lightweight classes. Concurr. Comput. Pract. Exp. David F. Bacon
2003	A	`conf`	MJ: a rational module system for Java and its applications. OOPSLA John Corwin, David F. Bacon, David Grove, Chet Murthy
2003	—	`conf`	The Metronome: A Simpler Approach to Garbage Collection in Real-Time Systems. OTM Workshops David F. Bacon, Perry Cheng, V. T. Rajan
2002	A	`conf`	Space- and Time-Efficient Implementation of the Java Object Model. ECOOP David F. Bacon, Stephen J. Fink, David Grove
2001	—	`conf`	A Comparative Evaluation of Parallel Garbage Collector Implementations. LCPC C. Richard Attanasio, David F. Bacon, Anthony Cocchi, Stephen E. Smith
2001	A	`conf`	Concurrent Cycle Collection in Reference Counted Systems. ECOOP David F. Bacon, V. T. Rajan
2001	A*	`conf`	Java without the Coffee Breaks: A Nonintrusive Multiprocessor Garbage Collector. PLDI David F. Bacon, C. Richard Attanasio, Han Bok Lee, V. T. Rajan, Stephen E. Smith
2001	—	`conf`	Kava: a Java dialect with a uniform object model for lightweight classes. Java Grande David F. Bacon
2000	A	`conf`	Guava: a dialect of Java without data races. OOPSLA David F. Bacon, Robert E. Strom, Ashis Tarafdar
1998	A*	`conf`	Thin Locks: Featherweight Synchronization for Java. PLDI David F. Bacon, Ravi B. Konuru, Chet Murthy, Mauricio J. Serrano
1998	—	`conf`	Thin locks: featherweight Synchronization for Java (with retrospective) Best of PLDI David F. Bacon, Ravi B. Konuru, Chet Murthy, Mauricio J. Serrano
1996	A	`conf`	Fast Static Analysis of C++ Virtual Function Calls. OOPSLA David F. Bacon, Peter F. Sweeney
1994	—	`conf`	A compiler framework for restructuring data declarations to enhance cache and TLB effectiveness. CASCON David F. Bacon, Jyh-Herng Chow, Dz-Ching Ju, Kalyan Muthukumar, Vivek Sarkar
1994	J	`jnl`	Compiler Transformations for High-Performance Computing. ACM Comput. Surv. David F. Bacon, Susan L. Graham, Oliver J. Sharp
1992	—	`conf`	High-level language support for programming distributed systems. ICCL 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
1991	B	`conf`	File System Measurements and their Application to the Design of Efficient Operation Logging Algorithm. SRDS David F. Bacon
1991	—	`conf`	Hardware-Assisted Replay of Multiprocessor Programs. Workshop on Parallel and Distributed Debugging David F. Bacon, Seth Copen Goldstein
1991	—	`book`	Hermes - a language for distributed computing. Robert E. Strom, David F. Bacon, Arthur P. Goldberg, Andy Lowry, Daniel M. Yellin, Shaula Yemini
1991	—	`conf`	High-level language support for programming distributed systems. CASCON 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
1991	B	`conf`	Optimistic Parallelization of Communicating Sequential Processes. PPoPP David F. Bacon, Robert E. Strom
1991	J	`jnl`	Transparent Recovery in Distributed Systems. ACM SIGOPS Oper. Syst. Rev. David F. Bacon
1990	—	`conf`	A Portable Run-time System for the Hermes Distributed Programming Language. USENIX Summer David F. Bacon, Andy Lowry
1990	J	`jnl`	NEST: A Network Simulation and Prototyping Testbed. Commun. ACM Alexander Dupuy, Jed Schwartz, Yechiam Yemini, David F. Bacon
1990	—	`conf`	Transparent recovery in distributed systems. ACM SIGOPS European Workshop David F. Bacon
1989	Misc	`conf`	NEST: a network simulation & prototyping testbed. WSC Alexander Dupuy, Jed Schwartz, Yechiam Yemini, David F. Bacon
1988	—	`conf`	Nest: A Network Simulation and Prototyping Tool. USENIX Winter David F. Bacon, Jed Schwartz, Yechiam Yemini
1988	—	`conf`	Volatile logging in n-fault-tolerant distributed systems. FTCS Robert E. Strom, David F. Bacon, Shaula Yemini