path: root/testdata/pdos.bib

%% ***
%% *** ASK YOURSELF:
%% ***
%% *** Did I put it in the right section?
%% *** Did I include a `www_section' tag?
%% *** Did I include the page numbers?
%% *** Did I include the location of the conference (in the `address' tag)?
%% ***
%% *** When you are done editing this file, run this command:
%% *** ./mkpdospubs.pl pdos.bib ../pubs.html
%% ***

@string{MIT = "Massachusetts Institute of Technology"}
@string{MIT-LCS = "{MIT} Laboratory for Computer Science"}
@string{ACMabbr = "{ACM}"}
@string{SOSP = ACMabbr # " {S}ymposium on {O}perating {S}ystems {P}rinciples"}
@string{IEEEabbr = "{IEEE}"}
@string{IEEECompSoc = IEEEabbr # " {C}omputer {S}ociety"}
@string{OSDI = "{USENIX} {S}ymposium on {O}perating {S}ystems {D}esign and {I}mplementation"}

@string{PDOSWWW = "http://www.pdos.lcs.mit.edu"}

%% P2P PAPERS

@string{p2p = "Peer-to-peer Computing"}

@inproceedings{ivy:osdi02,
  title            = "Ivy: A Read/Write Peer-to-peer File System",
  author           = "Athicha Muthitacharoen and Robert Morris and Thomer Gil and Benjie Chen",
  crossref	   = osdi5,
  www_section	   = p2p,
  www_abstract_url = PDOSWWW # "/ivy/osdi02.html",
  www_ps_url	   = PDOSWWW # "/ivy/osdi02.ps",
  www_ps_gz_url	   = PDOSWWW # "/ivy/osdi02.ps.gz",
  www_pdf_url	   = PDOSWWW # "/ivy/osdi02.pdf"
}

@inproceedings{trie:iptps02,
  title            = "Efficient Peer-To-Peer Lookup Based on a Distributed Trie",
  author           = "Michael J. Freedman and Radek Vingralek",
  crossref         = "iptps02",
  www_section      = p2p,
  www_abstract_url = PDOSWWW # "/papers/trie:iptps02/index.html",
  www_ps_url       = PDOSWWW # "/papers/trie:iptps02/trie:iptps02.ps",
  www_ps_gz_url    = PDOSWWW # "/papers/trie:iptps02/trie:iptps02.ps.gz",
  www_pdf_url      = PDOSWWW # "/papers/trie:iptps02/trie:iptps02.pdf"
}

@inproceedings{chord:dns02,
  title            = "Serving DNS using Chord",
  author           = "Russ Cox and Athicha Muthitacharoen and Robert Morris",
  crossref         = "iptps02",
  www_section      = p2p,
  www_abstract_url = PDOSWWW # "/papers/chord:dns02/index.html",
  www_ps_url       = PDOSWWW # "/papers/chord:dns02/chord:dns02.ps",
  www_ps_gz_url    = PDOSWWW # "/papers/chord:dns02/chord:dns02.ps.gz",
  www_pdf_url      = PDOSWWW # "/papers/chord:dns02/chord:dns02.pdf"
}

@inproceedings{chord:security02,
  title            = "Security Considerations for Peer-to-Peer Distributed Hash Tables",
  author           = "Emil Sit and Robert Morris",
  crossref         = "iptps02",
  www_section      = p2p,
  www_abstract_url = PDOSWWW # "/papers/chord:security02/index.html",
  www_ps_url       = PDOSWWW # "/papers/chord:security02/chord:security02.ps",
  www_ps_gz_url    = PDOSWWW # "/papers/chord:security02/chord:security02.ps.gz",
  www_pdf_url      = PDOSWWW # "/papers/chord:security02/chord:security02.pdf"
}

@inproceedings{cfs:sosp01,
  title = "Wide-area cooperative storage with {CFS}",
  author = "Frank Dabek and M. Frans Kaashoek and David Karger and Robert Morris and Ion Stoica",
  crossref = "sosp18",
  pages = "",
  www_section = p2p,
  www_abstract_url = PDOSWWW # "/papers/cfs:sosp01/",
  www_ps_url = PDOSWWW # "/papers/cfs:sosp01/cfs_sosp.ps",
  www_ps_gz_url = PDOSWWW # "/papers/cfs:sosp01/cfs_sosp.ps.gz",
  www_pdf_url = PDOSWWW # "/papers/cfs:sosp01/cfs_sosp.pdf",
}

@inproceedings{chord:sigcomm01,
  title = "Chord: A Scalable Peer-to-peer Lookup Service for Internet Applications",
  author = "Ion Stoica and Robert Morris and David Karger and M. Frans Kaashoek and Hari Balakrishnan",
  crossref = "sigcomm01",
  pages = "",
  www_section = p2p,
  www_abstract_url = PDOSWWW # "/papers/chord:sigcomm01/",
  www_ps_url = PDOSWWW # "/papers/chord:sigcomm01/chord_sigcomm.ps",
  www_ps_gz_url = PDOSWWW # "/papers/chord:sigcomm01/chord_sigcomm.ps.gz",
  www_pdf_url = PDOSWWW # "/papers/chord:sigcomm01/chord_sigcomm.pdf",
}

@inproceedings{chord:hotos,
  title = "Building Peer-to-Peer Systems With Chord, a Distributed Lookup Service",
  author = "Frank Dabek and Emma Brunskill and M. Frans Kaashoek and David Karger and Robert Morris and Ion Stoica and Hari Balakrishnan",
  crossref = "hotos8",
  pages = "",
  www_section = p2p,
  www_abstract_url = PDOSWWW # "/papers/chord:hotos01/",
  www_ps_url = PDOSWWW # "/papers/chord:hotos01/hotos8.ps",
  www_ps_gz_url = PDOSWWW # "/papers/chord:hotos01/hotos8.ps.gz",
  www_pdf_url = PDOSWWW # "/papers/chord:hotos01/hotos8.pdf",
}


%% NETWORKING PAPERS

@string{networking = "Networking and Communication"}

@inproceedings{click:asplos02,
  title = "Programming Language Optimizations for Modular Router Configurations",
  author = "Eddie Kohler and Robert Morris and Benjie Chen",
  booktitle = "Proceedings of the 10th Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS)",
  location = "San Jose, CA",
  month = oct,
  year = 2002,
  www_section = networking,
  www_pdf_url = PDOSWWW # "/papers/click:asplos02.pdf"
}

@inproceedings{grid:hotnets02,
  title = "Performance of Multihop Wireless Networks: Shortest Path is Not Enough",
  author = "Douglas S. J. {De Couto} and Daniel Aguayo and Benjamin A. Chambers and Robert Morris",
  crossref = "hotnets1",
  www_section = networking,
  www_abstract_url = PDOSWWW # "/papers/grid:hotnets02/",
  www_ps_url = PDOSWWW # "/papers/grid:hotnets02/paper.ps",
  www_ps_gz_url = PDOSWWW # "/papers/grid:hotnets02/paper.ps.gz",
  www_pdf_url = PDOSWWW # "/papers/grid:hotnets02/paper.pdf"
}

@techreport{grid:losstr01,
  title = "Effects of Loss Rate on Ad Hoc Wireless Routing",
  author = "Douglas S. J. {De Couto} and Daniel Aguayo and Benjamin A. Chambers and Robert Morris",
  institution = MIT-LCS,
  year = 2002, month = mar,
  number = "MIT-LCS-TR-836",
  www_section = networking,
  www_abstract_url = PDOSWWW # "/papers/grid:losstr02/",
  www_ps_url = PDOSWWW # "/papers/grid:losstr02/paper.ps",
  www_ps_gz_url = PDOSWWW # "/papers/grid:losstr02/paper.ps.gz",
  www_pdf_url = PDOSWWW # "/papers/grid:losstr02/paper.pdf"
}


@article{span:wireless01,
  title = "Span: An Energy-Efficient Coordination Algorithm for Topology Maintenance in Ad Hoc Wireless Networks",
  author = "Benjie Chen and Kyle Jamieson and Hari Balakrishnan and Robert Morris",
  crossref = "journal:winet",
  volume = 8,
  number = "5",
  year = 2002,
  month = sep,
  pages = "",
  www_section = networking,
  www_abstract_url = PDOSWWW # "/papers/span:wireless01/",
  www_ps_url = PDOSWWW # "/papers/span:wireless01/paper.ps",
  www_ps_gz_url = PDOSWWW # "/papers/span:wireless01/paper.ps.gz",
  www_pdf_url = PDOSWWW # "/papers/span:wireless01/paper.pdf"
}

@inproceedings{dnscache:sigcommimw01,
  title = "DNS Performance and the Effectiveness of Caching",
  author = "Jaeyeon Jung, Emil Sit, Hari Balakrishnan and Robert Morris",
  crossref = "sigcommimw01",
  www_section = networking,
  www_abstract_url = "http://nms.lcs.mit.edu/papers/dns-imw2001.html",
  www_ps_url = "http://nms.lcs.mit.edu/papers/dns-imw2001.ps",
  www_ps_gz_url = "http://nms.lcs.mit.edu/papers/dns-imw2001.ps.gz",
  www_pdf_url = "http://nms.lcs.mit.edu/papers/dns-imw2001.pdf"
}

@inproceedings{ron:sosp01,
  title = "Resilient Overlay Networks",
  author = "David Andersen and Hari Balakrishnan and M. Frans Kaashoek and Robert Morris",
  crossref = "sosp18",
  pages = "",
  www_section = networking,
  www_abstract_url = "http://nms.lcs.mit.edu/papers/ron-sosp2001.html",
  www_ps_url = "http://nms.lcs.mit.edu/papers/ron-sosp2001.ps",
  www_ps_gz_url = "http://nms.lcs.mit.edu/papers/ron-sosp2001.ps.gz",
  www_pdf_url = "http://nms.lcs.mit.edu/papers/ron-sosp2001.pdf",
}

@techreport{grid:proxytr01,
  title = "Location Proxies and Intermediate Node Forwarding for Practical Geographic Forwarding",
  author = "Douglas S. J. {De Couto} and Robert Morris",
  institution = MIT-LCS,
  year = 2001, month = jun,
  number = "MIT-LCS-TR-824",
  www_section = networking,
  www_abstract_url = PDOSWWW # "/papers/grid:proxytr01/",
  www_ps_url = PDOSWWW # "/papers/grid:proxytr01/paper.ps",
  www_ps_gz_url = PDOSWWW # "/papers/grid:proxytr01/paper.ps.gz",
  www_pdf_url = PDOSWWW # "/papers/grid:proxytr01/paper.pdf",
}

@inproceedings{span:mobicom01,
  title = "Span: An Energy-Efficient Coordination Algorithm for Topology Maintenance in Ad Hoc Wireless Networks",
  author = "Benjie Chen and Kyle Jamieson and Hari Balakrishnan and Robert Morris",
  crossref = "mobicom01",
  pages = "85--96",
  www_section = networking,
  www_abstract_url = PDOSWWW # "/papers/span:mobicom01/",
  www_ps_url = PDOSWWW # "/papers/span:mobicom01/span.ps",
  www_ps_gz_url = PDOSWWW # "/papers/span:mobicom01/span.ps.gz",
  www_pdf_url = PDOSWWW # "/papers/span:mobicom01/span.pdf"
}

@inproceedings{grid:mobicom01,
  title = "Capacity of Ad Hoc Wireless Networks",
  author = "Jinyang Li and Charles Blake and Douglas S. J. {De Couto} and Hu Imm Lee and Robert Morris",
  crossref = "mobicom01",
  pages = "61--69",
  www_section = networking,
  www_abstract_url = PDOSWWW # "/papers/grid:mobicom01/",
  www_ps_url = PDOSWWW # "/papers/grid:mobicom01/paper.ps",
  www_ps_gz_url = PDOSWWW # "/papers/grid:mobicom01/paper.ps.gz",
  www_pdf_url = PDOSWWW # "/papers/grid:mobicom01/paper.pdf"
}

@inproceedings{click:usenix01,
  title = "Flexible Control of Parallelism in a Multiprocessor PC Router",
  author = "Benjie Chen and Robert Morris",
  crossref = "usenix01",
  pages = "333--346",
  www_section = networking,
  www_abstract_url = PDOSWWW # "/papers/click:usenix01/",
  www_ps_url = PDOSWWW # "/papers/click:usenix01/usenix01.ps",
  www_ps_gz_url = PDOSWWW # "/papers/click:usenix01/usenix01.ps.gz",
  www_pdf_url = PDOSWWW # "/papers/click:usenix01/usenix01.pdf",
}

@inproceedings{ron:hotos8,
  title = "Resilient Overlay Networks",
  author = "David Andersen and Hari Balakrishnan and M. Frans Kaashoek and Robert Morris",
  crossref = "hotos8",
  www_section = networking,
  www_abstract_url = "http://nms.lcs.mit.edu/papers/ron-hotos2001.html",
  www_ps_url = "http://nms.lcs.mit.edu/papers/ron-hotos2001.ps",
  www_ps_gz_url = "http://nms.lcs.mit.edu/papers/ron-hotos2001.ps.gz",
  www_pdf_url = "http://nms.lcs.mit.edu/papers/ron-hotos2001.pdf",
}

@techreport{click:rewritertr,
  title = "Modular components for network address translation",
  author = "Eddie Kohler and Robert Morris and Massimiliano Poletto",
  institution = "MIT LCS Click Project",
  year = 2000, month = dec,
  note = "http://www.pdos.lcs.mit.edu/papers/click-rewriter/",
  www_section = networking,
  www_abstract_url = PDOSWWW # "/papers/click-rewriter/",
  www_ps_url = PDOSWWW # "/papers/click-rewriter/paper.ps",
  www_ps_gz_url = PDOSWWW # "/papers/click-rewriter/paper.ps.gz",
  www_pdf_url = PDOSWWW # "/papers/click-rewriter/paper.pdf",
}

@inproceedings{grid:sigops-euro9,
  title = "{C}ar{N}et: A Scalable Ad Hoc Wireless Network System",
  author = "Robert Morris and John Jannotti and Frans Kaashoek and Jinyang Li and Douglas S. J. {De Couto}",
  crossref = "sigops-euro9",
  pages = "",
  www_section = networking,
  www_abstract_url = PDOSWWW # "/papers/grid:sigops-euro9/",
  www_ps_gz_url = PDOSWWW # "/papers/grid:sigops-euro9/paper.ps.gz",
  www_ps_url = PDOSWWW # "/papers/grid:sigops-euro9/paper.ps",
  www_pdf_url = PDOSWWW # "/papers/grid:sigops-euro9/paper.pdf",
  note = "The published version incorrectly lists Douglas De Couto's name"
}

@inproceedings{grid:mobicom00,
  title = "A Scalable Location Service for Geographic Ad Hoc Routing",
  author = "Jinyang Li and John Jannotti and Douglas S. J. {De Couto} and David R. Karger and Robert Morris",
  crossref = "mobicom00",
  pages = "120--130",
  www_section = networking,
  www_abstract_url = PDOSWWW # "/papers/grid:mobicom00/",
  www_ps_url = PDOSWWW # "/papers/grid:mobicom00/paper.ps",
  www_ps_gz_url = PDOSWWW # "/papers/grid:mobicom00/paper.ps.gz",
  www_pdf_url = PDOSWWW # "/papers/grid:mobicom00/paper.pdf"
}

@techreport{click:lcstr00,
  title = "Programming language techniques for modular router configurations",
  author = "Eddie Kohler and Benjie Chen and M. Frans Kaashoek and Robert Morris and Massimiliano Poletto",
  institution = MIT-LCS,
  year = 2000, month = aug,
  number = "MIT-LCS-TR-812",
  www_section = networking,
  www_abstract_url = PDOSWWW # "/papers/click:lcstr00/",
  www_ps_url = PDOSWWW # "/papers/click:lcstr00/tr.ps",
  www_ps_gz_url = PDOSWWW # "/papers/click:lcstr00/tr.ps.gz",
  www_pdf_url = PDOSWWW # "/papers/click:lcstr00/tr.pdf",
}

@article{click:tocs00,
  title = "The Click modular router",
  author = "Eddie Kohler and Robert Morris and Benjie Chen and John Jannotti and M. Frans Kaashoek",
  crossref = "journal:tocs",
  volume = 18, number = 3,
  year = 2000, month = aug,
  pages = "263--297",
  www_section = networking,
  www_abstract_url = PDOSWWW # "/papers/click:tocs00/",
  www_ps_url = PDOSWWW # "/papers/click:tocs00/paper.ps",
  www_ps_gz_url = PDOSWWW # "/papers/click:tocs00/paper.ps.gz",
  www_pdf_url = PDOSWWW # "/papers/click:tocs00/paper.pdf"
}

@inproceedings{click:sosp99,
  title = "The {C}lick modular router",
  author = "Robert Morris and Eddie Kohler and John Jannotti and M. Frans Kaashoek",
  crossref = "sosp17",
  pages = "217--231",
  www_section = networking,
  www_abstract_url = PDOSWWW # "/papers/click:sosp99/",
  www_ps_url = PDOSWWW # "/papers/click:sosp99/paper.ps",
  www_ps_gz_url = PDOSWWW # "/papers/click:sosp99/paper.ps.gz",
  www_pdf_url = PDOSWWW # "/papers/click:sosp99/paper.pdf"
}

@inproceedings{prolac:sigcomm99,
  title = "A readable {TCP} in the {Prolac} protocol language",
  author = "Eddie Kohler and M. Frans Kaashoek and David R. Montgomery",
  crossref = "sigcomm99",
  pages = "3--13",
  www_section = networking,
  www_abstract_url = PDOSWWW # "/papers/prolac:sigcomm99/",
  www_ps_url = PDOSWWW # "/papers/prolac:sigcomm99/paper.ps",
  www_pdf_url = PDOSWWW # "/papers/prolac:sigcomm99/paper.pdf"
}

@inproceedings{ash:sigcomm96,
  title = "{ASHs}: application-specific handlers for high-performance messaging",
  author = "Deborah A. Wallach and Dawson R. Engler and M. Frans Kaashoek",
  crossref = "sigcomm96",
  pages = "40--52",
  www_section = networking,
  www_ps_url = PDOSWWW # "/papers/ash-sigcomm96.ps"
}

@inproceedings{dpf:sigcomm96,
  title = "{DPF}: fast, flexible message demultiplexing using dynamic code generation",
  author = "Dawson R. Engler and M. Frans Kaashoek",
  crossref = "sigcomm96",
  pages = "53--59",
  www_section = networking,
  www_ps_url = PDOSWWW # "/papers/dpf.ps"
}

@inproceedings{oam:ppopp95,
  title = "Optimistic active messages: a mechanism for scheduling communication with computation",
  author = "Deborah A. Wallach and Wilson C. Hsieh and Kirk Johnson and M. Frans Kaashoek and William E. Weihl",
  crossref = "ppopp95",
  pages = "217--226",
  www_section = networking,
  www_ps_url = PDOSWWW # "/papers/oam.ps"
}

@techreport{user-level-comm:tr,
  title = "Efficient implementation of high-level languages on user-level communication architectures",
  author = "Wilson C. Hsieh and Kirk L. Johnson and M. Frans Kaashoek and Deborah A. Wallach and William E. Weihl",
  institution = MIT-LCS,
  year = 1994, month = may,
  number = "MIT-LCS-TR-616",
  www_section = networking,
  www_ps_url = PDOSWWW # "/papers/UserLevelCommunication.ps",
}

@inproceedings{ipc-persistent-relevance:wwos4,
  title = "The persistent relevance of IPC performance",
  author = "Wilson C. Hsieh and M. Frans Kaashoek and William E. Weihl",
  crossref = "wwos4",
  pages = "186--190",
  www_section = networking,
  www_ps_url = PDOSWWW # "/papers/RelevanceOfIPC.ps",
}

@inproceedings{pan:openarch99,
  title = "{PAN}: a high-performance active network node supporting multiple mobile code systems",
  author = "Erik L. Nygren and Stephen J. Garland and M. Frans Kaashoek",
  crossref = "openarch99",
  pages = "78--89",
  www_section = networking,
  www_abstract_url = PDOSWWW # "/papers/pan-openarch99/",
  www_ps_url = PDOSWWW # "/papers/pan-openarch99/pan-openarch99.ps",
  www_ps_gz_url = PDOSWWW # "/papers/pan-openarch99/pan-openarch99.ps.gz",
  www_pdf_url = PDOSWWW # "/papers/pan-openarch99/pan-openarch99.pdf",
}

%% DISTRIBUTED COMPUTING

@string{distribcomp = "Distributed Computing"}

@inproceedings{lbfs:sosp01,
  title = "A Low-bandwidth Network File System",
  author = "Athicha Muthitacharoen and Benjie Chen and David Mazi{\`e}res",
  crossref = "sosp18",
  pages = "174--187",
  www_section = distribcomp,
  www_abstract_url = PDOSWWW # "/papers/lbfs:sosp01/",
  www_ps_url = PDOSWWW # "/papers/lbfs:sosp01/lbfs.ps",
  www_ps_gz_url = PDOSWWW # "/papers/lbfs:sosp01/lbfs.ps.gz",
  www_pdf_url = PDOSWWW # "/papers/lbfs:sosp01/lbfs.pdf",
}

@inproceedings{server-os:sigops-euro,
  title = "Server operating systems",
  author = "M. Frans Kaashoek and Dawson R. Engler and Gregory R. Ganger and Deborah A. Wallach",
  crossref = "sigops-euro7",
  pages = "141--148",
  www_section = distribcomp,
  www_html_url = PDOSWWW # "/papers/serverOS.html"
}

@inproceedings{amoeba-eval:dcs16,
  title = "An evaluation of the {Amoeba} group communication system",
  author = "M. Frans Kaashoek and Andrew S. Tanenbaum",
  crossref = "dcs16",
  pages = "436--448",
  www_section = distribcomp,
  www_ps_url = PDOSWWW # "/papers/group-dcs16.ps"
}


%% SECURITY AND PRIVACY

@string{security = "Security and Privacy"}

@techreport{sfs:rex,
  title = "REX: Secure, modular remote execution through file descriptor passing",
  author = "Michael Kaminsky and Eric Peterson and Kevin Fu and David Mazi{\`e}res and M. Frans Kaashoek",
  institution = "MIT-LCS",
  year = 2003, month = jan,
  number = "MIT-LCS-TR-884",
  note = "http://www.pdos.lcs.mit.edu/papers/sfs:rex/",
  www_section = security,
  www_abstract_url = PDOSWWW # "/papers/sfs:rex/",
  www_ps_url = PDOSWWW # "/papers/sfs:rex/MIT-LCS-TR-884.ps",
  www_ps_gz_url = PDOSWWW # "/papers/sfs:rex/MIT-LCS-TR-884.ps.gz",
  www_pdf_url = PDOSWWW # "/papers/sfs:rex/MIT-LCS-TR-884.pdf",
}

@inproceedings{tarzan:ccs9,
  title            = "Tarzan: A Peer-to-Peer Anonymizing Network Layer",
  author           = "Michael J. Freedman and Robert Morris",
  crossref         = "ccs9",
  www_section      = security,
  www_abstract_url = PDOSWWW # "/papers/tarzan:ccs9/index.html",
  www_ps_url       = PDOSWWW # "/papers/tarzan:ccs9/tarzan:ccs9.ps",
  www_ps_gz_url    = PDOSWWW # "/papers/tarzan:ccs9/tarzan:ccs9.ps.gz",
  www_pdf_url      = PDOSWWW # "/papers/tarzan:ccs9/tarzan:ccs9.pdf"
}

@inproceedings{tarzan:iptps02,
  title            = "Introducing Tarzan, a Peer-to-Peer Anonymizing Network Layer",
  author           = "Michael J. Freedman and Emil Sit and Josh Cates and Robert Morris",
  crossref         = "iptps02",
  www_section      = security,
  www_abstract_url = PDOSWWW # "/papers/tarzan:iptps02/index.html",
  www_ps_url       = PDOSWWW # "/papers/tarzan:iptps02/tarzan:iptps02.ps",
  www_ps_gz_url    = PDOSWWW # "/papers/tarzan:iptps02/tarzan:iptps02.ps.gz",
  www_pdf_url      = PDOSWWW # "/papers/tarzan:iptps02/tarzan:iptps02.pdf"
}

@article{sfsro:tocs2002,
  title = "{F}ast and secure distributed read-only file system",
  author = "Kevin Fu and M. Frans Kaashoek and David Mazi{\`e}res",
  crossref = "journal:tocs",
  volume = 20, number = 1,
  year = 2002, month = feb,
  pages = "1--24",
  www_section = security,
  www_abstract_url = "http://portal.acm.org/citation.cfm?doid=505452.505453"
}


@inproceedings{webauth:sec10,
  title = "{D}os and Don'ts of Client Authentication on the Web",
  author = "Kevin Fu and Emil Sit and Kendra Smith and Nick Feamster",
  crossref = "sec10",
  www_section = security,
  www_abstract_url = PDOSWWW # "/papers/webauth.html",
  www_ps_url = PDOSWWW # "/papers/webauth:sec10.ps",
  www_pdf_url = PDOSWWW # "/papers/webauth:sec10.pdf",
  www_ps_gz_url = PDOSWWW # "/papers/webauth:sec10.ps.gz",
  note = "An extended version is available as MIT-LCS-TR-818",
}

@techreport{webauth:tr,
  title = "{D}os and Don'ts of Client Authentication on the Web",
  author = "Kevin Fu and Emil Sit and Kendra Smith and Nick Feamster",
  institution = MIT-LCS,
  year = 2001, month = may,
  number = "MIT-LCS-TR-818",
  www_section = security,
  www_abstract_url = PDOSWWW # "/papers/webauth.html",
  www_ps_url = PDOSWWW # "/papers/webauth:tr.ps",
  www_pdf_url = PDOSWWW # "/papers/webauth:tr.pdf",
  www_ps_gz_url = PDOSWWW # "/papers/webauth:tr.ps.gz",
}

@inproceedings{sfsro:osdi2000,
  title = "{F}ast and secure distributed read-only file system",
  author = "Kevin Fu and M. Frans Kaashoek and David Mazi{\`e}res",
  crossref = "osdi4",
  pages = "181-196",
  www_section = security,
  www_abstract_url = PDOSWWW # "/papers/sfsro.html",
  www_ps_url = PDOSWWW # "/papers/sfsro:osdi2000.ps",
  www_pdf_url = PDOSWWW # "/papers/sfsro:osdi2000.pdf",
  www_ps_gz_url = PDOSWWW # "/papers/sfsro:osdi2000.ps.gz",
}

@inproceedings{sfs:sosp99,
  title = "{S}eparating key management from file system security",
  author = "David Mazi{\`e}res and Michael Kaminsky and M. Frans Kaashoek and Emmett Witchel",
  crossref = "sosp17",
  pages = "",
  www_section = security,
  www_ps_gz_url = PDOSWWW # "/papers/sfs:sosp99.ps.gz",
  www_pdf_url = PDOSWWW # "/papers/sfs:sosp99.pdf",
}

@inproceedings{nymserver:ccs5,
  title = "The design, implementation and operation of an email pseudonym server",
  author = "David Mazi{\`e}res and M. Frans Kaashoek",
  crossref = "ccs5",
  pages = "27--36",
  www_section = security,
  www_ps_gz_url = PDOSWWW # "/papers/nymserver:ccs5.ps.gz",
  www_pdf_url = PDOSWWW # "/papers/nymserver:ccs5.pdf",
}

@inproceedings{sfs:sigops-euro8,
  title = "Escaping the evils of centralized control with self-certifying pathnames",
  author = "David Mazi{\`e}res and M. Frans Kaashoek",
  crossref = "sigops-euro8",
  pages = "",
  www_section = security,
  www_ps_gz_url = PDOSWWW # "/papers/sfs:sigops-euro8.ps.gz"
}

@inproceedings{secure-apps:hotos6,
  title = "Secure applications need flexible operating systems",
  author = "David Mazi{\`e}res and M. Frans Kaashoek",
  pages = "56--61",
  crossref = "hotos6",
  www_section = security,
  www_ps_gz_url = PDOSWWW # "/papers/mazieres:hotos6.ps.gz",
}


%% MOBILE COMPUTING

@string{mobilecomp = "Mobile Computing"}

@inproceedings{migrate:hotos8,
  title = "Reconsidering Internet Mobility",
  author = "Alex C. Snoeren and Hari Balakrishnan and M. Frans Kaashoek",
  crossref = "hotos8",
  www_section = mobilecomp,
  www_abstract_url = "http://nms.lcs.mit.edu/papers/migrate-hotOS.html",
  www_ps_url = "http://nms.lcs.mit.edu/papers/migrate-hotOS.ps",
  www_pdf_url = "http://nms.lcs.mit.edu/papers/migrate-hotOS.pdf",
}

@misc{rover:rfs-wip,
  title = "{RFS}: a mobile-transparent file system for the {Rover} toolkit",
  author = "Anthony D. Joseph and George M. Candea and M. Frans Kaashoek",
  howpublished = "Works-in-progress poster, the 16th " # SOSP,
  crossref = "sosp16",
  www_section = mobilecomp,
  www_ps_url = PDOSWWW # "/papers/RFS_SOSP_WIP.ps",
  www_show = no,
}

@article{rover:winet,
  title = "Building reliable mobile-aware applications using the {Rover} toolkit",
  author = "Anthony D. Joseph and M. Frans Kaashoek",
  crossref = "journal:winet",
  volume = 3, number = 5,
  year = 1997,
  pages = "405--419",
  www_section = mobilecomp,
  www_ps_url = PDOSWWW # "/papers/winet.ps",
  www_ps_gz_url = PDOSWWW # "/papers/winet.ps.gz"
}

@article{rover:ieee-toc,
  title = "Mobile computing with the {Rover} toolkit",
  author = "Anthony D. Joseph and Joshua A. Tauber and M. Frans Kaashoek",
  crossref = "journal:ieee-toc",
  volume = 46, number = 3,
  year = 1997, month = mar,
  pages = "337--352",
  www_section = mobilecomp,
  www_ps_url = PDOSWWW # "/papers/toc.ps",
  www_ps_gz_url = PDOSWWW # "/papers/toc.ps.gz"
}

@inproceedings{rover:mobicom,
  title = "Building reliable mobile-aware applications using the {Rover} toolkit",
  author = "Anthony D. Joseph and Joshua A. Tauber and M. Frans Kaashoek",
  crossref = "mobicom96",
  www_section = mobilecomp,
  www_ps_url = PDOSWWW # "/papers/mobicom96.ps",
  www_ps_gz_url = PDOSWWW # "/papers/mobicom96.ps.gz",
}

@inproceedings{rover:sosp95,
  title = "{Rover}: a toolkit for mobile information access",
  author = "Anthony D. Joseph and {deLespinasse}, Alan F. and Joshua A. Tauber and David K. Gifford and M. Frans Kaashoek",
  crossref = "sosp15",
  pages = "156--171",
  www_section = mobilecomp,
  www_ps_url = PDOSWWW # "/papers/rover-sosp95.ps",
  www_ps_gz_url = PDOSWWW # "/papers/rover-sosp95.ps.gz",
}

@inproceedings{dynamic-documents:wmcsa,
  title = "Dynamic documents: mobile wireless access to the {WWW}",
  author = "M. Frans Kaashoek and Tom Pinckney and Joshua A. Tauber",
  crossref = "wmcsa94",
  pages = "179--184",
  www_section = mobilecomp,
  www_abstract_url = PDOSWWW # "/papers/wmcsa94.abstract.html",
  www_ps_url = PDOSWWW # "/papers/wmcsa94.ps",
  www_ps_gz_url = PDOSWWW # "/papers/wmcsa94.ps.gz",
}

@inproceedings{mobile-storage-alt:osdi1,
  title = "Storage alternatives for mobile computers",
  author = "Fred Douglis and Ramón Cáceres and M. Frans Kaashoek and Kai Li and Brian Marsh and Joshua A. Tauber",
  crossref = "osdi1",
  pages = "25--37",
  www_section = mobilecomp,
  www_ps_url = PDOSWWW # "/papers/storage-alternatives.ps"
}

@inproceedings{dynamic-documents:www94,
  title = "Dynamic documents: extensibility and adaptability in the {WWW}",
  author = "M. Frans Kaashoek and Tom Pinckney and Joshua A. Tauber",
  crossref = "www94",
  edition = "developers' day track",
  www_section = mobilecomp,
  www_ps_url = PDOSWWW # "/papers/www94.ps",
  www_ps_gz_url = PDOSWWW # "/papers/www94.ps.gz",
  www_html_url = PDOSWWW # "/papers/www94.html",
}


%% STORAGE MANAGEMENT

@string{storage = "Storage Management"}

@inproceedings{cffs:usenix97,
  title = "Embedded inodes and explicit grouping: exploiting disk bandwidth for small files",
  author = "Gregory R. Ganger and M. Frans Kaashoek",
  crossref = "usenix97",
  pages = "1--17",
  www_section = storage,
  www_abstract_url = PDOSWWW # "/papers/cffs.html",
  www_ps_url = PDOSWWW # "/papers/cffs-usenix97.ps",
  www_ps_gz_url = PDOSWWW # "/papers/cffs-usenix97.ps.gz",
}

@inproceedings{arus:dcs16,
  title = "Atomic recovery units: failure atomicity for logical disks",
  author = "Robert Grimm and Wilson C. Hsieh and Wiebren de Jonge and M. Frans Kaashoek",
  crossref = "dcs16",
  pages = "26--37",
  www_section = storage,
  www_ps_url = PDOSWWW # "/papers/arus.ps",
}

@inproceedings{logicaldisk:sosp14,
  title = "The logical disk: a new approach to improving file systems",
  author = "Wiebren de Jonge and M. Frans Kaashoek and Wilson C. Hsieh",
  crossref = "sosp14",
  pages = "15--28",
  www_section = storage,
  www_ps_url = PDOSWWW # "/papers/LogicalDisk.ps"
}


%% EXOKERNEL PAPERS

@string{exokernels = "Exokernels"}

@article{exo:tocs2002,
  title            = "{F}ast and flexible Application-Level Networking on Exokernel Systems",
  author           = "Gregory R. Ganger and Dawson R. Engler and M. Frans Kaashoek and Hector M. Briceno and Russell Hunt and Thomas Pinckney",
  crossref         = "journal:tocs",
  volume           = 20,
  number           = 1,
  year             = 2002,
  month            = feb,
  pages            = "49--83",
  www_section      = exokernels,
  www_abstract_url = PDOSWWW # "papers/exo:tocs.html",
  www_pdf_url      = PDOSWWW # "papers/exo:tocs.pdf",
  www_ps_url       = PDOSWWW # "papers/exo:tocs.ps",
  www_ps_gz_url    = PDOSWWW # "papers/exo:tocs.ps.gz"
}

@inproceedings{exo:sosp97,
  title = "Application performance and flexibility on exokernel systems",
  author = "M. Frans Kaashoek and Dawson R. Engler and Gregory R. Ganger and H{\'e}ctor M. Brice{\~n}o and Russell Hunt and David Mazi{\`e}res and Thomas Pinckney and Robert Grimm and John Jannotti and Kenneth Mackenzie",
  pages = "52--65",
  crossref = "sosp16",
  www_section = exokernels,
  www_abstract_url = PDOSWWW # "/papers/exo-sosp97.html",
  www_html_url = PDOSWWW # "/papers/exo-sosp97/exo-sosp97.html",
  www_ps_url = PDOSWWW # "/papers/exo-sosp97/exo-sosp97.ps",
  www_ps_gz_url = PDOSWWW # "/papers/exo-sosp97/exo-sosp97.ps.gz",
}

@inproceedings{exo:sosp95,
  title = "{E}xokernel: an operating system architecture for application-level resource management",
  author = "Dawson R. Engler and M. Frans Kaashoek and James {O'Toole Jr.}",
  pages = "251--266",
  crossref = "sosp15",
  www_section = exokernels,
  www_ps_url = PDOSWWW # "/papers/exokernel-sosp95.ps",
}

@inproceedings{exo:osdi1,
  title = "The exokernel approach to extensibility (panel statement)",
  author = "Dawson R. Engler and M. Frans Kaashoek and {O'Toole Jr.}, James W.",
  pages = "198",
  crossref = "osdi1",
  www_section = exokernels,
  www_ps_url = PDOSWWW # "/papers/exo-abstract.ps",
}

@inproceedings{exo:hotos5,
  title = "Exterminate all operating system abstractions",
  author = "Dawson R. Engler and M. Frans Kaashoek",
  pages = "78--83",
  crossref = "hotos5",
  www_section = exokernels,
  www_ps_url = PDOSWWW # "/papers/hotos-jeremiad.ps",
}

@article{exo:osr,
  title = "The operating system kernel as a secure programmable machine",
  author = "Dawson R. Engler and M. Frans Kaashoek and {O'Toole Jr.}, James W.",
  crossref = "journal:osr",
  year = 1995, month = jan,
  volume = 29, number = 1,
  pages = "78--82",
  www_section = exokernels,
  www_ps_url = PDOSWWW # "/papers/osr-exo.ps",
}

@inproceedings{exo:sigops-euro,
  title = "The operating system kernel as a secure programmable machine",
  author = "Dawson R. Engler and M. Frans Kaashoek and {O'Toole Jr.}, James W.",
  crossref = "sigops-euro6",
  pages = "62--67",
  www_section = exokernels,
  www_ps_url = PDOSWWW # "/papers/xsigops.ps",
}


%% DYNAMIC CODE GENERATION

@string{dcg = "Dynamic Code Generation"}

@article{tickc:toplas,
  title = "{`C} and {tcc}: A language and compiler for dynamic code generation",
  author = "Massimiliano Poletto and Wilson C. Hsieh and Dawson R. Engler and M. Frans Kaashoek",
  crossref = "journal:toplas",
  volume = 21, number = 2,
  year = 1999, month = mar,
  pages = "324--369",
  www_section = dcg,
  www_ps_url = PDOSWWW # "/papers/tickc-toplas.ps",
}

@article{linearscan,
  title = "Linear scan register allocation",
  author = "Massimiliano Poletto and Vivek Sarkar",
  crossref = "journal:toplas",
  volume = 21, number = 5,
  year = 1999, month = sep,
  pages = "895--913",
  www_section = dcg,
  www_ps_url = PDOSWWW # "/papers/toplas-linearscan.ps",
}

@inproceedings{tickc:pldi97,
  title = "tcc: a system for fast, flexible, and high-level dynamic code generation",
  author = "Massimiliano Poletto and Dawson R. Engler and M. Frans Kaashoek",
  crossref = "pldi97",
  pages = "109--121",
  www_section = dcg,
  www_ps_url = PDOSWWW # "/papers/tcc-pldi97.ps",
}

@inproceedings{tickc:popl96,
  title = "{`C}: A language for efficient, machine-independent dynamic code generation",
  author = "Dawson R. Engler and Wilson C. Hsieh and M. Frans Kaashoek",
  crossref = "popl96",
  pages = "131--144",
  www_section = dcg,
  www_ps_url = PDOSWWW # "/papers/popl96.ps",
  note = "An earlier version is available as MIT-LCS-TM-526",
}

@inproceedings{tickc:wcsss96,
  title = "tcc: a template-based compiler for {`C}",
  author = "Massimiliano Poletto and Dawson R. Engler and M. Frans Kaashoek",
  crossref = "wcsss96",
  pages = "1--7",
  www_section = dcg,
  www_ps_url = PDOSWWW # "/papers/tcc-wcsss96.ps"
}

@inproceedings{vcode:pldi96,
  title = "{VCODE}: a retargetable, extensible, very fast dynamic code generation system",
  author = "Dawson R. Engler",
  crossref = "pldi96",
  pages = "160--170",
  www_section = dcg,
  www_ps_url = PDOSWWW # "/papers/vcode-pldi96.ps",
}

@inproceedings{dcg:asplos6,
  title = "{DCG}: an efficient, retargetable dynamic code generation system",
  author = "Dawson R. Engler and Todd A. Proebsting",
  crossref = "asplos6",
  pages = "263--272",
  www_section = dcg,
  www_ps_url = PDOSWWW # "/papers/dcg.ps",
}


%% PROGRAMMING LANGUAGES

@string{proglang = "Programming Languages"}

@inproceedings{pct:usenix02,
  title            = "Simple and General Statistical Profiling with PCT",
  author           = "Charles Blake and Steve Bauer",
  crossref         = "usenix02",
  pages            = "333--346",
  www_section      = proglang,
  www_abstract_url = PDOSWWW # "/papers/pct:usenix02/",
  www_ps_url       = PDOSWWW # "/papers/pct:usenix02/blake02:pct.ps",
  www_ps_gz_url    = PDOSWWW # "/papers/pct:usenix02/blake02:pct.ps.gz",
  www_pdf_url      = PDOSWWW # "/papers/pct:usenix02/blake02:pct.pdf",
}

@inproceedings{evolving-software:wcsss99,
  title = "Evolving software with an application-specific language",
  author = "Eddie Kohler and Massimiliano Poletto and David R. Montgomery",
  crossref = "wcsss99",
  pages = "94--102",
  www_section = proglang,
  www_abstract_url = PDOSWWW # "/papers/evolving-software:wcsss99/",
  www_ps_url = PDOSWWW # "/papers/evolving-software:wcsss99/paper.ps",
  www_pdf_url = PDOSWWW # "/papers/evolving-software:wcsss99/paper.pdf",
}


%% STORAGE MANAGEMENT

@string{storage = "Storage Management"}

@inproceedings{cffs:usenix97,
  title = "Embedded inodes and explicit grouping: exploiting disk bandwidth for small files",
  author = "Gregory R. Ganger and M. Frans Kaashoek",
  crossref = "usenix97",
  pages = "1--17",
  www_section = storage,
  www_abstract_url = PDOSWWW # "/papers/cffs.html",
  www_ps_url = PDOSWWW # "/papers/cffs-usenix97.ps",
  www_ps_gz_url = PDOSWWW # "/papers/cffs-usenix97.ps.gz",
}

@inproceedings{arus:dcs16,
  title = "Atomic recovery units: failure atomicity for logical disks",
  author = "Robert Grimm and Wilson C. Hsieh and Wiebren de Jonge and M. Frans Kaashoek",
  crossref = "dcs16",
  pages = "26--37",
  www_section = storage,
  www_ps_url = PDOSWWW # "/papers/arus.ps",
}

@inproceedings{logicaldisk:sosp14,
  title = "The logical disk: a new approach to improving file systems",
  author = "Wiebren de Jonge and M. Frans Kaashoek and Wilson C. Hsieh",
  crossref = "sosp14",
  pages = "15--28",
  www_section = storage,
  www_ps_url = PDOSWWW # "/papers/LogicalDisk.ps"
}


%% VIRTUAL MEMORY

@string{vm = "Virtual Memory"}

@inproceedings{avm:hotos5,
  title = "{AVM}: application-level virtual memory",
  author = "Dawson R. Engler and Sandeep K. Gupta and M. Frans Kaashoek",
  crossref = "hotos5",
  pages = "72--77",
  www_section = vm,
  www_ps_url = PDOSWWW # "/papers/hotos-uvm.ps",
}

@inproceedings{software-tlb-prefetch:osdi1,
  title = "Software prefetching and caching for translation lookaside buffers",
  author = "Kavita Bala and M. Frans Kaashoek and William Weihl",
  crossref = "osdi1",
  pages = "243--253",
  www_section = vm,
  www_ps_url = PDOSWWW # "/papers/tlb.ps",
}




%% DISTRIBUTED SHARED MEMORY AND PARALLEL COMPUTING

@string{dsm/parallel = "Distributed Shared Memory and Parallel Computing"}

@inproceedings{dynamic-migration:supercomp96,
  title = "Dynamic computation migration in distributed
shared memory systems",
  author = "Wilson C. Hsieh and M. Frans Kaashoek and William E. Weihl",
  crossref = "supercomp96",
  www_section = dsm/parallel,
  www_ps_url = PDOSWWW # "/papers/mcrl.ps"
}

@inproceedings{crl:sosp95,
  title = "{CRL}: high-performance all-software distributed shared memory",
  author = "Kirk L. Johnson and M. Frans Kaashoek and Deborah A. Wallach",
  crossref = "sosp15",
  pages = "213--226",
  www_section = dsm/parallel,
  www_ps_url = PDOSWWW # "/papers/crl-sosp95.ps",
  note = "An earlier version of this work appeared as Technical Report MIT-LCS-TM-517, MIT Laboratory for Computer Science, March 1995",
}

@inproceedings{formal-sequential-consistent:dcs15,
  title = "Implementing sequentially consistent shared objects using broadcast and point-to-point communication",
  author = "Alan Fekete and M. Frans Kaashoek and Nancy Lynch",
  crossref = "dcs15",
  pages = "439--449",
  www_section = dsm/parallel,
  www_ps_url = PDOSWWW # "/papers/formal.ps"
}

@techreport{formal-sequential-consistent:tr,
  title = "Implementing sequentially consistent shared objects using broadcast and point-to-point communication",
  author = "Alan Fekete and M. Frans Kaashoek and Nancy Lynch",
  institution = MIT-LCS,
  year = 1995, month = jun,
  number = "MIT-LCS-TR-518",
  www_section = dsm/parallel,
  www_ps_url = PDOSWWW # "/papers/formaltr.ps"
}

%inproceedings{triangle-puzzle:dimacs94,
%   title = "A case study of shared-memory and
%message-passing implementations of parallel breadth-first search: The
%triangle puzzle",
%  author = "Kevin Lew and Kirk Johnson and M. Frans Kaashoek",
%  crossref = "dimacs94",
%  www_section = dsm/parallel,
%  www_ps_url = PDOSWWW # "/papers/dimacs94.ps"
%}


%% PHD THESES

@string{phdtheses = "Ph.D. Theses"}

@phdthesis{snoeren-phd,
  title = "A Session-Based Architecture for Internet Mobility",
  author = "Alex C. Snoeren",
  school = MIT,
  year = 2002, month = dec,
  www_section = phdtheses,
  www_ps_url = "http://nms.lcs.mit.edu/~snoeren/papers/thesis/thesis.ps",
  www_ps_gz_url = "http://nms.lcs.mit.edu/~snoeren/papers/thesis/thesis.ps.gz",
  www_pdf_url = "http://nms.lcs.mit.edu/~snoeren/papers/thesis/thesis.pdf",
}

@phdthesis{jannotti-phd,
  title = "Network Layer Support for Overlay Networks",
  author = "John Jannotti",
  school = MIT,
  year = 2002, month = aug,
  www_section = phdtheses,
  www_ps_url = PDOSWWW # "/papers/jannotti-phd.ps",
  www_ps_gz_url = PDOSWWW # "/papers/jannotti-phd.ps.gz",
  www_pdf_url = PDOSWWW # "/papers/jannotti-phd.pdf"
}

@phdthesis{click:kohler-phd,
  title = "The Click modular router",
  author = "Eddie Kohler",
  school = MIT,
  year = 2000, month = nov,
  www_section = phdtheses,
  www_ps_gz_url = PDOSWWW # "/papers/click:kohler-phd/thesis.ps.gz",
  www_pdf_url = PDOSWWW # "/papers/click:kohler-phd/thesis.pdf"
}

@phdthesis{sfs:mazieres-phd,
  title = "Self-certifying File System",
  author = "David Mazieres",
  school = MIT,
  year = 2000, month = may,
  www_section = phdtheses,
  www_ps_gz_url = PDOSWWW # "/papers/sfs:mazieres-phd.ps.gz"
}

@phdthesis{tickc:poletto-phd,
  title = "Language and compiler support for dynamic code generation",
  author = "Massimiliano Poletto",
  school = MIT,
  year = 1999, month = jun,
  www_section = phdtheses,
  www_ps_url = PDOSWWW # "/papers/tickc-poletto-phd.ps",
  www_ps_gz_url = PDOSWWW # "/papers/tickc-poletto-phd.ps.gz",
  www_pdf_url = PDOSWWW # "/papers/tickc-poletto-phd.pdf"
}

@phdthesis{exo:engler-phd,
  title = "The exokernel operating system architecture",
  author = "Dawson R. Engler",
  school = MIT,
  year = 1998, month = oct,
  www_section = phdtheses,
  www_ps_url = PDOSWWW # "/exo/theses/engler/thesis.ps",
  www_ps_gz_url = PDOSWWW # "/exo/theses/engler/thesis.ps.gz",
}

@phdthesis{fugu:mackenzie-phd,
  title = "An efficient virtual network interface in the {FUGU} scalable workstation",
  author = "Kenneth M. Mackenzie",
  school = MIT,
  year = 1998, month = feb,
  www_section = phdtheses,
  www_ps_gz_url = PDOSWWW # "/exo/theses/kenmac/thesis.ps.gz",
}

@phdthesis{app-specific-networking:wallach-phd,
  title = "High-performance application-specific networking",
  author = "Deborah Anne Wallach",
  school = MIT,
  year = 1997, month = jan,
  www_section = phdtheses,
  www_ps_url = PDOSWWW # "/exo/theses/kerr/thesis.ps",
  www_ps_gz_url = PDOSWWW # "/exo/theses/kerr/thesis.ps.gz",
}

@phdthesis{crl:johnson-phd,
  title = "High-performance all-software distributed shared memory",
  author = "Kirk L. Johnson",
  school = MIT,
  year = 1995, month = dec,
  www_section = phdtheses,
  www_ps_gz_url = PDOSWWW # "/papers/crl:johnson-phd.ps.gz",
  www_abstract_url = "http://www.cag.lcs.mit.edu/~tuna/papers/thesis.html",
}

@phdthesis{dyn-comp-migration:hsieh-phd,
  title = "Dynamic computation migration in distributed shared memory systems",
  author = "Wilson C. Hsieh",
  school = MIT,
  year = 1995, month = sep,
  www_section = phdtheses,
  www_pdf_url = PDOSWWW # "/papers/dyn-comp-migration:hsieh-phd.pdf",
  note = "Also available as MIT LCS tech report MIT-LCS-TR-665."
}


%% MASTERS THESES

@string{masterstheses = "Master's Theses"}

@mastersthesis{sfs:savvides-meng,
  title = "Access Control Lists for the Self-Certifying Filesystem",
  author = "George Savvides",
  school = MIT,
  year = 2002, month = Aug,
  www_section = masterstheses,
  www_pdf_url = PDOSWWW # "/papers/sfs:savvides-meng.pdf",
  www_ps_url = PDOSWWW # "/papers/sfs:savvides-meng.ps",
  www_ps_gz_url = PDOSWWW # "/papers/sfs:savvides-meng.ps.gz",
}

@mastersthesis{sfs:euresti-meng,
  title = "Self-Certifying Filesystem Implementation for Windows",
  author = "David Euresti",
  school = MIT,
  year = 2002, month = Aug,
  www_section = masterstheses,
  www_pdf_url = PDOSWWW # "/papers/sfs:euresti-meng.pdf",
  www_ps_url = PDOSWWW # "/papers/sfs:euresti-meng.ps",
  www_ps_gz_url = PDOSWWW # "/papers/sfs:euresti-meng.ps.gz",
}

@mastersthesis{sfs:zeldovich-meng,
  title = "Concurrency Control for Multi-Processor Event-Driven Systems",
  author = "Nickolai Zeldovich",
  school = MIT,
  year = 2002, month = May,
  www_section = masterstheses,
  www_pdf_url = PDOSWWW # "/papers/sfs:zeldovich-meng.pdf",
  www_ps_url = PDOSWWW # "/papers/sfs:zeldovich-meng.ps",
  www_ps_gz_url = PDOSWWW # "/papers/sfs:zeldovich-meng.ps.gz",
}

@mastersthesis{chord:om_p-meng,
  title = "A Keyword Set Search System for Peer-to-Peer Networks",
  author = "Omprakash D Gnawali",
  school = MIT,
  year = 2002, month = Jun,
  www_section = masterstheses,
  www_pdf_url = PDOSWWW # "/papers/chord:om_p-meng.pdf",
  www_ps_url = PDOSWWW # "/papers/chord:om_p-meng.ps",
  www_ps_gz_url = PDOSWWW # "/papers/chord:om_p-meng.ps.gz",
}

@mastersthesis{grid:bac-meng,
  title = "The Grid Roofnet: a Rooftop Ad Hoc Wireless Network",
  author = "Benjamin A. Chambers",
  school = MIT,
  year = 2002, month = May,
  www_section = masterstheses,
  www_pdf_url = PDOSWWW # "/papers/grid:bac-meng.pdf",
  www_ps_url = PDOSWWW # "/papers/grid:bac-meng.ps",
  www_ps_gz_url = PDOSWWW # "/papers/grid:bac-meng.ps.gz",
}

@mastersthesis{tarzan:freedman-meng,
  title = "A Peer-to-Peer Anonymizing Network Layer",
  author = "Michael J. Freedman",
  school = MIT,
  year = 2002, month = May,
  www_section = masterstheses,
  www_abstract_url = PDOSWWW # "/papers/tarzan:freedman-meng/index.html",
  www_pdf_url = PDOSWWW # "/papers/tarzan:freedman-meng/tarzan:freedman-meng.pdf",
  www_ps_url = PDOSWWW # "/papers/tarzan:freedman-meng/tarzan:freedman-meng.ps",
  www_ps_gz_url = PDOSWWW # "/papers/tarzan:freedman-meng/tarzan:freedman-meng.ps.gz",
}


@mastersthesis{chord:tburkard-meng,
  title = "Herodotus: A Peer-to-Peer Web Archival System",
  author = "Timo Burkard",
  school = MIT,
  year = 2002, month = May,
  www_section = masterstheses,
  www_pdf_url = PDOSWWW # "/papers/chord:tburkard-meng.pdf",
  www_ps_url = PDOSWWW # "/papers/chord:tburkard-meng.ps",
  www_ps_gz_url = PDOSWWW # "/papers/chord:tburkard-meng.ps.gz",
}

@mastersthesis{cfs:dabek-meng,
  title = "A Cooperative File System",
  author = "Frank Dabek",
  school = MIT,
  year = 2001, month = September,
  www_section = masterstheses,
  www_pdf_url = PDOSWWW # "/papers/chord:dabek_thesis/dabek.pdf",
  www_ps_url = PDOSWWW # "/papers/chord:dabek_thesis/dabek.ps",
  www_ps_gz_url = PDOSWWW # "/papers/chord:dabek_thesis/tyan-meng.ps.gz",
}

@mastersthesis{chord:tyan-meng,
  title = "A Case Study of Server Selection",
  author = "Tina Tyan",
  school = MIT,
  year = 2001, month = September,
  www_section = masterstheses,
  www_pdf_url = PDOSWWW # "/papers/chord:tyan-meng.pdf",
  www_ps_url = PDOSWWW # "/papers/chord:tyan-meng.ps",
  www_ps_gz_url = PDOSWWW # "/papers/chord:tyan-meng.ps.gz",
}

@mastersthesis{click:gil-ms,
  title = "MULTOPS: a data structure for denial-of-service attack detection",
  author = "Thomer M. Gil",
  school = "Vrije Universiteit",
  year = 2000, month = August,
  www_section = masterstheses,
  www_ps_gz_url = PDOSWWW # "/papers/click:gil-ms.ps.gz",
}

@mastersthesis{click:sit-ms,
  title = "A Study of Caching in the Internet Domain Name System",
  author = "Emil Sit",
  school = MIT,
  year = 2000, month = may,
  www_section = masterstheses,
  www_ps_gz_url = PDOSWWW # "/papers/click:sit-ms.ps.gz",
}


@mastersthesis{sfs:kaminsky-ms,
  title = "Flexible Key Management with SFS Agents",
  author = "Michael Kaminsky",
  school = MIT,
  year = 2000, month = may,
  www_section = masterstheses,
  www_ps_gz_url = PDOSWWW # "/papers/sfs:kaminsky-ms.ps.gz",
  www_pdf_url = PDOSWWW # "/papers/sfs:kaminsky-ms.pdf",
}

@mastersthesis{sfs:almeida-ms,
  title = "Framework for Implementing File Systems in Windows NT",
  author = "Danilo Almeida",
  school = MIT,
  year = 1998, month = may,
  www_section = masterstheses,
  www_ps_gz_url = PDOSWWW # "/papers/sfs:almeida-ms.ps.gz",
  www_pdf_url = PDOSWWW # "/papers/sfs:almeida-ms.pdf",
}

@mastersthesis{sfs:rimer-ms,
  title = "The Secure File System under Windows NT",
  author = "Matthew Rimer",
  school = MIT,
  year = 1999, month = June,
  www_section = masterstheses,
  www_ps_gz_url = PDOSWWW # "/papers/sfs:rimer-ms.ps.gz",
  www_pdf_url = PDOSWWW # "/papers/sfs:rimer-ms.pdf",
}

@mastersthesis{prolac:montgomery-meng,
  title = "A fast {Prolac} {TCP} for the real world",
  author = "Montgomery, Jr., David Rogers",
  school = MIT,
  year = 1999, month = may,
  www_section = masterstheses,
  www_ps_gz_url = PDOSWWW # "/papers/prolac:montgomery-meng.ps.gz",
}

@mastersthesis{exo:coffing-meng,
  title = "An x86 Protected Mode Virtual Machine Monitor for the MIT Exokernel",
  author = "Charles L. Coffing",
  school = MIT,
  year = 1999, month = May,
  www_section = masterstheses,
  www_ps_url = PDOSWWW # "/papers/exo:coffing-meng.ps",
  www_ps_gz_url = PDOSWWW # "/papers/exo:coffing-meng.ps.gz",
}

@mastersthesis{exo:chen-meng,
  title = "Multiprocessing with the Exokernel Operating System",
  author = "Benjie Chen",
  school = MIT,
  year = 2000, month = February,
  www_section = masterstheses,
  www_html_url = PDOSWWW # "/papers/exo:chen-meng.html",
  www_ps_url = PDOSWWW # "/papers/exo:chen-meng.ps",
  www_pdf_url = PDOSWWW # "/papers/exo:chen-meng.pdf",
  www_ps_gz_url = PDOSWWW # "/papers/exo:chen-meng.ps.gz",
}

@mastersthesis{exo:candea-meng,
  title = "Flexible and efficient sharing of protected abstractions",
  author = "George M. Candea",
  school = MIT,
  year = 1998, month = may,
  www_section = masterstheses,
  www_abstract_url = PDOSWWW # "/papers/candea-meng.html",
  www_ps_url = PDOSWWW # "/papers/ProtAbs.ps",
  www_ps_gz_url = PDOSWWW # "/papers/ProtAbs.ps.gz",
  www_pdf_url = PDOSWWW # "/papers/ProtAbs.pdf",
}

@mastersthesis{exo-os:jj-meng,
  title = "Applying Exokernel Principles to Conventional Operating Systems",
  author = "John Jannotti",
  school = MIT,
  year = 1998, month = feb,
  www_section = masterstheses,
  www_ps_url = PDOSWWW # "/papers/jj-meng-exo-feb98.ps",
  www_ps_gz_url = PDOSWWW # "/papers/jj-meng-exo-feb98.ps.gz",
  www_pdf_url = PDOSWWW # "/papers/jj-meng-exo-feb98.pdf",
}

@mastersthesis{pan:nygren-meng,
  title = "The design and implementation of a high-performance active network node",
  author = "Erik L. Nygren",
  school = MIT,
  year = 1998, month = feb,
  www_section = masterstheses,
  www_abstract_url = PDOSWWW # "/papers/nygren-mengthesis-pan-feb98.html",
  www_ps_url = PDOSWWW # "/papers/nygren-mengthesis-pan-feb98.ps",
  www_ps_gz_url = PDOSWWW # "/papers/nygren-mengthesis-pan-feb98.ps.gz",
  www_pdf_url = PDOSWWW # "/papers/nygren-mengthesis-pan-feb98.pdf",
}

@mastersthesis{exo:wyatt-meng,
  title = "Shared libraries in an exokernel operating system",
  author = "Douglas Karl Wyatt",
  school = MIT,
  year = 1997, month = sep,
  www_section = masterstheses,
  www_ps_url = PDOSWWW # "/exo/theses/dwyatt/thesis.ps",
  www_ps_gz_url = PDOSWWW # "/exo/theses/dwyatt/thesis.ps.gz",
}

@mastersthesis{prolac:kohler-ms,
  title = "Prolac: a language for protocol compilation",
  author = "Eddie Kohler",
  school = MIT,
  year = 1997, month = sep,
  www_section = masterstheses,
  www_ps_gz_url = PDOSWWW # "/papers/prolac:kohler-ms.ps.gz",
  www_pdf_url = PDOSWWW # "/papers/prolac:kohler-ms.pdf",
}

@mastersthesis{sfs:mazieres-ms,
  title = "Security and decentralized control in the {SFS} global file system",
  author = "David Mazi{\`e}res",
  school = MIT,
  year = 1997, month = aug,
  www_section = masterstheses,
  www_ps_gz_url = PDOSWWW # "/papers/sfs:mazieres-ms.ps.gz"
}

@mastersthesis{exo:pinckney-meng,
  title = "Operating system extensibility through event capture",
  author = "Thomas {Pinckney III}",
  school = MIT,
  year = 1997, month = feb,
  www_section = masterstheses,
  www_ps_url = PDOSWWW # "/exo/theses/pinckney/thesis.ps",
  www_ps_gz_url = PDOSWWW # "/exo/theses/pinckney/thesis.ps.gz",
}

@mastersthesis{exo:briceno-meng,
  title = "Decentralizing {UNIX} abstractions in the exokernel architecture",
  author = "H{\'e}ctor Manuel {Brice{\~n}o Pulido}",
  school = MIT,
  year = 1997, month = feb,
  www_section = masterstheses,
  www_ps_url = PDOSWWW # "/exo/theses/hbriceno/thesis.ps",
  www_ps_gz_url = PDOSWWW # "/exo/theses/hbriceno/thesis.ps.gz",
}

@mastersthesis{rover:nntp,
  title = "The {Rover} {NNTP} proxy",
  author = "Constantine Cristakos",
  school = MIT,
  year = 1996, month = jun,
  type = "Advanced Undergraduate Project",
  www_section = masterstheses,
  www_ps_url = PDOSWWW # "/papers/DeanAUP.ps",
  www_ps_gz_url = PDOSWWW # "/papers/DeanAUP.ps.gz",
}

@mastersthesis{exo:grimm-ms,
  title = "Exodisk: maximizing application control over storage management",
  author = "Robert Grimm",
  school = MIT,
  year = 1996, month = may,
  www_section = masterstheses,
  www_ps_url = PDOSWWW # "/exo/theses/rgrimm/thesis.ps",
  www_ps_gz_url = PDOSWWW # "/exo/theses/rgrimm/thesis.ps.gz",
}

@mastersthesis{rover:tauber-ms,
  title = "Issues in building mobile-aware applications with the {Rover} toolkit",
  author = "Joshua A. Tauber",
  school = MIT,
  year = 1996, month = may,
  www_section = masterstheses,
  www_ps_url = PDOSWWW # "/papers/JoshThesis.ps",
  www_ps_gz_url = PDOSWWW # "/papers/JoshThesis.ps.gz",
}

@mastersthesis{rover-mosaic:delespinasse-thesis,
  title = "{Rover} {Mosaic}: e-mail communication for a full-function {Web} browser",
  author = "Alan F. {deLespinasse}",
  school = MIT,
  year = 1995, month = jun,
  www_section = masterstheses,
  www_ps_url = PDOSWWW # "/papers/RoverMosaicThesis.ps",
  www_ps_gz_url = PDOSWWW # "/papers/RoverMosaicThesis.ps.gz",
}

@mastersthesis{r2over-mosaic:delespinasse-thesis,
  title = {{Rover} {Mosaic}: e-mail communication for a full-function {Web} browser},
  author = "Alan F. {deLespinasse}",
  school = MIT,
  year = 1995, month = jun,
  www_section = masterstheses,
  www_ps_url = PDOSWWW # "/papers/RoverMosaicThesis.ps",
  www_ps_gz_url = PDOSWWW # "/papers/RoverMosaicThesis.ps.gz",
}


%% PROCEEDINGS

@proceedings{asplos6,
  booktitle = "Proceedings of the 6th International Conference on Architectural Support for Programming Languages and Operating Systems ({ASPLOS-VI})",
  year = 1994, month = oct,
  address = "San Jose, California"
}

@proceedings{ccs5,
  booktitle = "Proceedings of the 5th {ACM} Conference on Computer and Communications Security ({CCS-5})",
  year = 1998, month = nov,
  address = "San Francisco, California",
  bookurl = "http://www.bell-labs.com/user/reiter/ccs5/"
}

@proceedings{ccs9,
  booktitle = "Proceedings of the 9th {ACM} Conference on Computer and Communications Security ({CCS-9})",
  year = 2002, month = nov,
  address = "Washington, D.C.",
  bookurl = "http://www.acm.org/sigs/sigsac/ccs/"
}

@proceedings{dcs16,
  booktitle = "Proceedings of the 16th International Conference on Distributed Computing Systems",
  organization = IEEECompSoc,
  year = 1996, month = may,
  address = "Hong Kong",
}

@proceedings{dcs15,
  booktitle = "Proceedings of the 15th International Conference on Distributed Computing Systems",
  organization = IEEECompSoc,
  year = 1995, month = jun,
  address = "Vancouver, British Columbia",
}

@proceedings{hotnets1,
  booktitle = "Proceedings of the First {W}orkshop on {H}ot {T}opics in {N}etworks ({HotNets-I})",
  year = 2002, month = oct,
  organization = "{ACM SIGCOMM}",
  address = "Princeton, New Jersey",
  bookurl = "http://www.cs.washington.edu/hotnets/",
}

@proceedings{hotos8,
  booktitle = "Proceedings of the 8th {W}orkshop on {H}ot {T}opics in {O}perating {S}ystems ({HotOS-VIII})",
  year = 2001, month = may,
  organization = IEEECompSoc,
  address = "Schloss Elmau, Germany",
  bookurl = "http://i30www.ira.uka.de/conferences/HotOS/",
}

@proceedings{hotos6,
  booktitle = "Proceedings of the 6th {W}orkshop on {H}ot {T}opics in {O}perating {S}ystems ({HotOS-VI})",
  year = 1997, month = may,
  organization = IEEECompSoc,
  address = "Chatham, Cape Cod, Massachusetts",
  bookurl = "http://www.eecs.harvard.edu/hotos",
}

@proceedings{hotos5,
  booktitle = "Proceedings of the 5th {W}orkshop on {H}ot {T}opics in {O}perating {S}ystems ({HotOS-V})",
  year = 1995, month = may,
  organization = IEEECompSoc,
  address = "Orcas Island, Washington",
  bookurl = "http://www.research.microsoft.com/research/os/HotOs/",
}

@proceedings{mobicom96,
  booktitle = "Proceedings of the 2nd {ACM} International Conference on Mobile Computing and Networking ({MobiCom} '96)",
  year = 1996, month = nov,
  address = "Rye, New York",
  bookurl = "http://www.acm.org/sigmobile/conf/mobicom96/",
}

@proceedings{usenix02,
  booktitle = "Proceedings of the 2002 USENIX Annual Technical Conference (USENIX '02)",
  year = 2002, month = jun,
  address = "Monterey, California",
  bookurl = "http://www.usenix.org/events/usenix02/",
}

@proceedings{usenix01,
  booktitle = "Proceedings of the 2001 USENIX Annual Technical Conference (USENIX '01)",
  year = 2001, month = jun,
  address = "Boston, Massachusetts",
  bookurl = "http://www.usenix.org/events/usenix01/",
}

@proceedings{mobicom01,
  booktitle = "Proceedings of the 7th {ACM} International Conference on Mobile Computing and Networking",
  year = 2001, month = jul,
  address = "Rome, Italy",
  bookurl = "http://www.research.ibm.com/acm_sigmobile_conf_2001/"
}

@proceedings{mobicom00,
  booktitle = "Proceedings of the 6th {ACM} International Conference on Mobile Computing and Networking ({MobiCom} '00)",
  year = 2000, month = aug,
  address = "Boston, Massachusetts",
  bookurl = "http://www.argreenhouse.com/mobicom2000/",
}

@proceedings{openarch99,
  booktitle = "Proceedings of the 2nd {IEEE} Conference on Open Architectures and Network Programming ({OpenArch} '99)",
  year = 1999, month = mar,
  address = "New York, New York",
  bookurl = "http://www.ctr.columbia.edu/comet/activities/openarch99/",
}

@proceedings{osdi5,
  booktitle = "Proceedings of the 5th {USENIX} {S}ymposium on {O}perating {S}ystems {D}esign and {I}mplementation ({OSDI} '02)",
  year = 2002, month = dec,
  address = "Boston, Massachusetts",
}

@proceedings{osdi1,
  booktitle = "Proceedings of the 1st {USENIX} {S}ymposium on {O}perating {S}ystems {D}esign and {I}mplementation ({OSDI} '94)",
  year = 1994, month = nov,
  address = "Monterey, California",
  bookurl = "http://www2.cs.utah.edu/~lepreau/osdi94/",
}

@proceedings{osdi4,
  booktitle = "Proceedings of the 4th {USENIX} {S}ymposium on {O}perating {S}ystems {D}esign and {I}mplementation ({OSDI} 2000)",
  year = 2000, month = oct,
  address = "San Diego, California",
  bookurl = "http://www.usenix.org/events/osdi2000/",
}

@proceedings{pldi97,
  booktitle = "Proceedings of the {ACM} {SIGPLAN} '97 Conference on Programming Design and Implementation ({PLDI} '97)",
  year = 1997, month = jun,
  address = "Las Vegas, Nevada",
  bookurl = "http://cs-www.bu.edu/pub/pldi97/",
}

@proceedings{pldi96,
  booktitle = "Proceedings of the {ACM} {SIGPLAN} '96 Conference on Programming Design and Implementation ({PLDI} '96)",
  year = 1996, month = may,
  address = "Philadelphia, Pennsylvania",
}

@proceedings{popl96,
  booktitle = "Proceedings of the 23rd {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages ({POPL} '96)",
  year = 1996, month = jan,
  address = "St. Petersburg Beach, Florida",
  bookurl = "ftp://parcftp.xerox.com/pub/popl96/popl96.html"
}

@proceedings{ppopp95,
  booktitle = "Proceedings of the 5th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming ({PPoPP} '95)",
  year = 1995, month = jul,
  address = "Santa Barbara, California",
  bookurl = "http://www.cs.ucsb.edu/Conferences/PPOPP95/",
}

@proceedings{sigcomm99,
  booktitle = "Proceedings of the {ACM} {SIGCOMM} '99 Conference: Applications, Technologies, Architectures, and Protocols for Computer Communication",
  year = 1999, month = aug,
  address = "Cambridge, Massachusetts",
  bookurl = "http://www.acm.org/sigcomm/sigcomm99/",
}

@proceedings{sigcomm96,
  booktitle = "Proceedings of the {ACM} {SIGCOMM} '96 Conference: Applications, Technologies, Architectures, and Protocols for Computer Communication",
  year = 1996, month = aug,
  address = "Stanford, California",
  bookurl = "http://www.acm.org/sigcomm/sigcomm96/",
}

@proceedings{sigcommimw01,
  booktitle = "Proceedings of the {ACM} {SIGCOMM} Internet Measurement Workshop '01",
  year = 2001, month = nov,
  address = "San Francisco, California",
  bookurl = "http://www.acm.org/sigcomm/measworkshop2001.html"
}

@proceedings{sigcomm01,
  booktitle = "Proceedings of the {ACM} {SIGCOMM} '01 Conference",
  year = 2001, month = aug,
  address = "San Diego, California",
  bookurl = "http://www.acm.org/sigcomm/sigcomm2001/",
}

@proceedings{iptps02,
  booktitle = "Proceedings of the 1st International Workshop on Peer-to-Peer Systems (IPTPS)",
  year = 2002, month = mar,
  address = "Cambridge, MA",
  bookurl = "http://www.cs.rice.edu/Conferences/IPTPS02/"
}

@proceedings{sigops-euro9,
  booktitle = "Proceedings of the 9th {ACM} {SIGOPS} {E}uropean workshop: Beyond the {PC}: New Challenges for the Operating System",
  year = 2000, month = sep,
  address = "Kolding, Denmark",
  bookurl = "http://www.diku.dk/ew2000/",
}

@proceedings{sigops-euro8,
  booktitle = "Proceedings of the 8th {ACM} {SIGOPS} {E}uropean workshop: Support for composing distributed applications",
  year = 1998, month = sep,
  address = "Sintra, Portugal",
  bookurl = "http://www.dsg.cs.tcd.ie/~vjcahill/sigops98/",
}

@proceedings{sigops-euro7,
  booktitle = "Proceedings of the 7th {ACM} {SIGOPS} {E}uropean workshop: Systems support for worldwide applications",
  year = 1996, month = sep,
  address = "Connemara, Ireland",
  bookurl = "http://mosquitonet.stanford.edu/sigops96/",
}

@proceedings{sigops-euro6,
  booktitle = "Proceedings of the 6th {ACM} {SIGOPS} {E}uropean workshop: Matching operating systems to application needs",
  year = 1994, month = sep,
  address = "Dagstuhl Castle, Wadern, Germany",
}

@proceedings{sosp18,
  booktitle = "Proceedings of the 18th " # SOSP # " ({SOSP} '01)",
  year = 2001, month = oct,
  address = "Chateau Lake Louise, Banff, Canada",
  bookurl = "http://www.cs.ucsd.edu/sosp01/",
}

@proceedings{sosp17,
  booktitle = "Proceedings of the 17th " # SOSP # " ({SOSP} '99)",
  year = 1999, month = dec,
  address = "Kiawah Island, South Carolina",
  bookurl = "http://www.diku.dk/sosp99/",
}

@proceedings{sosp16,
  booktitle = "Proceedings of the 16th " # SOSP # " ({SOSP} '97)",
  year = 1997, month = oct,
  address = "Saint-Mal{\^o}, France",
  bookurl = "http://www.cs.washington.edu/sosp16",
}

@proceedings{sosp15,
  booktitle = "Proceedings of the 15th " # SOSP # " ({SOSP} '95)",
  year = 1995, month = dec,
  address = "Copper Mountain Resort, Colorado",
}

@proceedings{sosp14,
  booktitle = "Proceedings of the 14th " # SOSP # " ({SOSP} '93)",
  year = 1993, month = dec,
  address = "Asheville, North Carolina",
}

@proceedings{supercomp96,
  booktitle = "Supercomputing '96 Conference Proceedings: The international conference on high performance computing and communications",
  organization = ACMabbr,
  year = 1996, month = nov,
  address = "Pittsburgh, Pennsylvania",
  bookurl = "http://www.supercomp.org/sc96/",
}

@proceedings{usenix97,
  booktitle = "Proceedings of the {USENIX} 1997 Annual Technical Conference",
  year = 1997, month = jan,
  address = "Anaheim, California",
  bookurl = "http://www.usenix.org/ana97/",
}

@proceedings{wcsss96,
  booktitle = "Workshop Record of {WCSSS} '96: The Inaugural Workshop on Compiler Support for Systems Software",
  organization = "{ACM} {SIGPLAN}",
  year = 1996, month = feb,
  address = "Tuscon, Arizona",
  bookurl = "http://www.cs.arizona.edu/wcsss96/"
}

@proceedings{wcsss99,
  booktitle = "Workshop Record of {WCSSS} '99: The 2nd {ACM} {SIGPLAN} Workshop on Compiler Support for Systems Software",
  year = 1999, month = may,
  address = "Atlanta, Georgia",
  bookurl = "http://www.irisa.fr/compose/wcsss99/"
}

@proceedings{wmcsa94,
  booktitle = "Proceedings of the Workshop on Mobile Computing Systems and Applications ({WMCSA} '94)",
  organization = IEEECompSoc,
  year = 1994, month = dec,
  address = "Santa Cruz, California",
}

@proceedings{wwos4,
  booktitle = "Proceedings of the 4th Workshop on Workstation Operating Systems",
  organization = IEEECompSoc,
  year = 1993, month = oct,
  address = "Napa, California"
}

@proceedings{www94,
  booktitle = "Proceedings of the 2nd International {WWW} Conference: Mosaic and the Web",
  year = 1994, month = oct,
  address = "Chicago, Illinois",
  bookurl = "http://www.ncsa.uiuc.edu/SDG/IT94/IT94Info-old.html",
}

@proceedings{sec10,
  booktitle = "Proceedings of the 10th {USENIX} {S}ecurity {S}ymposium",
  year = 2001, month = aug,
  address = "Washington, D.C.",
  bookurl = "http://www.usenix.org/events/sec01/",
}


%% JOURNALS

@journal{journal:ieee-toc,
  journal = IEEEabbr # " Transactions on Computers",
}

@journal{journal:osr,
  journal = "Operating Systems Review",
  organization = ACM,
}

@journal{journal:toplas,
  journal = ACMabbr # " Transactions on Programming Languages and Systems",
}

@journal{journal:tocs,
  journal = ACMabbr # " Transactions on Computer Systems",
}

@journal{journal:winet,
  journal = ACMabbr # " Wireless Networks",
}