Timothy Roscoe

ORCID

Publication Activity (10 Years)

Years Active: 1994-2024
Publications (10 Years): 41

Top Venues

University of Cambridge, UK (PHD)

Education History

University of Cambridge, UK

PHD

Publications

Matthew Edwin Weingarten, Nora Hossle, Timothy Roscoe
High Throughput Hardware Accelerated CoreSight Trace Decoding. DATE (2024)
Tom Kuchler, Michael Giardino, Timothy Roscoe, Ana Klimovic
Function as a Function. SoCC (2023)
Ben Fiedler, Daniel Schwyn, Constantin Gierczak-Galle, David A. Cock, Timothy Roscoe
Putting out the hardware dumpster fire. HotOS (2023)
Ben Fiedler, Roman Meier, Jasmin Schult, Daniel Schwyn, Timothy Roscoe
Specifying the de-facto OS of a production SoC. KISV@SOSP (2023)
Roni Haecki, Radhika Niranjan Mysore, Lalith Suresh, Gerd Zellweger, Bo Gan, Timothy Merrifield, Sujata Banerjee, Timothy Roscoe
How to diagnose nanosecond network latencies in rich end-host stacks. NSDI (2022)
Abishek Ramdas, Michael Giardino, Runbin Shi, Adam Turowski, David Cock, Gustavo Alonso, Timothy Roscoe
ECI: a Customizable Cache Coherency Stack for Hybrid FPGA-CPU Architectures. CoRR (2022)
David 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
Enzian: an open, general, CPU/FPGA platform for systems software research. ASPLOS (2022)
Reto Achermann, David Cock, Roni Haecki, Nora Hossle, Lukas Humbel, Timothy Roscoe, Daniel David Schwyn
mmapx: uniform memory protection in a heterogeneous world. HotOS (2021)
Lukas Humbel, Daniel David Schwyn, Nora Hossle, Roni Haecki, Melissa Licciardello, Jan Schaer, David Cock, Michael Giardino, Timothy Roscoe
C Specification. SPIN (2021)
Jasmin Schult, Daniel David Schwyn, Michael Giardino, David Cock, Reto Achermann, Timothy Roscoe
Declarative Power Sequencing. ACM Trans. Embed. Comput. Syst. 20 (5s) (2021)
Reto Achermann, David Cock, Roni Haecki, Nora Hossle, Lukas Humbel, Timothy Roscoe, Daniel David Schwyn
Generating correct initial page tables from formal hardware descriptions. PLOS@SOSP (2021)
Frank McSherry, Andrea Lattuada, Malte Schwarzkopf, Timothy Roscoe
Shared Arrangements: practical inter-query sharing for streaming dataflows. Proc. VLDB Endow. 13 (10) (2020)
Gustavo Alonso, Timothy Roscoe, David Cock, Mohsen Ewaida, Kaan Kara, Dario Korolija, David Sidler, Zeke Wang
Tackling Hardware/Software co-design from a database perspective. CIDR (2020)
Reto Achermann, Nora Hossle, Lukas Humbel, Daniel David Schwyn, David Cock, Timothy Roscoe
Secure Memory Management on Modern Hardware. CoRR (2020)
Reto Achermann, Ashish Panwar, Abhishek Bhattacharjee, Timothy Roscoe, Jayneel Gandhi
Mitosis: Transparently Self-Replicating Page-Tables for Large-Memory Machines. ASPLOS (2020)
Dario Korolija, Timothy Roscoe, Gustavo Alonso
Do OS abstractions make sense on FPGAs? OSDI (2020)
Reto Achermann, Nora Hossle, Lukas Humbel, Daniel David Schwyn, David Cock, Timothy Roscoe
A Least-Privilege Memory Protection Model for Modern Hardware. CoRR (2019)
Reto Achermann, Ashish Panwar, Abhishek Bhattacharjee, Timothy Roscoe, Jayneel Gandhi
Mitosis: Transparently Self-Replicating Page-Tables for Large-Memory Machines. CoRR (2019)
Kirk M. Bresniker, Paolo Faraboschi, Avi Mendelson, Dejan S. Milojicic, Timothy Roscoe, Robert N. M. Watson
Rack-Scale Capabilities: Fine-Grained Protection for Large-Scale Memories. Computer 52 (2) (2019)
Roni Haecki, Lukas Humbel, Reto Achermann, David Cock, Daniel David Schwyn, Timothy Roscoe
CleanQ: a lightweight, uniform, formally specified interface for intra-machine data transfer. CoRR (2019)
Moritz Hoffmann, Andrea Lattuada, Frank McSherry, Vasiliki Kalavri, John Liagouris, Timothy Roscoe
Megaphone: Latency-conscious state migration for distributed streaming dataflows. Proc. VLDB Endow. 12 (9) (2019)
Leonid Azriel, Lukas Humbel, Reto Achermann, Alex Richardson, Moritz Hoffmann, Avi Mendelson, Timothy Roscoe, Robert N. M. Watson, Paolo Faraboschi, Dejan S. Milojicic
Memory-Side Protection With a Capability Enforcement Co-Processor. ACM Trans. Archit. Code Optim. 16 (1) (2019)
Simon Gerber, Gerd Zellweger, Reto Achermann, Moritz Hoffmann, Kornilios Kourtis, Timothy Roscoe, Dejan S. Milojicic
Cichlid: Explicit physical memory management for large machines. CoRR (2019)
Andrew Baumann, Jonathan Appavoo, Orran Krieger, Timothy Roscoe
A fork() in the road. HotOS (2019)
Desislava C. Dimitrova, John Liagouris, Sebastian Wicki, Moritz Hoffmann, Vasiliki Kalavri, Timothy Roscoe
DeltaPath: dataflow-based high-performance incremental routing. CoRR (2018)
Vasiliki Kalavri, John Liagouris, Moritz Hoffmann, Desislava C. Dimitrova, Matthew Forshaw, Timothy Roscoe
Three steps is all you need: fast, accurate, automatic scaling decisions for distributed streaming dataflows. OSDI (2018)
Moritz Hoffmann, Andrea Lattuada, Frank McSherry, Vasiliki Kalavri, John Liagouris, Timothy Roscoe
Megaphone: Live state migration for distributed streaming dataflows. CoRR (2018)
Moritz Hoffmann, Andrea Lattuada, John Liagouris, Vasiliki Kalavri, Desislava C. Dimitrova, Sebastian Wicki, Zaheer Chothia, Timothy Roscoe
SnailTrail: Generalizing Critical Paths for Online Analysis of Distributed Dataflows. NSDI (2018)
Reto Achermann, Lukas Humbel, David Cock, Timothy Roscoe
Physical Addressing on Real Hardware in Isabelle/HOL. ITP (2018)
Desislava C. Dimitrova, John Liagouris, Moritz Hoffmann, Vasiliki Kalavri, Sebastian Wicki, Timothy Roscoe
Quick Incremental Routing Logic for Dynamic Network Graphs. SIGCOMM Posters and Demos (2017)
Reto Achermann, Lukas Humbel, David Cock, Timothy Roscoe
Formalizing Memory Accesses and Interrupts. MARS@ETAPS (2017)
Zaheer Chothia, John Liagouris, Desislava C. Dimitrova, Timothy Roscoe
Online Reconstruction of Structural Information from Datacenter Logs. EuroSys (2017)
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
Separating Translation from Protection in Address Spaces with Dynamic Remapping. HotOS (2017)
Lukas Humbel, Reto Achermann, David Cock, Timothy Roscoe
Towards Correct-by-Construction Interrupt Routing on Real Hardware. PLOS@SOSP (2017)
Zaheer Chothia, John Liagouris, Frank McSherry, Timothy Roscoe
Explaining Outputs in Modern Data Analytics. Proc. VLDB Endow. 9 (12) (2016)
Dejan S. Milojicic, Timothy Roscoe
Outlook on Operating Systems. Computer 49 (1) (2016)
Jana Giceva, Gerd Zellweger, Gustavo Alonso, Timothy Roscoe
Customized OS support for data-processing. DaMoN (2016)
Izzat El Hajj, Alexander Merritt, Gerd Zellweger, Dejan S. Milojicic, Reto Achermann, Paolo Faraboschi, Wen-mei W. Hwu, Timothy Roscoe, Karsten Schwan
SpaceJMP: Programming with Multiple Virtual Address Spaces. ASPLOS (2016)
Gerd Zellweger, Denny Lin, Timothy Roscoe
So many performance events, so little time. APSys (2016)
Simon Peter, Jialin Li, Irene Zhang, Dan R. K. Ports, Doug Woos, Arvind Krishnamurthy, Thomas E. Anderson, Timothy Roscoe
Arrakis: The Operating System Is the Control Plane. ACM Trans. Comput. Syst. 33 (4) (2016)
Stefan Kaestle, Reto Achermann, Roni Haecki, Moritz Hoffmann, Sabela Ramos, Timothy Roscoe
Machine-Aware Atomic Broadcast Trees for Multicores. OSDI (2016)
Simon Gerber, Gerd Zellweger, Reto Achermann, Kornilios Kourtis, Timothy Roscoe, Dejan S. Milojicic
Not Your Parents' Physical Address Space. HotOS (2015)
Stefan Kaestle, Reto Achermann, Timothy Roscoe, Tim Harris
Shoal: Smart Allocation and Replication of Memory For Parallel Programs. USENIX Annual Technical Conference (2015)
Torsten Hoefler, Robert B. Ross, Timothy Roscoe
Distributing the Data Plane for Remote Storage Access. HotOS (2015)
Simon Peter, Jialin Li, Irene Zhang, Dan R. K. Ports, Doug Woos, Arvind Krishnamurthy, Thomas E. Anderson, Timothy Roscoe
Arrakis: The Operating System is the Control Plane. OSDI (2014)
Andrew Baumann, Chris Hawblitzel, Kornilios Kourtis, Tim Harris, Timothy Roscoe
Cosh: Clear OS Data Sharing In An Incoherent World. TRIOS (2014)
Jana Giceva, Gustavo Alonso, Timothy Roscoe, Tim Harris
Deployment of Query Plans on Multicores. Proc. VLDB Endow. 8 (3) (2014)
Gerd Zellweger, Simon Gerber, Kornilios Kourtis, Timothy Roscoe
Decoupling Cores, Kernels, and Operating Systems. OSDI (2014)
Zaheer Chothia, Qin Yin, Timothy Roscoe
Grok the data center. APSys (2014)
Jana Giceva, Tudor-Ioan Salomie, Adrian Schüpbach, Gustavo Alonso, Timothy Roscoe
COD: Database / Operating System Co-Design. CIDR (2013)
Ercan Ucan, Timothy Roscoe
Establishing Efficient Routes between Personal Clouds. NETYS (2013)
Pravin Shinde, Antoine Kaufmann, Kornilios Kourtis, Timothy Roscoe
Modeling NICs with Unicorn. PLOS@SOSP (2013)
Tudor-Ioan Salomie, Gustavo Alonso, Timothy Roscoe, Kevin Elphinstone
Application level ballooning for efficient server consolidation. EuroSys (2013)
Pravin Shinde, Antoine Kaufmann, Timothy Roscoe, Stefan Kaestle
We Need to Talk About NICs. HotOS (2013)
Qin Yin, Timothy Roscoe
VF2x: Fast, Efficient Virtual Network Mapping for Real Testbed Workloads. TRIDENTCOM (2012)
Qin Yin, Timothy Roscoe
Towards realistic benchmarks for virtual infrastructure resource allocators. APSys (2012)
Adrian Schüpbach, Andrew Baumann, Timothy Roscoe, Simon Peter
A Declarative Language Approach to Device Configuration. ACM Trans. Comput. Syst. 30 (1) (2012)
Gerd Zellweger, Adrian Schüpbach, Timothy Roscoe
Unifying synchronization and events in a multicore OS. APSys (2012)
Timothy Roscoe
Supercomputing operating systems: a naive view from over the fence. ROSS@ICS (2012)
Oriana Riva, Qin Yin, Dejan Juric, Ercan Ucan, Timothy Roscoe
Policy expressivity in the Anzere personal cloud. SoCC (2011)
Qin Yin, Timothy Roscoe
A better way to negotiate for testbed resources. APSys (2011)
Ercan Ucan, Timothy Roscoe
Dexferizer: A service for data transfer optimization. IWQoS (2011)
Simon Peter, Adrian Schüpbach, Dominik Menzi, Timothy Roscoe
Early experience with the Barrelfish OS and the Single-Chip Cloud Computer. MARC Symposium (2011)
Adrian Schüpbach, Andrew Baumann, Timothy Roscoe, Simon Peter
A declarative language approach to device configuration. ASPLOS (2011)
Gustavo Alonso, Donald Kossmann, Timothy Roscoe
SWissBox: An Architecture for Data Processing Appliances. CIDR (2011)
Jeffrey C. Mogul, Andrew Baumann, Timothy Roscoe, Livio Soares
Mind the Gap: Reconnecting Architecture and OS Research. HotOS (2011)
Bhuvan Urgaonkar, Prashant J. Shenoy, Timothy Roscoe
Resource overbooking and application profiling in a shared Internet hosting platform. ACM Trans. Internet Techn. 9 (1) (2009)
Andrew Baumann, Paul Barham, Pierre-Évariste Dagand, Tim Harris, Rebecca Isaacs, Simon Peter, Timothy Roscoe, Adrian Schüpbach, Akhilesh Singhania
The multikernel: a new OS architecture for scalable multicore systems. SOSP (2009)
Pierre-Évariste Dagand, Andrew Baumann, Timothy Roscoe
Filet-o-Fish: practical and dependable domain-specific languages for OS development. PLOS@SOSP (2009)
Pierre-Évariste Dagand, Andrew Baumann, Timothy Roscoe
Filet-o-fish: practical and dependable domain-specific languages for OS development. ACM SIGOPS Oper. Syst. Rev. 43 (4) (2009)
Qin Yin, Adrian Schüpbach, Justin Cappos, Andrew Baumann, Timothy Roscoe
Rhizoma: A Runtime for Self-deploying, Self-managing Overlays. Middleware (2009)
Andrew Baumann, Simon Peter, Adrian Schüpbach, Akhilesh Singhania, Timothy Roscoe, Paul Barham, Rebecca Isaacs
Your computer is already a distributed system. Why isn't your OS? HotOS (2009)
Boon Thau Loo, Tyson Condie, Minos N. Garofalakis, David E. Gay, Joseph M. Hellerstein, Petros Maniatis, Raghu Ramakrishnan, Timothy Roscoe, Ion Stoica
Declarative networking. Commun. ACM 52 (11) (2009)
Simon Peter, Andrew Baumann, Timothy Roscoe, Paul Barham, Rebecca Isaacs
30 seconds is not enough!: a study of operating system timer usage. EuroSys (2008)
Gustavo Alonso, Donald Kossmann, Timothy Roscoe, Nesime Tatbul, Andrew Baumann, Carsten Binnig, Peter M. Fischer, Oriana Riva, Jens Teubner
The ETH Zurich systems group and enterprise computing center. SIGMOD Rec. 37 (4) (2008)
Angela Nicoara, Gustavo Alonso, Timothy Roscoe
Controlled, systematic, and efficient code replacement for running java programs. EuroSys (2008)
Atul Singh, Tathagata Das, Petros Maniatis, Peter Druschel, Timothy Roscoe
BFT Protocols Under Fire. NSDI (2008)
Qin Yin, Justin Cappos, Andrew Baumann, Timothy Roscoe
Dependable Self-Hosting Distributed Systems Using Constraints. HotDep (2008)
Timothy Roscoe, Kevin Elphinstone, Gernot Heiser
Hype and Virtue. HotOS (2007)
Jan S. Rellermeyer, Gustavo Alonso, Timothy Roscoe
R-OSGi: Distributed Applications Through Software Modularization. Middleware (2007)
Dennis Geels, Gautam Altekar, Petros Maniatis, Timothy Roscoe, Ion Stoica
Friday: Global Comprehension for Distributed Replay. NSDI (2007)
Jan S. Rellermeyer, Gustavo Alonso, Timothy Roscoe
Ready for distribution?: turning modular into distributed applications with the R-OSGi deployment tool. OOPSLA Companion (2007)
Joseph M. Hellerstein, Tyson Condie, Minos N. Garofalakis, Boon Thau Loo, Petros Maniatis, Timothy Roscoe, Nina Taft
Public Health for the Internet (PHI). CIDR (2007)
Kevin Elphinstone, Gerwin Klein, Philip Derrin, Timothy Roscoe, Gernot Heiser
Towards a Practical, Verified Kernel. HotOS (2007)
Jan S. Rellermeyer, Gustavo Alonso, Timothy Roscoe
Building, deploying, and monitoring distributed applications with Eclipse and R-OSGI. ETX (2007)
Timothy Roscoe
The End of Internet Architecture. HotNets (2006)
Larry L. Peterson, Timothy Roscoe
The design principles of PlanetLab. ACM SIGOPS Oper. Syst. Rev. 40 (1) (2006)
Atul Singh, Petros Maniatis, Timothy Roscoe, Peter Druschel
Using queries for distributed monitoring and forensics. EuroSys (2006)
Boon Thau Loo, Tyson Condie, Minos N. Garofalakis, David E. Gay, Joseph M. Hellerstein, Petros Maniatis, Raghu Ramakrishnan, Timothy Roscoe, Ion Stoica
Declarative networking: language, execution and optimization. SIGMOD Conference (2006)
Ryan Huebsch, Brent N. Chun, Joseph M. Hellerstein, Boon Thau Loo, Petros Maniatis, Timothy Roscoe, Scott Shenker, Ion Stoica, Aydan R. Yumerefendi
The Architecture of PIER: an Internet-Scale Query Processor. CIDR (2005)
Boon Thau Loo, Tyson Condie, Joseph M. Hellerstein, Petros Maniatis, Timothy Roscoe, Ion Stoica
Implementing declarative overlays. SOSP (2005)
Joseph M. Hellerstein, Vern Paxson, Larry L. Peterson, Timothy Roscoe, Scott Shenker, David Wetherall
The Network Oracle. IEEE Data Eng. Bull. 28 (1) (2005)
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
Making the world (of communications) a different place. Comput. Commun. Rev. 35 (3) (2005)
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
Querying at Internet-Scale. SIGMOD Conference (2004)
Andy C. Bavier, Mic Bowman, Brent N. Chun, David E. Culler, Scott Karlin, Steve Muir, Larry L. Peterson, Timothy Roscoe, Tammo Spalink, Mike Wawrzoniak
Operating Systems Support for Planetary-Scale Network Services. NSDI (2004)
Mike Wawrzoniak, Larry L. Peterson, Timothy Roscoe
Sophia: an Information Plane for networked systems. Comput. Commun. Rev. 34 (1) (2004)
Sean C. Rhea, Dennis Geels, Timothy Roscoe, John Kubiatowicz
Handling Churn in a DHT (Awarded Best Paper!). USENIX Annual Technical Conference, General Track (2004)
Thomas E. Anderson, Timothy Roscoe, David Wetherall
Preventing Internet denial-of-service with capabilities. Comput. Commun. Rev. 34 (1) (2004)
Timothy Roscoe, Steven Hand, Rebecca Isaacs, Richard Mortier, Paul W. Jardetzky
Predicate routing: enabling controlled networking. Comput. Commun. Rev. 33 (1) (2003)
Sean C. Rhea, Timothy Roscoe, John Kubiatowicz
Structured Peer-to-Peer Overlays Need Application-Driven Benchmarks. IPTPS (2003)

Timothy Roscoe.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Timothy Roscoe