Parallel 1D-FFT Computation on Constant-valence Multicomputers.
PARC++: A Parallel C++.
Runtime and Language Support for Compiling Adaptive Irregular Programs on Distributed-memory Machines.
Automatic Verification of Properties in Transition Systems.
Adding Graphics to a High-level Programming Language.
Comparison of Syntactic Error Handling in LR Parsers.