Home - Topics - Papers - Theses - Blog - CV - Photos - Funny

Operating Systems

QuePaxa: Escaping the Tyranny of Timeouts in Consensus

Oct 23 2023

Auditing the Swiss Post E-voting System: An Architectural Perspective

Apr 4 2022

Rethinking General-Purpose Decentralized Computing

May 12 2019

Deterministically Deterring Timing Attacks in Deterland

Oct 4 2015

A Flexible Architecture for Structural Reliability Auditing to the Clouds – Ennan Zhai

Aug 11 2015

Warding off Timing Channels in Deterland – Weiyi Wu

Aug 10 2015

GPUfs: The Case for Operating System Services on GPUs

Dec 1 2014

Heading Off Correlated Failures through Independence-as-a-Service

Oct 7 2014

Managing NymBoxes for Identity and Tracking Protection

Aug 1 2014

Structural Cloud Audits that Protect Private Information

Nov 8 2013

An Untold Story of Redundant Clouds: Making Your Service Deployment Truly Reliable

Nov 3 2013

Lazy Tree Mapping: Generalizing and Scaling Deterministic Parallelism

Jul 29 2013

GPUfs: Integrating a File System with GPUs

Mar 20 2013

Enhancing the OS against Security Threats in System Administration

Dec 3 2012

Deterministic OpenMP – Amittai F. Aviram

Sep 20 2012

Scaling Software-Defined Network Controllers on Multicore Servers

Jul 1 2012

Non-Linear Compression: Gzip Me Not!

Jun 14 2012

Plugging Side-Channel Leaks with Timing Information Flow Control

Jun 13 2012

Icebergs in the Clouds: the Other Risks of Cloud Computing

Jun 12 2012

A Virtual Memory Foundation for Scalable Deterministic Parallelism

Jul 11 2011

CertiKOS: A Certified Kernel for Secure Cloud Computing

Jul 11 2011

Eyo: Device-Transparent Personal Storage

Jun 15 2011

Deterministic OpenMP for Race-Free Parallelism

May 26 2011

Workspace Consistency: A Programming Model for Shared Memory Parallelism

Mar 6 2011

Determinating Timing Channels in Compute Clouds

Oct 8 2010

Efficient System-Enforced Deterministic Parallelism

Oct 5 2010

Advanced Development of Certified OS Kernels

Jul 15 2010

Device Transparency: a New Model for Mobile Storage

Oct 11 2009

Vx32: Lightweight User-level Sandboxing on the x86

Jun 27 2008

Alpaca: Extensible Authorization for Distributed Services

Oct 29 2007

Persistent Personal Names for Globally Connected Mobile Devices

Nov 6 2006

VXA: A Virtual Architecture for Durable Compressed Archives

Dec 16 2005

Cache Directory Tagging Specification

Jul 19 2004

Fx86: Functional Management of Imperative Virtual Machines

Aug 28 2003

Interface and Execution Models in the Fluke Kernel

Feb 24 1999

The Flux OSKit: A Substrate for Kernel and Language Research

Oct 6 1997

Flick: A Flexible, Optimizing IDL Compiler

Jun 15 1997

The Flux OS Toolkit: Reusable Components for OS Implementation

May 5 1997

CPU Inheritance Scheduling

Oct 30 1996

Microkernels Meet Recursive Virtual Machines

Oct 30 1996

User-level Checkpointing Through Exportable Kernel State

Oct 27 1996

The Persistent Relevance of the Local Operating System to Global Applications

Sep 9 1996

Using Annotated Interface Definitions to Optimize RPC

Mar 1 1995

Separating Presentation from Interface in RPC and IDLs

Dec 1 1994

Evolving Mach 3.0 to A Migrating Thread Model

Jan 17 1994

Microkernels Should Support Passive Objects

Dec 9 1993

FLEX: A Tool for Building Efficient and Flexible Systems

Oct 14 1993

In-Kernel Servers on Mach 3.0: Implementation and Performance

Apr 19 1993

Notes on Thread Models in Mach 3.0

Apr 1 1993

Die Datenpresse

Aug 1 1992

Object-Oriented Display Refreshing

Apr 1 1992


Bryan Ford