A service-based runtime environment for native applications.
Loop recreation for thread-level speculation on multicore processors.
Formal methods applied to high-performance computing software design: a case study of MPI one-sided communication-based locking.
Detecting memory leaks in managed languages with Cork.