# Generated file: don't edit!
#

@Article{roscoe_osr_1994,
  title = {{Linkage in the Nemesis single address space operating system}}, 
  author = {Timothy Roscoe},
  journal = {ACM Operating Systems Review},
  year = {1994},
  month = {October},
  address = {New York, NY, USA},
  volume = {28},
  number = {4},
  pages = {48--55},
  publisher = {ACM Press},
  doi = {https://doi.acm.org/10.1145/191525.191537},
  issn = {0163-5980},
  note = {}
}

@Article{roscoe_osr_1995,
  title = {{CLANGER: An Interpreted Systems Programming Language}}, 
  author = {Timothy Roscoe},
  journal = {ACM SIGOPS Operating Systems Review},
  year = {1995},
  month = {April},
  address = {New York, NY, USA},
  volume = {29},
  number = {2},
  pages = {13--20},
  publisher = {ACM Press},
  doi = {https://doi.acm.org/10.1145/202213.202215},
  issn = {0163-5980},
  note = {}
}

@PhdThesis{roscoe_thesis_1995,
  title = {{The Structure of a Multi-Service Operating System}}, 
  author = {Timothy Roscoe},
  year = {1995},
  month = {April},
  school = {University of Cambridge Computer Laboratory},
  note = {Available as Technical Report No. 376}
}

@Article{leslie_jsac_1996,
  title = {{The Design and Implementation of an Operating System to Support Distributed Multimedia Applications}}, 
  author = {I. M. Leslie and D. McAuley and R. Black and T. Roscoe and P. Barham and D. Evers and R. Fairbairns and E. Hyden},
  journal = {IEEE Journal on Selected Areas in Communications},
  year = {1996},
  month = {September},
  volume = {14},
  number = {7},
  pages = {1280--129},
  note = {}
}

@InProceedings{brandenburg_cscw_1998,
  title = {{Artefact: a framework for low-overhead Web-based collaborative systems}}, 
  author = {Jeff Brandenburg and Boyce Byerly and Tom Dobridge and Jinkun Lin and Dharmaraja Rajan and Timothy Roscoe},
  booktitle = {CSCW '98: Proceedings of the 1998 ACM conference on Computer supported cooperative work},
  year = {1998},
  month = {November},
  address = {New York, NY, USA},
  pages = {189--196},
  publisher = {ACM Press},
  doi = {https://doi.acm.org/10.1145/289444.289493},
  isbn = {1-58113-009-0},
  location = {Seattle, WA, USA},
  note = {}
}

@InProceedings{roscoe_mmcn_2000,
  title = {{Script-Driven Packet Marking for QoS Support in Legacy Applications}}, 
  author = {Timothy Roscoe and Gene Bowen},
  booktitle = {Proceedings of SPIE/ACM Multimedia Computing and Networking},
  year = {2000},
  month = {January},
  address = {San Jose, CA, USA},
  note = {}
}

@InProceedings{roscoe_ica_2000,
  title = {{Relational Databases and Ontologies}}, 
  author = {Timothy Roscoe},
  booktitle = {Proceedings of the 50th Annual ICA Conference (Philosophy of Communication Division)},
  year = {2002},
  month = {June},
  address = {Acapulco, Mexico},
  note = {}
}

@Article{roscoe_mcs_2000,
  title = {{The Construction of the World Wide Web Audience}}, 
  author = {Timothy Roscoe},
  journal = {Media, Culture and Society},
  year = {2000},
  month = {September},
  volume = {21},
  number = {5},
  note = {}
}

@InProceedings{roscoe_sigops_2000,
  title = {{Distributed Computing without DPEs: Design Considerations for Public Computing Platforms}}, 
  author = {T. Roscoe and B. Lyles},
  booktitle = {Proceedings of the 9th ACM SIGOPS European Workshop},
  year = {2000},
  month = {September 17-20},
  address = {Kolding, Denmark},
  doi = {https://doi.acm.org/10.1145/566726.566773},
  note = {}
}

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

@InProceedings{roscoe_idms_2001,
  title = {{New Resource Issues in Shared Clusters}}, 
  author = {Timothy Roscoe and Prashant Shenoy},
  booktitle = {Proceedings of the 8th International Workshop on Interactive Distributed Multimedia Systems (IDMS 2001)},
  year = {2001},
  month = {September},
  address = {Lancaster, UK},
  note = {}
}

@InProceedings{hand_iptps_2002,
  title = {{Mnemosyne: Peer-to-Peer Steganographic Storage}}, 
  author = {Steven Hand and Timothy Roscoe},
  booktitle = {Proceedings of the 1st International Workshop on Peer-to-Peer Systems (IPTPS '02)},
  year = {2002},
  month = {March},
  address = {Boston, MA, USA},
  note = {}
}

@InProceedings{roscoe_iwptpc_2002,
  title = {{Transaction-based Charging in Mnemosyne: a Peer-to-Peer Steganographic Storage System}}, 
  author = {Timothy Roscoe and Steven Hand},
  booktitle = {Proceedings of the International Workshop on Peer-to-Peer Computing at Networking},
  year = {2002},
  month = {May},
  address = {Pisa, Italy},
  note = {}
}

@InProceedings{hand_fudico_2002,
  title = {{Spread Spectrum Storage with Mnemosyne}}, 
  author = {Steven Hand and Timothy Roscoe},
  booktitle = {Proceedings of the International Workshop on Future Directions in Distributed Computing (FuDiCo'02)},
  year = {2002},
  month = {June},
  address = {Bertinoro (Forli), Italy},
  note = {}
}

@TechReport{barham_tr_2002,
  title = {{Techniques for Lightweight Concealment and Authentication in IP Networks}}, 
  author = {P. Barham and S. Hand and R. Isaacs and P. Jardetzky and R. Mortier and T. Roscoe},
  year = {2002},
  month = {July},
  institution = {Intel Research},
  number = {IRB-TR-02-009},
  note = {}
}

@InProceedings{raman_pervasive_2002,
  title = {{The SAHARA Model for Service Composition across Multiple Providers}}, 
  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 Z. Morley Mao and George Porter and Timothy Roscoe and Mukund Seshadri and Jimmy Shih and Keith Sklower and Lakshminarayanan Subramanian and Takashi Suzuki and Shelley Zhuang and Anthony D. Joseph and Randy H. Katz and Ion Stoica},
  booktitle = {Proceedings of the 1st International Conference on Pervasive Computing (Pervasive 2002)},
  year = {2002},
  month = {August},
  address = {Zurich, Switzerland},
  publisher = {Springer},
  note = {Invited paper}
}

@InProceedings{roscoe_sigops_2002,
  title = {{InfoSpect: Using a Logic Language for System Health Monitoring in Distributed Systems}}, 
  author = {Timothy Roscoe and Richard Mortier and Paul Jardetzky and Steven Hand},
  booktitle = {Proceedings of the 2002 ACM SIGOPS European Workshop},
  year = {2002},
  month = {September},
  address = {Saint-Emilion, France},
  doi = {https://doi.acm.org/10.1145/1133373.1133379},
  note = {}
}

@InProceedings{peterson_hotnets_2002,
  title = {{A Blueprint for Introducing Disruptive Technology into the Internet}}, 
  author = {Larry Peterson and David Culler and Tom Anderson and Timothy Roscoe},
  booktitle = {Proceedings of the 1st Workshop on Hot Topics in Networks (HotNets-I)},
  year = {2002},
  month = {October},
  address = {Princeton, New Jersey, USA},
  doi = {https://doi.acm.org/10.1145/774763.774772},
  note = {}
}

@InProceedings{roscoe_hotnets_2002,
  title = {{Predicate Routing: Enabling Controlled Networking}}, 
  author = {Timothy Roscoe and Steve Hand and Rebecca Isaacs and Richard Mortier and Paul Jardetzky},
  booktitle = {Proceedings of the 1st Workshop on Hot Topics in Networks (HotNets-I)},
  year = {2002},
  month = {October},
  address = {Princeton, New Jersey, USA},
  doi = {https://doi.acm.org/10.1145/774763.774773},
  note = {}
}

@InProceedings{urgaonkar_osdi_2002,
  title = {{Resource Overbooking and Application Profiling in Shared Hosting Platforms}}, 
  author = {Bhuvan Urgaonkar and Prashant Shenoy and Timothy Roscoe},
  booktitle = {Proceedings of the 5th Symposium on Operating Systems Design and Implementation (OSDI'02)},
  year = {2002},
  month = {December},
  pages = {239--254},
  doi = {https://doi.acm.org/10.1145/844128.844151},
  location = {Boston, MA, USA},
  note = {}
}

@InProceedings{rhea_iptps_2003,
  title = {{Structured Peer-to-Peer Overlays Need Application-Driven Benchmarks}}, 
  author = {Sean Rhea and Timothy Roscoe and John Kubiatowicz},
  booktitle = {Proceedings of the 2nd International Peer-to-Peer Systems Workshop (IPTPS'03)},
  year = {2003},
  month = {February},
  address = {Berkeley, CA, USA},
  note = {}
}

@InProceedings{roscoe_hotos_2003,
  title = {{Palimpsest: Soft-Capacity Storage for Planetary-Scale Services}}, 
  author = {Timothy Roscoe and Steven Hand},
  booktitle = {Proceedings of the 9th Workshop on Hot Topics in Operating Systems (HotOS-IX)},
  year = {2003},
  month = {May},
  address = {Lihue, Hawaii, USA},
  note = {}
}

@Article{chun_ccr_2003,
  title = {{PlanetLab: An Overlay Testbed for Broad-Coverage Services}}, 
  author = {Brent Chun and David Culler and Timothy Roscoe and Andy Bavier and Larry Peterson and Mike Wawrzoniak and Mic Bowman},
  journal = {ACM Computer Communication Review},
  year = {2003},
  month = {July},
  volume = {33},
  number = {3},
  pages = {3-12},
  doi = {https://doi.acm.org/10.1145/956993.956995},
  note = {}
}

@InProceedings{crowcroft_fdna_2003,
  title = {{Plutarch: An Argument for Network Pluralism}}, 
  author = {Jon Crowcroft and Steve Hand and Richard Mortier and Timothy Roscoe and Andrew Warfield},
  booktitle = {Proceedings of SIGCOMM Workshop on Future Directions in Network Architecture (FDNA'03)},
  year = {2003},
  month = {August},
  pages = {258--266},
  doi = {https://doi.acm.org/10.1145/944759.944763},
  note = {}
}

@InProceedings{crowcroft_ripqos_2003,
  title = {{QoS's Downfall: At the bottom or not at all!}}, 
  author = {Jon Crowcroft and Steve Hand and Richard Mortier and Timothy Roscoe and Andrew Warfield},
  booktitle = {Proceedings of SIGCOMM Workshop on Revisiting IP QoS (RIPQOS'03)},
  year = {2003},
  month = {August},
  doi = {https://doi.acm.org/10.1145/944592.944594},
  note = {}
}

@InProceedings{anderson_hotnets_2003,
  title = {{Preventing Internet Denial-of-Service using Capabilities}}, 
  author = {Tom Anderson and Timothy Roscoe and David Wetherall},
  booktitle = {Proceedings of the 2nd Workshop on Hot Topics in Networks (HotNets-II)},
  year = {2003},
  month = {November},
  address = {Cambridge, MA, USA},
  doi = {https://doi.acm.org/10.1145/972374.972382},
  note = {}
}

@InProceedings{wawrzoniak_hotnets_2003,
  title = {{Sophia: An Information Plane for Networked Systems}}, 
  author = {Mike Wawrzoniak and Larry Peterson and Timothy Roscoe},
  booktitle = {Proceedings of the 2nd Workshop on Hot Topics in Networks (HotNets-II)},
  year = {2003},
  month = {November},
  address = {Cambridge, MA, USA},
  doi = {https://doi.acm.org/10.1145/972374.972378},
  note = {}
}

@TechReport{loo_tr_2003,
  title = {{Analyzing P2P Overlays with Recursive Queries}}, 
  author = {Boon Thau Loo and Ryan Huebsch and Joseph M. Hellerstein and Timothy Roscoe and Ion Stoica},
  year = {2003},
  month = {November},
  institution = {Intel Research},
  number = {IRB-TR-003-045},
  note = {}
}

@InProceedings{bavier_nsdi_2003,
  title = {{Operating Systems Support for Planetary-Scale Network Services}}, 
  author = {Andy Bavier and Mic Bowman and Brent Chun and David Culler and Scott Karlin and Larry Peterson and Timothy Roscoe and Mike Wawrzoniak},
  booktitle = {Proceedings of the 1st Symposium on Networked Systems Design and Implementation (NSDI'04)},
  year = {2004},
  month = {March},
  address = {San Francisco, CA, USA},
  note = {}
}

@InProceedings{chun_sigmod_2004,
  title = {{Querying at Internet Scale (Demo)}}, 
  author = {Brent Chun and Joseph M. Hellerstein and Ryan Huebsch and Shawn R. Jeffery and Boon Thau Loo and Sam Mardanbeigi and Timothy Roscoe and Sean Rhea and Scott Shenker and Ion Stoica},
  booktitle = {SIGMOD '04: Proceedings of the 2004 ACM SIGMOD International Conference on Management of Data},
  year = {2004},
  month = {June},
  doi = {https://doi.acm.org/10.1145/1007568.1007705},
  note = {}
}

@InProceedings{rhea_usenix_2004,
  title = {{Handling Churn in a DHT}}, 
  author = {Sean Rhea and Dennis Geels and Timothy Roscoe and John Kubiatowicz},
  booktitle = {Proceedings of the 2004 USENIX Technical Conference},
  year = {2004},
  month = {June},
  address = {Boston, MA, USA},
  note = {Best paper award!}
}

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

@InProceedings{huebsch_cidr_2005,
  title = {{The Architecture of PIER: an Internet-Scale Query Processor}}, 
  author = {Ryan Huebsch and Brent Chun and Joseph M. Hellerstein and Boon Thau Loo and Petros Maniatis and Timothy Roscoe and Scott Shenker and Ion Stoica and and Aydan R. Yumerefendi},
  booktitle = {Proceedings of the 2nd biennial Conference on Innovative Data Systems Research (CIDR)},
  year = {2005},
  month = {January},
  address = {Asilomar, CA, USA},
  note = {}
}

@Article{hellerstein_dataeng_2005,
  title = {{The Network Oracle}}, 
  author = {Joseph M. Hellerstein and Vern Paxson and Larry Peterson and Timothy Roscoe and Scott Shenker and David Wetherall},
  journal = {Bulletin of the IEEE Computer Society Technical Committee on Data Engineering},
  year = {2005},
  month = {March},
  volume = {28},
  number = {1},
  note = {}
}

@Article{clark_ccr_2005,
  title = {{Making the world (of communications) a different place}}, 
  author = {David D. Clark and Craig Partridge and Robert T. Braden and Bruce Davie and Sally Floyd and Van Jacobson and Dina Katabi and Greg Minshall and K. K. Ramakrishnan and Timothy Roscoe and Ion Stoica and John Wroclawski and Lixia Zhang},
  journal = {ACM SIGCOMM Computer Communications Review},
  year = {2005},
  address = {New York, NY, USA},
  volume = {35},
  number = {3},
  pages = {91--96},
  publisher = {ACM Press},
  doi = {https://doi.acm.org/10.1145/1070873.1070887},
  issn = {0146-4833},
  note = {}
}

@InProceedings{roscoe_nsf_2005,
  title = {{Comprehend the Planet}}, 
  author = {Timothy Roscoe},
  booktitle = {Proceedings of the NSF Workshop on Grand Challenges in Distributed Systems},
  year = {2005},
  month = {September},
  address = {Cambridge, MA, USA},
  note = {}
}

@InProceedings{loo_sosp_2005,
  title = {{Implementing Declarative Overlays}}, 
  author = {Boon Thau Loo and Tyson Condie and Joseph M. Hellerstein and Petros Maniatis and Timothy Roscoe and Ion Stoica},
  booktitle = {SOSP '05: Proceedings of the twentieth ACM symposium on Operating systems principles},
  year = {2005},
  month = {October},
  address = {New York, NY, USA},
  pages = {75--90},
  publisher = {ACM Press},
  doi = {https://doi.acm.org/10.1145/1095810.1095818},
  isbn = {1-59593-079-5},
  location = {Brighton, United Kingdom},
  note = {}
}

@inproceedings{condie_sosp_2005,
  title = {{A need for componentized transport protocols (Work in Progress)}}, 
  author = {Tyson Condie and Joseph M. Hellerstein and Petros Maniatis and Sean Rhea and Timothy Roscoe},
  booktitle = {SOSP '05: Proceedings of the twentieth ACM symposium on Operating systems principles},
  year = {2005},
  month = {October},
  address = {New York, NY, USA},
  pages = {1--2},
  publisher = {ACM Press},
  doi = {https://doi.acm.org/10.1145/1095810.1118617},
  isbn = {1-59593-079-5},
  location = {Brighton, United Kingdom},
  note = {}
}

@InBook{roscoe_springer_2005,
  title = {{The PlanetLab Platform}}, 
  author = {Timothy Roscoe},
  editor = {Ralf Steinmetz and Klaus Wehrle},
  booktitle = {Peer-to-Peer Systems and Applications},
  year = {2005},
  month = {October},
  address = {Heidelberg, Germany},
  series = {Lecture Notes in Computer Science},
  volume = {33},
  number = {3485},
  publisher = {Springer},
  note = {}
}

@InProceedings{ballani_hotnets_2005,
  title = {{Off by Default!}}, 
  author = {Hitesh Ballani and Yatin Chawathe and Sylvia Ratnasamy and Timothy Roscoe and Scott Shenker},
  booktitle = {Proceedings of the Fourth Workshop on Hot Topics in Networking (HotNets-II)},
  year = {2005},
  month = {November},
  address = {College Park, MD, USA},
  note = {}
}

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

@Article{peterson_osr_2006,
  title = {{The Design Principles of PlanetLab}}, 
  author = {Larry Peterson and Timothy Roscoe},
  journal = {ACM Operating Systems Review},
  year = {2006},
  month = {January},
  volume = {40},
  number = {1},
  doi = {https://doi.acm.org/10.1145/1113361.1113367},
  note = {}
}

@InProceedings{singh_eurosys_2006,
  title = {{Using Queries for Distributed Monitoring and Forensics}}, 
  author = {Atul Singh and Petros Maniatis and Timothy Roscoe and Peter Druschel},
  booktitle = {Proceedings of the 1st European Systems Conference (Eurosys)},
  year = {2006},
  month = {March},
  address = {Leuven, Belgium},
  doi = {https://doi.acm.org/10.1145/1217935.1217973},
  note = {}
}

@inproceedings{loo_sigmod_2006,
  title = {{Declarative networking: language, execution and optimization}}, 
  author = {Boon Thau Loo and Tyson Condie and Minos Garofalakis and David E. Gay and Joseph M. Hellerstein and Petros Maniatis and Raghu Ramakrishnan and Timothy Roscoe and Ion Stoica},
  booktitle = {SIGMOD '06: Proceedings of the 2006 ACM SIGMOD International Conference on Management of Data},
  year = {2006},
  month = {June},
  address = {New York, NY, USA},
  pages = {97--108},
  publisher = {ACM Press},
  doi = {https://doi.acm.org/10.1145/1142473.1142485},
  isbn = {1-59593-434-0},
  location = {Chicago, IL, USA},
  note = {}
}

@InProceedings{anderson_worlds_2006,
  title = {{Learning from PlanetLab}}, 
  author = {Tom Anderson and Timothy Roscoe},
  booktitle = {Proceedings of the 3rd Workshop on Real, Large Distributed Systems (WORLDS)},
  year = {2006},
  month = {November},
  organization = {Usenix},
  note = {}
}

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

@InProceedings{hellerstein_cidr_2007,
  title = {{Public Health for the Internet}}, 
  author = {Joseph M. Hellerstein and Tyson Condie and Minos Garofalakis and Boon Thau Loo and Petros Maniatis and Timothy Roscoe and Nina A. Taft},
  booktitle = {Proceedings of the 3rd Biennial Conference on Innovative Data Systems Research (CIDR)},
  year = {2007},
  month = {January},
  address = {Asilomar, CA, USA},
  note = {}
}

@InProceedings{geels_nsdi_2007,
  title = {{Friday: Global Comprehension for Distributed Replay}}, 
  author = {Dennis Geels and Gautam Altekar and Petros Maniatis and Timothy Roscoe and Ion Stoica},
  booktitle = {Proceedings of the 4th Symposium on Networked Systems Design and Implementation (NSDI'07)},
  year = {2007},
  month = {April},
  address = {Boston, MA, USA},
  note = {}
}

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

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

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

@InProceedings{rellermeyer_oopsla_2007,
  title = {{Ready for Distribution?  Turning Modular into Distributed Applications with the R-OSGi Deployment Tool (Demo)}}, 
  author = {Jan Rellermeyer and Gustavo Alonso and Timothy Roscoe},
  booktitle = {Proceedings of OOPSLA 2007},
  year = {2007},
  month = {October},
  doi = {https://doi.acm.org/10.1145/1297846.1297928},
  note = {}
}

@InProceedings{rellermeyer_etx_2007,
  title = {{Building, Deploying, and Monitoring Distributed Applications with Eclipse and R-OSGi}}, 
  author = {Jan S. Rellermeyer and Gustavo Alonso and Timothy Roscoe},
  booktitle = {Proceedings of the Fifth Eclipse Technology eXchange (ETX) Workshop (in conjunction with OOPSLA 07)},
  year = {2007},
  month = {October},
  address = {Montreal, Canada},
  doi = {https://doi.acm.org/10.1145/1328279.1328290},
  note = {}
}

@InProceedings{rellermeyer_middleware_2007,
  title = {{R-OSGi: Distributed Applications through Software Modularization}}, 
  author = {Jan Rellermeyer and Gustavo Alonso and Timothy Roscoe},
  booktitle = {Proceedings of ACM Middleware 2007},
  year = {2007},
  month = {November},
  address = {Newport Beach, CA, USA},
  note = {}
}

@InProceedings{peter_eurosys_2008,
  title = {{30 seconds is not enough! A Study of Operating System Timer Usage}}, 
  author = {Simon Peter and Andrew Baumann and Timothy Roscoe and Paul Barham and Rebecca Isaacs},
  booktitle = {Proceedings of the 3rd European Systems Conference (Eurosys)},
  year = {2008},
  month = {April},
  address = {Glasgow, Scotland},
  doi = {https://doi.acm.org/10.1145/1352592.1352614},
  note = {}
}

@InProceedings{singh_nsdi_2008,
  title = {{BFT Protocols under Fire}}, 
  author = {Atul Singh and Petros Maniatis and Peter Druschel and Timothy Roscoe},
  booktitle = {Proceedings of the 4th Symposium on Networked Systems Design and Implementation (NSDI'08)},
  year = {2008},
  month = {April},
  address = {San Francisco, CA, USA},
  note = {}
}

@InProceedings{Schuepbach_2008,
  title = {{Embracing diversity in the Barrelfish manycore operating system.}}, 
  author = {Adrian Schuepbach and Simon Peter and Andrew Baumann and Timothy Roscoe and Paul Barham and Tim Harris and Rebecca Isaacs},
  booktitle = {Proceedings of the Workshop on Managed Many-Core Systems (MMCS)},
  year = {2008},
  month = {June},
  address = {Boston, MA, USA},
  note = {}
}

@InProceedings{Yin_2008,
  title = {{Dependable Self-Hosting Distributed Systems Using Constraints}}, 
  author = {Qin Yin and Justin Cappos and Andrew Baumann and Timothy Roscoe},
  booktitle = {Proceedings of the 4th Usenix Workshop on Hot Topics in
    System Dependability (HotDep)},
  year = {2008},
  month = {December},
  address = {San Diego, CA, USA},
  note = {}
}

@Article{roscoe_rs_2008,
  title = {{Network architecture test-beds as platforms for ubiquitous computing}}, 
  author = {Timothy Roscoe},
  journal = {Philosophical Transactions of the Royal Society A},
  year = {2008},
  month = {October},
  address = {London, UK},
  volume = {366},
  number = {1881},
  pages = {3663-3838},
  publisher = {Royal Society Publishing},
  issn = {1364-503X},
  note = {}
}

@Article{alonso_sigmodrec_2008,
  title = {{The ETH Zurich systems group and enterprise computing center}}, 
  author = {Gustavo Alonso and Donald Kossmann and Timothy Roscoe and Nesime Tatbul and Andrew Baumann and Carsten Binning and Peter Fischer and Oriana Riva and Jens Teubner},
  journal = {SIGMOD Record},
  year = {2008},
  month = {December},
  address = {New York, NY, USA},
  volume = {37},
  number = {4},
  pages = {94--99},
  publisher = {ACM},
  doi = {https://doi.acm.org/10.1145/1519103.1519120},
  issn = {0163-5808},
  note = {}
}

@Article{urgaonkar_2009,
  title = {{Resource overbooking and application profiling in a shared Internet hosting platform}}, 
  author = {Bhuvan Urgaonkar and Prashant Shenoy and Timothy Roscoe},
  journal = {ACM Transactions on Internet Technologies},
  year = {2009},
  month = {February},
  address = {New York, NY, USA},
  volume = {9},
  number = {1},
  pages = {1-45},
  publisher = {ACM},
  doi = {https://doi.acm.org/10.1145/1462159.1462160},
  issn = {1533-5399},
  note = {}
}

@InProceedings{baumann_hotos_2009,
  title = {{Your computer is already a distributed system. Why isn't your OS?}}, 
  author = {Andrew Baumann and Simon Peter and Adrian Schuepbach and Akhilesh Singhania and Timothy Roscoe and Paul Barham and Rebecca Isaacs},
  booktitle = {Proceedings of the 12th Workshop on Hot Topics in Operating Systems (HotOS-XII)},
  year = {2009},
  month = {May},
  address = {Monte Verita, Switzerland},
  note = {}
}

@InBook{roscoe_declnet_2009,
  title = {{Declarative Networking}}, 
  author = {Timothy Roscoe},
  editor = {Tamer Ozsu and Ling Liu},
  booktitle = {Encyclopedia of Database Systems},
  year = {2009},
  month = {September},
  address = {Heidelberg, Germany},
  series = {Springer Reference Series},
  publisher = {Springer},
  isbn = {978-0-387-49616-0},
  note = {}
}

@InProceedings{baumann_sosp_2009,
  title = {{The multikernel: a new OS architecture for scalable multicore systems}}, 
  author = {Andrew Baumann and Paul Barham and Pierre-Evariste Dagand and Tim Harris and Rebecca Isaacs and Simon Peter and Timothy Roscoe and Adrian Schuepbach and Akhilesh Singhania},
  booktitle = {SOSP '09: Proceedings of the 22nd ACM symposium on Operating systems principles},
  year = {2009},
  month = {October},
  address = {New York, NY, USA},
  publisher = {ACM Press},
  doi = {https://doi.acm.org/10.1145/1629575.1629579},
  location = {Big Sky, MO, USA},
  note = {}
}

@InProceedings{dagand_plos_2009,
  title = {{Filet-o-Fish: practical and dependable domain-specific languages for OS development}}, 
  author = {Pierre-Evariste Dagand and Andrew Baumann and Timothy Roscoe},
  booktitle = {Proceedings of the 5th Workshop on Programming Languages and Operating Systems (PLOS)},
  year = {2009},
  month = {October},
  address = {New York, NY, USA},
  publisher = {ACM Press},
  doi = {https://doi.acm.org/10.1145/1713254.1713263},
  location = {Big Sky, MT, USA},
  note = {}
}

@InProceedings{yin_middleware_2009,
  title = {{Rhizoma: a runtime for self-deploying, self-managing overlays}}, 
  author = {Qin Yin and Adrian Schuepbach and Justin Cappos and Andrew Baumann and Timothy Roscoe},
  booktitle = {Proceedings of ACM Middleware 2009},
  year = {2009},
  month = {October},
  address = {Urbana-Champaign, IL, USA},
  publisher = {ACM Press},
  note = {}
}

@Article{loo_2009,
  title = {{Research highlights: Declarative Networking}}, 
  author = {Boon Thau Loo and Tyson Condie and Minos Garofalakis and David E. Gay and Joseph M. Hellerstein and Petros Maniatis and Raghu Ramakrishnan and Timothy Roscoe and Ion Stoica},
  journal = {Communications of the ACM},
  year = {2009},
  month = {November},
  address = {New York, NY, USA},
  volume = {52},
  number = {11},
  pages = {87-95},
  publisher = {ACM},
  doi = {https://doi.acm.org/10.1145/1592761.1592785},
  note = {}
}

@InProceedings{peter_2010,
  title = {{Design Principles for End-to-End Multicore Schedulers}}, 
  author = {Simon Peter and Adrian Schuepbach and Paul Barham and Andrew Baumann and Rebecca Isaacs and Tim Harris and Timothy Roscoe},
  booktitle = {Proceedings of the 2nd Usenix Workshop on Hot Topics on Parallelism (HotPar '10)},
  year = {2010},
  month = {June},
  location = {Berkeley, CA, USA},
  note = {}
}

@InProceedings{schuepbach_asplos_2011,
  title = {{A Declarative Language Approach to Device Configuration}}, 
  author = {Adrian Schuepbach and Andrew Baumann and Timothy Roscoe and Simon Peter},
  booktitle = {Proceedings of the Sixteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2011)},
  year = {2011},
  month = {March},
  doi = {https://dx.doi.org/10.1145/1950365.1950382},
  location = {Newport Beach, CA, USA},
  note = {}
}

@InProceedings{kuz_hotos_2011,
  title = {{Multicore OS benchmarks: we can do better}}, 
  author = {Ihor Kuz and Zachary Anderson and Pravin Shinde and Timothy Roscoe},
  booktitle = {Proceedings of the 13th Workshop on Hot Topics in Operating Systems (HotOS-XIII)},
  year = {2011},
  month = {May},
  address = {Napa, CA, USA},
  note = {}
}

@InProceedings{mogul_hotos_2011,
  title = {{Mind the Gap: Reconnecting Architecture and OS Research}}, 
  author = {Jeff Mogul and Andrew Baumann and Timothy Roscoe and Livio Soares},
  booktitle = {Proceedings of the 13th Workshop on Hot Topics in Operating Systems (HotOS-XIII)},
  year = {2011},
  month = {May},
  address = {Napa, CA, USA},
  note = {}
}

@InProceedings{ucan_iwqos_2011,
  title = {{Dexferizer: A service for data transfer optimization}}, 
  author = {Ercan Ucan and Timothy Roscoe},
  booktitle = {Proceedings of the ACM/IEEE International Workshop on Quality of Service (IWQOS 2011)},
  year = {2011},
  month = {June},
  address = {San Jose, CA, USA},
  note = {}
}

@InProceedings{yin_apsys_2011,
  title = {{A better way to negotiate for testbed resources}}, 
  author = {Qin Yin and Timothy Roscoe},
  booktitle = {Proceedings of the Second Asia-Pacific Workshop on Systems (APSys '11)},
  year = {2011},
  month = {July},
  address = {New York, NY, USA},
  pages = {19:1--19:5},
  publisher = {ACM Press},
  doi = {https://dx.doi.org/10.1145/2103799.2103822},
  location = {Shanghai, China},
  note = {}
}

@InProceedings{peter_marc_2011,
  title = {{Early experience with the Barrelfish OS and the Single-Chip Cloud Computer}}, 
  author = {Simon Peter and Adrian Schuepbach and Dominik Menzi and Timothy Roscoe},
  booktitle = {Proceedings of the 3rd Intel Multicore Applications Research Community Symposium (MARC)},
  year = {2011},
  month = {July},
  location = {Ettlingen, Germany},
  note = {}
}

@InProceedings{riva_socc_2012,
  title = {{Policy expressivity in the Anzere personal cloud}}, 
  author = {Oriana Riva and Qin Yin and Dejan Juric and Ercan Ucan and Timothy Roscoe},
  booktitle = {Proceedings of the 2nd ACM Symposium on Cloud Computing (SOCC'11)},
  year = {2011},
  month = {October},
  address = {New York, NY, USA},
  pages = {14:1--14:14},
  publisher = {ACM Press},
  doi = {https://dx.doi.org/10.1145/2038916.2038930},
  location = {Cascais, Portugal},
  note = {}
}

@Article{schuepbach_tocs_2012,
  title = {{A Declarative Language Approach to Device Configuration}}, 
  author = {Adrian Schuepbach and Andrew Baumann and Timothy Roscoe and Simon Peter},
  journal = {ACM Transactions on Computer Systems},
  year = {2012},
  month = {February},
  address = {New York, NY, USA},
  volume = {30},
  number = {1},
  pages = {5:1--5:35},
  publisher = {ACM Press},
  doi = {https://dx.doi.org/10.1145/2110356.2110361},
  note = {}
}

@InProceedings{giceva_sfma_2012,
  title = {{Towards Database / Operating System Co-Design}}, 
  author = {Jana Giceva and Adrian Schuepbach and Gustavo Alonso and Timothy Roscoe},
  booktitle = {Proceedings of the 2nd workshop on Systems for Future Multi-core Architectures (SFMA'12)},
  year = {2012},
  month = {April},
  address = {Bern, Switzerland},
  note = {}
}

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

@InProceedings{zellweger_apsys_2012,
  title = {{Unifying Synchronization and Events in a Multicore OS}}, 
  author = {Gerd Zellweger and Adrian Schuepbach and Timothy Roscoe},
  booktitle = {Proceedings of the 3rd Asia-Pacific Workshop on Systems (APSys '12)},
  year = {2012},
  month = {June},
  address = {Seoul, South Korea},
  note = {}
}

@InProceedings{yin_apsys_2012,
  title = {{Towards realistic benchmarks for virtual infrastructure resource allocators}}, 
  author = {Qin Yin and Timothy Roscoe},
  booktitle = {Proceedings of the 3rd Asia-Pacific Workshop on Systems (APSys '12)},
  year = {2012},
  month = {June},
  address = {Seoul, South Korea},
  note = {}
}

@InProceedings{giceva_cidr_2013,
  title = {{COD: Database / Operating System Co-Design}}, 
  author = {Jana Giceva and Tudor-Ioan Salomie and Adrian Schuepbach and Gustavo Alonso and Timothy Roscoe},
  booktitle = {Proceedings of the 6th biennial Conference on Innovative Data Systems Research (CIDR)},
  year = {2013},
  month = {January},
  address = {Asilomar, CA, USA},
  note = {}
}

@InProceedings{salomie_eurosys_2013,
  title = {{Application Level Ballooning for Efficient Server Consolidation}}, 
  author = {Tudor-Ioan Salomie and Gustavo Alonso and Timothy Roscoe and Kevin Elphinstone},
  booktitle = {Proceedings of the ACM European Systems Conference (Eurosys)},
  year = {2013},
  month = {April},
  address = {Prague, Czech Republic},
  note = {}
}

@InProceedings{shinde_hotos_2013,
  title = {{We need to talk about NICs}}, 
  author = {Pravin Shinde and Antoine Kaufmann and Timothy Roscoe and Stefan Kaestle},
  booktitle = {Proceedings of the 14th USENIX conference on Hot Topics in Operating Systems},
  year = {2013},
  month = {April},
  address = {Santa Ana Pueblo, New Mexico, USA},
  note = {}
}

@InProceedings{ucan_netys_2013,
  title = {{Establishing Efficient Routes between Personal Clouds}}, 
  author = {Ercan Ucan and Timothy Roscoe},
  booktitle = {Proceedings of the First International Conference on Networked Systems (NETYS)},
  year = {2013},
  month = {May},
  address = {Marrakech, Morocco},
  pages = {74-88},
  publisher = {Springer},
  doi = {https://dx.doi.org/10.1007/978-3-642-40148-0_6},
  note = {}
}

@InProceedings{shinde_plos_2013,
  title = {{Modeling NICs with Unicorn}}, 
  author = {Pravin Shinde and Antoine Kaufmann and Kornilios Kourtis and Timothy Roscoe},
  booktitle = {Proceedings of the 7th Workshop on Programming Languages and Operating Systems (PLOS 2013)},
  year = {2013},
  month = {November},
  address = {Nemacolin Woodlands Resort, Pennsylvania, USA},
  note = {}
}

@InProceedings{chothia_apsys_2014,
  title = {{Grok the Data Center}}, 
  author = {Zaheer Chothia and Qin Yin and Timothy Roscoe},
  booktitle = {Proceedings of the 5th Asia-Pacific Workshop on Systems (APSys '14)},
  year = {2014},
  month = {June},
  address = {Beijing, China},
  note = {}
}

@InProceedings{baumann_trios_2014,
  title = {{Cosh: Clear OS Data Sharing In An Incoherent World}}, 
  author = {Andrew Baumann and Chris Hawblitzel and Kornilios Kourtis and Tim Harris and Timothy Roscoe},
  booktitle = {Proceedings of the 2014 Conference on Timely Results in Operating Systems (TRIOS 2014)},
  year = {2014},
  month = {October},
  address = {Broomfield, Colorado, USA},
  note = {}
}

@InProceedings{zellweger_osdi_2014,
  title = {{Decoupling Cores, Kernels, and Operating Systems}}, 
  author = {Gerd Zellweger and Simon Gerber and Kornilios Kourtis and Timothy Roscoe},
  booktitle = {11th Symposium on Operating Systems Design and Implementation (OSDI'14)},
  year = {2014},
  month = {October},
  address = {Broomfield, Colorado, USA},
  note = {}
}

@InProceedings{peter_osdi_2014,
  title = {{Arrakis: The Operating System is the Control Plane}}, 
  author = {Simon Peter and Jialin Li and Irene Zhang and Dan R. K. Ports and Doug Woos and Arvind Krishnamurthy and Thomas Anderson and Timothy Roscoe},
  booktitle = {11th Symposium on Operating Systems Design and Implementation (OSDI'14)},
  year = {2014},
  month = {October},
  address = {Broomfield, Colorado, USA},
  note = {}
}

@InProceedings{giceva_vldb_2015,
  title = {{Deployment of query plans on multicores}}, 
  author = {Jana Giceva and Gustavo Alonso and Timothy Roscoe and Tim Harris},
  booktitle = {VLDB 2015},
  journal = {Proceedings of the VLDB Endowment},
  year = {2015},
  month = {August},
  address = {Hawaii},
  volume = {8},
  number = {3},
  pages = {233-244},
  issn = {2150-8097},
  note = {}
}

@InProceedings{hoefler_hotos_2015,
  title = {{Distributing the Data Plane for Remote Storage Access}}, 
  author = {Torsten Hoefler and Robert B. Ross and Timothy Roscoe},
  booktitle = {Proceedings of the 15th Workshop on Hot Topics in Operating Systems (HotOS-XV)},
  year = {2015},
  month = {May},
  address = {Kartause Ittingen, Switzerland},
  note = {}
}

@InProceedings{gerber_hotos_2015,
  title = {{Not Your Parents' Physical Address Space}}, 
  author = {Simon Gerber and Gerd Zellweger and Reto Achermann and Kornilios Kourtis and Timothy Roscoe and Dejan Milojicic},
  booktitle = {Proceedings of the 15th Workshop on Hot Topics in Operating Systems (HotOS-XV)},
  year = {2015},
  month = {May},
  address = {Kartause Ittingen, Switzerland},
  note = {}
}

@InProceedings{kaestle_atc_2015,
  title = {{Shoal: Smart Allocation and Replication of Memory for Parallel Programs}}, 
  author = {Stefan Kaestle and Reto Achermann and Timothy Roscoe and Timothy L. Harris},
  booktitle = {Proceedings of the 2015 USENIX Annual Technical Conference},
  year = {2015},
  month = {July},
  address = {Santa Clara, CA, USA},
  note = {}
}

@InProceedings{kourtis_trios_2015,
  title = {{Intelligent NIC Queue Management in the DragonNet Network Stack}}, 
  author = {Kornilios Kourtis and Pravin Shinde and Antoine Kaufmann and Timothy Roscoe},
  booktitle = {Proceedings of the 2015 Conference on Timely Results in Operating Systems (TRIOS 2015)},
  year = {2015},
  month = {October},
  address = {Monterey, California, USA},
  note = {}
}

@Article{milojicic,
  title = {{Outlook on Operating Systems}}, 
  author = {Dejan Milojicic and Timothy Roscoe},
  journal = {Computer},
  year = {2016},
  month = {January},
  address = {Los Alamitos, CA, USA},
  volume = {49},
  number = {1},
  pages = {43--51},
  publisher = {IEEE Computer Society Press},
  doi = {https://dx.doi.org/10.1109/MC.2016.19},
  issn = {0018-9162},
  note = {}
}

@InProceedings{elhajj_asplos_2016,
  title = {{SpaceJMP: Programming with Multiple Virtual Address Spaces}}, 
  author = {Izzat El Hajj and Alexander Merritt and Gerd Zellweger and Dejan Milojicic and Reto Achermann and Paolo Faraboschi and Wen-mei Hwu and Timothy Roscoe and Karsten Schwan},
  booktitle = {Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2016)},
  year = {2017},
  month = {March},
  doi = {https://doi.acm.org/10.1145/2980024.2872366},
  location = {Atlanta, Georgia, USA},
  note = {}
}

@Article{peter_tocs_2016,
  title = {{Arrakis: The Operating System is the Control Plane}}, 
  author = {Simon Peter and Jialin Li and Irene Zhang and Dan R. K. Ports and Doug Woos and Arvind Krishnamurthy and Thomas Anderson and Timothy Roscoe},
  journal = {ACM Transactions on Computer Systems},
  year = {2016},
  month = {January},
  address = {New York, NY, USA},
  volume = {33},
  number = {4},
  pages = {11:1--11:30},
  publisher = {ACM Press},
  doi = {https://dx.doi.org/10.1145/2812806},
  note = {}
}

@InProceedings{giceva_damon_2016,
  title = {{Customized OS support for data-processing}}, 
  author = {Jana Giceva and Gerd Zellweger and Gustavo Alonso and Timothy Roscoe},
  booktitle = { Proceedings of the 12th International Workshop on Data Management on New Hardware (DaMoN '16)},
  year = {2016},
  month = {June},
  doi = {https://dx.doi.org/10.1145/2933349.2933351},
  note = {}
}

@InProceedings{chothia_vldb_2016,
  title = {{Explaining Outputs in Modern Data Analytics}}, 
  author = {Zaheer Chothia and John Liagouris and Frank McSherry and Timothy Roscoe},
  journal = {PVLDB},
  year = {2016},
  volume = {9},
  number = {12},
  pages = {1137-1148},
  doi = {https://doi.org/10.14778/2994509.2994530},
  note = {}
}

@InProceedings{zellweger_apsys_2016,
  title = {{So many performance events, so little time}}, 
  author = {Gerd Zellweger and Denny Lin and Timothy Roscoe},
  booktitle = {Proceedings of the 7th ACM SIGOPS Asia-Pacific Workshop on Systems (APSys '16)},
  year = {2016},
  month = {August},
  address = {Hong Kong, China},
  doi = {https://doi.org/10.1145/2967360.2967375},
  note = {}
}

@InProceedings{kaestle_osdi_2016,
  title = {{Machine-Aware Atomic Broadcast Trees for Multicores}}, 
  author = {Stefan Kaestle and Reto Achermann and Roni Haecki and Moritz Hoffmann and Sabela Ramos and Timothy Roscoe},
  booktitle = {Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI'02)},
  year = {2016},
  month = {November},
  pages = {33-48},
  location = {Savannah, GA, USA},
  note = {}
}

@InProceedings{chothia_eurosys_2017,
  title = {{Online Reconstruction of Structural Information from Datacenter Logs}}, 
  author = {Zaheer Chothia and John Liagouris and Desislava Dimitrova and Timothy Roscoe},
  booktitle = {Proceedings of the ACM European Systems Conference (Eurosys 2017)},
  year = {2017},
  month = {April},
  address = {Belgrade, Serbia},
  doi = {https://doi.org/10.1145/3064176.3064195},
  note = {}
}

@InProceedings{achermann_mars_2017,
  title = {{Formalizing Memory Accesses and Interrupts}}, 
  author = {Reto Achermann and Lukas Humbel and David Cock and Timothy Roscoe},
  booktitle = {2nd Workshop on Models for Formal Analysis of Real Systems (MARS 2017)},
  year = {2017},
  month = {April},
  address = {Uppsala, Sweden},
  doi = {https://dx.doi.org/10.4204/EPTCS.244.4},
  note = {}
}

@InProceedings{achermann_hotos_2017,
  title = {{Separating Translation from Protection in Address Spaces with Dynamic Remapping}}, 
  author = {Reto Achermann and Chris Dalton and Paolo Faraboschi and Moritz Hoffmann and Dejan Milojicic and Geoffrey Ndu and Alexander Richardson and Timothy Roscoe and Adrian L. Shaw and Robert N. M. Watson},
  booktitle = {Proceedings of the 16th Workshop on Hot Topics in Operating Systems (HotOS-XVI)},
  year = {2017},
  month = {May},
  address = {Whistler, BC, Canada},
  note = {}
}

@InProceedings{humbel_plos_2017,
  title = {{Towards Correct-by-Construction Interrupt Routing on Real Hardware}}, 
  author = {Lukas Humbel and Reto Achemann and David Cock and Timothy Roscoe},
  booktitle = {9th Workshop on Programming Languages and Operating Systems (PLOS 2017)},
  year = {2017},
  month = {October},
  address = {Shanghai, China},
  note = {}
}

@InProceedings{hoffmann_nsdi_2018,
  title = {{SnailTrail: Generalizing Critical Paths for Online Analysis of Distributed
Dataflows}}, 
  author = {Moritz Hoffmann and Andrea Lattuada and John Liagouris and Vasiliki Kalavri and Desislava Dimitrova and Sebastian Wicki and Zaheer Chothia and Timothy Roscoe},
  booktitle = {Proceedings of the 15th Symposium on Networked Systems Design and Implementation (NSDI'18)},
  year = {2018},
  month = {April},
  address = {Renton, WA, USA},
  note = {}
}

@InProceedings{achermann_itp_2018,
  title = {{Physical Addressing on Real Hardware in Isabelle/HOL}}, 
  author = {Reto Achemann and Lukas Humbel and David Cock and Timothy Roscoe},
  booktitle = {9th International Conference on Interactive Theorem Proving},
  year = {2018},
  month = {July},
  address = {Oxford, United Kingdom},
  note = {}
}

@InProceedings{kalavri_osdi_2018,
  title = {{Three steps is all you need: fast, accurate, automatic scaling decisions for
  distributed streaming dataflows}}, 
  author = {Vasia Kalavri and John Liagouris and Moritz Hoffmann and Desislava Dimitrova and Matthew Forshaw and Timothy Roscoe},
  booktitle = {13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 2018)},
  year = {2018},
  month = {October},
  address = {Carlsbad, CA, USA},
  note = {}
}

@InProceedings{baumann_hotos_2019,
  title = {{A fork() in the road}}, 
  author = {Andrew Baumann and Jonathan Appavoo and Orran Krieger and Timothy Roscoe},
  booktitle = {Proceedings of the 17th Workshop on Hot Topics in Operating Systems (HotOS-XVII)},
  year = {2019},
  month = {May},
  address = {Bertinoro, Italy},
  note = {}
}

@Article{bresniker_ieeecomp_2019,
  title = {{Rack-Scale Capabilities: Fine-Grained Protection for Large-Scale Memories}}, 
  author = {Kirk M. Bresniker and Paolo Faraboschi and Avi Mendelson and Dejan S. Milojicic and Timothy Roscoe and Robert N. M. Watson},
  journal = {IEEE Computer},
  year = {2019},
  month = {March},
  volume = {52},
  number = {2},
  pages = {52-62},
  publisher = {IEEE Computer Society},
  doi = {https://doi.org/10.1109/MC.2018.2888769},
  issn = {0018-9162},
  note = {}
}

@InProceedings{alonso_cidr_2020,
  title = {{Tackling Hardware/Software co-design from a database perspective}}, 
  author = {Gustavo Alonso and Timothy Roscoe and David Cock and Mohsen Owaida and Kaan Kara and Dario Korolija and David Sidler and Zeke Wang},
  booktitle = {Proceedings of the 6th biennial Conference on Innovative Data Systems Research (CIDR)},
  year = {2020},
  month = {January},
  address = {Amsterdam, Netherlands},
  note = {}
}

@Article{hoffmann-vldb-2019,
  title = {{Megaphone: Latency-conscious state migration for distributed streaming dataflows}}, 
  author = {Moritz Hoffmann and Andrea Lattuada and Frank McSherry and Vasiliki Kalavri and John Liagouris and Timothy Roscoe},
  journal = {PVLDB},
  year = {2019},
  volume = {12},
  number = {9},
  pages = {1002-1015},
  doi = {https://doi.org/10.14778/3329772.3329777},
  note = {}
}

@Article{azriel-taco-2019,
  title = {{Memory-Side Protection With a Capability Enforcement Co-Processor}}, 
  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},
  journal = {ACM Transactions on Architecture and Code Optimization (TACO)},
  year = {2019},
  address = {New York, NY, USA},
  volume = {16},
  number = {1},
  pages = {5:1-5:26},
  publisher = {ACM Press},
  doi = {https://doi.org/10.1145/3302257},
  note = {}
}

@Article{mcsherry-vldb-2020,
  title = {{Shared arrangements: practical inter-query sharing for streaming dataflows}}, 
  author = {Frank McSherry and Andrea Lattuada and Malte Schwarzkopf and Timothy Roscoe},
  journal = {Proceedings of the VLDB Endowment},
  year = {2020},
  month = {June},
  volume = {13},
  number = {10},
  pages = {1793–1806},
  doi = {https://doi.org/10.14778/3401960.3401974},
  note = {}
}

@InProceedings{achermann-asplos-2020,
  title = {{Mitosis: Transparently Self-Replicating Page-Tables for Large-Memory Machines}}, 
  author = {Reto Achermann and Ashish Panwar and Abhishek Bhattacharjee and Timothy Roscoe and Jayneel Gandhi},
  booktitle = {ASPLOS '20: Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems},
  year = {2020},
  month = {March},
  pages = {283–300},
  doi = {https://doi.org/10.1145/3373376.3378468},
  note = {}
}

@InProceedings{korolija-spma-2020,
  title = {{LynX: A Flexible FPGA Virtualization Framework for Heterogeneous Systems}}, 
  author = {Dario Korolija and Gustavo Alonso and Timothy Roscoe},
  booktitle = {Proceedings of the 10th Workshop on Systems for Post-Moore Architectures (SPMA 20)},
  year = {2020},
  month = {April},
  address = {Heraklion, Greece},
  note = {}
}

@InProceedings{korolija-osdi-2020,
  title = {{Do OS abstractions make sense on FPGAs?}}, 
  author = {Dario Korolija and Timothy Roscoe and Gustavo Alonso},
  booktitle = {14th USENIX Symposium on Operating Systems Design and Implementation (OSDI'20)},
  year = {2020},
  month = {November},
  pages = {991-1010},
  publisher = {USENIX Association},
  isbn = {978-1-939133-19-9},
  note = {}
}

@InProceedings{ramdas-latte-2021,
  title = {{The Enzian Coherent Interconnect (ECI): Opening a coherence protocol to research and applications}}, 
  author = {Abishek Ramdas and David Cock and Timothy Roscoe and Gustavo Alonso},
  booktitle = {Proceedings of the 2021 Workshop on Languages, Tools, and Techniques for Accelerator Design (LATTE '21)},
  year = {2021},
  month = {April},
  note = {}
}

@InProceedings{achermann-hotos-2021,
  title = {{mmapx: uniform memory protection in a heterogeneous world}}, 
  author = {Reto Achermann and David Cock and Roni Haecki and Nora Hossle and Lukas Humbel and Timothy Roscoe and Daniel Schwyn},
  booktitle = {HotOS '21: Proceedings of the Workshop on Hot Topics in Operating Systems},
  year = {2021},
  month = {June},
  pages = {159–166},
  doi = {https://doi.org/10.1145/3458336.3465273},
  note = {}
}

@InProceedings{humbel-spin-2021,
  title = {{A model-checked I2C specification}}, 
  author = {Lukas Humbel and Daniel Schwyn and Nora Hossle and Roni Häcki and Melissa Licciardello and Jan Schär and David Cock and Michael Giardino and Timothy Roscoe},
  booktitle = {Proceedings of the 27th International SPIN Symposium on Model Checking of Software},
  year = {2021},
  month = {July},
  note = {}
}

@Article{schult-emsoft-2021,
  title = {{Declarative Power Sequencing}}, 
  author = {Jasmin Schult and Daniel Schwyn and Michael Giardino and David Cock and Reto Achermann and Timothy Roscoe},
  journal = {ACM Transactions on Embedded Computing Systems},
  year = {2021},
  month = {October},
  address = {New York, NY, USA},
  volume = {20},
  number = {5s},
  pages = {1--21},
  publisher = {ACM Press},
  doi = {https://doi.org/10.1145/3477039},
  issn = {1539-9087},
  note = {}
}

@Article{acherman-plos-2021,
  title = {{Generating Correct Initial Page Tables from Formal Hardware Descriptions}}, 
  author = {Reto Achermann and David Cock and Roni Haecki and Nora Hossle and Lukas Humbel and Timothy Roscoe and Daniel Schwyn},
  booktitle = {Proceedings of the 11th Workshop on Programming Languages and Operating Systems},
  year = {2021},
  address = {New York, NY, USA},
  pages = {69–-75},
  publisher = {Association for Computing Machinery},
  doi = {https://doi.org/10.1145/3477113.3487270},
  isbn = {9781450387071},
  note = {}
}

@InProceedings{cock-asplos-2022,
  title = {{Enzian: an open, general, CPU/FPGA platform for systems software}}, 
  author = {David 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},
  booktitle = {ASPLOS '22: Proceedings of the Twenty-Seventh International Conference on Architectural Support for Programming Languages and Operating Systems},
  year = {2022},
  month = {February},
  doi = {https://doi.org/10.1145/3503222.3507742},
  note = {}
}

@InProceedings{haecki-nsdi-2022,
  title = {{How to diagnose nanosecond network latencies in rich end-host stacks}}, 
  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},
  booktitle = {NSDI '22: Proceedings of the 19th USENIX Symposium on Networked Systems Design and Implementation},
  year = {2022},
  month = {April},
  pages = {861-877},
  publisher = {USENIX Association},
  isbn = {978-1-939133-27-4},
  note = {}
}

@InProceedings{hotos23-dumpster,
  title = {{Putting out the hardware dumpster fire}}, 
  author = {Ben Fiedler and Daniel Schwyn and Constantin Gierczak-Galle and David Cock and Timothy Roscoe},
  booktitle = {HotOS '23: Proceedings of the Workshop on Hot Topics in Operating Systems},
  year = {2023},
  month = {June},
  pages = {46-52},
  doi = {https://dl.acm.org/doi/10.1145/3593856.3595903},
  note = {}
}

@InProceedings{kisv23-defacto,
  title = {{Specifying the de-facto OS of a production SoC}}, 
  author = {Ben Fiedler and Roman Meier and Jasmin Schult and Daniel Schwyn and Timothy Roscoe},
  booktitle = {Proceedings of the 1st Workshop on Kernel Isolation, Safety and Verification (KISV '23)},
  year = {2023},
  month = {October},
  address = {New York, NY, USA},
  pages = {18-25},
  publisher = {Association for Computing Machinery},
  doi = {https://doi.org/10.1145/3625275.3625400},
  note = {}
}

@InProceedings{socc23-faaf,
  title = {{Function as a Function}}, 
  author = {Tom Kuchler and Michael Giardino and Timothy Roscoe and Ana Klimovic},
  booktitle = {Proceedings of the 2023 ACM Symposium on Cloud Computing (SoCC '23)},
  year = {2023},
  address = {New York, NY, USA},
  pages = {81–92},
  publisher = {Association for Computing Machinery},
  doi = {https://doi.org/10.1145/3620678.3624648},
  isbn = {9798400703874},
  note = {}
}