The Flux OSKit: A substrate for kernel and language research (1997)

by Bryan Ford , Godmar Back , Greg Benson , Jay Lepreau , Albert Lin , Olin Shivers
Venue:In Proceedings of the 16th ACM Symposium on Operating Systems Principles
Citations:125 - 1 self

Active Bibliography

Abstract The Flux OSKit: A Substrate for Kernel and Language Research – Bryan Ford, Godmar Back, Greg Benson, Jay Lepreau, Albert Lin, Olin Shivers
595 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
553 A Survey of Rollback-Recovery Protocols in Message-Passing Systems – E. N. ( Mootaz) Elnozahy, Lorenzo Alvisi, Yi-min Wang, David B. Johnson - 1996
1344 Xen and the art of virtualization – Paul Barham, Boris Dragovic, Keir Fraser, Steven H, Tim Harris, Alex Ho, Rolf Neugebauer, Ian Pratt, Andrew Warfield
924 Disconnected Operation in the Coda File System – James J. Kistler, M. Satyanarayanan - 1992
689 Efficient Software-Based Fault Isolation – Robert Wahbe, Steven Lucco, Thomas E. Anderson, Susan L. Graham - 1993
516 I-TCP: Indirect TCP for mobile hosts – Ajay Bakre, B. R. Badrinath - 1995
615 Exokernel: An Operating System Architecture for Application-Level Resource Management – Dawson R. Engler, M. Frans Kaashoek, James O’toole - 1995
606 The x-Kernel: An Architecture for Implementing Network Protocols – Norman C. Hutchinson, Larry L. Peterson - 1991