PDOS Home




  MIT > CSAIL > PDOS Home > 

Publications > 

By subject


Projects
People
Software

By date



Publication search:


Subjects:

Peer-to-peer Computing

Networking and Communication

Distributed Computing

Security and Privacy

Mobile Computing

Storage Management

Multicore

Exokernels

Dynamic Code Generation

Programming Languages

Virtual Memory

Distributed Shared Memory and Parallel Computing

Ph.D. Theses

Master's Theses

Publications by subject

Peer-to-peer Computing

Networking and Communication

Distributed Computing

Security and Privacy

Mobile Computing

Storage Management

Multicore

Exokernels

Dynamic Code Generation

Programming Languages

Virtual Memory

Distributed Shared Memory and Parallel Computing

Ph.D. Theses

Master's Theses

  • Finding Linearization Violations in Lock-Free Concurrent Data Structures. (PDF)
    by Sebastien Dabdoub.
    Master's thesis, Massachusetts Institute of Technology, May 2013. (BibTeX entry)

  • Efficient File Distribution in a Flexible, Wide-area File System. (abstract, PDF)
    by Irene Zhang.
    Master's thesis, Massachusetts Institute of Technology, May 2009. (BibTeX entry)

  • Securing Wide-area Storage in WheelFS. (PDF, PS, gzipped PS)
    by Xavid Pretzer.
    Master's thesis, Massachusetts Institute of Technology, May 2009. (BibTeX entry)

  • Ksplice: An Automatic System for Rebootless Kernel Security Updates. (abstract, PDF, PS, gzipped PS)
    by Jeffrey Brian Arnold.
    Master's thesis, Massachusetts Institute of Technology, May 2008. (BibTeX entry)

  • A Comparison of Designs for Extensible and Extension-Oriented Compilers. (abstract, PDF)
    by Austin T. Clements.
    Master's thesis, Massachusetts Institute of Technology, February 2008. (BibTeX entry)

  • Asbestos: Operating System Security for Mobile Devices. (PDF)
    by Martijn Stevenson.
    Master's thesis, Massachusetts Institute of Technology, May 2006. (BibTeX entry)

  • SoftECC: A System for Software Memory Integrity Checking. (PDF)
    by Dave Dopson.
    Master's thesis, Massachusetts Institute of Technology, September 2005. (BibTeX entry)

  • OverCite: A Cooperative Digital Research Library. (abstract, PDF, PS, gzipped PS)
    by Jeremy Stribling.
    Master's thesis, Massachusetts Institute of Technology, September 2005. (BibTeX entry)

  • Building Fast and Secure Web Services With OKWS. (PDF, PS, gzipped PS)
    by Maxwell Krohn.
    Master's thesis, Massachusetts Institute of Technology, September 2005. (BibTeX entry)

  • Mandatory Security and Performance of Services in Asbestos. (PDF, PS, gzipped PS)
    by David Patrick Ziegler.
    Master's thesis, Massachusetts Institute of Technology, May 2005. (BibTeX entry)

  • Acetone: A System Call Interface for Asbestos Labels. (PDF, PS, gzipped PS)
    by Clifford A. Frey.
    Master's thesis, Massachusetts Institute of Technology, May 2005. (BibTeX entry)

  • Opportunistic Routing in Multi-Hop Wireless Networks. (abstract, PDF, PS, gzipped PS)
    by Sanjit Zubin Biswas.
    Master's thesis, Massachusetts Institute of Technology, March 2005. (BibTeX entry)

  • Bit-rate Selection in Wireless Networks. (PDF, PS)
    by John Bicket.
    Master's thesis, Massachusetts Institute of Technology, February 2005. (BibTeX entry)

  • Providing Asynchronous File I/O for the Plan 9 Operating System. (PDF, PS, gzipped PS)
    by Jason Hickey.
    Master's thesis, Massachusetts Institute of Technology, May 2004. (BibTeX entry)

  • Robust and Efficient Data Management for a Distributed Hash Table. (PDF, PS, gzipped PS)
    by Josh Cates.
    Master's thesis, Massachusetts Institute of Technology, May 2003. (BibTeX entry)

  • Melody: A Distributed Music-Sharing System. (PDF, PS, gzipped PS)
    by James Robertson.
    Master's thesis, Massachusetts Institute of Technology, February 2003. (BibTeX entry)

  • SSL splitting and Barnraising: cooperative caching with authenticity guarantees. (abstract, PDF, gzipped PS)
    by Chris Lesniewski-Laas.
    Master's thesis, Massachusetts Institute of Technology, February 2003. (BibTeX entry)

  • Packrat Parsing: a practical linear-time algorithm with backtracking. (PDF, gzipped PS)
    by Bryan Ford.
    Master's thesis, Massachusetts Institute of Technology, September 2002. (BibTeX entry)

  • Choosing Internet Paths with High Bulk Transfer Capacity. (PDF, PS, gzipped PS)
    by Jacob Strauss.
    Master's thesis, Massachusetts Institute of Technology, September 2002. (BibTeX entry)

  • NATRON: Overlay Routing to Oblivious Destinations. (PDF, PS, gzipped PS)
    by Alexander Yip.
    Master's thesis, Massachusetts Institute of Technology, August 2002. (BibTeX entry)

  • Access Control Lists for the Self-Certifying Filesystem. (PDF, PS, gzipped PS)
    by George Savvides.
    Master's thesis, Massachusetts Institute of Technology, August 2002. (BibTeX entry)

  • Self-Certifying Filesystem Implementation for Windows. (PDF, PS, gzipped PS)
    by David Euresti.
    Master's thesis, Massachusetts Institute of Technology, August 2002. (BibTeX entry)

  • Concurrency Control for Multi-Processor Event-Driven Systems. (PDF, PS, gzipped PS)
    by Nickolai Zeldovich.
    Master's thesis, Massachusetts Institute of Technology, May 2002. (BibTeX entry)

  • A Keyword Set Search System for Peer-to-Peer Networks. (PDF, PS, gzipped PS)
    by Omprakash D Gnawali.
    Master's thesis, Massachusetts Institute of Technology, June 2002. (BibTeX entry)

  • The Grid Roofnet: a Rooftop Ad Hoc Wireless Network. (PDF, PS, gzipped PS)
    by Benjamin A. Chambers.
    Master's thesis, Massachusetts Institute of Technology, May 2002. (BibTeX entry)

  • A Peer-to-Peer Anonymizing Network Layer. (abstract, PDF, PS, gzipped PS)
    by Michael J. Freedman.
    Master's thesis, Massachusetts Institute of Technology, May 2002. (BibTeX entry)

  • Herodotus: A Peer-to-Peer Web Archival System. (PDF, PS, gzipped PS)
    by Timo Burkard.
    Master's thesis, Massachusetts Institute of Technology, May 2002. (BibTeX entry)

  • A Cooperative File System. (PDF, PS, gzipped PS)
    by Frank Dabek.
    Master's thesis, Massachusetts Institute of Technology, September 2001. (BibTeX entry)

  • A Case Study of Server Selection. (PDF, PS, gzipped PS)
    by Tina Tyan.
    Master's thesis, Massachusetts Institute of Technology, September 2001. (BibTeX entry)

  • MULTOPS: a data structure for denial-of-service attack detection. (gzipped PS)
    by Thomer M. Gil.
    Master's thesis, Vrije Universiteit, August 2000. (BibTeX entry)

  • A Study of Caching in the Internet Domain Name System. (gzipped PS)
    by Emil Sit.
    Master's thesis, Massachusetts Institute of Technology, May 2000. (BibTeX entry)

  • Flexible Key Management with SFS Agents. (PDF, gzipped PS)
    by Michael Kaminsky.
    Master's thesis, Massachusetts Institute of Technology, May 2000. (BibTeX entry)

  • Framework for Implementing File Systems in Windows NT. (PDF, gzipped PS)
    by Danilo Almeida.
    Master's thesis, Massachusetts Institute of Technology, May 1998. (BibTeX entry)

  • The Secure File System under Windows NT. (PDF, gzipped PS)
    by Matthew Rimer.
    Master's thesis, Massachusetts Institute of Technology, June 1999. (BibTeX entry)

  • A fast Prolac TCP for the real world. (gzipped PS)
    by David Rogers Montgomery, Jr.
    Master's thesis, Massachusetts Institute of Technology, May 1999. (BibTeX entry)

  • An x86 Protected Mode Virtual Machine Monitor for the MIT Exokernel. (PS, gzipped PS)
    by Charles L. Coffing.
    Master's thesis, Massachusetts Institute of Technology, May 1999. (BibTeX entry)

  • Multiprocessing with the Exokernel Operating System. (HTML, PDF, PS, gzipped PS)
    by Benjie Chen.
    Master's thesis, Massachusetts Institute of Technology, February 2000. (BibTeX entry)

  • Flexible and efficient sharing of protected abstractions. (abstract, PDF, PS, gzipped PS)
    by George M. Candea.
    Master's thesis, Massachusetts Institute of Technology, May 1998. (BibTeX entry)

  • Applying Exokernel Principles to Conventional Operating Systems. (PDF, PS, gzipped PS)
    by John Jannotti.
    Master's thesis, Massachusetts Institute of Technology, February 1998. (BibTeX entry)

  • The design and implementation of a high-performance active network node. (abstract, PDF, PS, gzipped PS)
    by Erik L. Nygren.
    Master's thesis, Massachusetts Institute of Technology, February 1998. (BibTeX entry)

  • Shared libraries in an exokernel operating system. (PS, gzipped PS)
    by Douglas Karl Wyatt.
    Master's thesis, Massachusetts Institute of Technology, September 1997. (BibTeX entry)

  • Prolac: a language for protocol compilation. (PDF, gzipped PS)
    by Eddie Kohler.
    Master's thesis, Massachusetts Institute of Technology, September 1997. (BibTeX entry)

  • Security and decentralized control in the SFS global file system. (gzipped PS)
    by David Mazières.
    Master's thesis, Massachusetts Institute of Technology, August 1997. (BibTeX entry)

  • Operating system extensibility through event capture. (PS, gzipped PS)
    by Thomas Pinckney III.
    Master's thesis, Massachusetts Institute of Technology, February 1997. (BibTeX entry)

  • Decentralizing UNIX abstractions in the exokernel architecture. (PS, gzipped PS)
    by Héctor Manuel Briceño Pulido.
    Master's thesis, Massachusetts Institute of Technology, February 1997. (BibTeX entry)

  • The Rover NNTP proxy. (PS, gzipped PS)
    by Constantine Cristakos.
    Advanced Undergraduate Project, Massachusetts Institute of Technology, June 1996. (BibTeX entry)

  • Exodisk: maximizing application control over storage management. (PS, gzipped PS)
    by Robert Grimm.
    Master's thesis, Massachusetts Institute of Technology, May 1996. (BibTeX entry)

  • Issues in building mobile-aware applications with the Rover toolkit. (PS, gzipped PS)
    by Joshua A. Tauber.
    Master's thesis, Massachusetts Institute of Technology, May 1996. (BibTeX entry)

  • Rover Mosaic: e-mail communication for a full-function Web browser. (PS, gzipped PS)
    by Alan F. deLespinasse.
    Master's thesis, Massachusetts Institute of Technology, June 1995. (BibTeX entry)