Dynamic Optimization Group       

links

 Erik Altman photoMatthew Arnold photoPerry S. Cheng photo Stephen J. Fink photo Nick M. Mitchell photo Rodric Rabbah photo

Dynamic Optimization Group Publications



2013

The Liquid Metal Blokus Duo Design
Erik R. Altman, Joshua S. Auerbach, David F. Bacon, Ioana Baldini, Perry Cheng, Stephen J. Fink, Rodric M. Rabbah
International Conference on Field-Programmable Technology, pp. 490-493, 2013
Abstract

FPGA Programming for the Masses
David F. Bacon, Rodric Rabbah, Sunil Shukla
Communications of the ACM 56(4), 56--63, ACM, 2013

Best clock frequency search for FPGA-based design
Sunil Shukla, Perry Cheng, Rodric Rabbah
US Patent 8,566,768

The Liquid Metal IP bridge
Perry Cheng, Stephen J Fink, Rodric M Rabbah, Sunil Shukla
Proceedings of the 18th Asia and South Pacific Design Automation Conference (ASP-DAC), pp. 313--319, 2013

The Shape of Things to Run
Josh Auerbach, Dave F Bacon, Perry Cheng, Steve Fink, Rodric Rabbah
Proceedings of the European Conference on Object-Oriented Programming (ECOOP), pp. 679--706, Springer, 2013

Technique for Compiling and Running High-Level Programs on Heterogeneous Computers
Joshua S Auerbach, David F Bacon, Perry S Cheng, Rodric Rabbah
US Patent 20,130,036,409

Research Highlight: And then There Were None: A Stall-free Real-time Garbage Collector for Reconfigurable Hardware
David F. Bacon, Perry Cheng, Sunil Shukla
Communications of the ACM 56(12), 101--109, ACM, 2013


2012

And Then There Were None: A Stall-Free Real-Time Garbage Collector for Reconfigurable Hardware
David F. Bacon, Perry Cheng, Sunil Shukla
Proceedings of the SIGPLAN Conference on Programming Language Design and Implementation, pp. 23--34, ACM, 2012
Abstract

Extraction of Functional Semantics and Isolated Dataflow from Imperative Object Oriented Languages
Joshua S Auerbach, David F Bacon, Perry S Cheng, Rodric Rabbah
US Patent 20,120,054,718

Compiling a high-level language for GPUs:(via language support for architectures and compilers)
C. Dubach, P. Cheng, R. Rabbah, D.F. Bacon, S.J. Fink
Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI), pp. 1--12, 2012

A compiler and runtime for heterogeneous computing
Joshua Auerbach, David F. Bacon, Ioana Burcea, Perry Cheng, Stephen J. Fink, Rodric Rabbah, Sunil Shukla
Proceedings of the 49th Annual Design Automation Conference (DAC), pp. 271--276, ACM, 2012
Abstract

Compiling a High-Level Language for GPUs (via Language Support for Architectures and Compilers)
Christophe Dubach, Perry Cheng, Rodric Rabbah, David F. Bacon, Stephen J. Fink
Proceedings of the SIGPLAN Conference on Programming Language Design and Implementation, pp. 1--11, ACM, 2012
Abstract

A Stall-Free Real-Time Garbage Collector for FPGAs
David F. Bacon, Perry Cheng, Sunil Shukla
The Second Workshop on the Intersections of Computer Architecture and Reconfigurable Logic, 2012
Abstract   (slides)


2011

Virtualization of heterogeneous machines hardware description in a synthesizable object-oriented language
JS Auerbach, DM Bacon, P Cheng, RM Rabbah, and S Shukla
Proceedings of the 48th Annual Design Automation Conference (DAC), 2011

Virtualization of Heterogeneous Machines: Hardware Description in a Synthesizable Object-Oriented Language
Joshua Auerbach, David F. Bacon, Perry Cheng, Rodric Rabbah, Sunil Shukla
Proceedings of the 48th Design Automation Conference, pp. 890--894, ACM, 2011
Abstract   (slides)

Virtualization in the Age of Heterogeneous Machines (Keynote)
David F. Bacon
Proceedings of the Seventh ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, pp. 1--2, ACM, 2011
Abstract   (slides)


2010

Lime: The Liquid Metal Programming Language --- Language Reference Manual
Joshua Auerbach, David F. Bacon, Perry Cheng, Rodric Rabbah
Technical Report RC25004, IBM, 2010
version 2.0

Lime: a Java-compatible and Synthesizable Language for Heterogeneous Architectures
Joshua Auerbach, David F. Bacon, Perry Cheng, Rodric Rabbah
Proceedings of the ACM International Conference on Object-Oriented Programming Systems, Languages, and Applications, pp. 89--108, ACM, 2010
Abstract

MacroSS: macro-SIMDization of streaming applications
Amir H Hormati, Yoonseo Choi, Mark Woh, Manjunath Kudlur, Rodric Rabbah, Trevor Mudge, Scott Mahlke
Proceedings of the fifteenth edition of ASPLOS on Architectural support for programming languages and operating systems (ASPLOS), pp. 285--296, ACM, 2010
Abstract

Lime language manual (version 2.0)
J Auerbach, DF Bacon, P Cheng, R Rabbah
IBM Tech. Rep. RC-25004, 2010

FPGA-based combined architecture for stream categorization and intrusion detection
S Shukla, R Rabbah, M Vorbach
Proceedings of the 8th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE), pp. 77--80, 2010


2009

Avoiding Unbounded Priority Inversion in Barrier Protocols using Gang Priority Management
Harald R"ock, Joshua Auerbach, Christoph M. Kirsch, David F. Bacon
Proceedings of the Seventh International Workshop on Java Technologies for Real-Time and Embedded Systems, pp. 70--79, ACM, 2009
Abstract

PTIDES on Flexible Task Graph: Real-Time Embedded System Building from Theory to Practice
Jia Zou, Joshua Auerbach, David F. Bacon, Edward A. Lee
Proceedings of the ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems, pp. 31--40, ACM, 2009
Abstract

Low-Latency Time-Portable Real-Time Programming with Exotasks
Joshua Auerbach, David F. Bacon, Daniel Iercan, Christoph M. Kirsch, V. T. Rajan, Harald R"ock, Rainer Trummer
ACM Transactions on Embedded Computing Systems 8(2), 1--48, ACM, 2009
Abstract

A Computing Origami: Folding Streams in FPGAs
Andrei Hagiescu, Weng-Fai Wong, David F. Bacon, Rodric Rabbah
Proceedings of the 46th Annual Design Automation Conference (DAC), pp. 282--287, ACM, 2009
Abstract

Flextream: Adaptive Compilation of Streaming Applications for Heterogeneous Architectures
A H Hormati, Y Choi, M Kudlur, R Rabbah, T Mudge, S Mahlke
Proceedings of the 18th International Conference on Parallel Architectures and Compilation Techniques (PACT), pp. 214--223, 2009


2008

Languages and Performance Engineering: Method, Instrumentation, and Pedagogy
Doug Lea, David F. Bacon, David Grove
Proceedings of the 2008 SIGPLAN Workshop on Programming Language Curriculum, pp. 87--92, ACM
Abstract

Tax-and-Spend: Democratic Scheduling for Real-Time Garbage Collection
Joshua Auerbach, David F. Bacon, Perry Cheng, David Grove, Ben Biron, Charlie Gracie, Bill McCloskey, Aleksandar Micic, Ryan Sciampacone
Proceedings of the 8th ACM International Conference on Embedded Software, pp. 245--254, ACM, 2008
Abstract

Staccato: A Parallel and Concurrent Real-time Compacting Garbage Collector for Multiprocessors
Bill McCloskey, David F. Bacon, Perry Cheng, David Grove
Technical Report RC24504, 2008
Abstract

Flexible Task Graphs: a Unified Restricted Thread Programming Model for Java
Joshua Auerbach, David F. Bacon, Rachid Guerraoui, Jesper Honig Spring, Jan Vitek
Proceedings of the ACM SIGPLAN-SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems, pp. 1--11, ACM, 2008
Abstract

Optimus: Efficient Realization of Streaming Applications on FPGAs
Amir Hormati, Manjunath Kudlur, Scott Mahlke, David F. Bacon, Rodric Rabbah
Proceedings of the International Conference on Compilers, Architectures and Synthesis for Embedded Systems (CASES), pp. 41--50, ACM, 2008
Abstract

Liquid Metal: Object-Oriented Programming Across the Hardware/Software Boundary
Shan Shan Huang, Amir Hormati, David F. Bacon, Rodric Rabbah
Proceedings of the 22nd European Conference on Object-Oriented Programming (ECOOP), pp. 76--103, Springer-Verlag, 2008
Abstract

How to do a million watchpoints: efficient debugging using dynamic instrumentation
Qin Zhao, Rodric Rabbah, Saman Amarasinghe, Larry Rudolph, Weng-Fai Wong
Proceedings of the Joint European Conferences on Theory and Practice of Software 17th International Conference on Compiler construction (ETAPS/CC), pp. 147--162, Springer-Verlag, 2008
Abstract

A lightweight streaming layer for multicore execution
David Zhang, Qiuyuan J Li, Rodric Rabbah, Saman Amarasinghe
SIGARCH Comput. Archit. News 36(2), 18--27, ACM, 2008
Abstract


2007

TuningFork: a Platform for Visualization and Analysis of Complex Real-Time Systems
David F. Bacon, Perry Cheng, David Grove
Companion to the 22nd ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, pp. 854--855, ACM, 2007
Abstract

Generational Real-Time Garbage Collection: A Three-Part Invention for Young Objects
Daniel Frampton, David F. Bacon, Perry Cheng, David Grove
Proceedings of the 21st European Conference on Object-Oriented Programming, pp. 101--125, Springer, 2007
Abstract

Design and Implementation of a Comprehensive Real-Time Java Virtual Machine
Joshua Auerbach, David F. Bacon, Bob Blainey, Perry Cheng, Michael Dawson, Mike Fulton, David Grove, Darren Hart, Mark Stoodley
Proceedings of the Seventh ACM/IEEE International Conference on Embedded Software, pp. 249--258, ACM, 2007
Abstract

CGCExplorer: a Semi-Automated Search Procedure for Provably Correct Concurrent Collectors
Martin T. Vechev, Eran Yahav, David F. Bacon, Noam Rinetzky
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 456--467, ACM, 2007
Abstract

The ExoVM System for Automatic VM and Application Reduction
Ben L. Titzer, Joshua Auerbach, David F. Bacon, Jens Palsberg
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 352--362, ACM, 2007
Abstract

Realtime Garbage Collection
David F. Bacon
Queue 5(1), 40--49, ACM, 2007
Abstract

Real-Time Music Synthesis in Java Using the Metronome Garbage Collector
Joshua Auerbach, David F. Bacon, Florian B"omers, Perry Cheng
Proceedings of the International Computer Music Conference, 2007
Abstract   (slides)

Ownership You Can Count On: A Hybrid Approach to Safe Explicit Memory Management
Adam Dingle, David F. Bacon
Unpublished, 2007
Abstract   Unpublished

Java Takes Flight: Time-Portable Real-Time Programming with Exotasks
Joshua Auerbach, David F. Bacon, Daniel T. Iercan, Christoph M. Kirsch, V. T. Rajan, Harald R"ock, Rainer Trummer
Proceedings of the ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems, pp. 51--62, ACM, 2007
Abstract   (slides)

Ubiquitous memory introspection
Qin Zhao, Rodric Rabbah, Saman Amarasinghe, Larry Rudolph, Weng-Fai Wong
CGO '07: Proceedings of the International Symposium on Code Generation and Optimization, pp. 299--311, IEEE Computer Society, 2007
Abstract

Beyond gaming: programming the PLAYSTATION3 cell architecture for cost-effective parallel processing
Rodric Rabbah
CODES+ISSS '07: Proceedings of the 5th IEEE/ACM international conference on Hardware/software codesign and system synthesis, pp. 1--1, ACM, 2007
Abstract


2006

Correctness-Preserving Derivation of Concurrent Garbage Collection Algorithms
Martin T. Vechev, Eran Yahav, David F. Bacon
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 341--353, ACM, 2006
Abstract   (slides)

Eventrons: a Safe Programming Construct for High-Frequency Hard Real-Time Applications
Daniel Spoonhower, Joshua Auerbach, David F. Bacon, Perry Cheng, David Grove
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 283--294, ACM, 2006
Abstract

On-Line Visualization and Analysis of Real-Time Systems with TuningFork (demonstration)
David F. Bacon, Perry Cheng, Daniel Frampton, David Grove, Matthias Hauswirth, V. T. Rajan
Proceedings of the 15th International Conference on Compiler Construction, pp. 96-100, Springer, 2006
Abstract


2005

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
Proceedings of the Fifth ACM International Conference on Embedded Software, pp. 68--78, ACM, 2005
Abstract   (slides)

Derivation and Evaluation of Concurrent Collectors
Martin T. Vechev, David F. Bacon, Perry Cheng, David Grove
Proceedings of the 19th European Conference on Object-Oriented Programming, pp. 577--601, Springer-Verlag, 2005
Abstract   (slides)

Syncopation: Generational Real-Time Garbage Collection in the Metronome
David F. Bacon, Perry Cheng, David Grove, Martin T. Vechev
Proceedings of the ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems, pp. 183--192, ACM, 2005
Abstract   (slides)


2004

Dynamic Selection of Application-Specific Garbage Collectors
Sunil Soman, Chandra Krintz, David F. Bacon
Proceedings of the Fourth International Symposium on Memory Management, pp. 49--60, ACM, 2004
Abstract   (slides)

Garbage Collection for Embedded Systems
David F. Bacon, Perry Cheng, David Grove
Proceedings of the Fourth ACM International Conference on Embedded Software, pp. 125--136, ACM, 2004
Abstract   (slides)

The Virtualized Virtual Machine
David F. Bacon
Third International Workshop on Language Runtimes, 2004
Abstract   (slides)


2002

Space- and Time-Efficient Implementation of the Java Object Model
David F. Bacon, Stephen J. Fink, David Grove
Proceedings of the Sixteenth European Conference on Object-Oriented Programming, pp. 111--132, Springer-Verlag, 2002
Abstract   (slides)


2001

A Comparative Evaluation of Parallel Garbage Collector Implementations
Clement R. Attanasio, David F. Bacon, Anthony Cocchi, Stephen Smith
Proceedings of the 14th International Conference on Languages and Compilers for Parallel Computing, pp. 177--192, Springer-Verlag, 2001
Abstract   (slides)