Efficient Java exception handling in just-in-time compilation.
Implementation of a TMO-structured real-time airplane-landing simulator on a distributed computing environment.
Anticipation-based partial redundancy elimination for static single assignment form.
Constraint Lingo: towards high-level constraint programming.