Publications by Timothy Roscoe

@inproceedings{abc,
	abstract = {It is time to reconsider memory protection. The emergence of large non-volatile main memories, scalable interconnects, and rack-scale computers running large numbers of small "micro services" creates significant challenges for memory protection based solely on MMU mechanisms. Central to this is a tension between protection and translation: optimizing for translation performance often comes with a cost in protection flexibility.

We argue that a key-based memory protection scheme, complementary to but separate from regular page-level translation, is a better match for this new world. We present MaKC, a new architecture which combines two levels of capability-based protection to scale fine-grained memory protection at both user and kernel level to large numbers of protection domains without compromising efficiency at scale or ease of revocation.},
	author = {Reto Achermann and Chris Dalton and Paolo Faraboschi and Moritz Hoffmann and Dejan S. Milojicic and Geoffrey Ndu and Alexander Richardson and Timothy Roscoe and Adrian L. Shaw and Robert N. M. Watson},
	booktitle = {Proceedings of the 16th Workshop on Hot Topics in Operating Systems},
	title = {Separating Translation from Protection in Address Spaces with Dynamic Remapping},
	venue = {Whistler, BC, Canada},
	year = {2017}
}

@article{abc,
	author = {Reto Achermann and Lukas Humbel and David Cock and Timothy Roscoe},
	journal = {Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2017, Uppsala, Sweden},
	title = {Formalizing Memory Accesses and Interrupts.},
	url = {http://dx.doi.org/10.4204/EPTCS.244.4},
	year = {2017}
}

@inproceedings{abc,
	author = {Zaheer Chothia and John Liagouris and Desislava Dimitrova and Timothy Roscoe},
	booktitle = {Proceedings of the Twelfth European Conference on Computer Systems, EuroSys 2017, Belgrade, Serbia},
	title = {Online Reconstruction of Structural Information from Datacenter Logs.},
	url = {http://doi.acm.org/10.1145/3064176.3064195},
	year = {2017}
}

@inproceedings{abc,
	author = {Stefan Kaestle and Reto Achermann and Roni Haecki and Moritz Hoffmann and Sabela Ramos and Timothy Roscoe},
	booktitle = {12th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2016, Savannah, GA, USA},
	title = {Machine-Aware Atomic Broadcast Trees for Multicores.},
	url = {https://www.usenix.org/conference/osdi16/technical-sessions/presentation/kaestle},
	year = {2016}
}

@inproceedings{abc,
	author = {Gerd Zellweger and Denny Lin and Timothy Roscoe},
	booktitle = {Proceedings of the 7th ACM SIGOPS Asia-Pacific Workshop on Systems, APSys {\textquoteright}16, Hong Kong, China},
	title = {So many performance events, so little time.},
	url = {http://doi.acm.org/10.1145/2967360.2967375},
	year = {2016}
}

@inproceedings{abc,
	author = {Jana Giceva and Gerd Zellweger and Gustavo Alonso and Timothy Roscoe},
	booktitle = {Proceedings of the 12th International Workshop on Data Management on New Hardware, DaMoN 2016, San Francisco, CA, USA},
	title = {Customized OS support for data-processing.},
	url = {http://doi.acm.org/10.1145/2933349.2933351},
	year = {2016}
}

@inproceedings{abc,
	author = {Izzat El Hajj and Alex Merritt and Gerd Zellweger and Dejan S. Milojicic and Reto Achermann and Paolo Faraboschi and Wen-Mei W. Hwu and Timothy Roscoe and Karsten Schwan},
	booktitle = {Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS {\textquoteright}16, Atlanta, GA, USA},
	title = {SpaceJMP: Programming with Multiple Virtual Address Spaces.},
	url = {http://doi.acm.org/10.1145/2872362.2872366},
	year = {2016}
}

@inproceedings{abc,
	author = {Dejan S. Milojicic and Timothy Roscoe},
	booktitle = {IEEE Computer},
	title = {Outlook on Operating Systems.},
	url = {http://dx.doi.org/10.1109/MC.2016.19},
	year = {2016}
}

@inproceedings{abc,
	author = {Simon Peter and Jialin Li and Irene Zhang and Dan R. K. Ports and Doug Woos and Arvind Krishnamurthy and Thomas E. Anderson and Timothy Roscoe},
	booktitle = {ACM Trans. Comput. Syst.},
	title = {Arrakis: The Operating System Is the Control Plane.},
	url = {http://doi.acm.org/10.1145/2812806},
	year = {2016}
}

@inproceedings{abc,
	author = {Zaheer Chothia and John Liagouris and Frank McSherry and Timothy Roscoe},
	booktitle = {PVLDB},
	title = {Explaining Outputs in Modern Data Analytics.},
	url = {http://www.vldb.org/pvldb/vol9/p1137-chothia.pdf},
	year = {2016}
}

@inproceedings{abc,
	author = {Stefan Kaestle and Reto Achermann and Timothy Roscoe and Timothy L. Harris},
	booktitle = {2015 USENIX Annual Technical Conference, USENIX ATC {\textquoteright}15},
	title = {Shoal: Smart Allocation and Replication of Memory For Parallel Programs.},
	url = {https://www.usenix.org/conference/atc15/technical-session/presentation/kaestle},
	venue = {Santa Clara, CA, USA},
	year = {2015}
}

@inproceedings{abc,
	author = {Torsten Hoefler and Robert B. Ross and Timothy Roscoe},
	booktitle = {15th Workshop on Hot Topics in Operating Systems, HotOS XV, Kartause Ittingen, Switzerland},
	title = {Distributing the Data Plane for Remote Storage Access.},
	url = {https://www.usenix.org/conference/hotos15/workshop-program/presentation/hoefler},
	year = {2015}
}

@inproceedings{abc,
	author = {Simon Gerber and Gerd Zellweger and Reto Achermann and Kornilios Kourtis and Timothy Roscoe and Dejan S. Milojicic},
	booktitle = {15th Workshop on Hot Topics in Operating Systems, HotOS XV, Kartause Ittingen, Switzerland},
	title = {Not Your Parents{\textquoteright} Physical Address Space.},
	url = {https://www.usenix.org/conference/hotos15/workshop-program/presentation/gerber},
	year = {2015}
}

@inproceedings{abc,
	author = {Jana Giceva and Gustavo Alonso and Timothy Roscoe and Timothy L. Harris},
	booktitle = {PVLDB},
	title = {Deployment of Query Plans on Multicores.},
	url = {http://www.vldb.org/pvldb/vol8/p233-giceva.pdf},
	year = {2014}
}

@inproceedings{abc,
	author = {Andrew Baumann and Chris Hawblitzel and Kornilios Kourtis and Timothy L. Harris and Timothy Roscoe},
	booktitle = {2014 Conference on Timely Results in Operating Systems, TRIOS {\textquoteright}14, Broomfield, CO, USA},
	title = {Cosh: Clear OS Data Sharing In An Incoherent World.},
	url = {https://www.usenix.org/conference/trios14/technical-sessions/presentation/baumann},
	year = {2014}
}

@inproceedings{abc,
	author = {Gerd Zellweger and Simon Gerber and Kornilios Kourtis and Timothy Roscoe},
	booktitle = {11th USENIX Symposium on Operating Systems Design and Implementation, OSDI {\textquoteright}14, Broomfield, CO, USA},
	title = {Decoupling Cores, Kernels, and Operating Systems.},
	url = {https://www.usenix.org/conference/osdi14/technical-sessions/presentation/zellweger},
	year = {2014}
}

@inproceedings{abc,
	author = {Simon Peter and Jialin Li and Irene Zhang and Dan R. K. Ports and Doug Woos and Arvind Krishnamurthy and Thomas E. Anderson and Timothy Roscoe},
	booktitle = {11th USENIX Symposium on Operating Systems Design and Implementation, OSDI {\textquoteright}14, Broomfield, CO, USA},
	title = {Arrakis: The Operating System is the Control Plane.},
	url = {https://www.usenix.org/conference/osdi14/technical-sessions/presentation/peter},
	year = {2014}
}

@inproceedings{abc,
	author = {Zaheer Chothia and Qin Yin and Timothy Roscoe},
	booktitle = {Asia-Pacific Workshop on Systems, APSys{\textquoteright}14, Beijing, China},
	title = {Grok the data center.},
	url = {http://doi.acm.org/10.1145/2637166.2637234},
	year = {2014}
}

@inproceedings{abc,
	author = {Pravin Shinde and Antoine Kaufmann and Kornilios Kourtis and Timothy Roscoe},
	booktitle = {Proceedings of the Seventh Workshop on Programming Languages and Operating Systems, PLOS 2013, Farmington, Pennsylvania, USA},
	title = {Modeling NICs with Unicorn.},
	url = {http://doi.acm.org/10.1145/2525528.2525532},
	year = {2013}
}

@inproceedings{abc,
	author = {Ercan Ucan and Timothy Roscoe},
	booktitle = {Networked Systems - First International Conference, NETYS 2013, Marrakech, Morocco},
	title = {Establishing Efficient Routes between Personal Clouds.},
	url = {http://dx.doi.org/10.1007/978-3-642-40148-0_6},
	venue = {Revised Selected Papers},
	year = {2013}
}

@inproceedings{abc,
	author = {Pravin Shinde and Antoine Kaufmann and Timothy Roscoe and Stefan Kaestle},
	booktitle = {14th Workshop on Hot Topics in Operating Systems, HotOS XIV, Santa Ana Pueblo, New Mexico, USA},
	title = {We Need to Talk About NICs.},
	url = {https://www.usenix.org/conference/hotos13/session/shinde},
	year = {2013}
}

@inproceedings{abc,
	author = {Tudor-Ioan Salomie and Gustavo Alonso and Timothy Roscoe and Kevin Elphinstone},
	booktitle = {Eighth Eurosys Conference 2013, EuroSys {\textquoteright}13, Prague, Czech Republic},
	title = {Application level ballooning for efficient server consolidation.},
	url = {http://doi.acm.org/10.1145/2465351.2465384},
	year = {2013}
}

@inproceedings{abc,
	author = {Jana Giceva and Tudor-Ioan Salomie and Adrian Sch{\"u}pbach and Gustavo Alonso and Timothy Roscoe},
	booktitle = {CIDR 2013, Sixth Biennial Conference on Innovative Data Systems Research, Asilomar, CA, USA},
	title = {COD: Database / Operating System Co-Design.},
	url = {http://www.cidrdb.org/cidr2013/Papers/CIDR13_Paper71.pdf},
	year = {2013}
}

@inproceedings{abc,
	author = {Qin Yin and Timothy Roscoe},
	booktitle = {Asia-Pacific Workshop on Systems, APSys {\textquoteright}12, Seoul, Republic of Korea},
	title = {Towards realistic benchmarks for virtual infrastructure resource allocators.},
	url = {http://doi.acm.org/10.1145/2349896.2349901},
	year = {2012}
}

@techreport{abc,
	author = {Simon Peter and Rebecca Isaacs and Paul Barham and Richard Black and Timothy Roscoe},
	title = {Efficient data-parallel computing on small heterogeneous clusters},
	year = {2012}
}

@inproceedings{abc,
	author = {Qin Yin and Timothy Roscoe},
	booktitle = {Proceedings of the 8th International ICST Conference on Testbeds and Research Infrastructures for the Development of Networks and Communities (TridentCom 2012), Thessaloniki, Greece},
	title = {VF2x: Fast, efficient virtual network mapping for real testbed workloads},
	year = {2012}
}

@inproceedings{abc,
	author = {Jana Giceva and Adrian Sch{\"u}pbach and Gustavo Alonso and Timothy Roscoe},
	booktitle = {Proceedings of the 2nd workshop on Systems for Future Multi-core Architectures (SFMA{\textquoteright}12), Bern, Switzerland},
	title = {Towards Database / Operating System Co-Design},
	year = {2012}
}

@inproceedings{abc,
	author = {Gerd Zellweger and Adrian Sch{\"u}pbach and Timothy Roscoe},
	booktitle = {Proceedings of the 3rd Asia-Pacific Workshop on Systems (APSys {\textquoteright}12), Seoul, South Korea},
	title = {Unifying Synchronization and Events in a Multicore OS},
	year = {2012}
}

@article{abc,
	author = {Adrian Sch{\"u}pbach and Andrew Baumann and Timothy Roscoe and Simon Peter},
	journal = {ACM Trans. Comput. Syst.},
	title = {A Declarative Language Approach to Device Configuration.},
	url = {http://doi.acm.org/10.1145/2110356.2110361},
	year = {2012}
}

@inproceedings{abc,
	author = {Ercan Ucan and Timothy Roscoe},
	booktitle = {19th International Workshop on Quality of Service, IWQoS 2011, San Jose, California, USA},
	title = {Dexferizer: A service for data transfer optimization.},
	url = {http://dx.doi.org/10.1109/IWQOS.2011.5931343},
	venue = {Proceedings of the19th International Workshop on Quality of Service, IWQoS 2011, San Jose, California, USA, 6-7 June 2011. },
	year = {2011}
}

@inproceedings{abc,
	author = {Adrian Sch{\"u}pbach and Andrew Baumann and Timothy Roscoe and Simon Peter},
	booktitle = {Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2011, Newport Beach, CA, USA},
	title = {A declarative language approach to device configuration.},
	url = {http://doi.acm.org/10.1145/1950365.1950382},
	venue = {Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2011, Newport Beach, CA, USA, March 5-11, 2011.},
	year = {2011}
}

@inproceedings{abc,
	abstract = {Resource allocation is an increasing challenge for distributed network
testbeds as computational and network resources are involved.
Testbed designers have moved to a query-based model: clients provide
a declarative description of their desired resources, and the
provider allocate specific resources to meet the request. In this paper,
we describe an new approach to negotiate testbed resources
between clients and testbed providers: the clients specify their requests
as constraints, and the providers reply with resource allocations
expressed also as declarative set of constraints on resources.
This gives providers more flexibility in late-binding of resources
to requests, and opens up a wide design space to optimize resource
allocation for efficiency, cost, utilization, or other metrics. Our simple
first experiments suggest that the late-binding of resources enabled
by representing resource reservation as constraints achieves
better network resource utilization compared to the fixed assignment
solution.},
	author = {Qin Yin and Timothy Roscoe},
	booktitle = {APSys {\textquoteright}11 Asia Pacific Workshop on Systems, Shanghai, China},
	title = {A better way to negotiate for testbed resources},
	url = {http://doi.acm.org/10.1145/2103799.2103822},
	year = {2011}
}

@inproceedings{abc,
	author = {Gustavo Alonso and Donald Kossmann and Timothy Roscoe},
	booktitle = {Proceedings of the 5 th Biennial Conference on Innovative Data Systems Research (CIDR 2011), Asilomar, CA, USA, Jan. 9-12, 2011 },
	title = {SwissBox: An Architecture for Data Processing Appliances},
	year = {2011}
}

@inproceedings{abc,
	abstract = {Current multicore OS benchmarks do not provide
workloads that sufficiently reflect real-world use: they
typically run a single application, whereas real workloads
consist of multiple concurrent programs. In this
paper we show that this lack of mixed workloads leads
to benchmarks that do not fully exercise the OS and
are therefore inadequate at predicting real-world behavior.
This implies that effective multicore OS benchmarks
must include mixed workloads, but the main design challenge
is choosing an appropriate mix. We present a principled
approach which treats benchmark design as an optimization
problem. Our solution leads to a workload
mix that uses as much of a system\&$\#$146;s resources as possible,
while also selecting applications whose performance
is most sensitive to the availability of those resources.},
	author = {Ihor Kuz and Zachary R. Anderson and Pravin Shinde and Timothy Roscoe},
	booktitle = {Proceedings of the 13th Workshop on Hot Topics in Operating Systems (HotOS 2011), Napa, CA, USA},
	title = {Multicore OS benchmarks: we can do better},
	year = {2011}
}

@inproceedings{abc,
	abstract = {The goal of a computer system is to run an application
workload securely, reliably, efficiently, and fast. A computer\&$\#$146;s
hardware architecture and operating system exist
to support this goal, and it would be nice if they cooperated
as effectively as possible. Yet there is a growing gap
between architectural research and OS research, which
seems to be the result of poor communication about what
actually matters.
In this paper, we discuss this gap and what to do about
it. We illustrate the opportunities for closing the gap using
examples from some recent OS research.},
	author = {Jeffrey C. Mogul and Andrew Baumann and Timothy Roscoe and Livio Soares},
	booktitle = {Proceedings of the 13th Workshop on Hot Topics in Operating Systems (HotOS 2011), Napa, CA, USA},
	title = {Mind the Gap: Reconnecting Architecture and OS Research},
	year = {2011}
}

@inproceedings{abc,
	author = {Oriana Riva and Qin Yin and Dejan Juric and Ercan Ucan and Timothy Roscoe},
	booktitle = {Proceedings of the 2nd ACM Symposium on Cloud Computing (SOCC 2011), Cascais, Portugal, Oct., 26-28, 2011.},
	title = {Policy expressivity in the Anzere personal cloud},
	year = {2011}
}

@techreport{abc,
	author = {Simon Peter and Andrew Baumann and Zachary R. Anderson and Timothy Roscoe},
	title = {Gang scheduling isn\&$\#$146;t worth it. . . yet},
	year = {2011}
}

@inproceedings{abc,
	author = {Simon Peter and Adrian Sch{\"u}pbach and Paul Barham and Andrew Baumann and Timothy Roscoe},
	booktitle = {Proceedings of the 2nd Workshop on Hot Topics in Parallelism, Berkeley, CA, USA},
	title = {Design principles for end-to-end multicore schedulers},
	year = {2010}
}

@inproceedings{abc,
	author = {Andrew Baumann and Paul Barham and Pierre-{\'E}variste Dagand and Timothy L. Harris and Rebecca Isaacs and Simon Peter and Timothy Roscoe and Adrian Sch{\"u}pbach and Akhilesh Singhania},
	booktitle = {Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, SOSP 2009, Big Sky, Montana, USA},
	title = {The multikernel: a new OS architecture for scalable multicore systems.},
	url = {http://doi.acm.org/10.1145/1629575.1629579},
	venue = {Proceedings of the 22nd ACM symposium on Operating systems principles, Big Sky, MO, USA, ACM Press, October 2009.},
	year = {2009}
}

@inproceedings{abc,
	author = {Qin Yin and Adrian Sch{\"u}pbach and Justin Cappos and Andrew Baumann and Timothy Roscoe},
	booktitle = {Middleware 2009, ACM/IFIP/USENIX, 10th International Middleware Conference, Urbana, IL, USA},
	title = {Rhizoma: A Runtime for Self-deploying, Self-managing Overlays.},
	url = {http://dx.doi.org/10.1007/978-3-642-10445-9_10},
	venue = {Proceedings of ACM Middleware 2009, ACM Press, Urbana-Champaign, IL, USA, October 2009.},
	year = {2009}
}

@article{abc,
	author = {Boon Thau Loo and Tyson Condie and Minos N. Garofalakis and David E. Gay and Joseph M. Hellerstein and Petros Maniatis and Raghu Ramakrishnan and Timothy Roscoe and Ion Stoica},
	journal = {Commun. ACM},
	title = {Declarative networking.},
	url = {http://doi.acm.org/10.1145/1592761.1592785},
	year = {2009}
}

@article{abc,
	author = {Pierre-{\'E}variste Dagand and Andrew Baumann and Timothy Roscoe},
	journal = {Operating Systems Review},
	title = {Filet-o-fish: practical and dependable domain-specific languages for OS development.},
	url = {http://doi.acm.org/10.1145/1713254.1713263},
	year = {2009}
}

@inproceedings{abc,
	author = {Andrew Baumann and Simon Peter and Adrian Sch{\"u}pbach and Akhilesh Singhania and Timothy Roscoe and Paul Barham and Rebecca Isaacs},
	booktitle = {Proceedings of the 12th Workshop on Hot Topics in Operating Systems (HotOS-XII), Monte Verita, Switzerland},
	title = {Your computer is already a distributed system. Why isn{\textquoteright}t your OS?},
	year = {2009}
}

@article{abc,
	author = {Bhuvan Urgaonkar and Prashant J. Shenoy and Timothy Roscoe},
	journal = {ACM Trans. Internet Techn.},
	title = {Resource overbooking and application profiling in a shared Internet hosting platform.},
	url = {http://doi.acm.org/10.1145/1462159.1462160},
	year = {2009}
}

@inproceedings{abc,
	author = {Atul Singh and Tathagata Das and Petros Maniatis and Peter Druschel and Timothy Roscoe},
	booktitle = {5th USENIX Symposium on Networked Systems Design  Implementation, NSDI 2008},
	title = {BFT Protocols Under Fire.},
	url = {http://www.usenix.org/events/nsdi08/tech/full_papers/singh/singh.pdf},
	venue = {Proceedings of the 4th Symposium on Networked Systems Design and Implementation (NSDI{\textquoteright}08), San Francisco, CA, USA, April 2008.},
	year = {2008}
}

@inproceedings{abc,
	author = {Angela Nicoara and Gustavo Alonso and Timothy Roscoe},
	booktitle = {Proceedings of the 2008 EuroSys Conference, Glasgow, Scotland, UK},
	title = {Controlled, systematic, and efficient code replacement for running java programs.},
	url = {http://doi.acm.org/10.1145/1352592.1352617},
	venue = {Proceedings of the 2008 EuroSys Conference, Glasgow, Scotland, UK, April 1-4, 2008},
	year = {2008}
}

@inproceedings{abc,
	author = {Simon Peter and Andrew Baumann and Timothy Roscoe and Paul Barham and Rebecca Isaacs},
	booktitle = {Proceedings of the 2008 EuroSys Conference, Glasgow, Scotland, UK},
	title = {30 seconds is not enough!: a study of operating system timer usage.},
	url = {http://doi.acm.org/10.1145/1352592.1352614},
	venue = {Proceedings of the 3rd European Systems Conference (Eurosys), Glasgow, Scotland, April 2008.},
	year = {2008}
}

@inproceedings{abc,
	author = {Qin Yin and Justin Cappos and Andrew Baumann and Timothy Roscoe},
	booktitle = {Proceedings of the Fourth Workshop on Hot Topics in System Dependability, HotDep 2008, San Diego, CA, USA},
	title = {Dependable Self-Hosting Distributed Systems Using Constraints.},
	url = {http://www.usenix.org/events/hotdep08/tech/full_papers/yin/yin.pdf},
	venue = {Proceedings of the 4th Usenix Workshop on Hot Topics in System Dependability (HotDep), San Diego, CA, USA, December 2008.},
	year = {2008}
}

@inproceedings{abc,
	author = {Gustavo Alonso and Donald Kossmann and Timothy Roscoe and Nesime Tatbul and Andrew Baumann and Carsten Binnig and Peter M. Fischer and Oriana Riva and Jens Teubner},
	booktitle = {SIGMOD Record},
	title = {The ETH Zurich systems group and enterprise computing center.},
	url = {http://doi.acm.org/10.1145/1519103.1519120},
	venue = {USASIGMOD Record, vol. 37, no. 4, December 2008, pp. 94--99.},
	year = {2008}
}

@inproceedings{abc,
	author = {Adrian Sch{\"u}pbach and Simon Peter and Andrew Baumann and Timothy Roscoe and Paul Barham and Tim Harris and Rebecca Isaacs},
	booktitle = {Proceedings of the Workshop on Managed Many-Core Systems (MMCS), Boston, MA, USA},
	title = {Embracing diversity in the Barrelfish manycore operating system},
	year = {2008}
}

@article{abc,
	author = {Timothy Roscoe},
	journal = {Royal Society Publishing, London, UKPhilosophical Transactions of the Royal Society A, Vol. 366, No. 1881},
	title = {Network architecture test-beds as platforms for ubiquitous computing},
	year = {2008}
}

@inproceedings{abc,
	author = {Timothy Roscoe},
	booktitle = {Proceedings of the 3rd Workshop on Future Directions in Distributed Computing (FuDiCo III), Bertinoro, Italy},
	title = {Languages not Formats: Tackling Network Heterogeneity Head-on},
	year = {2007}
}

@inproceedings{abc,
	author = {Timothy Roscoe and Kevin Elphinstone and Gernot Heiser},
	booktitle = {Proceedings of the 11th Workshop on Hot Topics in Operating Systems (HotOS-XI), San Diego, CA, USA},
	title = {Hype and Virtue},
	year = {2007}
}

@inproceedings{abc,
	author = {Kevin Elphinstone and Gerwin Klein and Philip Derrin and Timothy Roscoe and Gernot Heiser},
	booktitle = {Proceedings of the 11th Workshop on Hot Topics in Operating Systems (HotOS-XI), San Diego, CA, USA},
	title = {Towards a practical, verified kernel},
	year = {2007}
}

@inproceedings{abc,
	author = {Joseph M. Hellerstein and Tyson Condie and Minos N. Garofalakis and Boon Thau Loo and Petros Maniatis and Timothy Roscoe and Nina Taft},
	booktitle = {CIDR 2007, Third Biennial Conference on Innovative Data Systems Research, Asilomar, CA, USA},
	title = {Public Health for the Internet (PHI).},
	url = {http://www.cidrdb.org/cidr2007/papers/cidr07p38.pdf},
	venue = {Proceedings of the 3rd Biennial Conference on Innovative Data Systems Research (CIDR), Asilomar, CA, USA, January 2007.},
	year = {2007}
}

@inproceedings{abc,
	author = {Jan S. Rellermeyer and Gustavo Alonso and Timothy Roscoe},
	booktitle = {Middleware 2007, ACM/IFIP/USENIX 8th International Middleware Conference, Newport Beach, CA, USA},
	title = {R-OSGi: Distributed Applications Through Software Modularization.},
	url = {http://dx.doi.org/10.1007/978-3-540-76778-7_1},
	venue = {Proceedings of the ACM/IFIP/USENIX 8th International Middleware Conference (Middleware 2007), Newport Beach, CA, November 2007.},
	year = {2007}
}

@inproceedings{abc,
	author = {Dennis Geels and Gautam Altekar and Petros Maniatis and Timothy Roscoe and Ion Stoica},
	booktitle = {4th Symposium on Networked Systems Design and Implementation (NSDI 2007)},
	title = {Friday: Global Comprehension for Distributed Replay.},
	url = {http://www.usenix.org/events/nsdi07/tech/geels.html},
	venue = {Proceedings of the 4th Symposium on Networked Systems Design and Implementation (NSDI{\textquoteright}07), Boston, MA, USA, April 2007.},
	year = {2007}
}

@misc{abc,
	author = {Jan S. Rellermeyer and Gustavo Alonso and Timothy Roscoe},
	title = {Ready for distribution?: turning modular into distributed applications with the R-OSGi deployment tool.},
	url = {http://doi.acm.org/10.1145/1297846.1297928},
	venue = {Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications, OOPSLA  2007, October 21-25, 2007, Montreal, Quebec, Canada 2007},
	year = {2007}
}

@inproceedings{abc,
	author = {Jan S. Rellermeyer and Gustavo Alonso and Timothy Roscoe},
	booktitle = {Proceedings of the 2007 OOPSLA workshop on Eclipse Technology eXchange, ETX 2007, Montreal, Quebec, Canada},
	title = {Building, deploying, and monitoring distributed applications with Eclipse and R-OSGI.},
	url = {http://doi.acm.org/10.1145/1328279.1328290},
	venue = {Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications, OOPSLA  2007, October 21-25, 2007, Montreal, Quebec, Canada 2007},
	year = {2007}
}

@inproceedings{abc,
	author = {Boon Thau Loo and Tyson Condie and Minos N. Garofalakis and David E. Gay and Joseph M. Hellerstein and Petros Maniatis and Raghu Ramakrishnan and Timothy Roscoe and Ion Stoica},
	booktitle = {Proceedings of the ACM SIGMOD International Conference on Management of Data, Chicago, Illinois, USA},
	title = {Declarative networking: language, execution and optimization.},
	url = {http://doi.acm.org/10.1145/1142473.1142485},
	venue = {Proceedings of the 2006 ACM SIGMOD International Conference on Management of Data, Chicago, IL, USA, ACM Press, June 2006, pp. 97--108.},
	year = {2006}
}

@inproceedings{abc,
	author = {Atul Singh and Petros Maniatis and Timothy Roscoe and Peter Druschel},
	booktitle = {Proceedings of the 2006 EuroSys Conference, Leuven, Belgium},
	title = {Using queries for distributed monitoring and forensics.},
	url = {http://doi.acm.org/10.1145/1217935.1217973},
	venue = {Proceedings of the 1st European Systems Conference (Eurosys), Leuven, Belgium, March 2006.},
	year = {2006}
}

@article{abc,
	author = {Larry L. Peterson and Timothy Roscoe},
	journal = {Operating Systems Review},
	title = {The design principles of PlanetLab.},
	url = {http://doi.acm.org/10.1145/1113361.1113367},
	year = {2006}
}

@inproceedings{abc,
	author = {Tom Anderson and Timothy Roscoe},
	booktitle = {Proceedings of the 3rd Workshop on Real, Large, Distributed Systems (WORLDS)},
	title = {Learning from PlanetLab},
	year = {2006}
}

@inproceedings{abc,
	author = {Timothy Roscoe},
	booktitle = {Proceedings of the 5th Workshop on Hot Topics in Networking (HotNets-V), Irvine, CA, USA},
	title = {The End of Internet Architecture},
	year = {2006}
}

@inproceedings{abc,
	author = {Ryan Huebsch and Brent N. Chun and Joseph M. Hellerstein and Boon Thau Loo and Petros Maniatis and Timothy Roscoe and Scott Shenker and Ion Stoica and Aydan R. Yumerefendi},
	booktitle = {CIDR},
	title = {The Architecture of PIER: an Internet-Scale Query Processor.},
	url = {http://www.cidrdb.org/cidr2005/papers/P03.pdf},
	venue = {Proceedings of the 2nd biennial Conference on Innovative Data Systems Research (CIDR), Asilomar, CA, USA, January 2005.},
	year = {2005}
}

@inproceedings{abc,
	author = {Boon Thau Loo and Tyson Condie and Joseph M. Hellerstein and Petros Maniatis and Timothy Roscoe and Ion Stoica},
	booktitle = {Proceedings of the 20th ACM Symposium on Operating Systems Principles 2005, SOSP 2005, Brighton, UK},
	title = {Implementing declarative overlays.},
	url = {http://doi.acm.org/10.1145/1095810.1095818},
	venue = {Proceedings of the twentieth ACM symposium on Operating systems principles, Brighton, United Kingdom, ACM Press, October 2005, pp. 75--90.},
	year = {2005}
}

@article{abc,
	author = {David D. Clark and Craig Partridge and Robert Braden and Bruce S. Davie and Sally Floyd and Van Jacobson and Dina Katabi and Greg Minshall and K. K. Ramakrishnan and Timothy Roscoe and Ion Stoica and John Wroclawski and Lixia Zhang},
	journal = {Computer Communication Review},
	title = {Making the world (of communications) a different place.},
	url = {http://doi.acm.org/10.1145/1070873.1070887},
	year = {2005}
}

@article{abc,
	author = {Joseph M. Hellerstein and Vern Paxson and Larry L. Peterson and Timothy Roscoe and Scott Shenker and David Wetherall},
	journal = {IEEE Data Eng. Bull.},
	title = {The Network Oracle.},
	url = {ftp://ftp.research.microsoft.com/pub/debull/A05mar/hellerstein.ps},
	year = {2005}
}

@inproceedings{abc,
	author = {Hitesh Ballani and Yatin Chawathe and Sylvia Ratnasamy and Timothy Roscoe and Scott Shenker},
	booktitle = {Proceedings of the 4th Workshop on Hot Topics in Networks (HotNets-I), College Park, MD, USA},
	title = {Off by Default!},
	year = {2005}
}

@inproceedings{abc,
	author = {Tyson Condie and Joseph Hellerstein and Petros Maniatis and Sean Rhea and Timothy Roscoe},
	booktitle = {Proceedings of the 20th ACM Symposium on Operating Systems Principles, Brighton, United Kingdom, ACM Press},
	title = {A need for componentized transport protocols},
	venue = {pp. 1--2.},
	year = {2005}
}

@inproceedings{abc,
	author = {Timothy Roscoe},
	booktitle = {Proceedings of the NSF Workshop on Grand Challenges in Distributed Systems, Cambridge, MA, USA},
	title = {Comprehend the Planet},
	year = {2005}
}

@inproceedings{abc,
	author = {Tyson Condie and Joseph M. Hellerstein and Petros Maniatis and Sean Rhea and Timothy Roscoe},
	booktitle = {Proceedings of the Fourth Workshop on Hot Topics in Networking (HotNets-II), College Park, MD, USA, Nov. 2005.},
	title = {Finally, a Use for Componentized Transport Protocols},
	year = {2005}
}

@inproceedings{abc,
	author = {Thomas E. Anderson and Timothy Roscoe and David Wetherall},
	booktitle = {Computer Communication Review},
	title = {Preventing Internet denial-of-service with capabilities.},
	url = {http://doi.acm.org/10.1145/972374.972382},
	venue = {Proceedings of the 2nd Workshop on Hot Topics in Networks (HotNets-II), Cambridge, MA, USA, November 2003.},
	year = {2004}
}

@inproceedings{abc,
	author = {Mike Wawrzoniak and Larry L. Peterson and Timothy Roscoe},
	booktitle = {Computer Communication Review},
	title = {Sophia: an Information Plane for networked systems.},
	url = {http://doi.acm.org/10.1145/972374.972378},
	venue = {Proceedings of the 2nd Workshop on Hot Topics in Networks (HotNets-II), Cambridge, MA, USA, November 2003.},
	year = {2004}
}

@inproceedings{abc,
	author = {Brent N. Chun and Joseph Hellerstein and Ryan Huebsch and Petros Maniatis and Timothy Roscoe},
	booktitle = {Proceedings of the 1st Workshop on Real Large Distributed Systems (WORLDS), San Francisco, CA, USA},
	title = {Design Considerations for Information Planes},
	year = {2004}
}

@inproceedings{abc,
	author = {Andy C. Bavier and Mic Bowman and Brent N. Chun and David E. Culler and Scott Karlin and Steve Muir and Larry L. Peterson and Timothy Roscoe and Tammo Spalink and Mike Wawrzoniak},
	booktitle = {1st Symposium on Networked Systems Design and Implementation (NSDI 2004)},
	title = {Operating Systems Support for Planetary-Scale Network Services.},
	url = {http://www.usenix.org/events/nsdi04/tech/bavier.html},
	venue = {Proceedings of the 1st Symposium on Networked Systems Design and Implementation (NSDI{\textquoteright}04), San Francisco, CA, USA, March 2004.},
	year = {2004}
}

@misc{abc,
	author = {Brent N. Chun and Joseph M. Hellerstein and Ryan Huebsch and Shawn R. Jeffery and Boon Thau Loo and Sam Mardanbeigi and Timothy Roscoe and Sean Rhea and Scott Shenker and Ion Stoica},
	title = {Querying at Internet-Scale.},
	url = {http://doi.acm.org/10.1145/1007568.1007705},
	venue = {Proceedings of the 2004 ACM SIGMOD International Conference on Management of Data, June 2004. },
	year = {2004}
}

@inproceedings{abc,
	author = {Sean Rhea and Dennis Geels and Timothy Roscoe and John Kubiatowicz},
	booktitle = {Proceedings of the General Track: 2004 USENIX Annual Technical Conference},
	title = {Handling Churn in a DHT },
	url = {http://www.usenix.org/publications/library/proceedings/usenix04/tech/general/rhea.html},
	venue = {Boston Marriott Copley Place, Boston, MA, USA},
	year = {2004}
}

@inproceedings{abc,
	author = {Steven Hand and Timothy Roscoe},
	booktitle = {Future Directions in Distributed Computing, Research and Position Papers},
	title = {Spread Spectrum Storage with Mnemosyne.},
	url = {http://link.springer.de/link/service/series/0558/bibs/2584/25840148.htm},
	venue = {Proceedings of the International Workshop on Future Directions in Distributed Computing (FuDiCo{\textquoteright}02), Bertinoro (Forli), Italy, June 2002.},
	year = {2003}
}

@inproceedings{abc,
	author = {Timothy Roscoe and Steven Hand},
	booktitle = {Proceedings of HotOS{\textquoteright}03: 9th Workshop on Hot Topics in Operating Systems},
	title = {Palimpsest: Soft-Capacity Storage for Planetary-Scale Services.},
	venue = {Proceedings of HotOS{\textquoteright}03: 9th Workshop on Hot Topics in Operating Systems, May 18-21, 2003, Lihue (Kauai), Hawaii, USA 2003.},
	year = {2003}
}

@inproceedings{abc,
	author = {Sean Rhea and Timothy Roscoe and John Kubiatowicz},
	booktitle = {Peer-to-Peer Systems II, Second International Workshop, IPTPS 2003, Berkeley, CA, USA},
	title = {Structured Peer-to-Peer Overlays Need Application-Driven Benchmarks.},
	venue = {Proceedings of the 2nd International Peer-to-Peer Systems Workshop (IPTPS{\textquoteright}03), Berkeley, CA, USA, February 2003.},
	year = {2003}
}

@inproceedings{abc,
	author = {Brent N. Chun and David E. Culler and Timothy Roscoe and Andy C. Bavier and Larry L. Peterson and Mike Wawrzoniak and Mic Bowman},
	booktitle = {Computer Communication Review},
	title = {PlanetLab: an overlay testbed for broad-coverage services.},
	url = {http://doi.acm.org/10.1145/956993.956995},
	venue = {ACM Computer Communication Review, vol. 33, no. 3, July 2003, pp. 3-12.},
	year = {2003}
}

@inproceedings{abc,
	author = {Jon Crowcroft and Steven Hand and Richard Mortier and Timothy Roscoe and Andrew Warfield},
	booktitle = {Computer Communication Review},
	title = {Plutarch: an argument for network pluralism.},
	url = {http://doi.acm.org/10.1145/944759.944763},
	venue = {Proceedings of SIGCOMM Workshop on Future Directions in Network Architecture (FDNA{\textquoteright}03), August 2003, pp. 258--266.},
	year = {2003}
}

@inproceedings{abc,
	author = {Jon Crowcroft and Steve Hand and Richard Mortier and Timothy Roscoe and Andrew Warfield},
	booktitle = {Proceedings of SIGCOMM Workshop on Revisiting IP QoS (RIPQOS{\textquoteright}03)},
	title = {QoS{\textquoteright}s Downfall: At the bottom or not at all},
	year = {2003}
}

@techreport{abc,
	author = {Boon Thau Loo and Ryan Huebsch and Joseph M. Hellerstein and Timothy Roscoe and Ion Stoica},
	title = {Analysing P2P Overlays with Recursive Queries},
	year = {2003}
}

@techreport{abc,
	author = {Paul Barham and Steven Hand and Rebecca Isaacs and Paul W. Jardetzky and Richard Mortier and Timothy Roscoe},
	title = {Techniques for lightweight concealement and authentication in IP networks},
	year = {2002}
}

@inproceedings{abc,
	author = {Steven Hand and Timothy Roscoe},
	booktitle = {Peer-to-Peer Systems, First International Workshop, IPTPS 2002, Cambridge, MA, USA},
	title = {Mnemosyne: Peer-to-Peer Steganographic Storage.},
	url = {http://link.springer.de/link/service/series/0558/bibs/2429/24290130.htm},
	venue = {Proceedings of the 1st International Workshop on Peer-to-Peer Systems (IPTPS {\textquoteright}02), Boston, MA, USA, March 2002.},
	year = {2002}
}

@inproceedings{abc,
	author = {Timothy Roscoe and Steven Hand},
	booktitle = {Web Engineering and Peer-to-Peer Computing, NETWORKING 2002 Workshops, Pisa, Italy},
	title = {Transaction-Based Charging in Mnemosyne: A Peer-to-Peer Steganographic Storage System.},
	url = {http://link.springer.de/link/service/series/0558/bibs/2376/23760335.htm},
	venue = {Proceedings of the International Workshop on Peer-to-Peer Computing at Networking, Pisa, Italy, May 2002.},
	year = {2002}
}

@inproceedings{abc,
	author = {Bhuvan Urgaonkar and Prashant J. Shenoy and Timothy Roscoe},
	booktitle = {OSDI},
	title = {Resource Overbooking and Application Profiling in Shared Hosting Platforms.},
	url = {http://www.usenix.org/events/osdi02/tech/urgaonkar.html},
	venue = {Proceedings of the 5th Symposium on Operating Systems Design and Implementation (OSDI{\textquoteright}02), Boston, MA, USA, December 2002, pp. 239--254.},
	year = {2002}
}

@inproceedings{abc,
	author = {Bhaskaran Raman and Sharad Agarwal and Yan Chen and Matthew Caesar and Weidong Cui and Per Johansson and Kevin Lai and Tal Lavian and Sridhar Machiraju and Zhuoqing Morley Mao and George Porter and Timothy Roscoe and Mukund Seshadri and Jimmy S. Shih and Keith Sklower and Lakshminarayanan Subramanian and Takashi Suzuki and Shelley Zhuang and Anthony D. Joseph and Randy H. Katz and Ion Stoica},
	booktitle = {Pervasive Computing, First International Conference, Pervasive 2002, Z{\"u}rich, Switzerland},
	title = {The SAHARA Model for Service Composition across Multiple Providers.},
	url = {http://link.springer.de/link/service/series/0558/bibs/2414/24140001.htm},
	venue = {Proceedings of the 1st International Conference on Pervasive Computing (Pervasive 2002), Springer, Zurich, Switzerland, August 2002.},
	year = {2002}
}

@inproceedings{abc,
	author = {Timothy Roscoe and Richard Mortier and Paul W. Jardetzky and Steven Hand},
	booktitle = {Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France},
	title = {InfoSpect: using a logic language for system health monitoring in distributed systems.},
	url = {http://doi.acm.org/10.1145/1133373.1133379},
	venue = {Proceedings of the 2002 ACM SIGOPS European Workshop, Saint-Emilion, France, September 2002.},
	year = {2002}
}

@inproceedings{abc,
	author = {Larry L. Peterson and Thomas E. Anderson and David E. Culler and Timothy Roscoe},
	booktitle = {Computer Communication Review},
	title = {A blueprint for introducing disruptive technology into the Internet.},
	url = {http://doi.acm.org/10.1145/774763.774772},
	venue = {Proceedings of the 1st Workshop on Hot Topics in Networks (HotNets-I), Princeton, New Jersey, USA, October 2002. },
	year = {2002}
}

@inproceedings{abc,
	author = {Timothy Roscoe and Steven Hand and Rebecca Isaacs and Richard Mortier and Paul W. Jardetzky},
	booktitle = {Computer Communication Review},
	title = {Predicate routing: enabling controlled networking.},
	url = {http://doi.acm.org/10.1145/774763.774773},
	venue = {Proceedings of the 1st Workshop on Hot Topics in Networks (HotNets-I), Princeton, New Jersey, USA, October 2002.},
	year = {2002}
}

@inproceedings{abc,
	author = {Timothy Roscoe and Prashant J. Shenoy},
	booktitle = {Interactive Distributed Multimedia Systems, 8th International Workshop,IDMS 2001, Lancaster, UK},
	title = {New Resource Control Issues in Shared Clusters.},
	url = {http://link.springer.de/link/service/series/0558/bibs/2158/21580002.htm},
	venue = {Proceedings of the 8th International Workshop on Interactive Distributed Multimedia Systems (IDMS 2001), Lancaster, UK, September 2001.},
	year = {2001}
}

@inproceedings{abc,
	author = {Sue Moon and Timothy Roscoe},
	booktitle = {Workshop on Network-Related Data Management, Santa Barbara, CA, USA},
	title = {Metadata Management of Terabyte Datasets from an IP Backbone Network: Experience and Challenges},
	year = {2001}
}

@inproceedings{abc,
	author = {Timothy Roscoe and Gene Bowen},
	booktitle = {Proceedings of SPIE/ACM Multimedia Computing and Networking, San Jose, CA, USA},
	title = {Script-driven packet marking for QoS support in legacy applications},
	year = {2000}
}

@inproceedings{abc,
	author = {Timothy Roscoe and Bryan Lyles},
	booktitle = {Proceedings of the ACM SIGOPS European Workshop, Kolding, Denmark},
	title = {Distributing processing without DPEs: design considerations for public computing platforms.},
	url = {http://doi.acm.org/10.1145/566726.566773},
	venue = {Proceedings of the 9th ACM SIGOPS European Workshop, Kolding, Denmark, September 17-20 2000.},
	year = {2000}
}

@article{abc,
	author = {Timothy Roscoe},
	journal = {Media, Culture and Society, vol.21, no. 5},
	title = {The Construction of the World Wide Web Audience},
	year = {2000}
}

@inproceedings{abc,
	author = {Jeff Brandenburg and Boyce Byerly and Tom Dobridge and Jinkun Lin and Dharmaraja Rajan and Timothy Roscoe},
	booktitle = {CSCW},
	title = {Artefact: A Framework for Low-Overhead Web-Based Collaborative Systems.},
	url = {http://doi.acm.org/10.1145/289444.289493},
	venue = {Proceedings of the 1998 ACM conference on Computer supported cooperative work, Seattle, WA, USA, ACM Press, November 1998, pp. 189--196.},
	year = {1998}
}

@article{abc,
	author = {Ian M. Leslie and Derek McAuley and Richard Black and Timothy Roscoe and Paul Barham and David Martin Evers and Robin Fairbairns and Eoin Hyden},
	journal = {IEEE Journal on Selected Areas in Communications},
	title = {The Design and Implementation of an Operating System to Support Distributed Multimedia Applications.},
	year = {1996}
}

@article{abc,
	author = {Timothy Roscoe},
	journal = {Operating Systems Review},
	title = {Clanger: An Interpreted Systems Programming Language.},
	url = {http://doi.acm.org/10.1145/202213.202215},
	year = {1995}
}

@techreport{abc,
	author = {Timothy Roscoe},
	title = {The structure of a multi-service operating system},
	year = {1995}
}

@inproceedings{abc,
	author = {Timothy Roscoe},
	booktitle = {Operating Systems Review},
	title = {Linkage in the Nemesis Single Address Space Operating System.},
	url = {http://doi.acm.org/10.1145/191525.191537},
	venue = {ACM Press, New York, NY, USAACM Operating Systems Review, vol. 28, no. 4, October 1994, pp. 48--55.},
	year = {1994}
}