Timothy Roscoe

Orcid: 0000-0002-8298-1126

Affiliations:
  • ETH Zurich, Switzerland


According to our database1, Timothy Roscoe authored at least 118 papers between 1994 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Awards

ACM Fellow

ACM Fellow 2013, "For contributions to operating systems and networking research.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Rethinking Programmed I/O for Fast Devices, Cheap Cores, and Coherent Interconnects.
CoRR, 2024

Verified Fault Handling for Modern Board Management Controllers.
Proceedings of the Formal Aspects of Component Software - 20th International Conference, 2024

High Throughput Hardware Accelerated CoreSight Trace Decoding.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024

2023
Specifying the de-facto OS of a production SoC.
Proceedings of the 1st Workshop on Kernel Isolation, Safety and Verification, 2023

Putting out the hardware dumpster fire.
Proceedings of the 19th Workshop on Hot Topics in Operating Systems, 2023

Function as a Function.
Proceedings of the 2023 ACM Symposium on Cloud Computing, SoCC 2023, 2023

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

How to diagnose nanosecond network latencies in rich end-host stacks.
Proceedings of the 19th USENIX Symposium on Networked Systems Design and Implementation, 2022

Enzian: an open, general, CPU/FPGA platform for systems software research.
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.
ACM Trans. Embed. Comput. Syst., 2021

A Model-Checked I<sup>2</sup>C Specification.
Proceedings of the Model Checking Software - 27th International Symposium, 2021

Generating correct initial page tables from formal hardware descriptions.
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.
Proceedings of the HotOS '21: Workshop on Hot Topics in Operating Systems, 2021

2020
Shared Arrangements: practical inter-query sharing for streaming dataflows.
Proc. VLDB Endow., 2020

Secure Memory Management on Modern Hardware.
CoRR, 2020

Do OS abstractions make sense on FPGAs?
Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation, 2020

Tackling Hardware/Software co-design from a database perspective.
Proceedings of the 10th Conference on Innovative Data Systems Research, 2020

Mitosis: Transparently Self-Replicating Page-Tables for Large-Memory Machines.
Proceedings of the ASPLOS '20: Architectural Support for Programming Languages and Operating Systems, 2020

2019
Memory-Side Protection With a Capability Enforcement Co-Processor.
ACM Trans. Archit. Code Optim., 2019

Megaphone: Latency-conscious state migration for distributed streaming dataflows.
Proc. VLDB Endow., 2019

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

Cichlid: Explicit physical memory management for large machines.
CoRR, 2019

A Least-Privilege Memory Protection Model for Modern Hardware.
CoRR, 2019

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

A fork() in the road.
Proceedings of the Workshop on Hot Topics in Operating Systems, 2019

2018
Declarative Networking.
Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Megaphone: Live state migration for distributed streaming dataflows.
CoRR, 2018

DeltaPath: dataflow-based high-performance incremental routing.
CoRR, 2018

Three steps is all you need: fast, accurate, automatic scaling decisions for distributed streaming dataflows.
Proceedings of the 13th USENIX Symposium on Operating Systems Design and Implementation, 2018

SnailTrail: Generalizing Critical Paths for Online Analysis of Distributed Dataflows.
Proceedings of the 15th USENIX Symposium on Networked Systems Design and Implementation, 2018

Physical Addressing on Real Hardware in Isabelle/HOL.
Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018

2017
Formalizing Memory Accesses and Interrupts.
Proceedings of the Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems, 2017

Towards Correct-by-Construction Interrupt Routing on Real Hardware.
Proceedings of the 9th Workshop on Programming Languages and Operating Systems, 2017

Quick Incremental Routing Logic for Dynamic Network Graphs.
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.
Proceedings of the 16th Workshop on Hot Topics in Operating Systems, 2017

Online Reconstruction of Structural Information from Datacenter Logs.
Proceedings of the Twelfth European Conference on Computer Systems, 2017

2016
Arrakis: The Operating System Is the Control Plane.
ACM Trans. Comput. Syst., 2016

Explaining Outputs in Modern Data Analytics.
Proc. VLDB Endow., 2016

Outlook on Operating Systems.
Computer, 2016

Machine-Aware Atomic Broadcast Trees for Multicores.
Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation, 2016

Customized OS support for data-processing.
Proceedings of the 12th International Workshop on Data Management on New Hardware, 2016

SpaceJMP: Programming with Multiple Virtual Address Spaces.
Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems, 2016

So many performance events, so little time.
Proceedings of the 7th ACM SIGOPS Asia-Pacific Workshop on Systems, 2016

2015
Shoal: Smart Allocation and Replication of Memory For Parallel Programs.
Proceedings of the 2015 USENIX Annual Technical Conference, 2015

Distributing the Data Plane for Remote Storage Access.
Proceedings of the 15th Workshop on Hot Topics in Operating Systems, 2015

Not Your Parents' Physical Address Space.
Proceedings of the 15th Workshop on Hot Topics in Operating Systems, 2015

2014
Deployment of Query Plans on Multicores.
Proc. VLDB Endow., 2014

Decoupling Cores, Kernels, and Operating Systems.
Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation, 2014

Cosh: Clear OS Data Sharing In An Incoherent World.
Proceedings of the 2014 Conference on Timely Results in Operating Systems, 2014

Grok the data center.
Proceedings of the Asia-Pacific Workshop on Systems, 2014

2013
Modeling NICs with Unicorn.
Proceedings of the Seventh Workshop on Programming Languages and Operating Systems, 2013

Establishing Efficient Routes between Personal Clouds.
Proceedings of the Networked Systems - First International Conference, 2013

We Need to Talk About NICs.
Proceedings of the 14th Workshop on Hot Topics in Operating Systems, 2013

Application level ballooning for efficient server consolidation.
Proceedings of the Eighth Eurosys Conference 2013, 2013

COD: Database / Operating System Co-Design.
Proceedings of the Sixth Biennial Conference on Innovative Data Systems Research, 2013

2012
A Declarative Language Approach to Device Configuration.
ACM Trans. Comput. Syst., 2012

VF2x: Fast, Efficient Virtual Network Mapping for Real Testbed Workloads.
Proceedings of the Testbeds and Research Infrastructure. Development of Networks and Communities, 2012

Supercomputing operating systems: a naive view from over the fence.
Proceedings of the 2nd International Workshop on Runtime and Operating Systems for Supercomputers, 2012

Unifying synchronization and events in a multicore OS.
Proceedings of the Asia-Pacific Workshop on Systems, 2012

Towards realistic benchmarks for virtual infrastructure resource allocators.
Proceedings of the Asia-Pacific Workshop on Systems, 2012

2011
Early experience with the Barrelfish OS and the Single-Chip Cloud Computer.
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.
Proceedings of the 19th International Workshop on Quality of Service, 2011

Mind the Gap: Reconnecting Architecture and OS Research.
Proceedings of the 13th Workshop on Hot Topics in Operating Systems, 2011

Policy expressivity in the Anzere personal cloud.
Proceedings of the ACM Symposium on Cloud Computing in conjunction with SOSP 2011, 2011

SWissBox: An Architecture for Data Processing Appliances.
Proceedings of the Fifth Biennial Conference on Innovative Data Systems Research, 2011

A better way to negotiate for testbed resources.
Proceedings of the APSys '11 Asia Pacific Workshop on Systems, 2011

2009
Declarative Networking.
Proceedings of the Encyclopedia of Database Systems, 2009

Resource overbooking and application profiling in a shared Internet hosting platform.
ACM Trans. Internet Techn., 2009

Filet-o-fish: practical and dependable domain-specific languages for OS development.
ACM SIGOPS Oper. Syst. Rev., 2009

Declarative networking.
Commun. ACM, 2009

The multikernel: a new OS architecture for scalable multicore systems.
Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, 2009

Rhizoma: A Runtime for Self-deploying, Self-managing Overlays.
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?
Proceedings of HotOS'09: 12th Workshop on Hot Topics in Operating Systems, 2009

2008
The ETH Zurich systems group and enterprise computing center.
SIGMOD Rec., 2008

BFT Protocols Under Fire.
Proceedings of the 5th USENIX Symposium on Networked Systems Design & Implementation, 2008

Dependable Self-Hosting Distributed Systems Using Constraints.
Proceedings of the Fourth Workshop on Hot Topics in System Dependability, 2008

30 seconds is not enough!: a study of operating system timer usage.
Proceedings of the 2008 EuroSys Conference, Glasgow, Scotland, UK, April 1-4, 2008, 2008

Controlled, systematic, and efficient code replacement for running java programs.
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.
Proceedings of the Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

Friday: Global Comprehension for Distributed Replay.
Proceedings of the 4th Symposium on Networked Systems Design and Implementation (NSDI 2007), 2007

R-OSGi: Distributed Applications Through Software Modularization.
Proceedings of the Middleware 2007, 2007

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

Towards a Practical, Verified Kernel.
Proceedings of HotOS'07: 11th Workshop on Hot Topics in Operating Systems, 2007

Building, deploying, and monitoring distributed applications with Eclipse and R-OSGI.
Proceedings of the 2007 OOPSLA workshop on Eclipse Technology eXchange, 2007

Public Health for the Internet (PHI).
Proceedings of the Third Biennial Conference on Innovative Data Systems Research, 2007

2006
The design principles of PlanetLab.
ACM SIGOPS Oper. Syst. Rev., 2006

Declarative networking: language, execution and optimization.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2006

The End of Internet Architecture.
Proceedings of the 5th ACM Workshop on Hot Topics in Networks, 2006

Using queries for distributed monitoring and forensics.
Proceedings of the 2006 EuroSys Conference, Leuven, Belgium, April 18-21, 2006, 2006

2005
The Network Oracle.
IEEE Data Eng. Bull., 2005

Making the world (of communications) a different place.
Comput. Commun. Rev., 2005

Implementing declarative overlays.
Proceedings of the 20th ACM Symposium on Operating Systems Principles 2005, 2005

The PlanetLab Platform.
Proceedings of the Peer-to-Peer Systems and Applications, 2005

The Architecture of PIER: an Internet-Scale Query Processor.
Proceedings of the Second Biennial Conference on Innovative Data Systems Research, 2005

2004
Sophia: an Information Plane for networked systems.
Comput. Commun. Rev., 2004

Preventing Internet denial-of-service with capabilities.
Comput. Commun. Rev., 2004

Handling Churn in a DHT (Awarded Best Paper!).
Proceedings of the General Track: 2004 USENIX Annual Technical Conference, June 27, 2004

Querying at Internet-Scale.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2004

Operating Systems Support for Planetary-Scale Network Services.
Proceedings of the 1st Symposium on Networked Systems Design and Implementation (NSDI 2004), 2004

2003
Predicate routing: enabling controlled networking.
Comput. Commun. Rev., 2003

A blueprint for introducing disruptive technology into the Internet.
Comput. Commun. Rev., 2003

Plutarch: an argument for network pluralism.
Comput. Commun. Rev., 2003

PlanetLab: an overlay testbed for broad-coverage services.
Comput. Commun. Rev., 2003

Structured Peer-to-Peer Overlays Need Application-Driven Benchmarks.
Proceedings of the Peer-to-Peer Systems II, Second International Workshop, 2003

Palimpsest: Soft-Capacity Storage for Planetary-Scale Services.
Proceedings of HotOS'03: 9th Workshop on Hot Topics in Operating Systems, 2003

Spread Spectrum Storage with Mnemosyne.
Proceedings of the Future Directions in Distributed Computing, 2003

2002
InfoSpect: using a logic language for system health monitoring in distributed systems.
Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002, 2002


Resource Overbooking and Application Profiling in Shared Hosting Platforms.
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.
Proceedings of the Web Engineering and Peer-to-Peer Computing, 2002

Mnemosyne: Peer-to-Peer Steganographic Storage.
Proceedings of the Peer-to-Peer Systems, First International Workshop, 2002

2001
New Resource Control Issues in Shared Clusters.
Proceedings of the Interactive Distributed Multimedia Systems, 2001

2000
Distributing processing without DPEs: design considerations for public computing platforms.
Proceedings of the 9th ACM SIGOPS European Workshop, 2000

1998
Artefact: A Framework for Low-Overhead Web-Based Collaborative Systems.
Proceedings of the CSCW '98, 1998

1996
The Design and Implementation of an Operating System to Support Distributed Multimedia Applications.
IEEE J. Sel. Areas Commun., 1996

1995
The structure of a multi-service operating system.
PhD thesis, 1995

Clanger: An Interpreted Systems Programming Language.
ACM SIGOPS Oper. Syst. Rev., 1995

1994
Linkage in the Nemesis Single Address Space Operating System.
ACM SIGOPS Oper. Syst. Rev., 1994


  Loading...