A Caching Model of Operating System Kernel Functionalities. - David R. Cheriton; Kenneth J. Duda (ACM SIGOPS European Workshop, 1994)

Logged Virtual Memory. - David R. Cheriton; Kenneth J. Duda (SOSP, 1995)

A Caching Model of Operating System Kernel Functionality. - David R. Cheriton; Kenneth J. Duda (ACM SIGOPS Oper. Syst. Rev., 1995)

Borrowed-virtual-time (BVT) scheduling: supporting latency-sensitive threads in a general-purpose schedular. - Kenneth J. Duda; David R. Cheriton (SOSP, 1999)

Supporting high-performance applications on large-scale machines. - Kenneth J. Duda (2001)