Research

2005--2007: 'concurrent collectors'; 'concurrent garbage collection algorithms'; 'correct concurrent collectors'; 'generational real-time garbage collection'; 'search procedure'; 'correctness-preserving derivation';

2000--2004: 'barrier elision'; 'concurrent embedded GC';