Timothy Roscoe
Professor
Department of Computer Science
ETH Zürich - Eidgenössische Technische Hochschule Zürich - Swiss Federal Institute of Technology in Zurich
Switzerland
Biography
Timothy Roscoe has been a Full Professor in the Systems Group of the Computer Science Department at ETH Zurich since 2007. He works on operating systems, networks, and distributed systems, including the Barrelfish research OS and the Strymon high-performance stream processor for datacenter monitoring. He received a PhD in 1995 from the Computer Laboratory of the University of Cambridge, where he was a principal designer and builder of the Nemesis OS. After three years working on web-based collaboration systems at a startup in North Carolina, Mothy joined Sprint's Advanced Technology Lab in Burlingame, California in 1998, working on cloud computing and network monitoring, and spent time as an Industrial Fellow at the University of California at Berkeley Computer Science department, working with the Oceanstore project. He joined Intel Research at Berkeley in April 2002 as a principal architect of PlanetLab, an open, shared platform for developing and deploying planetary-scale services, and worked on Declarative Networking, while becoming an Adjunct Professor at Berkeley. In September 2006 he spent four months as a visiting researcher in the Embedded and Real-Time Operating Systems group at National ICT Australia in Sydney, which was developing the seL4 microkernel Since joining ETH Zurich he has also spent time at Microsoft Research, Intel Research, and the University of Washington.
Research Interest
Timothy Roscoe has two main research interests right now: Operating systems for future machines that scale to thousands of cores, adapt to radically heterogeneous architectures, and handle the sheer complexity and diversity of modern hardware platforms. Monitoring, modelling, simulating, and managing entire datacenters in real-time based on detailed traces from the entire vertical network and software stack, and the systems software required to do this.
Publications
-
Formalizing Memory Accesses and Interrupts, Reto Achermann, Lukas Humbel, David Cock, Timothy Roscoe. 2nd Workshop on Models for Formal Analysis of Real Systems (MARS 2017), Uppsala, Sweden, April 2017.
-
Online Reconstruction of Structural Information from Datacenter Logs, Zaheer Chothia, John Liagouris, Desislava Dimitrova, Timothy Roscoe. Proceedings of the ACM European Systems Conference (Eurosys 2017), Belgrade, Serbia, April 2017.
-
Separating Translation from Protection in Address Spaces with Dynamic Remapping, Reto Achermann, Chris Dalton, Paolo Faraboschi, Moritz Hoffmann, Dejan Milojicic, Geoffrey Ndu, Alexander Richardson, Timothy Roscoe, Adrian L. Shaw, Robert N. M. Watson. Proceedings of the 16th Workshop on Hot Topics in Operating Systems (HotOS-XVI), Whistler, BC, Canada Ittingen, May 2017.