Smart Enumeration in C++: Virtual Construction, Message Dispatching and Tables.
MRPC: A High Performance RPC System for MPMD Parallel Computing.
Discovering and Using Entity Mappings in Federated Databases.
Timing Constraint Specification and Analysis.
Software Visualization of LR Parsing and Synthesized Attribute Evaluation.