BibTeX records: Timothy Roscoe

download as .bib file

@inproceedings{DBLP:conf/cloud/KuchlerGRK23,
  author       = {Tom Kuchler and
                  Michael Giardino and
                  Timothy Roscoe and
                  Ana Klimovic},
  title        = {Function as a Function},
  booktitle    = {Proceedings of the 2023 {ACM} Symposium on Cloud Computing, SoCC 2023,
                  Santa Cruz, CA, USA, 30 October 2023 - 1 November 2023},
  pages        = {81--92},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3620678.3624648},
  doi          = {10.1145/3620678.3624648},
  timestamp    = {Thu, 09 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cloud/KuchlerGRK23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotos/FiedlerSGCR23,
  author       = {Ben Fiedler and
                  Daniel Schwyn and
                  Constantin Gierczak{-}Galle and
                  David A. Cock and
                  Timothy Roscoe},
  editor       = {Malte Schwarzkopf and
                  Andrew Baumann and
                  Natacha Crooks},
  title        = {Putting out the hardware dumpster fire},
  booktitle    = {Proceedings of the 19th Workshop on Hot Topics in Operating Systems,
                  {HOTOS} 2023, Providence, RI, USA, June 22-24, 2023},
  pages        = {46--52},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3593856.3595903},
  doi          = {10.1145/3593856.3595903},
  timestamp    = {Fri, 07 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hotos/FiedlerSGCR23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kisv/FiedlerMSSR23,
  author       = {Ben Fiedler and
                  Roman Meier and
                  Jasmin Schult and
                  Daniel Schwyn and
                  Timothy Roscoe},
  title        = {Specifying the de-facto {OS} of a production SoC},
  booktitle    = {Proceedings of the 1st Workshop on Kernel Isolation, Safety and Verification,
                  {KISV} 2023, Koblenz, Germany, 23 October 2023},
  pages        = {18--25},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3625275.3625400},
  doi          = {10.1145/3625275.3625400},
  timestamp    = {Fri, 27 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kisv/FiedlerMSSR23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/CockRSGTHHKLMAA22,
  author       = {David A. Cock and
                  Abishek Ramdas and
                  Daniel Schwyn and
                  Michael Giardino and
                  Adam Turowski and
                  Zhenhao He and
                  Nora Hossle and
                  Dario Korolija and
                  Melissa Licciardello and
                  Kristina Martsenko and
                  Reto Achermann and
                  Gustavo Alonso and
                  Timothy Roscoe},
  editor       = {Babak Falsafi and
                  Michael Ferdman and
                  Shan Lu and
                  Thomas F. Wenisch},
  title        = {Enzian: an open, general, {CPU/FPGA} platform for systems software
                  research},
  booktitle    = {{ASPLOS} '22: 27th {ACM} International Conference on Architectural
                  Support for Programming Languages and Operating Systems, Lausanne,
                  Switzerland, 28 February 2022 - 4 March 2022},
  pages        = {434--451},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3503222.3507742},
  doi          = {10.1145/3503222.3507742},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/asplos/CockRSGTHHKLMAA22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nsdi/HaeckiMSZGMBR22,
  author       = {Roni Haecki and
                  Radhika Niranjan Mysore and
                  Lalith Suresh and
                  Gerd Zellweger and
                  Bo Gan and
                  Timothy Merrifield and
                  Sujata Banerjee and
                  Timothy Roscoe},
  editor       = {Amar Phanishayee and
                  Vyas Sekar},
  title        = {How to diagnose nanosecond network latencies in rich end-host stacks},
  booktitle    = {19th {USENIX} Symposium on Networked Systems Design and Implementation,
                  {NSDI} 2022, Renton, WA, USA, April 4-6, 2022},
  pages        = {861--877},
  publisher    = {{USENIX} Association},
  year         = {2022},
  url          = {https://www.usenix.org/conference/nsdi22/presentation/haecki},
  timestamp    = {Wed, 06 Jul 2022 16:57:28 +0200},
  biburl       = {https://dblp.org/rec/conf/nsdi/HaeckiMSZGMBR22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-07124,
  author       = {Abishek Ramdas and
                  Michael Giardino and
                  Runbin Shi and
                  Adam Turowski and
                  David A. Cock and
                  Gustavo Alonso and
                  Timothy Roscoe},
  title        = {{ECI:} a Customizable Cache Coherency Stack for Hybrid {FPGA-CPU}
                  Architectures},
  journal      = {CoRR},
  volume       = {abs/2208.07124},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2208.07124},
  doi          = {10.48550/ARXIV.2208.07124},
  eprinttype    = {arXiv},
  eprint       = {2208.07124},
  timestamp    = {Wed, 21 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2208-07124.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/SchultSGCAR21,
  author       = {Jasmin Schult and
                  Daniel David Schwyn and
                  Michael Giardino and
                  David A. Cock and
                  Reto Achermann and
                  Timothy Roscoe},
  title        = {Declarative Power Sequencing},
  journal      = {{ACM} Trans. Embed. Comput. Syst.},
  volume       = {20},
  number       = {5s},
  pages        = {84:1--84:21},
  year         = {2021},
  url          = {https://doi.org/10.1145/3477039},
  doi          = {10.1145/3477039},
  timestamp    = {Wed, 21 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tecs/SchultSGCAR21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotos/AchermannCHHHRS21,
  author       = {Reto Achermann and
                  David A. Cock and
                  Roni Haecki and
                  Nora Hossle and
                  Lukas Humbel and
                  Timothy Roscoe and
                  Daniel David Schwyn},
  editor       = {Sebastian Angel and
                  Baris Kasikci and
                  Eddie Kohler},
  title        = {mmapx: uniform memory protection in a heterogeneous world},
  booktitle    = {HotOS '21: Workshop on Hot Topics in Operating Systems, Ann Arbor,
                  Michigan, USA, June, 1-3, 2021},
  pages        = {159--166},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3458336.3465273},
  doi          = {10.1145/3458336.3465273},
  timestamp    = {Wed, 21 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hotos/AchermannCHHHRS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/AchermannCHHHRS21,
  author       = {Reto Achermann and
                  David A. Cock and
                  Roni Haecki and
                  Nora Hossle and
                  Lukas Humbel and
                  Timothy Roscoe and
                  Daniel David Schwyn},
  title        = {Generating correct initial page tables from formal hardware descriptions},
  booktitle    = {{PLOS} '21: Proceedings of the 11th Workshop on Programming Languages
                  and Operating Systems, Virtual Event, Germany, October 25, 2021},
  pages        = {69--75},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3477113.3487270},
  doi          = {10.1145/3477113.3487270},
  timestamp    = {Wed, 21 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sosp/AchermannCHHHRS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/HumbelSHHLSCGR21,
  author       = {Lukas Humbel and
                  Daniel David Schwyn and
                  Nora Hossle and
                  Roni Haecki and
                  Melissa Licciardello and
                  Jan Schaer and
                  David A. Cock and
                  Michael Giardino and
                  Timothy Roscoe},
  editor       = {Alfons Laarman and
                  Ana Sokolova},
  title        = {A Model-Checked I\({}^{\mbox{2}}\)C Specification},
  booktitle    = {Model Checking Software - 27th International Symposium, {SPIN} 2021,
                  Virtual Event, July 12, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12864},
  pages        = {177--193},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-84629-9\_10},
  doi          = {10.1007/978-3-030-84629-9\_10},
  timestamp    = {Wed, 21 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/spin/HumbelSHHLSCGR21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/McSherryLSR20,
  author       = {Frank McSherry and
                  Andrea Lattuada and
                  Malte Schwarzkopf and
                  Timothy Roscoe},
  title        = {Shared Arrangements: practical inter-query sharing for streaming dataflows},
  journal      = {Proc. {VLDB} Endow.},
  volume       = {13},
  number       = {10},
  pages        = {1793--1806},
  year         = {2020},
  url          = {http://www.vldb.org/pvldb/vol13/p1793-mcsherry.pdf},
  doi          = {10.14778/3401960.3401974},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pvldb/McSherryLSR20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/AchermannPBRG20,
  author       = {Reto Achermann and
                  Ashish Panwar and
                  Abhishek Bhattacharjee and
                  Timothy Roscoe and
                  Jayneel Gandhi},
  editor       = {James R. Larus and
                  Luis Ceze and
                  Karin Strauss},
  title        = {Mitosis: Transparently Self-Replicating Page-Tables for Large-Memory
                  Machines},
  booktitle    = {{ASPLOS} '20: Architectural Support for Programming Languages and
                  Operating Systems, Lausanne, Switzerland, March 16-20, 2020},
  pages        = {283--300},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3373376.3378468},
  doi          = {10.1145/3373376.3378468},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/asplos/AchermannPBRG20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cidr/AlonsoRCEKKSW20,
  author       = {Gustavo Alonso and
                  Timothy Roscoe and
                  David A. Cock and
                  Mohsen Ewaida and
                  Kaan Kara and
                  Dario Korolija and
                  David Sidler and
                  Zeke Wang},
  title        = {Tackling Hardware/Software co-design from a database perspective},
  booktitle    = {10th Conference on Innovative Data Systems Research, {CIDR} 2020,
                  Amsterdam, The Netherlands, January 12-15, 2020, Online Proceedings},
  publisher    = {www.cidrdb.org},
  year         = {2020},
  url          = {http://cidrdb.org/cidr2020/papers/p30-alonso-cidr20.pdf},
  timestamp    = {Wed, 21 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cidr/AlonsoRCEKKSW20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/KorolijaRA20,
  author       = {Dario Korolija and
                  Timothy Roscoe and
                  Gustavo Alonso},
  title        = {Do {OS} abstractions make sense on FPGAs?},
  booktitle    = {14th {USENIX} Symposium on Operating Systems Design and Implementation,
                  {OSDI} 2020, Virtual Event, November 4-6, 2020},
  pages        = {991--1010},
  publisher    = {{USENIX} Association},
  year         = {2020},
  url          = {https://www.usenix.org/conference/osdi20/presentation/roscoe},
  timestamp    = {Tue, 02 Feb 2021 08:05:52 +0100},
  biburl       = {https://dblp.org/rec/conf/osdi/KorolijaRA20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-02737,
  author       = {Reto Achermann and
                  Nora Hossle and
                  Lukas Humbel and
                  Daniel David Schwyn and
                  David A. Cock and
                  Timothy Roscoe},
  title        = {Secure Memory Management on Modern Hardware},
  journal      = {CoRR},
  volume       = {abs/2009.02737},
  year         = {2020},
  url          = {https://arxiv.org/abs/2009.02737},
  eprinttype    = {arXiv},
  eprint       = {2009.02737},
  timestamp    = {Wed, 21 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2009-02737.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/BresnikerFMMRW19,
  author       = {Kirk M. Bresniker and
                  Paolo Faraboschi and
                  Avi Mendelson and
                  Dejan S. Milojicic and
                  Timothy Roscoe and
                  Robert N. M. Watson},
  title        = {Rack-Scale Capabilities: Fine-Grained Protection for Large-Scale Memories},
  journal      = {Computer},
  volume       = {52},
  number       = {2},
  pages        = {52--62},
  year         = {2019},
  url          = {https://doi.org/10.1109/MC.2018.2888769},
  doi          = {10.1109/MC.2018.2888769},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/computer/BresnikerFMMRW19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/HoffmannLMKLR19,
  author       = {Moritz Hoffmann and
                  Andrea Lattuada and
                  Frank McSherry and
                  Vasiliki Kalavri and
                  John Liagouris and
                  Timothy Roscoe},
  title        = {Megaphone: Latency-conscious state migration for distributed streaming
                  dataflows},
  journal      = {Proc. {VLDB} Endow.},
  volume       = {12},
  number       = {9},
  pages        = {1002--1015},
  year         = {2019},
  url          = {http://www.vldb.org/pvldb/vol12/p1002-hoffmann.pdf},
  doi          = {10.14778/3329772.3329777},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pvldb/HoffmannLMKLR19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/taco/AzrielHARHMRWFM19,
  author       = {Leonid Azriel and
                  Lukas Humbel and
                  Reto Achermann and
                  Alex Richardson and
                  Moritz Hoffmann and
                  Avi Mendelson and
                  Timothy Roscoe and
                  Robert N. M. Watson and
                  Paolo Faraboschi and
                  Dejan S. Milojicic},
  title        = {Memory-Side Protection With a Capability Enforcement Co-Processor},
  journal      = {{ACM} Trans. Archit. Code Optim.},
  volume       = {16},
  number       = {1},
  pages        = {5:1--5:26},
  year         = {2019},
  url          = {https://doi.org/10.1145/3302257},
  doi          = {10.1145/3302257},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/taco/AzrielHARHMRWFM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotos/BaumannAKR19,
  author       = {Andrew Baumann and
                  Jonathan Appavoo and
                  Orran Krieger and
                  Timothy Roscoe},
  title        = {A fork() in the road},
  booktitle    = {Proceedings of the Workshop on Hot Topics in Operating Systems, HotOS
                  2019, Bertinoro, Italy, May 13-15, 2019},
  pages        = {14--22},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3317550.3321435},
  doi          = {10.1145/3317550.3321435},
  timestamp    = {Wed, 29 May 2019 13:38:37 +0200},
  biburl       = {https://dblp.org/rec/conf/hotos/BaumannAKR19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-08707,
  author       = {Reto Achermann and
                  Nora Hossle and
                  Lukas Humbel and
                  Daniel David Schwyn and
                  David A. Cock and
                  Timothy Roscoe},
  title        = {A Least-Privilege Memory Protection Model for Modern Hardware},
  journal      = {CoRR},
  volume       = {abs/1908.08707},
  year         = {2019},
  url          = {http://arxiv.org/abs/1908.08707},
  eprinttype    = {arXiv},
  eprint       = {1908.08707},
  timestamp    = {Wed, 21 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1908-08707.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-05398,
  author       = {Reto Achermann and
                  Ashish Panwar and
                  Abhishek Bhattacharjee and
                  Timothy Roscoe and
                  Jayneel Gandhi},
  title        = {Mitosis: Transparently Self-Replicating Page-Tables for Large-Memory
                  Machines},
  journal      = {CoRR},
  volume       = {abs/1910.05398},
  year         = {2019},
  url          = {http://arxiv.org/abs/1910.05398},
  eprinttype    = {arXiv},
  eprint       = {1910.05398},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1910-05398.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-08367,
  author       = {Simon Gerber and
                  Gerd Zellweger and
                  Reto Achermann and
                  Moritz Hoffmann and
                  Kornilios Kourtis and
                  Timothy Roscoe and
                  Dejan S. Milojicic},
  title        = {Cichlid: Explicit physical memory management for large machines},
  journal      = {CoRR},
  volume       = {abs/1911.08367},
  year         = {2019},
  url          = {http://arxiv.org/abs/1911.08367},
  eprinttype    = {arXiv},
  eprint       = {1911.08367},
  timestamp    = {Fri, 19 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1911-08367.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-08773,
  author       = {Roni Haecki and
                  Lukas Humbel and
                  Reto Achermann and
                  David A. Cock and
                  Daniel David Schwyn and
                  Timothy Roscoe},
  title        = {CleanQ: a lightweight, uniform, formally specified interface for intra-machine
                  data transfer},
  journal      = {CoRR},
  volume       = {abs/1911.08773},
  year         = {2019},
  url          = {http://arxiv.org/abs/1911.08773},
  eprinttype    = {arXiv},
  eprint       = {1911.08773},
  timestamp    = {Wed, 21 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1911-08773.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/AchermannHCR18,
  author       = {Reto Achermann and
                  Lukas Humbel and
                  David A. Cock and
                  Timothy Roscoe},
  editor       = {Jeremy Avigad and
                  Assia Mahboubi},
  title        = {Physical Addressing on Real Hardware in Isabelle/HOL},
  booktitle    = {Interactive Theorem Proving - 9th International Conference, {ITP}
                  2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
                  UK, July 9-12, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10895},
  pages        = {1--19},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-94821-8\_1},
  doi          = {10.1007/978-3-319-94821-8\_1},
  timestamp    = {Wed, 21 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/itp/AchermannHCR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nsdi/HoffmannLLKDWCR18,
  author       = {Moritz Hoffmann and
                  Andrea Lattuada and
                  John Liagouris and
                  Vasiliki Kalavri and
                  Desislava C. Dimitrova and
                  Sebastian Wicki and
                  Zaheer Chothia and
                  Timothy Roscoe},
  editor       = {Sujata Banerjee and
                  Srinivasan Seshan},
  title        = {SnailTrail: Generalizing Critical Paths for Online Analysis of Distributed
                  Dataflows},
  booktitle    = {15th {USENIX} Symposium on Networked Systems Design and Implementation,
                  {NSDI} 2018, Renton, WA, USA, April 9-11, 2018},
  pages        = {95--110},
  publisher    = {{USENIX} Association},
  year         = {2018},
  url          = {https://www.usenix.org/conference/nsdi18/presentation/hoffmann},
  timestamp    = {Fri, 19 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nsdi/HoffmannLLKDWCR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/KalavriLHDFR18,
  author       = {Vasiliki Kalavri and
                  John Liagouris and
                  Moritz Hoffmann and
                  Desislava C. Dimitrova and
                  Matthew Forshaw and
                  Timothy Roscoe},
  editor       = {Andrea C. Arpaci{-}Dusseau and
                  Geoff Voelker},
  title        = {Three steps is all you need: fast, accurate, automatic scaling decisions
                  for distributed streaming dataflows},
  booktitle    = {13th {USENIX} Symposium on Operating Systems Design and Implementation,
                  {OSDI} 2018, Carlsbad, CA, USA, October 8-10, 2018},
  pages        = {783--798},
  publisher    = {{USENIX} Association},
  year         = {2018},
  url          = {https://www.usenix.org/conference/osdi18/presentation/kalavri},
  timestamp    = {Fri, 19 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/osdi/KalavriLHDFR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/db/RoscoeL18,
  author       = {Timothy Roscoe and
                  Boon Thau Loo},
  editor       = {Ling Liu and
                  M. Tamer {\"{O}}zsu},
  title        = {Declarative Networking},
  booktitle    = {Encyclopedia of Database Systems, Second Edition},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-1-4614-8265-9\_1220},
  doi          = {10.1007/978-1-4614-8265-9\_1220},
  timestamp    = {Thu, 14 Feb 2019 09:43:36 +0100},
  biburl       = {https://dblp.org/rec/reference/db/RoscoeL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1808-06893,
  author       = {Desislava C. Dimitrova and
                  John Liagouris and
                  Sebastian Wicki and
                  Moritz Hoffmann and
                  Vasiliki Kalavri and
                  Timothy Roscoe},
  title        = {DeltaPath: dataflow-based high-performance incremental routing},
  journal      = {CoRR},
  volume       = {abs/1808.06893},
  year         = {2018},
  url          = {http://arxiv.org/abs/1808.06893},
  eprinttype    = {arXiv},
  eprint       = {1808.06893},
  timestamp    = {Fri, 19 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1808-06893.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1812-01371,
  author       = {Moritz Hoffmann and
                  Andrea Lattuada and
                  Frank McSherry and
                  Vasiliki Kalavri and
                  John Liagouris and
                  Timothy Roscoe},
  title        = {Megaphone: Live state migration for distributed streaming dataflows},
  journal      = {CoRR},
  volume       = {abs/1812.01371},
  year         = {2018},
  url          = {http://arxiv.org/abs/1812.01371},
  eprinttype    = {arXiv},
  eprint       = {1812.01371},
  timestamp    = {Fri, 19 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1812-01371.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/ChothiaLDR17,
  author       = {Zaheer Chothia and
                  John Liagouris and
                  Desislava C. Dimitrova and
                  Timothy Roscoe},
  editor       = {Gustavo Alonso and
                  Ricardo Bianchini and
                  Marko Vukolic},
  title        = {Online Reconstruction of Structural Information from Datacenter Logs},
  booktitle    = {Proceedings of the Twelfth European Conference on Computer Systems,
                  EuroSys 2017, Belgrade, Serbia, April 23-26, 2017},
  pages        = {344--358},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3064176.3064195},
  doi          = {10.1145/3064176.3064195},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/eurosys/ChothiaLDR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotos/AchermannDFHMNR17,
  author       = {Reto Achermann and
                  Chris I. Dalton and
                  Paolo Faraboschi and
                  Moritz Hoffmann and
                  Dejan S. Milojicic and
                  Geoffrey Ndu and
                  Alex Richardson and
                  Timothy Roscoe and
                  Adrian L. Shaw and
                  Robert N. M. Watson},
  editor       = {Alexandra Fedorova and
                  Andrew Warfield and
                  Ivan Beschastnikh and
                  Rachit Agarwal},
  title        = {Separating Translation from Protection in Address Spaces with Dynamic
                  Remapping},
  booktitle    = {Proceedings of the 16th Workshop on Hot Topics in Operating Systems,
                  HotOS 2017, Whistler, BC, Canada, May 8-10, 2017},
  pages        = {118--124},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3102980.3103000},
  doi          = {10.1145/3102980.3103000},
  timestamp    = {Fri, 19 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hotos/AchermannDFHMNR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/DimitrovaLHKWR17,
  author       = {Desislava C. Dimitrova and
                  John Liagouris and
                  Moritz Hoffmann and
                  Vasiliki Kalavri and
                  Sebastian Wicki and
                  Timothy Roscoe},
  editor       = {Jeff Burke and
                  Matthias W{\"{a}}hlisch and
                  Nicholas Zhang and
                  David Meyer and
                  Puneet Sharma},
  title        = {Quick Incremental Routing Logic for Dynamic Network Graphs},
  booktitle    = {Posters and Demos Proceedings of the Conference of the {ACM} Special
                  Interest Group on Data Communication, {SIGCOMM} 2017, Los Angeles,
                  CA, USA, August 21-25, 2017},
  pages        = {9--11},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3123878.3131968},
  doi          = {10.1145/3123878.3131968},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigcomm/DimitrovaLHKWR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/HumbelACR17,
  author       = {Lukas Humbel and
                  Reto Achermann and
                  David A. Cock and
                  Timothy Roscoe},
  editor       = {Julia Lawall},
  title        = {Towards Correct-by-Construction Interrupt Routing on Real Hardware},
  booktitle    = {Proceedings of the 9th Workshop on Programming Languages and Operating
                  Systems, Shanghai, China, October 28, 2017},
  pages        = {8--14},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3144555.3144557},
  doi          = {10.1145/3144555.3144557},
  timestamp    = {Wed, 21 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sosp/HumbelACR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/AchermannHCR17,
  author       = {Reto Achermann and
                  Lukas Humbel and
                  David A. Cock and
                  Timothy Roscoe},
  editor       = {Holger Hermanns and
                  Peter H{\"{o}}fner},
  title        = {Formalizing Memory Accesses and Interrupts},
  booktitle    = {Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems,
                  MARS@ETAPS 2017, Uppsala, Sweden, 29th April 2017},
  series       = {{EPTCS}},
  volume       = {244},
  pages        = {66--116},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.244.4},
  doi          = {10.4204/EPTCS.244.4},
  timestamp    = {Sat, 30 Sep 2023 10:07:58 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/AchermannHCR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/MilojicicR16,
  author       = {Dejan S. Milojicic and
                  Timothy Roscoe},
  title        = {Outlook on Operating Systems},
  journal      = {Computer},
  volume       = {49},
  number       = {1},
  pages        = {43--51},
  year         = {2016},
  url          = {https://doi.org/10.1109/MC.2016.19},
  doi          = {10.1109/MC.2016.19},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/computer/MilojicicR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/ChothiaLMR16,
  author       = {Zaheer Chothia and
                  John Liagouris and
                  Frank McSherry and
                  Timothy Roscoe},
  title        = {Explaining Outputs in Modern Data Analytics},
  journal      = {Proc. {VLDB} Endow.},
  volume       = {9},
  number       = {12},
  pages        = {1137--1148},
  year         = {2016},
  url          = {http://www.vldb.org/pvldb/vol9/p1137-chothia.pdf},
  doi          = {10.14778/2994509.2994530},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pvldb/ChothiaLMR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocs/PeterLZPWKAR16,
  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},
  title        = {Arrakis: The Operating System Is the Control Plane},
  journal      = {{ACM} Trans. Comput. Syst.},
  volume       = {33},
  number       = {4},
  pages        = {11:1--11:30},
  year         = {2016},
  url          = {https://doi.org/10.1145/2812806},
  doi          = {10.1145/2812806},
  timestamp    = {Fri, 30 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocs/PeterLZPWKAR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsys/ZellwegerLR16,
  author       = {Gerd Zellweger and
                  Denny Lin and
                  Timothy Roscoe},
  editor       = {Heming Cui and
                  Francis C. M. Lau and
                  Sorav Bansal and
                  Lin Zhong},
  title        = {So many performance events, so little time},
  booktitle    = {Proceedings of the 7th {ACM} {SIGOPS} Asia-Pacific Workshop on Systems,
                  APSys '16, Hong Kong, China, August 4-5, 2016},
  pages        = {14:1--14:9},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2967360.2967375},
  doi          = {10.1145/2967360.2967375},
  timestamp    = {Tue, 06 Nov 2018 16:59:01 +0100},
  biburl       = {https://dblp.org/rec/conf/apsys/ZellwegerLR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/HajjMZMAFHRS16,
  author       = {Izzat El Hajj and
                  Alexander 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},
  editor       = {Tom Conte and
                  Yuanyuan Zhou},
  title        = {SpaceJMP: Programming with Multiple Virtual Address Spaces},
  booktitle    = {Proceedings of the Twenty-First International Conference on Architectural
                  Support for Programming Languages and Operating Systems, {ASPLOS}
                  2016, Atlanta, GA, USA, April 2-6, 2016},
  pages        = {353--368},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2872362.2872366},
  doi          = {10.1145/2872362.2872366},
  timestamp    = {Wed, 07 Jul 2021 13:23:08 +0200},
  biburl       = {https://dblp.org/rec/conf/asplos/HajjMZMAFHRS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/damon/GicevaZAR16,
  author       = {Jana Giceva and
                  Gerd Zellweger and
                  Gustavo Alonso and
                  Timothy Roscoe},
  title        = {Customized {OS} support for data-processing},
  booktitle    = {Proceedings of the 12th International Workshop on Data Management
                  on New Hardware, DaMoN 2016, San Francisco, CA, USA, June 27, 2016},
  pages        = {2:1--2:6},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2933349.2933351},
  doi          = {10.1145/2933349.2933351},
  timestamp    = {Tue, 06 Nov 2018 16:58:57 +0100},
  biburl       = {https://dblp.org/rec/conf/damon/GicevaZAR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/KaestleAHHRR16,
  author       = {Stefan Kaestle and
                  Reto Achermann and
                  Roni Haecki and
                  Moritz Hoffmann and
                  Sabela Ramos and
                  Timothy Roscoe},
  editor       = {Kimberly Keeton and
                  Timothy Roscoe},
  title        = {Machine-Aware Atomic Broadcast Trees for Multicores},
  booktitle    = {12th {USENIX} Symposium on Operating Systems Design and Implementation,
                  {OSDI} 2016, Savannah, GA, USA, November 2-4, 2016},
  pages        = {33--48},
  publisher    = {{USENIX} Association},
  year         = {2016},
  url          = {https://www.usenix.org/conference/osdi16/technical-sessions/presentation/kaestle},
  timestamp    = {Fri, 19 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/osdi/KaestleAHHRR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/osdi/2016,
  editor       = {Kimberly Keeton and
                  Timothy Roscoe},
  title        = {12th {USENIX} Symposium on Operating Systems Design and Implementation,
                  {OSDI} 2016, Savannah, GA, USA, November 2-4, 2016},
  publisher    = {{USENIX} Association},
  year         = {2016},
  url          = {https://www.usenix.org/conference/osdi16},
  timestamp    = {Tue, 02 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/osdi/2016.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotos/GerberZAKRM15,
  author       = {Simon Gerber and
                  Gerd Zellweger and
                  Reto Achermann and
                  Kornilios Kourtis and
                  Timothy Roscoe and
                  Dejan S. Milojicic},
  editor       = {George Candea},
  title        = {Not Your Parents' Physical Address Space},
  booktitle    = {15th Workshop on Hot Topics in Operating Systems, HotOS XV, Kartause
                  Ittingen, Switzerland, May 18-20, 2015},
  publisher    = {{USENIX} Association},
  year         = {2015},
  url          = {https://www.usenix.org/conference/hotos15/workshop-program/presentation/gerber},
  timestamp    = {Wed, 04 Jul 2018 13:06:34 +0200},
  biburl       = {https://dblp.org/rec/conf/hotos/GerberZAKRM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotos/HoeflerRR15,
  author       = {Torsten Hoefler and
                  Robert B. Ross and
                  Timothy Roscoe},
  editor       = {George Candea},
  title        = {Distributing the Data Plane for Remote Storage Access},
  booktitle    = {15th Workshop on Hot Topics in Operating Systems, HotOS XV, Kartause
                  Ittingen, Switzerland, May 18-20, 2015},
  publisher    = {{USENIX} Association},
  year         = {2015},
  url          = {https://www.usenix.org/conference/hotos15/workshop-program/presentation/hoefler},
  timestamp    = {Fri, 29 May 2015 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hotos/HoeflerRR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/usenix/KaestleAR015,
  author       = {Stefan Kaestle and
                  Reto Achermann and
                  Timothy Roscoe and
                  Tim Harris},
  editor       = {Shan Lu and
                  Erik Riedel},
  title        = {Shoal: Smart Allocation and Replication of Memory For Parallel Programs},
  booktitle    = {2015 {USENIX} Annual Technical Conference, {USENIX} {ATC} '15, July
                  8-10, Santa Clara, CA, {USA}},
  pages        = {263--276},
  publisher    = {{USENIX} Association},
  year         = {2015},
  url          = {https://www.usenix.org/conference/atc15/technical-session/presentation/kaestle},
  timestamp    = {Mon, 01 Feb 2021 08:43:30 +0100},
  biburl       = {https://dblp.org/rec/conf/usenix/KaestleAR015.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/GicevaARH14,
  author       = {Jana Giceva and
                  Gustavo Alonso and
                  Timothy Roscoe and
                  Tim Harris},
  title        = {Deployment of Query Plans on Multicores},
  journal      = {Proc. {VLDB} Endow.},
  volume       = {8},
  number       = {3},
  pages        = {233--244},
  year         = {2014},
  url          = {http://www.vldb.org/pvldb/vol8/p233-giceva.pdf},
  doi          = {10.14778/2735508.2735513},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pvldb/GicevaARH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsys/ChothiaYR14,
  author       = {Zaheer Chothia and
                  Qin Yin and
                  Timothy Roscoe},
  title        = {Grok the data center},
  booktitle    = {Asia-Pacific Workshop on Systems, APSys'14, Beijing, China, June 25-26,
                  2014},
  pages        = {1:1--1:7},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2637166.2637234},
  doi          = {10.1145/2637166.2637234},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/apsys/ChothiaYR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/BaumannHKHR14,
  author       = {Andrew Baumann and
                  Chris Hawblitzel and
                  Kornilios Kourtis and
                  Tim Harris and
                  Timothy Roscoe},
  editor       = {Ken Birman},
  title        = {Cosh: Clear {OS} Data Sharing In An Incoherent World},
  booktitle    = {2014 Conference on Timely Results in Operating Systems, {TRIOS} '14,
                  Broomfield, CO, USA, October 5, 2014},
  publisher    = {{USENIX} Association},
  year         = {2014},
  url          = {https://www.usenix.org/conference/trios14/technical-sessions/presentation/baumann},
  timestamp    = {Tue, 02 Feb 2021 08:06:00 +0100},
  biburl       = {https://dblp.org/rec/conf/osdi/BaumannHKHR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/PeterLZPWKAR14,
  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},
  editor       = {Jason Flinn and
                  Hank Levy},
  title        = {Arrakis: The Operating System is the Control Plane},
  booktitle    = {11th {USENIX} Symposium on Operating Systems Design and Implementation,
                  {OSDI} '14, Broomfield, CO, USA, October 6-8, 2014},
  pages        = {1--16},
  publisher    = {{USENIX} Association},
  year         = {2014},
  url          = {https://www.usenix.org/conference/osdi14/technical-sessions/presentation/peter},
  timestamp    = {Fri, 30 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/osdi/PeterLZPWKAR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/ZellwegerGKR14,
  author       = {Gerd Zellweger and
                  Simon Gerber and
                  Kornilios Kourtis and
                  Timothy Roscoe},
  editor       = {Jason Flinn and
                  Hank Levy},
  title        = {Decoupling Cores, Kernels, and Operating Systems},
  booktitle    = {11th {USENIX} Symposium on Operating Systems Design and Implementation,
                  {OSDI} '14, Broomfield, CO, USA, October 6-8, 2014},
  pages        = {17--31},
  publisher    = {{USENIX} Association},
  year         = {2014},
  url          = {https://www.usenix.org/conference/osdi14/technical-sessions/presentation/zellweger},
  timestamp    = {Tue, 02 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/osdi/ZellwegerGKR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cidr/GicevaSSAR13,
  author       = {Jana Giceva and
                  Tudor{-}Ioan Salomie and
                  Adrian Sch{\"{u}}pbach and
                  Gustavo Alonso and
                  Timothy Roscoe},
  title        = {{COD:} Database / Operating System Co-Design},
  booktitle    = {Sixth Biennial Conference on Innovative Data Systems Research, {CIDR}
                  2013, Asilomar, CA, USA, January 6-9, 2013, Online Proceedings},
  publisher    = {www.cidrdb.org},
  year         = {2013},
  url          = {http://cidrdb.org/cidr2013/Papers/CIDR13\_Paper71.pdf},
  timestamp    = {Mon, 18 Jul 2022 17:13:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cidr/GicevaSSAR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/SalomieARE13,
  author       = {Tudor{-}Ioan Salomie and
                  Gustavo Alonso and
                  Timothy Roscoe and
                  Kevin Elphinstone},
  editor       = {Zdenek Hanz{\'{a}}lek and
                  Hermann H{\"{a}}rtig and
                  Miguel Castro and
                  M. Frans Kaashoek},
  title        = {Application level ballooning for efficient server consolidation},
  booktitle    = {Eighth Eurosys Conference 2013, EuroSys '13, Prague, Czech Republic,
                  April 14-17, 2013},
  pages        = {337--350},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2465351.2465384},
  doi          = {10.1145/2465351.2465384},
  timestamp    = {Wed, 06 Jul 2022 14:43:33 +0200},
  biburl       = {https://dblp.org/rec/conf/eurosys/SalomieARE13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotos/ShindeKRK13,
  author       = {Pravin Shinde and
                  Antoine Kaufmann and
                  Timothy Roscoe and
                  Stefan Kaestle},
  editor       = {Petros Maniatis},
  title        = {We Need to Talk About NICs},
  booktitle    = {14th Workshop on Hot Topics in Operating Systems, HotOS XIV, Santa
                  Ana Pueblo, New Mexico, USA, May 13-15, 2013},
  publisher    = {{USENIX} Association},
  year         = {2013},
  url          = {https://www.usenix.org/conference/hotos13/session/shinde},
  timestamp    = {Wed, 04 Jul 2018 13:06:34 +0200},
  biburl       = {https://dblp.org/rec/conf/hotos/ShindeKRK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/UcanR13,
  author       = {Ercan Ucan and
                  Timothy Roscoe},
  editor       = {Vincent Gramoli and
                  Rachid Guerraoui},
  title        = {Establishing Efficient Routes between Personal Clouds},
  booktitle    = {Networked Systems - First International Conference, {NETYS} 2013,
                  Marrakech, Morocco, May 2-4, 2013, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7853},
  pages        = {74--88},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40148-0\_6},
  doi          = {10.1007/978-3-642-40148-0\_6},
  timestamp    = {Wed, 07 Dec 2022 23:13:48 +0100},
  biburl       = {https://dblp.org/rec/conf/netys/UcanR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/ShindeKKR13,
  author       = {Pravin Shinde and
                  Antoine Kaufmann and
                  Kornilios Kourtis and
                  Timothy Roscoe},
  editor       = {Tim Harris and
                  Anil Madhavapeddy},
  title        = {Modeling NICs with Unicorn},
  booktitle    = {Proceedings of the Seventh Workshop on Programming Languages and Operating
                  Systems, {PLOS} 2013, Farmington, Pennsylvania, USA, November 3-6,
                  2013},
  pages        = {3:1--3:6},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2525528.2525532},
  doi          = {10.1145/2525528.2525532},
  timestamp    = {Tue, 06 Nov 2018 16:59:32 +0100},
  biburl       = {https://dblp.org/rec/conf/sosp/ShindeKKR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocs/SchupbachBRP12,
  author       = {Adrian Sch{\"{u}}pbach and
                  Andrew Baumann and
                  Timothy Roscoe and
                  Simon Peter},
  title        = {A Declarative Language Approach to Device Configuration},
  journal      = {{ACM} Trans. Comput. Syst.},
  volume       = {30},
  number       = {1},
  pages        = {5:1--5:35},
  year         = {2012},
  url          = {https://doi.org/10.1145/2110356.2110361},
  doi          = {10.1145/2110356.2110361},
  timestamp    = {Fri, 30 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocs/SchupbachBRP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsys/YinR12,
  author       = {Qin Yin and
                  Timothy Roscoe},
  title        = {Towards realistic benchmarks for virtual infrastructure resource allocators},
  booktitle    = {Asia-Pacific Workshop on Systems, APSys '12, Seoul, Republic of Korea,
                  July 23-24, 2012},
  pages        = {5},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2349896.2349901},
  doi          = {10.1145/2349896.2349901},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/apsys/YinR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsys/ZellwegerSR12,
  author       = {Gerd Zellweger and
                  Adrian Sch{\"{u}}pbach and
                  Timothy Roscoe},
  title        = {Unifying synchronization and events in a multicore {OS}},
  booktitle    = {Asia-Pacific Workshop on Systems, APSys '12, Seoul, Republic of Korea,
                  July 23-24, 2012},
  pages        = {16},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2349896.2349912},
  doi          = {10.1145/2349896.2349912},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/apsys/ZellwegerSR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ics/Roscoe12,
  author       = {Timothy Roscoe},
  editor       = {Torsten Hoefler and
                  Kamil Iskra},
  title        = {Supercomputing operating systems: a naive view from over the fence},
  booktitle    = {Proceedings of the 2nd International Workshop on Runtime and Operating
                  Systems for Supercomputers, {ROSS} '12, Venice, Italy, June 29, 2012},
  pages        = {1:1},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2318916.2318917},
  doi          = {10.1145/2318916.2318917},
  timestamp    = {Wed, 12 Jan 2022 14:52:46 +0100},
  biburl       = {https://dblp.org/rec/conf/ics/Roscoe12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tridentcom/YinR12,
  author       = {Qin Yin and
                  Timothy Roscoe},
  editor       = {Thanasis Korakis and
                  Michael Zink and
                  Maximilian Ott},
  title        = {VF2x: Fast, Efficient Virtual Network Mapping for Real Testbed Workloads},
  booktitle    = {Testbeds and Research Infrastructure. Development of Networks and
                  Communities - 8th International {ICST} Conference, TridentCom 2012,
                  Thessanoliki, Greece, June 11-13, 2012, Revised Selected Papers},
  series       = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
                  and Telecommunications Engineering},
  volume       = {44},
  pages        = {271--286},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-35576-9\_23},
  doi          = {10.1007/978-3-642-35576-9\_23},
  timestamp    = {Wed, 24 May 2017 08:30:54 +0200},
  biburl       = {https://dblp.org/rec/conf/tridentcom/YinR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsys/YinR11,
  author       = {Qin Yin and
                  Timothy Roscoe},
  editor       = {Haibo Chen and
                  Zheng Zhang and
                  Sue Moon and
                  Yuanyuan Zhou},
  title        = {A better way to negotiate for testbed resources},
  booktitle    = {APSys '11 Asia Pacific Workshop on Systems, Shanghai, China, July
                  11-12, 2011},
  pages        = {19},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2103799.2103822},
  doi          = {10.1145/2103799.2103822},
  timestamp    = {Thu, 19 Nov 2020 07:47:39 +0100},
  biburl       = {https://dblp.org/rec/conf/apsys/YinR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/SchupbachBRP11,
  author       = {Adrian Sch{\"{u}}pbach and
                  Andrew Baumann and
                  Timothy Roscoe and
                  Simon Peter},
  editor       = {Rajiv Gupta and
                  Todd C. Mowry},
  title        = {A declarative language approach to device configuration},
  booktitle    = {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},
  pages        = {119--132},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/1950365.1950382},
  doi          = {10.1145/1950365.1950382},
  timestamp    = {Fri, 30 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/asplos/SchupbachBRP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cidr/AlonsoKR11,
  author       = {Gustavo Alonso and
                  Donald Kossmann and
                  Timothy Roscoe},
  title        = {SWissBox: An Architecture for Data Processing Appliances},
  booktitle    = {Fifth Biennial Conference on Innovative Data Systems Research, {CIDR}
                  2011, Asilomar, CA, USA, January 9-12, 2011, Online Proceedings},
  pages        = {32--37},
  publisher    = {www.cidrdb.org},
  year         = {2011},
  url          = {http://cidrdb.org/cidr2011/Papers/CIDR11\_Paper4.pdf},
  timestamp    = {Mon, 18 Jul 2022 17:13:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cidr/AlonsoKR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cloud/RivaYJUR11,
  author       = {Oriana Riva and
                  Qin Yin and
                  Dejan Juric and
                  Ercan Ucan and
                  Timothy Roscoe},
  editor       = {Jeffrey S. Chase and
                  Amr El Abbadi},
  title        = {Policy expressivity in the Anzere personal cloud},
  booktitle    = {{ACM} Symposium on Cloud Computing in conjunction with {SOSP} 2011,
                  {SOCC} '11, Cascais, Portugal, October 26-28, 2011},
  pages        = {14},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2038916.2038930},
  doi          = {10.1145/2038916.2038930},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cloud/RivaYJUR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotos/MogulBRS11,
  author       = {Jeffrey C. Mogul and
                  Andrew Baumann and
                  Timothy Roscoe and
                  Livio Soares},
  editor       = {Matt Welsh},
  title        = {Mind the Gap: Reconnecting Architecture and {OS} Research},
  booktitle    = {13th Workshop on Hot Topics in Operating Systems, HotOS XIII, Napa,
                  California, USA, May 9-11, 2011},
  publisher    = {{USENIX} Association},
  year         = {2011},
  url          = {https://www.usenix.org/conference/hotosxiii/mind-gap-reconnecting-architecture-and-os-research},
  timestamp    = {Wed, 04 Jul 2018 13:06:34 +0200},
  biburl       = {https://dblp.org/rec/conf/hotos/MogulBRS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwqos/UcanR11,
  author       = {Ercan Ucan and
                  Timothy Roscoe},
  title        = {Dexferizer: {A} service for data transfer optimization},
  booktitle    = {19th International Workshop on Quality of Service, IWQoS 2011, San
                  Jose, California, USA, 6-7 June 2011},
  pages        = {1--9},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://doi.org/10.1109/IWQOS.2011.5931343},
  doi          = {10.1109/IWQOS.2011.5931343},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/iwqos/UcanR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/marc/PeterSMR11,
  author       = {Simon Peter and
                  Adrian Sch{\"{u}}pbach and
                  Dominik Menzi and
                  Timothy Roscoe},
  editor       = {Diana G{\"{o}}hringer and
                  Michael H{\"{u}}bner and
                  J{\"{u}}rgen Becker},
  title        = {Early experience with the Barrelfish {OS} and the Single-Chip Cloud
                  Computer},
  booktitle    = {3rd Many-core Applications Research Community {(MARC)} Symposium.
                  Proceedings of the 3rd {MARC} Symposium, Ettlingen, Germany, July
                  5-6, 2011},
  pages        = {35--39},
  publisher    = {{KIT} Scientific Publishing, Karlsruhe},
  year         = {2011},
  url          = {http://digbib.ubka.uni-karlsruhe.de/volltexte/1000023937},
  timestamp    = {Fri, 30 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/marc/PeterSMR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/usenix/2010,
  editor       = {Paul Barham and
                  Timothy Roscoe},
  title        = {2010 {USENIX} Annual Technical Conference, Boston, MA, USA, June 23-25,
                  2010},
  publisher    = {{USENIX} Association},
  year         = {2010},
  url          = {https://www.usenix.org/conference/usenixatc10},
  timestamp    = {Mon, 01 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/usenix/2010.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/LooCGGHMRRS09,
  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},
  title        = {Declarative networking},
  journal      = {Commun. {ACM}},
  volume       = {52},
  number       = {11},
  pages        = {87--95},
  year         = {2009},
  url          = {https://doi.org/10.1145/1592761.1592785},
  doi          = {10.1145/1592761.1592785},
  timestamp    = {Mon, 06 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cacm/LooCGGHMRRS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigops/DagandBR09,
  author       = {Pierre{-}{\'{E}}variste Dagand and
                  Andrew Baumann and
                  Timothy Roscoe},
  title        = {Filet-o-fish: practical and dependable domain-specific languages for
                  {OS} development},
  journal      = {{ACM} {SIGOPS} Oper. Syst. Rev.},
  volume       = {43},
  number       = {4},
  pages        = {35--39},
  year         = {2009},
  url          = {https://doi.org/10.1145/1713254.1713263},
  doi          = {10.1145/1713254.1713263},
  timestamp    = {Tue, 14 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigops/DagandBR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toit/UrgaonkarSR09,
  author       = {Bhuvan Urgaonkar and
                  Prashant J. Shenoy and
                  Timothy Roscoe},
  title        = {Resource overbooking and application profiling in a shared Internet
                  hosting platform},
  journal      = {{ACM} Trans. Internet Techn.},
  volume       = {9},
  number       = {1},
  pages        = {1:1--1:45},
  year         = {2009},
  url          = {https://doi.org/10.1145/1462159.1462160},
  doi          = {10.1145/1462159.1462160},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toit/UrgaonkarSR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotos/BaumannPSSRBI09,
  author       = {Andrew Baumann and
                  Simon Peter and
                  Adrian Sch{\"{u}}pbach and
                  Akhilesh Singhania and
                  Timothy Roscoe and
                  Paul Barham and
                  Rebecca Isaacs},
  editor       = {Armando Fox},
  title        = {Your computer is already a distributed system. Why isn't your OS?},
  booktitle    = {Proceedings of HotOS'09: 12th Workshop on Hot Topics in Operating
                  Systems, May 18-20, 2009, Monte Verit{\`{a}}, Switzerland},
  publisher    = {{USENIX} Association},
  year         = {2009},
  url          = {http://www.usenix.org/events/hotos09/tech/full\_papers/baumann/baumann.pdf},
  timestamp    = {Fri, 30 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hotos/BaumannPSSRBI09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/middleware/YinSCBR09,
  author       = {Qin Yin and
                  Adrian Sch{\"{u}}pbach and
                  Justin Cappos and
                  Andrew Baumann and
                  Timothy Roscoe},
  editor       = {Jean Bacon and
                  Brian F. Cooper},
  title        = {Rhizoma: {A} Runtime for Self-deploying, Self-managing Overlays},
  booktitle    = {Middleware 2009, ACM/IFIP/USENIX, 10th International Middleware Conference,
                  Urbana, IL, USA, November 30 - December 4, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5896},
  pages        = {184--204},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-10445-9\_10},
  doi          = {10.1007/978-3-642-10445-9\_10},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/middleware/YinSCBR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/DagandBR09,
  author       = {Pierre{-}{\'{E}}variste Dagand and
                  Andrew Baumann and
                  Timothy Roscoe},
  editor       = {Gilles Muller},
  title        = {Filet-o-Fish: practical and dependable domain-specific languages for
                  {OS} development},
  booktitle    = {Proceedings of the Fifth Workshop on Programming Languages and Operating
                  Systems, PLOS@SOSP 2009, Big Sky, Montana, USA, October 11, 2009},
  pages        = {5:1--5:5},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1745438.1745446},
  doi          = {10.1145/1745438.1745446},
  timestamp    = {Tue, 06 Nov 2018 16:59:31 +0100},
  biburl       = {https://dblp.org/rec/conf/sosp/DagandBR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/BaumannBDHIPRSS09,
  author       = {Andrew Baumann and
                  Paul Barham and
                  Pierre{-}{\'{E}}variste Dagand and
                  Tim Harris and
                  Rebecca Isaacs and
                  Simon Peter and
                  Timothy Roscoe and
                  Adrian Sch{\"{u}}pbach and
                  Akhilesh Singhania},
  editor       = {Jeanna Neefe Matthews and
                  Thomas E. Anderson},
  title        = {The multikernel: a new {OS} architecture for scalable multicore systems},
  booktitle    = {Proceedings of the 22nd {ACM} Symposium on Operating Systems Principles
                  2009, {SOSP} 2009, Big Sky, Montana, USA, October 11-14, 2009},
  pages        = {29--44},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1629575.1629579},
  doi          = {10.1145/1629575.1629579},
  timestamp    = {Fri, 30 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sosp/BaumannBDHIPRSS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/db/Roscoe09,
  author       = {Timothy Roscoe},
  editor       = {Ling Liu and
                  M. Tamer {\"{O}}zsu},
  title        = {Declarative Networking},
  booktitle    = {Encyclopedia of Database Systems},
  pages        = {770--772},
  publisher    = {Springer {US}},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-0-387-39940-9\_1220},
  doi          = {10.1007/978-0-387-39940-9\_1220},
  timestamp    = {Sun, 02 Jun 2019 21:10:27 +0200},
  biburl       = {https://dblp.org/rec/reference/db/Roscoe09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmod/AlonsoKRTBBFRT08,
  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},
  title        = {The {ETH} Zurich systems group and enterprise computing center},
  journal      = {{SIGMOD} Rec.},
  volume       = {37},
  number       = {4},
  pages        = {94--99},
  year         = {2008},
  url          = {https://doi.org/10.1145/1519103.1519120},
  doi          = {10.1145/1519103.1519120},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sigmod/AlonsoKRTBBFRT08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/PeterBRBI08,
  author       = {Simon Peter and
                  Andrew Baumann and
                  Timothy Roscoe and
                  Paul Barham and
                  Rebecca Isaacs},
  editor       = {Joseph S. Sventek and
                  Steven Hand},
  title        = {30 seconds is not enough!: a study of operating system timer usage},
  booktitle    = {Proceedings of the 2008 EuroSys Conference, Glasgow, Scotland, UK,
                  April 1-4, 2008},
  pages        = {205--218},
  publisher    = {{ACM}},
  year         = {2008},
  url          = {https://doi.org/10.1145/1352592.1352614},
  doi          = {10.1145/1352592.1352614},
  timestamp    = {Fri, 30 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/eurosys/PeterBRBI08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/NicoaraAR08,
  author       = {Angela Nicoara and
                  Gustavo Alonso and
                  Timothy Roscoe},
  editor       = {Joseph S. Sventek and
                  Steven Hand},
  title        = {Controlled, systematic, and efficient code replacement for running
                  java programs},
  booktitle    = {Proceedings of the 2008 EuroSys Conference, Glasgow, Scotland, UK,
                  April 1-4, 2008},
  pages        = {233--246},
  publisher    = {{ACM}},
  year         = {2008},
  url          = {https://doi.org/10.1145/1352592.1352617},
  doi          = {10.1145/1352592.1352617},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/eurosys/NicoaraAR08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/YinCBR08,
  author       = {Qin Yin and
                  Justin Cappos and
                  Andrew Baumann and
                  Timothy Roscoe},
  editor       = {Lorenzo Alvisi and
                  Petros Maniatis},
  title        = {Dependable Self-Hosting Distributed Systems Using Constraints},
  booktitle    = {Proceedings of the Fourth Workshop on Hot Topics in System Dependability,
                  HotDep 2008, San Diego, CA, USA, December 7, 2008},
  publisher    = {{USENIX} Association},
  year         = {2008},
  url          = {http://www.usenix.org/events/hotdep08/tech/full\_papers/yin/yin.pdf},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hotdep/YinCBR08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nsdi/SinghDMDR08,
  author       = {Atul Singh and
                  Tathagata Das and
                  Petros Maniatis and
                  Peter Druschel and
                  Timothy Roscoe},
  editor       = {Jon Crowcroft and
                  Michael Dahlin},
  title        = {{BFT} Protocols Under Fire},
  booktitle    = {5th {USENIX} Symposium on Networked Systems Design {\&} Implementation,
                  {NSDI} 2008, April 16-18, 2008, San Francisco, CA, USA, Proceedings},
  pages        = {189--204},
  publisher    = {{USENIX} Association},
  year         = {2008},
  url          = {http://www.usenix.org/events/nsdi08/tech/full\_papers/singh/singh.pdf},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/nsdi/SinghDMDR08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cidr/HellersteinCGLMRT07,
  author       = {Joseph M. Hellerstein and
                  Tyson Condie and
                  Minos N. Garofalakis and
                  Boon Thau Loo and
                  Petros Maniatis and
                  Timothy Roscoe and
                  Nina Taft},
  title        = {Public Health for the Internet {(PHI)}},
  booktitle    = {Third Biennial Conference on Innovative Data Systems Research, {CIDR}
                  2007, Asilomar, CA, USA, January 7-10, 2007, Online Proceedings},
  pages        = {332--340},
  publisher    = {www.cidrdb.org},
  year         = {2007},
  url          = {http://cidrdb.org/cidr2007/papers/cidr07p38.pdf},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cidr/HellersteinCGLMRT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eclipse/RellermeyerAR07,
  author       = {Jan S. Rellermeyer and
                  Gustavo Alonso and
                  Timothy Roscoe},
  editor       = {Li{-}Te Cheng and
                  Alessandro Orso and
                  Martin P. Robillard},
  title        = {Building, deploying, and monitoring distributed applications with
                  Eclipse and {R-OSGI}},
  booktitle    = {Proceedings of the 2007 {OOPSLA} workshop on Eclipse Technology eXchange,
                  {ETX} 2007, Montreal, Quebec, Canada, October 21, 2007},
  pages        = {50--54},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1328279.1328290},
  doi          = {10.1145/1328279.1328290},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/eclipse/RellermeyerAR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotos/ElphinstoneKDRH07,
  author       = {Kevin Elphinstone and
                  Gerwin Klein and
                  Philip Derrin and
                  Timothy Roscoe and
                  Gernot Heiser},
  editor       = {Galen C. Hunt},
  title        = {Towards a Practical, Verified Kernel},
  booktitle    = {Proceedings of HotOS'07: 11th Workshop on Hot Topics in Operating
                  Systems, May 7-9, 2005, San Diego, California, {USA}},
  publisher    = {{USENIX} Association},
  year         = {2007},
  url          = {http://www.usenix.org/events/hotos07/tech/full\_papers/elphinstone/elphinstone.pdf},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hotos/ElphinstoneKDRH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotos/RoscoeEH07,
  author       = {Timothy Roscoe and
                  Kevin Elphinstone and
                  Gernot Heiser},
  editor       = {Galen C. Hunt},
  title        = {Hype and Virtue},
  booktitle    = {Proceedings of HotOS'07: 11th Workshop on Hot Topics in Operating
                  Systems, May 7-9, 2005, San Diego, California, {USA}},
  publisher    = {{USENIX} Association},
  year         = {2007},
  url          = {http://www.usenix.org/events/hotos07/tech/full\_papers/roscoe/roscoe.pdf},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hotos/RoscoeEH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/middleware/RellermeyerAR07,
  author       = {Jan S. Rellermeyer and
                  Gustavo Alonso and
                  Timothy Roscoe},
  editor       = {Renato Cerqueira and
                  Roy H. Campbell},
  title        = {R-OSGi: Distributed Applications Through Software Modularization},
  booktitle    = {Middleware 2007, {ACM/IFIP/USENIX} 8th International Middleware Conference,
                  Newport Beach, CA, USA, November 26-30, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4834},
  pages        = {1--20},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-76778-7\_1},
  doi          = {10.1007/978-3-540-76778-7\_1},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/middleware/RellermeyerAR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nsdi/GeelsAMRS07,
  author       = {Dennis Geels and
                  Gautam Altekar and
                  Petros Maniatis and
                  Timothy Roscoe and
                  Ion Stoica},
  editor       = {Hari Balakrishnan and
                  Peter Druschel},
  title        = {Friday: Global Comprehension for Distributed Replay},
  booktitle    = {4th Symposium on Networked Systems Design and Implementation {(NSDI}
                  2007), April 11-13, 2007, Cambridge, Massachusetts, USA, Proceedings},
  publisher    = {{USENIX}},
  year         = {2007},
  url          = {http://www.usenix.org/events/nsdi07/tech/geels.html},
  timestamp    = {Tue, 02 Feb 2021 08:05:05 +0100},
  biburl       = {https://dblp.org/rec/conf/nsdi/GeelsAMRS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/RellermeyerAR07,
  author       = {Jan S. Rellermeyer and
                  Gustavo Alonso and
                  Timothy Roscoe},
  editor       = {Richard P. Gabriel and
                  David F. Bacon and
                  Cristina Videira Lopes and
                  Guy L. Steele Jr.},
  title        = {Ready for distribution?: turning modular into distributed applications
                  with the R-OSGi deployment tool},
  booktitle    = {Companion to the 22nd Annual {ACM} {SIGPLAN} Conference on Object-Oriented
                  Programming, Systems, Languages, and Applications, {OOPSLA} 2007,
                  October 21-25, 2007, Montreal, Quebec, Canada},
  pages        = {864--865},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1297846.1297928},
  doi          = {10.1145/1297846.1297928},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/oopsla/RellermeyerAR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigops/PetersonR06,
  author       = {Larry L. Peterson and
                  Timothy Roscoe},
  title        = {The design principles of PlanetLab},
  journal      = {{ACM} {SIGOPS} Oper. Syst. Rev.},
  volume       = {40},
  number       = {1},
  pages        = {11--16},
  year         = {2006},
  url          = {https://doi.org/10.1145/1113361.1113367},
  doi          = {10.1145/1113361.1113367},
  timestamp    = {Tue, 14 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigops/PetersonR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/SinghMRD06,
  author       = {Atul Singh and
                  Petros Maniatis and
                  Timothy Roscoe and
                  Peter Druschel},
  editor       = {Yolande Berbers and
                  Willy Zwaenepoel},
  title        = {Using queries for distributed monitoring and forensics},
  booktitle    = {Proceedings of the 2006 EuroSys Conference, Leuven, Belgium, April
                  18-21, 2006},
  pages        = {389--402},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1217935.1217973},
  doi          = {10.1145/1217935.1217973},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/eurosys/SinghMRD06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotnets/Roscoe06,
  author       = {Timothy Roscoe},
  editor       = {Eddie Kohler and
                  Greg Minshall},
  title        = {The End of Internet Architecture},
  booktitle    = {5th {ACM} Workshop on Hot Topics in Networks - HotNets-V, Irvine,
                  California, USA, November 29-30, 2006},
  publisher    = {{ACM} {SIGCOMM}},
  year         = {2006},
  url          = {http://conferences.sigcomm.org/hotnets/2006/roscoe06end.pdf},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hotnets/Roscoe06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/LooCGGHMRRS06,
  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},
  editor       = {Surajit Chaudhuri and
                  Vagelis Hristidis and
                  Neoklis Polyzotis},
  title        = {Declarative networking: language, execution and optimization},
  booktitle    = {Proceedings of the {ACM} {SIGMOD} International Conference on Management
                  of Data, Chicago, Illinois, USA, June 27-29, 2006},
  pages        = {97--108},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1142473.1142485},
  doi          = {10.1145/1142473.1142485},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigmod/LooCGGHMRRS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/nsdi/2006,
  editor       = {Larry L. Peterson and
                  Timothy Roscoe},
  title        = {3rd Symposium on Networked Systems Design and Implementation {(NSDI}
                  2006), May 8-10, 2007, San Jose, California, USA, Proceedings},
  publisher    = {{USENIX}},
  year         = {2006},
  timestamp    = {Wed, 04 Jul 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nsdi/2006.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ccr/ClarkPBDFJKMRRSWZ05,
  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},
  title        = {Making the world (of communications) a different place},
  journal      = {Comput. Commun. Rev.},
  volume       = {35},
  number       = {3},
  pages        = {91--96},
  year         = {2005},
  url          = {https://doi.org/10.1145/1070873.1070887},
  doi          = {10.1145/1070873.1070887},
  timestamp    = {Sun, 06 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ccr/ClarkPBDFJKMRRSWZ05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/debu/HellersteinPPRSW05,
  author       = {Joseph M. Hellerstein and
                  Vern Paxson and
                  Larry L. Peterson and
                  Timothy Roscoe and
                  Scott Shenker and
                  David Wetherall},
  title        = {The Network Oracle},
  journal      = {{IEEE} Data Eng. Bull.},
  volume       = {28},
  number       = {1},
  pages        = {3--10},
  year         = {2005},
  url          = {http://sites.computer.org/debull/A05mar/hellerstein.ps},
  timestamp    = {Wed, 19 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/debu/HellersteinPPRSW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cidr/HuebschCHLMRSSY05,
  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},
  title        = {The Architecture of {PIER:} an Internet-Scale Query Processor},
  booktitle    = {Second Biennial Conference on Innovative Data Systems Research, {CIDR}
                  2005, Asilomar, CA, USA, January 4-7, 2005, Online Proceedings},
  pages        = {28--43},
  publisher    = {www.cidrdb.org},
  year         = {2005},
  url          = {http://cidrdb.org/cidr2005/papers/P03.pdf},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cidr/HuebschCHLMRSSY05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/LooCHMRS05,
  author       = {Boon Thau Loo and
                  Tyson Condie and
                  Joseph M. Hellerstein and
                  Petros Maniatis and
                  Timothy Roscoe and
                  Ion Stoica},
  editor       = {Andrew Herbert and
                  Kenneth P. Birman},
  title        = {Implementing declarative overlays},
  booktitle    = {Proceedings of the 20th {ACM} Symposium on Operating Systems Principles
                  2005, {SOSP} 2005, Brighton, UK, October 23-26, 2005},
  pages        = {75--90},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1095810.1095818},
  doi          = {10.1145/1095810.1095818},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sosp/LooCHMRS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/p2p/Roscoe05,
  author       = {Timothy Roscoe},
  editor       = {Ralf Steinmetz and
                  Klaus Wehrle},
  title        = {The PlanetLab Platform},
  booktitle    = {Peer-to-Peer Systems and Applications},
  series       = {Lecture Notes in Computer Science},
  volume       = {3485},
  pages        = {567--581},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11530657\_33},
  doi          = {10.1007/11530657\_33},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/p2p/Roscoe05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ccr/WawrzoniakPR04,
  author       = {Mike Wawrzoniak and
                  Larry L. Peterson and
                  Timothy Roscoe},
  title        = {Sophia: an Information Plane for networked systems},
  journal      = {Comput. Commun. Rev.},
  volume       = {34},
  number       = {1},
  pages        = {15--20},
  year         = {2004},
  url          = {https://doi.org/10.1145/972374.972378},
  doi          = {10.1145/972374.972378},
  timestamp    = {Sun, 06 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ccr/WawrzoniakPR04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ccr/AndersonRW04,
  author       = {Thomas E. Anderson and
                  Timothy Roscoe and
                  David Wetherall},
  title        = {Preventing Internet denial-of-service with capabilities},
  journal      = {Comput. Commun. Rev.},
  volume       = {34},
  number       = {1},
  pages        = {39--44},
  year         = {2004},
  url          = {https://doi.org/10.1145/972374.972382},
  doi          = {10.1145/972374.972382},
  timestamp    = {Sun, 06 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ccr/AndersonRW04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nsdi/BavierBCCKMPRSW04,
  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},
  editor       = {Robert Tappan Morris and
                  Stefan Savage},
  title        = {Operating Systems Support for Planetary-Scale Network Services},
  booktitle    = {1st Symposium on Networked Systems Design and Implementation {(NSDI}
                  2004), March 29-31, 2004, San Francisco, California, USA, Proceedings},
  pages        = {253--266},
  publisher    = {{USENIX}},
  year         = {2004},
  url          = {http://www.usenix.org/events/nsdi04/tech/bavier.html},
  timestamp    = {Tue, 02 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/nsdi/BavierBCCKMPRSW04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/ChunRHHJLMRSS04,
  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 C. Rhea and
                  Scott Shenker and
                  Ion Stoica},
  editor       = {Gerhard Weikum and
                  Arnd Christian K{\"{o}}nig and
                  Stefan De{\ss}loch},
  title        = {Querying at Internet-Scale},
  booktitle    = {Proceedings of the {ACM} {SIGMOD} International Conference on Management
                  of Data, Paris, France, June 13-18, 2004},
  pages        = {935--936},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/1007568.1007705},
  doi          = {10.1145/1007568.1007705},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigmod/ChunRHHJLMRSS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/usenix/RheaGRK04,
  author       = {Sean C. Rhea and
                  Dennis Geels and
                  Timothy Roscoe and
                  John Kubiatowicz},
  title        = {Handling Churn in a {DHT} (Awarded Best Paper!)},
  booktitle    = {Proceedings of the General Track: 2004 {USENIX} Annual Technical Conference,
                  June 27 - July 2, 2004, Boston Marriott Copley Place, Boston, MA,
                  {USA}},
  pages        = {127--140},
  publisher    = {{USENIX}},
  year         = {2004},
  url          = {http://www.usenix.org/publications/library/proceedings/usenix04/tech/general/rhea.html},
  timestamp    = {Mon, 01 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/usenix/RheaGRK04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/osdi/2004worlds,
  editor       = {David E. Culler and
                  Timothy Roscoe},
  title        = {First {USENIX} Workshop on Real, Large Distributed Systems, WORLDS'04,
                  San Francisco, CA, USA, December 5, 2004},
  publisher    = {{USENIX} Association},
  year         = {2004},
  url          = {https://www.usenix.org/conference/worlds04},
  timestamp    = {Tue, 02 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/osdi/2004worlds.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ccr/PetersonACR03,
  author       = {Larry L. Peterson and
                  Thomas E. Anderson and
                  David E. Culler and
                  Timothy Roscoe},
  title        = {A blueprint for introducing disruptive technology into the Internet},
  journal      = {Comput. Commun. Rev.},
  volume       = {33},
  number       = {1},
  pages        = {59--64},
  year         = {2003},
  url          = {https://doi.org/10.1145/774763.774772},
  doi          = {10.1145/774763.774772},
  timestamp    = {Sun, 06 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ccr/PetersonACR03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ccr/RoscoeHIMJ03,
  author       = {Timothy Roscoe and
                  Steven Hand and
                  Rebecca Isaacs and
                  Richard Mortier and
                  Paul W. Jardetzky},
  title        = {Predicate routing: enabling controlled networking},
  journal      = {Comput. Commun. Rev.},
  volume       = {33},
  number       = {1},
  pages        = {65--70},
  year         = {2003},
  url          = {https://doi.org/10.1145/774763.774773},
  doi          = {10.1145/774763.774773},
  timestamp    = {Tue, 20 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ccr/RoscoeHIMJ03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ccr/ChunCRBPWB03,
  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},
  title        = {PlanetLab: an overlay testbed for broad-coverage services},
  journal      = {Comput. Commun. Rev.},
  volume       = {33},
  number       = {3},
  pages        = {3--12},
  year         = {2003},
  url          = {https://doi.org/10.1145/956993.956995},
  doi          = {10.1145/956993.956995},
  timestamp    = {Sun, 06 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ccr/ChunCRBPWB03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ccr/CrowcroftHMRW03,
  author       = {Jon Crowcroft and
                  Steven Hand and
                  Richard Mortier and
                  Timothy Roscoe and
                  Andrew Warfield},
  title        = {Plutarch: an argument for network pluralism},
  journal      = {Comput. Commun. Rev.},
  volume       = {33},
  number       = {4},
  pages        = {258--266},
  year         = {2003},
  url          = {https://doi.org/10.1145/944759.944763},
  doi          = {10.1145/944759.944763},
  timestamp    = {Tue, 20 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ccr/CrowcroftHMRW03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/HandR03,
  author       = {Steven Hand and
                  Timothy Roscoe},
  editor       = {Andr{\'{e}} Schiper and
                  Alexander A. Shvartsman and
                  Hakim Weatherspoon and
                  Ben Y. Zhao},
  title        = {Spread Spectrum Storage with Mnemosyne},
  booktitle    = {Future Directions in Distributed Computing, Research and Position
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2584},
  pages        = {148--152},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-37795-6\_30},
  doi          = {10.1007/3-540-37795-6\_30},
  timestamp    = {Tue, 20 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ac/HandR03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotos/RoscoeH03,
  author       = {Timothy Roscoe and
                  Steven Hand},
  editor       = {Michael B. Jones},
  title        = {Palimpsest: Soft-Capacity Storage for Planetary-Scale Services},
  booktitle    = {Proceedings of HotOS'03: 9th Workshop on Hot Topics in Operating Systems,
                  May 18-21, 2003, Lihue (Kauai), Hawaii, {USA}},
  pages        = {127--132},
  publisher    = {{USENIX}},
  year         = {2003},
  url          = {https://www.usenix.org/conference/hotos-ix/palimpsest-soft-capacity-storage-planetary-scale-services},
  timestamp    = {Tue, 20 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hotos/RoscoeH03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iptps/RheaRK03,
  author       = {Sean C. Rhea and
                  Timothy Roscoe and
                  John Kubiatowicz},
  editor       = {M. Frans Kaashoek and
                  Ion Stoica},
  title        = {Structured Peer-to-Peer Overlays Need Application-Driven Benchmarks},
  booktitle    = {Peer-to-Peer Systems II, Second International Workshop, {IPTPS} 2003,
                  Berkeley, CA, USA, February 21-22,2003, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2735},
  pages        = {56--67},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-45172-3\_5},
  doi          = {10.1007/978-3-540-45172-3\_5},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/iptps/RheaRK03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iptps/HandR02,
  author       = {Steven Hand and
                  Timothy Roscoe},
  editor       = {Peter Druschel and
                  M. Frans Kaashoek and
                  Antony I. T. Rowstron},
  title        = {Mnemosyne: Peer-to-Peer Steganographic Storage},
  booktitle    = {Peer-to-Peer Systems, First International Workshop, {IPTPS} 2002,
                  Cambridge, MA, USA, March 7-8, 2002, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2429},
  pages        = {130--140},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45748-8\_13},
  doi          = {10.1007/3-540-45748-8\_13},
  timestamp    = {Tue, 20 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iptps/HandR02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/networking/RoscoeH02,
  author       = {Timothy Roscoe and
                  Steven Hand},
  editor       = {Enrico Gregori and
                  Ludmila Cherkasova and
                  Gianpaolo Cugola and
                  Fabio Panzieri and
                  Gian Pietro Picco},
  title        = {Transaction-Based Charging in Mnemosyne: {A} Peer-to-Peer Steganographic
                  Storage System},
  booktitle    = {Web Engineering and Peer-to-Peer Computing, {NETWORKING} 2002 Workshops,
                  Pisa, Italy, May 19-24, 2002, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2376},
  pages        = {335--350},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45745-3\_31},
  doi          = {10.1007/3-540-45745-3\_31},
  timestamp    = {Tue, 20 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/networking/RoscoeH02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/UrgaonkarSR02,
  author       = {Bhuvan Urgaonkar and
                  Prashant J. Shenoy and
                  Timothy Roscoe},
  editor       = {David E. Culler and
                  Peter Druschel},
  title        = {Resource Overbooking and Application Profiling in Shared Hosting Platforms},
  booktitle    = {5th Symposium on Operating System Design and Implementation {(OSDI}
                  2002), Boston, Massachusetts, USA, December 9-11, 2002},
  publisher    = {{USENIX} Association},
  year         = {2002},
  url          = {http://www.usenix.org/events/osdi02/tech/urgaonkar.html},
  timestamp    = {Tue, 02 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/osdi/UrgaonkarSR02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pervasive/RamanACCCJLLMMPRSSSSSZJKS02,
  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},
  editor       = {Friedemann Mattern and
                  Mahmoud Naghshineh},
  title        = {The {SAHARA} Model for Service Composition across Multiple Providers},
  booktitle    = {Pervasive Computing, First International Conference, Pervasive 2002,
                  Z{\"{u}}rich, Switzerland, August 26-28, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2414},
  pages        = {1--14},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45866-2\_1},
  doi          = {10.1007/3-540-45866-2\_1},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pervasive/RamanACCCJLLMMPRSSSSSZJKS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigopsE/RoscoeMJH02,
  author       = {Timothy Roscoe and
                  Richard Mortier and
                  Paul W. Jardetzky and
                  Steven Hand},
  editor       = {Gilles Muller and
                  Eric Jul},
  title        = {InfoSpect: using a logic language for system health monitoring in
                  distributed systems},
  booktitle    = {Proceedings of the 10th {ACM} {SIGOPS} European Workshop, Saint-Emilion,
                  France, July 1, 2002},
  pages        = {31--37},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/1133373.1133379},
  doi          = {10.1145/1133373.1133379},
  timestamp    = {Tue, 20 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigopsE/RoscoeMJH02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/idms/RoscoeS01,
  author       = {Timothy Roscoe and
                  Prashant J. Shenoy},
  editor       = {Doug Shepherd and
                  Joe Finney and
                  Laurent Mathy and
                  Nicholas J. P. Race},
  title        = {New Resource Control Issues in Shared Clusters},
  booktitle    = {Interactive Distributed Multimedia Systems, 8th International Workshop,IDMS
                  2001, Lancaster, UK, September 4-7, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2158},
  pages        = {2--9},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44763-6\_2},
  doi          = {10.1007/3-540-44763-6\_2},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/idms/RoscoeS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigopsE/RoscoeL00,
  author       = {Timothy Roscoe and
                  J. Bryan Lyles},
  title        = {Distributing processing without DPEs: design considerations for public
                  computing platforms},
  booktitle    = {Proceedings of the 9th {ACM} {SIGOPS} European Workshop, Kolding,
                  Denmark, September 17-20, 2000},
  pages        = {235--240},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/566726.566773},
  doi          = {10.1145/566726.566773},
  timestamp    = {Tue, 03 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigopsE/RoscoeL00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cscw/BrandenburgBDLRR98,
  author       = {Jeffrey Lynn Brandenburg and
                  Boyce Byerly and
                  Tom Dobridge and
                  Jinkun Lin and
                  Dharmaraja Rajan and
                  Timothy Roscoe},
  editor       = {Steven E. Poltrock and
                  Jonathan Grudin},
  title        = {Artefact: {A} Framework for Low-Overhead Web-Based Collaborative Systems},
  booktitle    = {{CSCW} '98, Proceedings of the {ACM} 1998 Conference on Computer Supported
                  Cooperative Work, Seattle, WA, USA, November 14-18, 1998},
  pages        = {189--196},
  publisher    = {{ACM}},
  year         = {1998},
  url          = {https://doi.org/10.1145/289444.289493},
  doi          = {10.1145/289444.289493},
  timestamp    = {Thu, 24 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cscw/BrandenburgBDLRR98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsac/LeslieMBRBEFH96,
  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},
  title        = {The Design and Implementation of an Operating System to Support Distributed
                  Multimedia Applications},
  journal      = {{IEEE} J. Sel. Areas Commun.},
  volume       = {14},
  number       = {7},
  pages        = {1280--1297},
  year         = {1996},
  url          = {https://doi.org/10.1109/49.536480},
  doi          = {10.1109/49.536480},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsac/LeslieMBRBEFH96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Roscoe95,
  author       = {Timothy Roscoe},
  title        = {The structure of a multi-service operating system},
  school       = {University of Cambridge, {UK}},
  year         = {1995},
  url          = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.363305},
  timestamp    = {Tue, 05 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/ethos/Roscoe95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigops/Roscoe95,
  author       = {Timothy Roscoe},
  title        = {Clanger: An Interpreted Systems Programming Language},
  journal      = {{ACM} {SIGOPS} Oper. Syst. Rev.},
  volume       = {29},
  number       = {2},
  pages        = {13--20},
  year         = {1995},
  url          = {https://doi.org/10.1145/202213.202215},
  doi          = {10.1145/202213.202215},
  timestamp    = {Tue, 14 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigops/Roscoe95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigops/Roscoe94,
  author       = {Timothy Roscoe},
  title        = {Linkage in the Nemesis Single Address Space Operating System},
  journal      = {{ACM} {SIGOPS} Oper. Syst. Rev.},
  volume       = {28},
  number       = {4},
  pages        = {48--55},
  year         = {1994},
  url          = {https://doi.org/10.1145/191525.191537},
  doi          = {10.1145/191525.191537},
  timestamp    = {Tue, 14 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigops/Roscoe94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics