Singularity is a research project in Microsoft Research that started with the question: what
would a software platform look like if it was designed from scratch with the primary goal of …

We present a Scalable Distributed Information Management System (SDIMS) that
aggregates information about large-scale networked systems and that can serve as a basic …

Typed assembly language (TAL) and Hoare logic can verify the absence of many kinds of
errors in low-level code. We use TAL and Hoare logic to achieve highly automated, static …

SIF (Servlet Information Flow) is a novel software framework for building high-assurance
web applications, using language-based information-flow control to enforce security …

We present Replayable Execution, a system for improving the efficiency of Function-as-a-
Service (FaaS) frameworks. It takes advantage of standard kernel features to reduce …

We consider the problem of how to provide an execution environment where the
application's secrets are safe even in the presence of malicious system software layers. We …

The Multitasking Virtual Machine (called from now on simply MVM) is a modification of the
Java™ virtual machine. It enables safe, secure, and scalable multitasking. Safety is …

In this paper we demonstrate the benefits of application involvement in operating system
power management. We present Coop-I/O, an approach to reduce the power consumption …

Most operating systems enforce process isolation through hardware protection mechanisms
such as memory segmentation, page mapping, and differentiated user and kernel …

This paper describes the architecture and performance of the JX operating system. JX is
both an operating system completely written in Java and a runtime system for Java …