Home - Topics - Publications - Blog - CV - Photos - Funny

Modularity

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


Bryan Ford