Metronome (since 2001)
Real-time programming technologies for high-level languages, including real-time garbage collection.
Liquid Metal (since 2006)
Dynamic co-programming of reconfigurable hardware and stock processors.
Ocelot (1999-2002)
Language technologies for modularity, concurrency, and pure data types.
Recycler (2000-2001)
Concurrent reference-counting garbage collection for multiprocessors.
Jikes RVM (1999-2002)
A Java Virtual Machine written entirely in Java, available as open source.
Thin Locks (1997-1998)
Highly efficient language-level locking. Now used in virtually all Java Virtual Machines.
Rapid Type Analysis (1994-1997)
High-speed analysis of object-oriented systems. Widely used for compile- and run-time optimizations.
Optimism (1987-1990)
Eager computation based on value prediction and generalized rollback.