![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
David F. Bacon
Person information
- affiliation: Google
- affiliation (former): IBM Research
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2020
- [j14]Malvika Rao
, David F. Bacon, David C. Parkes, Margo I. Seltzer:
Incentivizing Deep Fixes in Software Economies. IEEE Trans. Software Eng. 46(1): 51-70 (2020)
2010 – 2019
- 2017
- [c65]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: 331-343 - 2015
- [c64]Sunil Shukla, David F. Bacon:
Cycle-Accurate Replay and Debugging of Running FPGA Systems. FCCM 2015: 30 - [c63]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: 32-40 - 2014
- [c62]David F. Bacon, Perry Cheng, Sunil Shukla:
Parallel real-time garbage collection of multiple heaps in reconfigurable hardware. ISMM 2014: 117-127 - 2013
- [j13]David F. Bacon, Rodric M. Rabbah, Sunil Shukla:
FPGA programming for the masses. Commun. ACM 56(4): 56-63 (2013) - [j12]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): 101-109 (2013) - [j11]David F. Bacon, Rodric M. Rabbah, Sunil Shukla:
FPGA Programming for the Masses. ACM Queue 11(2): 40 (2013) - [j10]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): 58-71 (2013) - [c61]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: 679-706 - [c60]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: 490-493 - 2012
- [c59]David F. Bacon, David C. Parkes, Yiling Chen, Malvika Rao, Ian A. Kash, Manu Sridharan:
Predicting your own effort. AAMAS 2012: 695-702 - [c58]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: 271-276 - [c57]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: 1-12 - [c56]David F. Bacon, Perry Cheng, Sunil Shukla:
And then there were none: a stall-free real-time garbage collector for reconfigurable hardware. PLDI 2012: 23-34 - 2011
- [c55]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: 890-894 - [c54]David F. Bacon:
Virtualization in the age of heterogeneous machines. VEE 2011: 1-2 - [e5]Hans-Juergen Boehm, David F. Bacon:
Proceedings of the 10th International Symposium on Memory Management, ISMM 2011, San Jose, CA, USA, June 04 - 05, 2011. ACM 2011, ISBN 978-1-4503-0263-0 [contents] - 2010
- [c53]Joshua S. Auerbach, David F. Bacon, Perry Cheng, Rodric M. Rabbah:
Lime: a Java-compatible and synthesizable language for heterogeneous architectures. OOPSLA 2010: 89-108 - [c52]David F. Bacon, Eric Bokelberg, Yiling Chen, Ian A. Kash, David C. Parkes, Malvika Rao, Manu Sridharan
:
Software economies. FoSER 2010: 7-12
2000 – 2009
- 2009
- [j9]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): 15:1-15:48 (2009) - [c51]Andrei Hagiescu, Weng-Fai Wong, David F. Bacon, Rodric M. Rabbah:
A computing origami: folding streams in FPGAs. DAC 2009: 282-287 - [c50]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: 70-79 - [c49]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: 31-40 - [c48]Dan Tsafrir, Robert W. Wisniewski, David F. Bacon, Bjarne Stroustrup:
Minimizing dependencies within generic classes for faster and smaller programs. OOPSLA 2009: 425-444 - [c47]David F. Bacon, Yiling Chen, David C. Parkes, Malvika Rao:
A market-based approach to software evolution. OOPSLA Companion 2009: 973-980 - [e4]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, ISBN 978-1-60558-375-4 [contents] - 2008
- [j8]Doug Lea, David F. Bacon, David Grove
:
Languages and performance engineering: method, instrumentation, and pedagogy. ACM SIGPLAN Notices 43(11): 87-92 (2008) - [c46]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 - [c45]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 - [c44]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 - [c43]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 - 2007
- [j7]David F. Bacon:
Realtime garbage collection. ACM Queue 5(1): 40-49 (2007) - [j6]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): 20 (2007) - [c42]Daniel Frampton, David F. Bacon, Perry Cheng, David Grove:
Generational Real-Time Garbage Collection. ECOOP 2007: 101-125 - [c41]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 - [c40]Joshua S. Auerbach, David F. Bacon, Florian Bömers, Perry Cheng:
Real-Time Music synthesis in Java using the Metronome Garbage Collector. ICMC 2007 - [c39]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 - [c38]David F. Bacon, Perry Cheng, David Grove
:
TuningFork: a platform for visualization and analysis of complex real-time systems. OOPSLA Companion 2007: 854-855 - [c37]Ben L. Titzer, Joshua S. Auerbach, David F. Bacon, Jens Palsberg:
The ExoVM system for automatic VM and application reduction. PLDI 2007: 352-362 - [c36]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 - [e3]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, ISBN 978-1-59593-786-5 [contents] - [e2]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, ISBN 978-1-59593-865-7 [contents] - 2006
- [j5]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): 209-222 (2006) - [c35]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 - [c34]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 - [c33]Martin T. Vechev, Eran Yahav, David F. Bacon:
Correctness-preserving derivation of concurrent garbage collection algorithms. PLDI 2006: 341-353 - 2005
- [c32]Harel Paz, Erez Petrank, David F. Bacon, Elliot K. Kolodner, V. T. Rajan:
An Efficient On-the-Fly Cycle Collection. CC 2005: 156-171 - [c31]Martin T. Vechev, David F. Bacon, Perry Cheng, David Grove:
Derivation and Evaluation of Concurrent Collectors. ECOOP 2005: 577-601 - [c30]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 - [c29]David F. Bacon, Perry Cheng, David Grove, Martin T. Vechev:
Syncopation: generational real-time garbage collection in the metronome. LCTES 2005: 183-192 - 2004
- [c28]David F. Bacon, Perry Cheng, David Grove
:
Garbage collection for embedded systems. EMSOFT 2004: 125-136 - [c27]Martin T. Vechev, David F. Bacon:
Write barrier elision for concurrent garbage collectors. ISMM 2004: 13-24 - [c26]Sunil Soman, Chandra Krintz, David F. Bacon:
Dynamic selection of application-specific garbage collectors. ISMM 2004: 49-60 - [c25]David F. Bacon, Perry Cheng, V. T. Rajan:
A unified theory of garbage collection. OOPSLA 2004: 50-68 - [e1]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, ISBN 1-58113-945-4 [contents] - 2003
- [j4]David F. Bacon:
Kava: a Java dialect with a uniform object model for lightweight classes. Concurr. Comput. Pract. Exp. 15(3-5): 185-206 (2003) - [c24]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 - [c23]John Corwin, David F. Bacon, David Grove
, Chet Murthy:
MJ: a rational module system for Java and its applications. OOPSLA 2003: 241-254 - [c22]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 - [c21]David F. Bacon, Perry Cheng, V. T. Rajan:
A real-time garbage collector with low overhead and consistent utilization. POPL 2003: 285-298 - 2002
- [c20]David F. Bacon, Stephen J. Fink, David Grove:
Space- and Time-Efficient Implementation of the Java Object Model. ECOOP 2002: 111-132 - 2001
- [c19]David F. Bacon, V. T. Rajan:
Concurrent Cycle Collection in Reference Counted Systems. ECOOP 2001: 207-235 - [c18]David F. Bacon:
Kava: a Java dialect with a uniform object model for lightweight classes. Java Grande 2001: 68-77 - [c17]C. Richard Attanasio, David F. Bacon, Anthony Cocchi, Stephen E. Smith:
A Comparative Evaluation of Parallel Garbage Collector Implementations. LCPC 2001: 177-192 - [c16]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
- [c15]David F. Bacon, Robert E. Strom, Ashis Tarafdar:
Guava: a dialect of Java without data races. OOPSLA 2000: 382-400
1990 – 1999
- 1998
- [c14]David F. Bacon, Ravi B. Konuru, Chet Murthy, Mauricio J. Serrano:
Thin Locks: Featherweight Synchronization for Java. PLDI 1998: 258-268 - [c13]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 - 1996
- [c12]David F. Bacon, Peter F. Sweeney:
Fast Static Analysis of C++ Virtual Function Calls. OOPSLA 1996: 324-341 - 1994
- [j3]David F. Bacon, Susan L. Graham, Oliver J. Sharp:
Compiler Transformations for High-Performance Computing. ACM Comput. Surv. 26(4): 345-420 (1994) - [c11]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 - 1992
- [c10]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
- [b1]Robert E. Strom, David F. Bacon, Arthur P. Goldberg, Andy Lowry, Daniel M. Yellin, Shaula Yemini:
Hermes - a language for distributed computing. Prentice Hall series in innovative technology, Prentice Hall 1991, ISBN 978-0-13-389537-7, pp. I-XVIII, 1-288 - [j2]David F. Bacon:
Transparent Recovery in Distributed Systems. ACM SIGOPS Oper. Syst. Rev. 25(2): 91-94 (1991) - [c9]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 - [c8]David F. Bacon, Seth Copen Goldstein:
Hardware-Assisted Replay of Multiprocessor Programs. Workshop on Parallel and Distributed Debugging 1991: 194-206 - [c7]David F. Bacon, Robert E. Strom:
Optimistic Parallelization of Communicating Sequential Processes. PPoPP 1991: 155-166 - [c6]David F. Bacon:
File System Measurements and their Application to the Design of Efficient Operation Logging Algorithm. SRDS 1991: 21-30 - 1990
- [j1]Alexander Dupuy, Jed Schwartz, Yechiam Yemini, David F. Bacon:
NEST: A Network Simulation and Prototyping Testbed. Commun. ACM 33(10): 63-74 (1990) - [c5]David F. Bacon:
Transparent recovery in distributed systems. ACM SIGOPS European Workshop 1990 - [c4]David F. Bacon, Andy Lowry:
A Portable Run-time System for the Hermes Distributed Programming Language. USENIX Summer 1990: 39-50
1980 – 1989
- 1989
- [c3]Alexander Dupuy, Jed Schwartz, Yechiam Yemini, David F. Bacon:
NEST: a network simulation & prototyping testbed. WSC 1989: 1058-1064 - 1988
- [c2]Robert E. Strom, David F. Bacon, Shaula Yemini:
Volatile logging in n-fault-tolerant distributed systems. FTCS 1988: 44-49 - [c1]David F. Bacon, Jed Schwartz, Yechiam Yemini:
Nest: A Network Simulation and Prototyping Tool. USENIX Winter 1988: 71-77
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-02 21:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint