Loading...

Tag trends are in beta. Feedback? Thoughts? Email me at [email protected]

Xv6, a simple Unix-like teaching operating system

Vx32: Portable, efficient, safe user-space execution of untrusted x86 code (2008)

Xv6, a simple Unix-like teaching operating system

Benefits and costs of writing a Posix kernel in a high-level language (2018)

Raft

MIT 6.S081 – Operating System Engineering

Application Performance and Flexibility on Exokernel Systems (1997)

Packrat Parsing: Simple, Powerful, Lazy, Linear Time

xv6: a simple, Unix-like teaching operating system

Biscuit: An OS kernel in Go, a high-level language

Xv6, a simple Unix-like teaching operating system

Xv6, a simple Unix-like teaching operating system

Packrat Parsing (2002)

Packrat Parsing: a Practical Linear-Time Algorithm with Backtracking (2002)

Kademlia: A Peer-To-peer Information System Based on the XOR Metric

Xv6, a simple Unix-like teaching operating system

Towards Optimization-Safe Systems: Analyzing the Impact of Undefined Behavior (2013)

An Extension-Oriented Compiler (2008)

MIT reading group on Scalability but at what COST?

SciGen - Automatic, CompSci Paper Generator

Vx32: portable, efficient, safe execution of untrusted x86 code

xv6 - a simple, Unix-like teaching operating system

Xv6, a simple Unix-like teaching operating system

The Design, Implementation and Operation of an Email Pseudonym Server (1998)

Book explaining xv6. A simple unix os

Bitmap Graphics: Why BitBlt is so successful by Pike, Guibas, Ingalls (1984)

Xv6, a simple Unix-like teaching operating system

Sound Blaster Series Hardware Programming Guide

Application Performance and Flexibility on Exokernel Systems (1995)

Vx32: Lightweight User-Level Sandboxing on the X86

More →