Flow-sensitive runtime estimation: an enhanced hot spot detection heuristics for embedded Java just-in-time compilers.
Deadline scheduling in the Linux kernel.
SIMD compression and the intersection of sorted integers.
C-strider: type-aware heap traversal for C.
Lexical state analyzer for JavaCC grammars.
Timing analysis of the PREEMPT RT Linux kernel.