publication venue for
- A unified execution model for cloud computing. 44:12-17. 2010
- The atomic manifesto. 39:41-46. 2005
- Guarded page tables on Mips R4600 or an exercise in architecture-dependent micro optimization. 30:4-15. 1996
- Abstract machines modelling network control systems. 13:10-24. 1979