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:117 - 1 self

Active Bibliography

Interposition as an Operating System Extension Mechanism – Douglas Ghormley Steven, Steven H. Rodrigues, David Petrou, Thomas E. Anderson - 1997
38 Interface and Execution Models in the Fluke Kernel – Bryan Ford, Mike Hibler, Jay Lepreau, Roland Mcgrath, Patrick Tullman - 1999
1 Coordinating Access to Computation and Data in Distributed Systems – Douglas L. Thain - 2004
87 SLIC: An extensibility system for commodity operating systems – Douglas P. Ghormley, David Petrou, Thomas E. Anderson, Steven H. Rodrigues
11 Procs and Locks: A Portable Multiprocessing Platform for Standard ML of New Jersey – J. Gregory Morrisett, Andrew Tolmach - 2000
18 Compiling Standard ML For Efficient Execution On Modern Machines – Zhong Shao - 1994
15 Advanced Languages for Systems Software The Fox Project in 1994 – Robert Harper, Peter Lee - 1994
32 Techniques for the Design of Java Operating Systems – Godmar Back, Patrick Tullmann, Leigh Stoller, Wilson C. Hsieh, Jay Lepreau - 2000
49 Java operating systems: Design and implementation – Godmar Back, Patrick Tullmann, Leigh Stoller, Wilson C. Hsieh, Jay Lepreau - 1998
The Performance of – Kernel-Based Systems Hermann, Hermann Hartig, Michael Hohmuth, Jochen Liedtke, Sebastian Schonberg, Jean Wolter - 1997
114 The performance of µ-kernel-based systems – Hermann Härtig, Michael Hohmuth, Jochen Liedtke, Sebastian Schönberg, Jean Wolter - 1997
28 Reconstructing I/O – Keir Fraser, Steven H, Rolf Neugebauer, Ian Pratt, Andrew Warfield, Mark Williamson - 2004
96 Safe hardware access with the Xen virtual machine monitor – Keir Fraser, Steven H, Rolf Neugebauer, Ian Pratt, Andrew Warfield, Mark Williamson - 2004
13 Customization Lite – Marc Auslander, Hubertus Franke, Ben Gamsa, Orran Krieger, Michael Stumm - 1997
4 Design and Implementation of K42's Dynamic Clustered Object Switching Mechanism – Kevin Hui, Kevin Hui - 2000
42 A Structured TCP in Standard ML – Edoardo Biagioni - 1994
In Partial Fulfillment of the Requirements for the Degree of – Bachelor Of Science, M. Frans Kaashoek, Arthur C. Smith, Benjie Chen, Benjie Chen
28 Constructing Services with Interposable Virtual Hardware – Andrew Whitaker , Richard S. Cox, Marianne Shaw, Steven D. Gribble - 2004
84 CPU Inheritance Scheduling – Bryan Ford, Sai Susarla - 1996