In modern commodity operating systems, core functionality is usually designed assuming
that the underlying processor hardware always functions correctly. Shrinking hardware …

Computer systems fail every day, destroying personal data, causing economic loss and
even threatening users' lives. The reasons for such failures are manifold, ranging from …

Microkernel-based systems divide the operating system functionality into individual and
isolated components. The system components are subject to applicationclass protection and …

In the paper, we argue that it is worthwhile to revisit building microkernel-based multiserver
operating systems, and introduce a multiserver OS architecture. We argue that recent formal …

Symbolic execution calls for specialized address translation. Unlike a pointer on a traditional
machine model, which corresponds to a single address, a symbolic pointer may represent …

Device drivers are a significant source of system instability. In this paper, we make the case
for running device drivers at user-level to improve robustness and resource management …

Small kernels are a promising approach to secure and reliable system construction. These
systems reduce the size of the kernel to a point where it is feasible to formally verify the …

Despite the immense popularity virtual machines regained in the last years current
virtualization environments force significant compromises to the host system architecture …

Mobile device manufacturers are facing the challenge, to maintain device drivers across an
increasing number of product variants. Isolation of device drivers into a separate domain …

Decreasing hardware feature sizes and increasing heterogeneity in multicore hardware
require software that can adapt to these platforms' properties. We implemented ROMAIN, an …