Timothy Roscoe

According to our database, Timothy Roscoe authored at least 115 papers between 1994 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Specifying the de-facto OS of a production SoC.

Ben Fiedler, Roman Meier, Jasmin Schult, Daniel Schwyn, Timothy Roscoe

Proceedings of the 1st Workshop on Kernel Isolation, Safety and Verification, 2023

Putting out the hardware dumpster fire.

Ben Fiedler, Daniel Schwyn, Constantin Gierczak-Galle, David A. Cock, Timothy Roscoe

Proceedings of the 19th Workshop on Hot Topics in Operating Systems, 2023

Function as a Function.

Tom Kuchler, Michael Giardino, Timothy Roscoe, Ana Klimovic

Proceedings of the 2023 ACM Symposium on Cloud Computing, SoCC 2023, 2023

2022

ECI: a Customizable Cache Coherency Stack for Hybrid FPGA-CPU Architectures.

Abishek Ramdas, Michael Giardino, Runbin Shi, Adam Turowski, David A. Cock, Gustavo Alonso, Timothy Roscoe

CoRR, 2022

How to diagnose nanosecond network latencies in rich end-host stacks.

Roni Haecki, Radhika Niranjan Mysore, Lalith Suresh, Gerd Zellweger, Bo Gan, Timothy Merrifield, Sujata Banerjee, Timothy Roscoe

Proceedings of the 19th USENIX Symposium on Networked Systems Design and Implementation, 2022

Enzian: an open, general, CPU/FPGA platform for systems software research.

David A. Cock, Abishek Ramdas, Daniel Schwyn, Michael Giardino, Adam Turowski, Zhenhao He, Nora Hossle, Dario Korolija, Melissa Licciardello, Kristina Martsenko, Reto Achermann, Gustavo Alonso, Timothy Roscoe

Proceedings of the ASPLOS '22: 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Lausanne, Switzerland, 28 February 2022, 2022

2021

Declarative Power Sequencing.

Jasmin Schult, Daniel David Schwyn, Michael Giardino, David A. Cock, Reto Achermann, Timothy Roscoe

ACM Trans. Embed. Comput. Syst., 2021

A Model-Checked I²C Specification.

Lukas Humbel, Daniel David Schwyn, Nora Hossle, Roni Haecki, Melissa Licciardello, Jan Schaer, David A. Cock, Michael Giardino, Timothy Roscoe

Proceedings of the Model Checking Software - 27th International Symposium, 2021

Generating correct initial page tables from formal hardware descriptions.

Reto Achermann, David A. Cock, Roni Haecki, Nora Hossle, Lukas Humbel, Timothy Roscoe, Daniel David Schwyn

Proceedings of the PLOS '21: Proceedings of the 11th Workshop on Programming Languages and Operating Systems, 2021

mmapx: uniform memory protection in a heterogeneous world.

Reto Achermann, David A. Cock, Roni Haecki, Nora Hossle, Lukas Humbel, Timothy Roscoe, Daniel David Schwyn

Proceedings of the HotOS '21: Workshop on Hot Topics in Operating Systems, 2021

2020

Shared Arrangements: practical inter-query sharing for streaming dataflows.

Frank McSherry, Andrea Lattuada, Malte Schwarzkopf, Timothy Roscoe

Proc. VLDB Endow., 2020

Secure Memory Management on Modern Hardware.

Reto Achermann, Nora Hossle, Lukas Humbel, Daniel David Schwyn, David A. Cock, Timothy Roscoe

CoRR, 2020

Do OS abstractions make sense on FPGAs?

Dario Korolija, Timothy Roscoe, Gustavo Alonso

Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation, 2020

Tackling Hardware/Software co-design from a database perspective.

Gustavo Alonso, Timothy Roscoe, David A. Cock, Mohsen Ewaida, Kaan Kara, Dario Korolija, David Sidler, Zeke Wang

Proceedings of the 10th Conference on Innovative Data Systems Research, 2020

Mitosis: Transparently Self-Replicating Page-Tables for Large-Memory Machines.

Reto Achermann, Ashish Panwar, Abhishek Bhattacharjee, Timothy Roscoe, Jayneel Gandhi

Proceedings of the ASPLOS '20: Architectural Support for Programming Languages and Operating Systems, 2020

2019

Memory-Side Protection With a Capability Enforcement Co-Processor.

Leonid Azriel, Lukas Humbel, Reto Achermann, Alex Richardson, Moritz Hoffmann, Avi Mendelson, Timothy Roscoe, Robert N. M. Watson, Paolo Faraboschi, Dejan S. Milojicic

ACM Trans. Archit. Code Optim., 2019

Megaphone: Latency-conscious state migration for distributed streaming dataflows.

Moritz Hoffmann, Andrea Lattuada, Frank McSherry, Vasiliki Kalavri, John Liagouris, Timothy Roscoe

Proc. VLDB Endow., 2019

CleanQ: a lightweight, uniform, formally specified interface for intra-machine data transfer.

Roni Haecki, Lukas Humbel, Reto Achermann, David A. Cock, Daniel David Schwyn, Timothy Roscoe

CoRR, 2019

Cichlid: Explicit physical memory management for large machines.

Simon Gerber, Gerd Zellweger, Reto Achermann, Moritz Hoffmann, Kornilios Kourtis, Timothy Roscoe, Dejan S. Milojicic

CoRR, 2019

A Least-Privilege Memory Protection Model for Modern Hardware.

Reto Achermann, Nora Hossle, Lukas Humbel, Daniel David Schwyn, David A. Cock, Timothy Roscoe

CoRR, 2019

Rack-Scale Capabilities: Fine-Grained Protection for Large-Scale Memories.

Kirk M. Bresniker, Paolo Faraboschi, Avi Mendelson, Dejan S. Milojicic, Timothy Roscoe, Robert N. M. Watson

Computer, 2019

A fork() in the road.

Andrew Baumann, Jonathan Appavoo, Orran Krieger, Timothy Roscoe

Proceedings of the Workshop on Hot Topics in Operating Systems, 2019

2018

Declarative Networking.

Timothy Roscoe, Boon Thau Loo

Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Megaphone: Live state migration for distributed streaming dataflows.

Moritz Hoffmann, Andrea Lattuada, Frank McSherry, Vasiliki Kalavri, John Liagouris, Timothy Roscoe

CoRR, 2018

DeltaPath: dataflow-based high-performance incremental routing.

Desislava C. Dimitrova, John Liagouris, Sebastian Wicki, Moritz Hoffmann, Vasiliki Kalavri, Timothy Roscoe

CoRR, 2018

Three steps is all you need: fast, accurate, automatic scaling decisions for distributed streaming dataflows.

Vasiliki Kalavri, John Liagouris, Moritz Hoffmann, Desislava C. Dimitrova, Matthew Forshaw, Timothy Roscoe

Proceedings of the 13th USENIX Symposium on Operating Systems Design and Implementation, 2018

SnailTrail: Generalizing Critical Paths for Online Analysis of Distributed Dataflows.

Moritz Hoffmann, Andrea Lattuada, John Liagouris, Vasiliki Kalavri, Desislava C. Dimitrova, Sebastian Wicki, Zaheer Chothia, Timothy Roscoe

Proceedings of the 15th USENIX Symposium on Networked Systems Design and Implementation, 2018

Physical Addressing on Real Hardware in Isabelle/HOL.

Reto Achermann, Lukas Humbel, David A. Cock, Timothy Roscoe

Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018

2017

Formalizing Memory Accesses and Interrupts.

Reto Achermann, Lukas Humbel, David A. Cock, Timothy Roscoe

Proceedings of the Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems, 2017

Towards Correct-by-Construction Interrupt Routing on Real Hardware.

Lukas Humbel, Reto Achermann, David A. Cock, Timothy Roscoe

Proceedings of the 9th Workshop on Programming Languages and Operating Systems, 2017

Quick Incremental Routing Logic for Dynamic Network Graphs.

Desislava C. Dimitrova, John Liagouris, Moritz Hoffmann, Vasiliki Kalavri, Sebastian Wicki, Timothy Roscoe

Proceedings of the Posters and Demos Proceedings of the Conference of the ACM Special Interest Group on Data Communication, 2017

Separating Translation from Protection in Address Spaces with Dynamic Remapping.

Reto Achermann, Chris I. Dalton, Paolo Faraboschi, Moritz Hoffmann, Dejan S. Milojicic, Geoffrey Ndu, Alex Richardson, Timothy Roscoe, Adrian L. Shaw, Robert N. M. Watson

Proceedings of the 16th Workshop on Hot Topics in Operating Systems, 2017

Online Reconstruction of Structural Information from Datacenter Logs.

Zaheer Chothia, John Liagouris, Desislava C. Dimitrova, Timothy Roscoe

Proceedings of the Twelfth European Conference on Computer Systems, 2017

2016

Arrakis: The Operating System Is the Control Plane.

Simon Peter, Jialin Li, Irene Zhang, Dan R. K. Ports, Doug Woos, Arvind Krishnamurthy, Thomas E. Anderson, Timothy Roscoe

ACM Trans. Comput. Syst., 2016

Explaining Outputs in Modern Data Analytics.

Zaheer Chothia, John Liagouris, Frank McSherry, Timothy Roscoe

Proc. VLDB Endow., 2016

Outlook on Operating Systems.

Dejan S. Milojicic, Timothy Roscoe

Computer, 2016

Machine-Aware Atomic Broadcast Trees for Multicores.

Stefan Kaestle, Reto Achermann, Roni Haecki, Moritz Hoffmann, Sabela Ramos, Timothy Roscoe

Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation, 2016

Customized OS support for data-processing.

Jana Giceva, Gerd Zellweger, Gustavo Alonso, Timothy Roscoe

Proceedings of the 12th International Workshop on Data Management on New Hardware, 2016

SpaceJMP: Programming with Multiple Virtual Address Spaces.

Izzat El Hajj, Alexander Merritt, Gerd Zellweger, Dejan S. Milojicic, Reto Achermann, Paolo Faraboschi, Wen-mei W. Hwu, Timothy Roscoe, Karsten Schwan

Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems, 2016

So many performance events, so little time.

Gerd Zellweger, Denny Lin, Timothy Roscoe

Proceedings of the 7th ACM SIGOPS Asia-Pacific Workshop on Systems, 2016

2015

Shoal: Smart Allocation and Replication of Memory For Parallel Programs.

Stefan Kaestle, Reto Achermann, Timothy Roscoe, Tim Harris

Proceedings of the 2015 USENIX Annual Technical Conference, 2015

Distributing the Data Plane for Remote Storage Access.

Torsten Hoefler, Robert B. Ross, Timothy Roscoe

Proceedings of the 15th Workshop on Hot Topics in Operating Systems, 2015

Not Your Parents' Physical Address Space.

Simon Gerber, Gerd Zellweger, Reto Achermann, Kornilios Kourtis, Timothy Roscoe, Dejan S. Milojicic

Proceedings of the 15th Workshop on Hot Topics in Operating Systems, 2015

2014

Deployment of Query Plans on Multicores.

Jana Giceva, Gustavo Alonso, Timothy Roscoe, Tim Harris

Proc. VLDB Endow., 2014

Decoupling Cores, Kernels, and Operating Systems.

Gerd Zellweger, Simon Gerber, Kornilios Kourtis, Timothy Roscoe

Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation, 2014

Cosh: Clear OS Data Sharing In An Incoherent World.

Andrew Baumann, Chris Hawblitzel, Kornilios Kourtis, Tim Harris, Timothy Roscoe

Proceedings of the 2014 Conference on Timely Results in Operating Systems, 2014

Grok the data center.

Zaheer Chothia, Qin Yin, Timothy Roscoe

Proceedings of the Asia-Pacific Workshop on Systems, 2014

2013

Modeling NICs with Unicorn.

Pravin Shinde, Antoine Kaufmann, Kornilios Kourtis, Timothy Roscoe

Proceedings of the Seventh Workshop on Programming Languages and Operating Systems, 2013

Establishing Efficient Routes between Personal Clouds.

Ercan Ucan, Timothy Roscoe

Proceedings of the Networked Systems - First International Conference, 2013

We Need to Talk About NICs.

Pravin Shinde, Antoine Kaufmann, Timothy Roscoe, Stefan Kaestle

Proceedings of the 14th Workshop on Hot Topics in Operating Systems, 2013

Application level ballooning for efficient server consolidation.

Tudor-Ioan Salomie, Gustavo Alonso, Timothy Roscoe, Kevin Elphinstone

Proceedings of the Eighth Eurosys Conference 2013, 2013

COD: Database / Operating System Co-Design.

Jana Giceva, Tudor-Ioan Salomie, Adrian Schüpbach, Gustavo Alonso, Timothy Roscoe

Proceedings of the Sixth Biennial Conference on Innovative Data Systems Research, 2013

2012

A Declarative Language Approach to Device Configuration.

Adrian Schüpbach, Andrew Baumann, Timothy Roscoe, Simon Peter

ACM Trans. Comput. Syst., 2012

VF2x: Fast, Efficient Virtual Network Mapping for Real Testbed Workloads.

Qin Yin, Timothy Roscoe

Proceedings of the Testbeds and Research Infrastructure. Development of Networks and Communities, 2012

Supercomputing operating systems: a naive view from over the fence.

Timothy Roscoe

Proceedings of the 2nd International Workshop on Runtime and Operating Systems for Supercomputers, 2012

Unifying synchronization and events in a multicore OS.

Gerd Zellweger, Adrian Schüpbach, Timothy Roscoe

Proceedings of the Asia-Pacific Workshop on Systems, 2012

Towards realistic benchmarks for virtual infrastructure resource allocators.

Qin Yin, Timothy Roscoe

Proceedings of the Asia-Pacific Workshop on Systems, 2012

2011

Early experience with the Barrelfish OS and the Single-Chip Cloud Computer.

Simon Peter, Adrian Schüpbach, Dominik Menzi, Timothy Roscoe

Proceedings of the 3rd Many-core Applications Research Community (MARC) Symposium. Proceedings of the 3rd MARC Symposium, 2011

Dexferizer: A service for data transfer optimization.

Ercan Ucan, Timothy Roscoe

Proceedings of the 19th International Workshop on Quality of Service, 2011

Mind the Gap: Reconnecting Architecture and OS Research.

Jeffrey C. Mogul, Andrew Baumann, Timothy Roscoe, Livio Soares

Proceedings of the 13th Workshop on Hot Topics in Operating Systems, 2011

Policy expressivity in the Anzere personal cloud.

Oriana Riva, Qin Yin, Dejan Juric, Ercan Ucan, Timothy Roscoe

Proceedings of the ACM Symposium on Cloud Computing in conjunction with SOSP 2011, 2011

SWissBox: An Architecture for Data Processing Appliances.

Gustavo Alonso, Donald Kossmann, Timothy Roscoe

Proceedings of the Fifth Biennial Conference on Innovative Data Systems Research, 2011

A better way to negotiate for testbed resources.

Qin Yin, Timothy Roscoe

Proceedings of the APSys '11 Asia Pacific Workshop on Systems, 2011

2009

Declarative Networking.

Timothy Roscoe

Proceedings of the Encyclopedia of Database Systems, 2009

Resource overbooking and application profiling in a shared Internet hosting platform.

Bhuvan Urgaonkar, Prashant J. Shenoy, Timothy Roscoe

ACM Trans. Internet Techn., 2009

Filet-o-fish: practical and dependable domain-specific languages for OS development.

Pierre-Évariste Dagand, Andrew Baumann, Timothy Roscoe

ACM SIGOPS Oper. Syst. Rev., 2009

Declarative networking.

Boon Thau Loo, Tyson Condie, Minos N. Garofalakis, David E. Gay, Joseph M. Hellerstein, Petros Maniatis, Raghu Ramakrishnan, Timothy Roscoe, Ion Stoica

Commun. ACM, 2009

The multikernel: a new OS architecture for scalable multicore systems.

Andrew Baumann, Paul Barham, Pierre-Évariste Dagand, Tim Harris, Rebecca Isaacs, Simon Peter, Timothy Roscoe, Adrian Schüpbach, Akhilesh Singhania

Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, 2009

Rhizoma: A Runtime for Self-deploying, Self-managing Overlays.

Qin Yin, Adrian Schüpbach, Justin Cappos, Andrew Baumann, Timothy Roscoe

Proceedings of the Middleware 2009, ACM/IFIP/USENIX, 10th International Middleware Conference, Urbana, IL, USA, November 30, 2009

Your computer is already a distributed system. Why isn't your OS?

Andrew Baumann, Simon Peter, Adrian Schüpbach, Akhilesh Singhania, Timothy Roscoe, Paul Barham, Rebecca Isaacs

Proceedings of HotOS'09: 12th Workshop on Hot Topics in Operating Systems, 2009

2008

The ETH Zurich systems group and enterprise computing center.

Gustavo Alonso, Donald Kossmann, Timothy Roscoe, Nesime Tatbul, Andrew Baumann, Carsten Binnig, Peter M. Fischer, Oriana Riva, Jens Teubner

SIGMOD Rec., 2008

BFT Protocols Under Fire.

Atul Singh, Tathagata Das, Petros Maniatis, Peter Druschel, Timothy Roscoe

Proceedings of the 5th USENIX Symposium on Networked Systems Design & Implementation, 2008

Dependable Self-Hosting Distributed Systems Using Constraints.

Qin Yin, Justin Cappos, Andrew Baumann, Timothy Roscoe

Proceedings of the Fourth Workshop on Hot Topics in System Dependability, 2008

30 seconds is not enough!: a study of operating system timer usage.

Simon Peter, Andrew Baumann, Timothy Roscoe, Paul Barham, Rebecca Isaacs

Proceedings of the 2008 EuroSys Conference, Glasgow, Scotland, UK, April 1-4, 2008, 2008

Controlled, systematic, and efficient code replacement for running java programs.

Angela Nicoara, Gustavo Alonso, Timothy Roscoe

Proceedings of the 2008 EuroSys Conference, Glasgow, Scotland, UK, April 1-4, 2008, 2008

2007

Ready for distribution?: turning modular into distributed applications with the R-OSGi deployment tool.

Jan S. Rellermeyer, Gustavo Alonso, Timothy Roscoe

Proceedings of the Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

Friday: Global Comprehension for Distributed Replay.

Dennis Geels, Gautam Altekar, Petros Maniatis, Timothy Roscoe, Ion Stoica

Proceedings of the 4th Symposium on Networked Systems Design and Implementation (NSDI 2007), 2007

R-OSGi: Distributed Applications Through Software Modularization.

Jan S. Rellermeyer, Gustavo Alonso, Timothy Roscoe

Proceedings of the Middleware 2007, 2007

Hype and Virtue.

Timothy Roscoe, Kevin Elphinstone, Gernot Heiser

Proceedings of HotOS'07: 11th Workshop on Hot Topics in Operating Systems, 2007

Towards a Practical, Verified Kernel.

Kevin Elphinstone, Gerwin Klein, Philip Derrin, Timothy Roscoe, Gernot Heiser

Proceedings of HotOS'07: 11th Workshop on Hot Topics in Operating Systems, 2007

Building, deploying, and monitoring distributed applications with Eclipse and R-OSGI.

Jan S. Rellermeyer, Gustavo Alonso, Timothy Roscoe

Proceedings of the 2007 OOPSLA workshop on Eclipse Technology eXchange, 2007

Public Health for the Internet (PHI).

Joseph M. Hellerstein, Tyson Condie, Minos N. Garofalakis, Boon Thau Loo, Petros Maniatis, Timothy Roscoe, Nina Taft

Proceedings of the Third Biennial Conference on Innovative Data Systems Research, 2007

2006

The design principles of PlanetLab.

Larry L. Peterson, Timothy Roscoe

ACM SIGOPS Oper. Syst. Rev., 2006

Declarative networking: language, execution and optimization.

Boon Thau Loo, Tyson Condie, Minos N. Garofalakis, David E. Gay, Joseph M. Hellerstein, Petros Maniatis, Raghu Ramakrishnan, Timothy Roscoe, Ion Stoica

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2006

The End of Internet Architecture.

Timothy Roscoe

Proceedings of the 5th ACM Workshop on Hot Topics in Networks, 2006

Using queries for distributed monitoring and forensics.

Atul Singh, Petros Maniatis, Timothy Roscoe, Peter Druschel

Proceedings of the 2006 EuroSys Conference, Leuven, Belgium, April 18-21, 2006, 2006

2005

The Network Oracle.

Joseph M. Hellerstein, Vern Paxson, Larry L. Peterson, Timothy Roscoe, Scott Shenker, David Wetherall

IEEE Data Eng. Bull., 2005

Making the world (of communications) a different place.

David D. Clark, Craig Partridge, Robert Braden, Bruce S. Davie, Sally Floyd, Van Jacobson, Dina Katabi, Greg Minshall, K. K. Ramakrishnan, Timothy Roscoe, Ion Stoica, John Wroclawski, Lixia Zhang

Comput. Commun. Rev., 2005

Implementing declarative overlays.

Boon Thau Loo, Tyson Condie, Joseph M. Hellerstein, Petros Maniatis, Timothy Roscoe, Ion Stoica

Proceedings of the 20th ACM Symposium on Operating Systems Principles 2005, 2005

The PlanetLab Platform.

Timothy Roscoe

Proceedings of the Peer-to-Peer Systems and Applications, 2005

The Architecture of PIER: an Internet-Scale Query Processor.

Ryan Huebsch, Brent N. Chun, Joseph M. Hellerstein, Boon Thau Loo, Petros Maniatis, Timothy Roscoe, Scott Shenker, Ion Stoica, Aydan R. Yumerefendi

Proceedings of the Second Biennial Conference on Innovative Data Systems Research, 2005

2004

Sophia: an Information Plane for networked systems.

Mike Wawrzoniak, Larry L. Peterson, Timothy Roscoe

Comput. Commun. Rev., 2004

Preventing Internet denial-of-service with capabilities.

Thomas E. Anderson, Timothy Roscoe, David Wetherall

Comput. Commun. Rev., 2004

Handling Churn in a DHT (Awarded Best Paper!).

Sean C. Rhea, Dennis Geels, Timothy Roscoe, John Kubiatowicz

Proceedings of the General Track: 2004 USENIX Annual Technical Conference, June 27, 2004

Querying at Internet-Scale.

Brent N. Chun, Joseph M. Hellerstein, Ryan Huebsch, Shawn R. Jeffery, Boon Thau Loo, Sam Mardanbeigi, Timothy Roscoe, Sean C. Rhea, Scott Shenker, Ion Stoica

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2004

Operating Systems Support for Planetary-Scale Network Services.

Andy C. Bavier, Mic Bowman, Brent N. Chun, David E. Culler, Scott Karlin, Steve Muir, Larry L. Peterson, Timothy Roscoe, Tammo Spalink, Mike Wawrzoniak

Proceedings of the 1st Symposium on Networked Systems Design and Implementation (NSDI 2004), 2004

2003

Predicate routing: enabling controlled networking.

Timothy Roscoe, Steven Hand, Rebecca Isaacs, Richard Mortier, Paul W. Jardetzky

Comput. Commun. Rev., 2003

A blueprint for introducing disruptive technology into the Internet.

Larry L. Peterson, Thomas E. Anderson, David E. Culler, Timothy Roscoe

Comput. Commun. Rev., 2003

Plutarch: an argument for network pluralism.

Jon Crowcroft, Steven Hand, Richard Mortier, Timothy Roscoe, Andrew Warfield

Comput. Commun. Rev., 2003

PlanetLab: an overlay testbed for broad-coverage services.

Brent N. Chun, David E. Culler, Timothy Roscoe, Andy C. Bavier, Larry L. Peterson, Mike Wawrzoniak, Mic Bowman

Comput. Commun. Rev., 2003

Structured Peer-to-Peer Overlays Need Application-Driven Benchmarks.

Sean C. Rhea, Timothy Roscoe, John Kubiatowicz

Proceedings of the Peer-to-Peer Systems II, Second International Workshop, 2003

Palimpsest: Soft-Capacity Storage for Planetary-Scale Services.

Timothy Roscoe, Steven Hand

Proceedings of HotOS'03: 9th Workshop on Hot Topics in Operating Systems, 2003

Spread Spectrum Storage with Mnemosyne.

Steven Hand, Timothy Roscoe

Proceedings of the Future Directions in Distributed Computing, 2003

2002

InfoSpect: using a logic language for system health monitoring in distributed systems.

Timothy Roscoe, Richard Mortier, Paul W. Jardetzky, Steven Hand

Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002, 2002

The SAHARA Model for Service Composition across Multiple Providers.

Bhaskaran Raman, Sharad Agarwal, Yan Chen, Matthew Caesar, Weidong Cui, Per Johansson, Kevin Lai, Tal Lavian, Sridhar Machiraju, Zhuoqing Morley Mao, George Porter, Timothy Roscoe, Mukund Seshadri, Jimmy S. Shih, Keith Sklower, Lakshminarayanan Subramanian, Takashi Suzuki, Shelley Zhuang, Anthony D. Joseph, Randy H. Katz, Ion Stoica

Proceedings of the Pervasive Computing, 2002

Resource Overbooking and Application Profiling in Shared Hosting Platforms.

Bhuvan Urgaonkar, Prashant J. Shenoy, Timothy Roscoe

Proceedings of the 5th Symposium on Operating System Design and Implementation (OSDI 2002), 2002

Transaction-Based Charging in Mnemosyne: A Peer-to-Peer Steganographic Storage System.

Timothy Roscoe, Steven Hand

Proceedings of the Web Engineering and Peer-to-Peer Computing, 2002

Mnemosyne: Peer-to-Peer Steganographic Storage.

Steven Hand, Timothy Roscoe

Proceedings of the Peer-to-Peer Systems, First International Workshop, 2002

2001

New Resource Control Issues in Shared Clusters.

Timothy Roscoe, Prashant J. Shenoy

Proceedings of the Interactive Distributed Multimedia Systems, 2001

2000

Distributing processing without DPEs: design considerations for public computing platforms.

Timothy Roscoe, J. Bryan Lyles

Proceedings of the 9th ACM SIGOPS European Workshop, 2000

1998

Artefact: A Framework for Low-Overhead Web-Based Collaborative Systems.

Jeffrey Lynn Brandenburg, Boyce Byerly, Tom Dobridge, Jinkun Lin, Dharmaraja Rajan, Timothy Roscoe

Proceedings of the CSCW '98, 1998

1996

The Design and Implementation of an Operating System to Support Distributed Multimedia Applications.

Ian M. Leslie, Derek McAuley, Richard Black, Timothy Roscoe, Paul Barham, David Martin Evers, Robin Fairbairns, Eoin Hyden

IEEE J. Sel. Areas Commun., 1996

1995

The structure of a multi-service operating system.

Timothy Roscoe

PhD thesis, 1995

Clanger: An Interpreted Systems Programming Language.

Timothy Roscoe

ACM SIGOPS Oper. Syst. Rev., 1995

1994

Linkage in the Nemesis Single Address Space Operating System.

Timothy Roscoe

ACM SIGOPS Oper. Syst. Rev., 1994