• Publications
  • Influence
An integrated experimental environment for distributed systems and networks
TLDR
The overall design and implementation of Netbed is presented and its ability to improve experimental automation and efficiency is demonstrated, leading to new methods of experimentation, including automated parameter-space studies within emulation and straightforward comparisons of simulated, emulated, and wide-area scenarios. Expand
An integrated experimental environment for distributed systems and networks
TLDR
The overall design and implementation of Netbed is presented and its ability to improve experimental automation and efficiency is demonstrated, leading to new methods of experimentation, including automated parameter-space studies within emulation and straightforward comparisons of simulated, emulated, and wide-area scenarios. Expand
The Flask Security Architecture: System Support for Diverse Security Policies
TLDR
This paper presents an operating system security architecture that solves the problems of controlling the propagation of access rights, enforcing fine-grained access rights and supporting the revocation of previously granted access rights. Expand
The Flux OSKit: a substrate for kernel and language research
TLDR
The OSKit demonstrates a technique that allows unmodified code from existing mature operating systems to be incorporated quickly and updated regularly, by wrapping it with a small amount of carefully designed "glue" code to isolate it s dependencies and export well-defined interfaces. Expand
Large-scale Virtualization in the Emulab Network Testbed
TLDR
This paper presents a system that can faithfully emulate, on low-end PCs, virtual topologies over an order of magnitude larger than the physical hardware, when running typical classes of distributed applications that have modest resource requirements. Expand
Evolving Mach 3.0 to A Migrating Thread Model
TLDR
A migrating-thread model is superior to a static model, that kernel-visible RPC is a prerequisite for this improvement, and that it is feasible to improve existing operating systems in this manner. Expand
Mobile Emulab: A Robotic Wireless and Sensor Network Testbed
TLDR
This work has extended the Emulab network testbed software to provide the first remotely-accessible mobile wireless and sensor testbed, and presents the design and implementation, and evaluates key aspects of its performance. Expand
Knit: component composition for systems software
TLDR
An overview of the Knit language and its applications is provided, especially designed for use with component kits, where standard linking tools provide inadequate support for component configuration. Expand
Processes in KaffeOS: isolation, resource management, and sharing in java
TLDR
Because of its implementation base, KaffeOS is substantially slower than commercial JVMs for trusted code, but it clearly outperforms those JVs in the presence of denial-of-service attacks or misbehaving code. Expand
Microkernels meet recursive virtual machines
TLDR
A software-based virtualizable architecture called Fluke that allows recursive virtual machines (virtual machines running on other virtual machines) to be implemented efficiently by a microkernel running on generic hardware. Expand
...
1
2
3
4
5
...