Publication
An Overview of the BlueGene/L Supercomputer
Publication
Pairwise Testing
Publication
Template meta-programming for Haskell
Publication
Specifying and verifying systems with TLA+
Publication
On loops, dominators, and dominance frontiers
Publication