Distributed systems are difficult to implement correctly because they must handle both
concurrency and failures: machines may crash at arbitrary points and networks may reorder …

Clicks is a new software architecture for building flexible and configurable routers. A Click
router is assembled from packet processing modules called elements. Individual elements …

Although I lack Licklider's clarity as to what the next 40 years of computation might bring, I
am convinced that the first steps toward a new agenda must include: a fundamental …

Most malicious attacks compromise system security through memory corruption exploits.
Recently proposed techniques attempt to defeat these attacks by protecting program control …

An understanding of the techniques used to make distributed computing systems and
networks reliable, fault-tolerant and secure will be crucial to those who design and deploy …

Building a flexible kernel from components is a promising solution for supporting various
embedded systems. The use of components encourages code re-use and reduces …

A security policy specifies session participant requirements. However, existing frameworks
provide limited facilities for the automated reconciliation of participant policies. This paper …

Automated deduction uses computation to perform symbolic logical reasoning. It has been a
core technology for program verification from the very beginning. Satisfiability solvers for …

For twenty years the Nuprl (“new pearl”) system has been used to develop software systems
and formal theories of computational mathematics. It has also been used to explore and …

Knit is a new component definition and linking language for systems code. Knit helps make
C code more understandable and reusable by third parties, helps eliminate much of the …