Person: David F. Bacon

DBLP: Bacon:David_F=

Facilitated 3 volumes:

Ed

Ed

Ed

Contributed to:

2014

2013

2012

2012

2011

2010

2009

2009

2009

2008

2008

2007

2007

2007

2006

2006

2005

2005

2005

2004

2004

2003

2003

2003

2002

2001

2001

2000

1998

1998

1996

1991

Wrote 36 papers:

ISMM-2014-BaconCS #configuration management #garbage collection #hardware #parallel #realtime

Parallel real-time garbage collection of multiple heaps in reconfigurable hardware (DFB, PC, SS), pp. 117–127.

ECOOP-2013-AuerbachBCFR #compilation #configuration management #graph #hardware

The Shape of Things to Run — Compiling Complex Stream Graphs to Reconfigurable Hardware in Lime (JSA, DFB, PC, SF, RMR), pp. 679–706.

DAC-2012-AuerbachBBCFRS #compilation #runtime

A compiler and runtime for heterogeneous computing (JSA, DFB, IB, PC, SJF, RMR, SS), pp. 271–276.

PLDI-2012-BaconCS #configuration management #garbage collection #hardware #realtime

And then there were none: a stall-free real-time garbage collector for reconfigurable hardware (DFB, PC, SS), pp. 23–34.

PLDI-2012-DubachCRBF #architecture #compilation

Compiling a high-level language for GPUs: (via language support for architectures and compilers) (CD, PC, RMR, DFB, SJF), pp. 1–12.

DAC-2011-AuerbachBCRS #hardware #object-oriented

Virtualization of heterogeneous machines hardware description in a synthesizable object-oriented language (JSA, DFB, PC, RMR, SS), pp. 890–894.

OOPSLA-2010-AuerbachBCR #architecture #named

Lime: a Java-compatible and synthesizable language for heterogeneous architectures (JSA, DFB, PC, RMR), pp. 89–108.

DAC-2009-HagiescuWBR

A computing origami: folding streams in FPGAs (AH, WFW, DFB, RMR), pp. 282–287.

LCTES-2009-ZouABL #embedded #flexibility #graph #realtime #theory and practice

PTIDES on flexible task graph: real-time embedded systembuilding from theory to practice (JZ, JSA, DFB, EAL), pp. 31–40.

OOPSLA-2009-TsafrirWBS #dependence #performance #source code

Minimizing dependencies within generic classes for faster and smaller programs (DT, RWW, DFB, BS), pp. 425–444.

ECOOP-2008-HuangHBR #bound #hardware #object-oriented #programming

Liquid Metal: Object-Oriented Programming Across the Hardware/Software Boundary (SSH, AH, DFB, RMR), pp. 76–103.

LCTES-2008-AuerbachBGSV #concurrent #flexibility #graph #java #programming #strict #thread

Flexible task graphs: a unified restricted thread programming model for java (JSA, DFB, RG, JHS, JV), pp. 1–11.

ECOOP-2007-FramptonBCG #garbage collection #realtime

Generational Real-Time Garbage Collection (DF, DFB, PC, DG), pp. 101–125.

LCTES-2007-AuerbachBIKRRT #java #programming #realtime

Java takes flight: time-portable real-time programming with exotasks (JSA, DFB, DTI, CMK, VTR, HR, RT), pp. 51–62.

PLDI-2007-TitzerABP #automation #reduction #virtual machine

The ExoVM system for automatic VM and application reduction (BT, JSA, DFB, JP), pp. 352–362.

PLDI-2007-VechevYBR #automation #concurrent #named

CGCExplorer: a semi-automated search procedure for provably correct concurrent collectors (MTV, EY, DFB, NR), pp. 456–467.

CC-2006-BaconCFGHR #analysis #named #online #realtime #visualisation

Demonstration: On-Line Visualization and Analysis of Real-Time Systems with TuningFork (DFB, PC, DF, DG, MH, VTR), pp. 96–100.

PLDI-2006-SpoonhowerABCG #named #programming #realtime

Eventrons: a safe programming construct for high-frequency hard real-time applications (DS, JSA, DFB, PC, DG), pp. 283–294.

PLDI-2006-VechevYB #algorithm #concurrent #garbage collection

Correctness-preserving derivation of concurrent garbage collection algorithms (MTV, EY, DFB), pp. 341–353.

CC-2005-PazPBKR #on the fly #performance

An Efficient On-the-Fly Cycle Collection (HP, EP, DFB, EKK, VTR), pp. 156–171.

ECOOP-2005-VechevBCG #concurrent #evaluation

Derivation and Evaluation of Concurrent Collectors (MTV, DFB, PC, DG), pp. 577–601.

LCTES-2005-BaconCGV #garbage collection #named #realtime

Syncopation: generational real-time garbage collection in the metronome (DFB, PC, DG, MTV), pp. 183–192.

ISMM-2004-SomanKB #garbage collection

Dynamic selection of application-specific garbage collectors (SS, CK, DFB), pp. 49–60.

ISMM-2004-VechevB #concurrent #garbage collection

Write barrier elision for concurrent garbage collectors (MTV, DFB), pp. 13–24.

OOPSLA-2004-BaconCR #formal method #garbage collection

A unified theory of garbage collection (DFB, PC, VTR), pp. 50–68.

LCTES-2003-BaconCR #garbage collection #java #realtime

Controlling fragmentation and space consumption in the metronome, a real-time garbage collector for Java (DFB, PC, VTR), pp. 81–92.

OOPSLA-2003-CorwinBGM #java #named

MJ: a rational module system for Java and its applications (JC, DFB, DG, CM), pp. 241–254.

POPL-2003-BaconCR #consistency #garbage collection #realtime

A real-time garbage collector with low overhead and consistent utilization (DFB, PC, VTR), pp. 285–298.

ECOOP-2002-BaconFG #implementation #java

Space- and Time-Efficient Implementation of the Java Object Model (DFB, SJF, DG), pp. 111–132.

ECOOP-2001-BaconR #concurrent

Concurrent Cycle Collection in Reference Counted Systems (DFB, VTR), pp. 207–235.

PLDI-2001-BaconALRS #garbage collection #java #multi

Java without the Coffee Breaks: A Nonintrusive Multiprocessor Garbage Collector (DFB, CRA, HBL, VTR, SES), pp. 92–103.

OOPSLA-2000-BaconST #java #named

Guava: a dialect of Java without data races (DFB, RES, AT), pp. 382–400.

Best-of-PLDI-1998-BaconKMS98a #java

Thin locks: featherweight Synchronization for Java (with retrospective) (DFB, RBK, CM, MJS), pp. 583–595.

PLDI-1998-BaconKMS #java

Thin Locks: Featherweight Synchronization for Java (DFB, RBK, CM, MJS), pp. 258–268.

OOPSLA-1996-BaconS #c++ #performance #static analysis

Fast Static Analysis of C++ Virtual Function Calls (DFB, PFS), pp. 324–341.

PPoPP-1991-BaconS #communication #csp #parallel #process

Optimistic Parallelization of Communicating Sequential Processes (DFB, RES), pp. 155–166.