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