|  |  | 
| 2008 | ||
|---|---|---|
| 4 | EE | Dan Williams, Patrick Reynolds, Kevin Walsh, Emin Gün Sirer, Fred B. Schneider: Device Driver Safety Through a Reference Validation Mechanism. OSDI 2008: 241-254 | 
| 2004 | ||
| 3 | EE | Dan Williams, Emin Gün Sirer: Optimal Parameter Selection for Efficient Memory Integrity Verification Using Merkle Hash Trees. NCA 2004: 383-388 | 
| 1995 | ||
| 2 | EE | Dan Williams, Luc Bauwens: Simulation of Compressible Flow on a Massively Parallel Architecture. Scientific Programming 4(3): 193-201 (1995) | 
| 1994 | ||
| 1 | Dan Williams, Luc Bauwens: Porting and Optimization of a Finite-Difference CFD Code on a Massively Parallel Architecture. EUROSIM 1994: 727-734 | |
| 1 | Luc Bauwens | [1] [2] | 
| 2 | Patrick Reynolds | [4] | 
| 3 | Fred B. Schneider | [4] | 
| 4 | Emin Gün Sirer | [3] [4] | 
| 5 | Kevin Walsh | [4] |