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. (abstractPDF)
    by Irene Zhang.
    Master's thesis, Massachusetts Institute of Technology, May 2009. (BibTeX entry)

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

  • Ksplice: An Automatic System for Rebootless Kernel Security Updates. (abstractPDFPSgzipped 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. (abstractPDF)
    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. (abstractPDFPSgzipped PS)
    by Jeremy Stribling.
    Master's thesis, Massachusetts Institute of Technology, September 2005. (BibTeX entry)

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

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

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

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

  • Bit-rate Selection in Wireless Networks. (PDFPS)
    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. (PDFPSgzipped 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. (PDFPSgzipped PS)
    by Josh Cates.
    Master's thesis, Massachusetts Institute of Technology, May 2003. (BibTeX entry)

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

  • SSL splitting and Barnraising: cooperative caching with authenticity guarantees. (abstractPDFgzipped 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. (PDFgzipped PS)
    by Bryan Ford.
    Master's thesis, Massachusetts Institute of Technology, September 2002. (BibTeX entry)

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

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

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

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

  • Concurrency Control for Multi-Processor Event-Driven Systems. (PDFPSgzipped 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. (PDFPSgzipped 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. (PDFPSgzipped PS)
    by Benjamin A. Chambers.
    Master's thesis, Massachusetts Institute of Technology, May 2002. (BibTeX entry)

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

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

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

  • A Case Study of Server Selection. (PDFPSgzipped 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. (PDFgzipped PS)
    by Michael Kaminsky.
    Master's thesis, Massachusetts Institute of Technology, May 2000. (BibTeX entry)

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

  • The Secure File System under Windows NT. (PDFgzipped 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. (PSgzipped PS)
    by Charles L. Coffing.
    Master's thesis, Massachusetts Institute of Technology, May 1999. (BibTeX entry)

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

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

  • Applying Exokernel Principles to Conventional Operating Systems. (PDFPSgzipped 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. (abstractPDFPSgzipped PS)
    by Erik L. Nygren.
    Master's thesis, Massachusetts Institute of Technology, February 1998. (BibTeX entry)

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

  • Prolac: a language for protocol compilation. (PDFgzipped 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. (PSgzipped PS)
    by Thomas Pinckney III.
    Master's thesis, Massachusetts Institute of Technology, February 1997. (BibTeX entry)

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

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

  • Exodisk: maximizing application control over storage management. (PSgzipped 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. (PSgzipped 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. (PSgzipped PS)
    by Alan F. deLespinasse.
    Master's thesis, Massachusetts Institute of Technology, June 1995. (BibTeX entry)