Rethinking General-Purpose Decentralized Computing	May 12 2019
CertiKOS: A Certified Kernel for Secure Cloud Computing	Jul 11 2011
Minion: an all-terrain packet packhorse to jump-start stalled internet transports	Nov 28 2010
Advanced Development of Certified OS Kernels	Jul 15 2010
Efficient Cross-Layer Negotiation	Oct 22 2009
Interface and Execution Models in the Fluke Kernel	Feb 24 1999
The Flux OSKit: A Substrate for Kernel and Language Research	Oct 6 1997
The Flux OS Toolkit: Reusable Components for OS Implementation	May 5 1997
CPU Inheritance Scheduling	Oct 30 1996
In-Kernel Servers on Mach 3.0: Implementation and Performance	Apr 19 1993

Modularity