Kenneth Duda

Ph.D. Student,: Stanford University; Computer Science Department; Distributed Systems Group

Research Interests

The V++ Cache Kernel: The CacheKernel is the privileged-mode portion of V++, a scalable multiprocessor operating system. The CacheKernel does not attempt to manage all system objects, but rather serves as a cache of active objects. It is up to user-mode application kernels to serve as backing store for these objects. We hope this architecture will yield improved modularity, as well as improved performace through application-specific optimizations made possible by the high degree of application control.

Logged Virtual Memory: Published in Fifteenth Symposium on Operating Systems Principles (SOSP 95). Postscript or abstract.
A Caching Model of Operating System Kernel Functionality: Published in First Symposium on Operating Systems Design and Implementation (OSDI 94). Postscript, ASCII, or Hypertext

Education

Ph.D., Computer Science, Stanford University, 1993-.
B.S., M.S., Computer Science, B.S., Electrical Engineering, Massachusetts Institute of Technology, 1988-1993.

Kenneth Duda
Department of Computer Science
Stanford University
Stanford, CA  94305-2140

<kjd .at. cs .dot. stanford .dot. edu>