Formal Methods: A Practical Tool for OS Implementors. - Patrick Tullmann; Jeff Turner; John McCorquodale; Jay Lepreau; Ajay Chitturi; Godmar Back (Workshop on Hot Topics in Operating Systems, 1997)

Uintah: A Massively Parallel Problem Solving Environment. - J. Davison de St. Germain; Steven G. Parker; John McCorquodale; Christopher R. Johnson 001 (HPDC, 2000)