David F. Bacon

Proceedings of the 23rd IEEE Annual International Symposium on Field-Programmable Custom Computing Machines, 2015

2014

Parallel real-time garbage collection of multiple heaps in reconfigurable hardware.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Memory Management, 2014

2013

POPL 2003: A real-time garbage collector with low overhead and consistent utilization.

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 2013

FPGA Programming for the Masses.

[BibT_eX]

[DOI]

Rodric M. Rabbah

ACM Queue, 2013

And then there were none: a stall-free real-time garbage collector for reconfigurable hardware.

[BibT_eX]

[DOI]

Commun. ACM, 2013

The Liquid Metal Blokus Duo Design.

[BibT_eX]

[DOI]

Proceedings of the 2013 International Conference on Field-Programmable Technology, 2013

The Shape of Things to Run - Compiling Complex Stream Graphs to Reconfigurable Hardware in Lime.

[BibT_eX]

[DOI]

Proceedings of the ECOOP 2013 - Object-Oriented Programming, 2013

2012

Compiling a high-level language for GPUs: (via language support for architectures and compilers).

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

A compiler and runtime for heterogeneous computing.

[BibT_eX]

[DOI]

Proceedings of the 49th Annual Design Automation Conference 2012, 2012

Predicting your own effort.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

2011

Virtualization in the age of heterogeneous machines.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Virtual Execution Environments, 2011

Virtualization of heterogeneous machines hardware description in a synthesizable object-oriented language.

[BibT_eX]

[DOI]

Proceedings of the 48th Design Automation Conference, 2011

2010

Software economies.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Future of Software Engineering Research, 2010

Lime: a Java-compatible and synthesizable language for heterogeneous architectures.

[BibT_eX]

[DOI]

Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

2009

Low-latency time-portable real-time programming with Exotasks.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2009

Minimizing dependencies within generic classes for faster and smaller programs.

[BibT_eX]

[DOI]

Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

A market-based approach to software evolution.

[BibT_eX]

[DOI]

Proceedings of the Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

PTIDES on flexible task graph: real-time embedded systembuilding from theory to practice.

[BibT_eX]

[DOI]

Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, 2009

Avoiding unbounded priority inversion in barrier protocols using gang priority management.

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2009

A computing origami: folding streams in FPGAs.

[BibT_eX]

[DOI]

Proceedings of the 46th Design Automation Conference, 2009

2008

Languages and performance engineering: method, instrumentation, and pedagogy.

[BibT_eX]

[DOI]

Doug Lea

ACM SIGPLAN Notices, 2008

Flexible task graphs: a unified restricted thread programming model for java.

[BibT_eX]

[DOI]

Proceedings of the 2008 ACM SIGPLAN/SIGBED Conference on Languages, 2008

Tax-and-spend: democratic scheduling for real-time garbage collection.

[BibT_eX]

[DOI]

Proceedings of the 8th ACM & IEEE International conference on Embedded software, 2008

Liquid Metal: Object-Oriented Programming Across the Hardware/Software Boundary.

[BibT_eX]

[DOI]

Proceedings of the ECOOP 2008, 2008

Optimus: efficient realization of streaming applications on FPGAs.

[BibT_eX]

[DOI]

Proceedings of the 2008 International Conference on Compilers, 2008

2007

An efficient on-the-fly cycle collection.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2007

Realtime garbage collection.

[BibT_eX]

[DOI]

ACM Queue, 2007

CGCExplorer: a semi-automated search procedure for provably correct concurrent collectors.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007

The ExoVM system for automatic VM and application reduction.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007

TuningFork: a platform for visualization and analysis of complex real-time systems.

[BibT_eX]

[DOI]

Proceedings of the Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

Java takes flight: time-portable real-time programming with exotasks.

[BibT_eX]

[DOI]

Proceedings of the 2007 ACM SIGPLAN/SIGBED Conference on Languages, 2007

Real-Time Music synthesis in Java using the Metronome Garbage Collector.

[BibT_eX]

[DOI]

Proceedings of the 2007 International Computer Music Conference, 2007

Design and implementation of a comprehensive real-time java virtual machine.

[BibT_eX]

[DOI]

Proceedings of the 7th ACM & IEEE International conference on Embedded software, 2007

Generational Real-Time Garbage Collection.

[BibT_eX]

[DOI]

Proceedings of the ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30, 2007

2006

Braids and fibers: Language constructs with architectural support for adaptive responses to memory latencies.

[BibT_eX]

[DOI]

Xiaowei Shen

IBM J. Res. Dev., 2006

Correctness-preserving derivation of concurrent garbage collection algorithms.

[BibT_eX]

[DOI]

Martin T. Vechev

Eran Yahav

Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, 2006

Eventrons: a safe programming construct for high-frequency hard real-time applications.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, 2006

Demonstration: On-Line Visualization and Analysis of Real-Time Systems with TuningFork.

[BibT_eX]

[DOI]

Proceedings of the Compiler Construction, 15th International Conference, 2006

2005

Syncopation: generational real-time garbage collection in the metronome.

[BibT_eX]

[DOI]

Proceedings of the 2005 ACM SIGPLAN/SIGBED Conference on Languages, 2005

High-level real-time programming in Java.

[BibT_eX]

[DOI]

Proceedings of the EMSOFT 2005, 2005

Derivation and Evaluation of Concurrent Collectors.

[BibT_eX]

[DOI]

Proceedings of the ECOOP 2005, 2005

2004

A unified theory of garbage collection.

[BibT_eX]

[DOI]

Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2004

Write barrier elision for concurrent garbage collectors.

[BibT_eX]

[DOI]

Martin T. Vechev

Proceedings of the 4th International Symposium on Memory Management, 2004

Dynamic selection of application-specific garbage collectors.

[BibT_eX]

[DOI]

Sunil Soman

Chandra Krintz

Proceedings of the 4th International Symposium on Memory Management, 2004

Garbage collection for embedded systems.

[BibT_eX]

[DOI]

Proceedings of the EMSOFT 2004, 2004

2003

Kava: a Java dialect with a uniform object model for lightweight classes.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2003

A real-time garbage collector with low overhead and consistent utilization.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2003

The Metronome: A Simpler Approach to Garbage Collection in Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the On The Move to Meaningful Internet Systems 2003: OTM 2003 Workshops, 2003

MJ: a rational module system for Java and its applications.

[BibT_eX]

[DOI]

Proceedings of the 2003 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2003

Controlling fragmentation and space consumption in the metronome, a real-time garbage collector for Java.

[BibT_eX]

[DOI]

Proceedings of the 2003 Conference on Languages, 2003

2002

Space- and Time-Efficient Implementation of the Java Object Model.

[BibT_eX]

[DOI]

Stephen J. Fink

Proceedings of the ECOOP 2002, 2002

2001

Java without the Coffee Breaks: A Nonintrusive Multiprocessor Garbage Collector.

[BibT_eX]

[DOI]

Proceedings of the 2001 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2001

A Comparative Evaluation of Parallel Garbage Collector Implementations.

[BibT_eX]

[DOI]

Proceedings of the Languages and Compilers for Parallel Computing, 2001

Concurrent Cycle Collection in Reference Counted Systems.

[BibT_eX]

[DOI]

Proceedings of the ECOOP 2001, 2001

2000

Guava: a dialect of Java without data races.

[BibT_eX]

[DOI]

Robert E. Strom

Ashis Tarafdar

Proceedings of the 2000 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2000

1998

Thin locks: featherweight Synchronization for Java (with retrospective)

[BibT_eX]

[DOI]

Proceedings of the 20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999, 1998

Thin Locks: Featherweight Synchronization for Java.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN '98 Conference on Programming Language Design and Implementation (PLDI), 1998

1996

Fast Static Analysis of C++ Virtual Function Calls.

[BibT_eX]

[DOI]

Peter F. Sweeney

Proceedings of the 1996 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1996

1994

Compiler Transformations for High-Performance Computing.

[BibT_eX]

[DOI]

Susan L. Graham

Oliver J. Sharp

ACM Comput. Surv., 1994

A compiler framework for restructuring data declarations to enhance cache and TLB effectiveness.

[BibT_eX]

[DOI]

Proceedings of the 1994 Conference of the Centre for Advanced Studies on Collaborative Research, October 31, 1994

1992

High-level language support for programming distributed systems.

[BibT_eX]

[DOI]

Proceedings of the ICCL'92, 1992

1991

Transparent Recovery in Distributed Systems.

[BibT_eX]

[DOI]

ACM SIGOPS Oper. Syst. Rev., 1991

File System Measurements and their Application to the Design of Efficient Operation Logging Algorithm.

[BibT_eX]

[DOI]

Proceedings of the Tenth Symposium on Reliable Distributed Systems, 1991

Optimistic Parallelization of Communicating Sequential Processes.

[BibT_eX]

[DOI]

Robert E. Strom

Proceedings of the Third ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), 1991

Hardware-Assisted Replay of Multiprocessor Programs.

[BibT_eX]

[DOI]

Seth Copen Goldstein

Proceedings of the ACM/ONR Workshop on Parallel and Distributed Debugging, 1991

High-level language support for programming distributed systems.

[BibT_eX]

[DOI]

Proceedings of the 1991 Conference of the Centre for Advanced Studies on Collaborative Research, 1991

Hermes - a language for distributed computing.

[BibT_eX]

[DOI]

Prentice Hall series in innovative technology, Prentice Hall, ISBN: 978-0-13-389537-7, 1991

1990

NEST: A Network Simulation and Prototyping Testbed.

[BibT_eX]

[DOI]

Commun. ACM, 1990

A Portable Run-time System for the Hermes Distributed Programming Language.

[BibT_eX]

Andy Lowry

Proceedings of the Usenix Summer 1990 Technical Conference, 1990

1989

NEST: a network simulation & prototyping testbed.

[BibT_eX]

[DOI]

Proceedings of the 21st Winter Simulation Conference, 1989

1988

Nest: A Network Simulation and Prototyping Tool.

[BibT_eX]

Jed Schwartz

Yechiam Yemini

Proceedings of the USENIX Winter Conference. Dallas, Texas, USA, January 1988, 1988

Volatile logging in n-fault-tolerant distributed systems.

[BibT_eX]

[DOI]

Robert E. Strom