Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Timothy Roscoe

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Roni Haecki

> Home > Persons > Timothy Roscoe

Publications

2022
[c77]
- view
  - electronic edition @ usenix.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/nsdi/HaeckiMSZGMBR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nsdi/HaeckiMSZGMBR22
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: 861-877
2021
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/hotos/AchermannCHHHRS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hotos/AchermannCHHHRS21
Reto Achermann, David A. Cock, Roni Haecki, Nora Hossle, Lukas Humbel, Timothy Roscoe, Daniel David Schwyn:
mmapx: uniform memory protection in a heterogeneous world. HotOS 2021: 159-166
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/sosp/AchermannCHHHRS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosp/AchermannCHHHRS21
Reto Achermann, David A. Cock, Roni Haecki, Nora Hossle, Lukas Humbel, Timothy Roscoe, Daniel David Schwyn:
Generating correct initial page tables from formal hardware descriptions. PLOS@SOSP 2021: 69-75
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/HumbelSHHLSCGR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/HumbelSHHLSCGR21
Lukas Humbel, Daniel David Schwyn, Nora Hossle, Roni Haecki, Melissa Licciardello, Jan Schaer, David A. Cock, Michael Giardino, Timothy Roscoe:
A Model-Checked I²C Specification. SPIN 2021: 177-193
2019
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1911-08773
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1911-08773
Roni Haecki, Lukas Humbel, Reto Achermann, David A. Cock, Daniel David Schwyn, Timothy Roscoe:
CleanQ: a lightweight, uniform, formally specified interface for intra-machine data transfer. CoRR abs/1911.08773 (2019)
2016
[c58]
- view
- export record
  dblp key:
  - conf/osdi/KaestleAHHRR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/osdi/KaestleAHHRR16
Stefan Kaestle, Reto Achermann, Roni Haecki, Moritz Hoffmann, Sabela Ramos, Timothy Roscoe:
Machine-Aware Atomic Broadcast Trees for Multicores. OSDI 2016: 33-48

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.