publication venue for
- Experience with K42, an open-source, Linux-compatible, scalable operating-system kernel. 44:427-440. 2005
- Enabling autonomic behavior in systems software with hot swapping. 42:60-76. 2003
- A security architecture for the Internet Protocol. 37:42-60. 1998