Machine-Aware Atomic Broadcast Trees for Multicores. - Stefan Kaestle; Reto Achermann; Roni Haecki; Moritz Hoffmann 001; Sabela Ramos; Timothy Roscoe (OSDI, 2016)

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)

mmapx: uniform memory protection in a heterogeneous world. - Reto Achermann; David A. Cock; Roni Haecki; Nora Hossle; Lukas Humbel; Timothy Roscoe; Daniel David Schwyn (HotOS, 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 (PLOS@SOSP, 2021)

A Model-Checked I2C Specification. - Lukas Humbel; Daniel David Schwyn; Nora Hossle; Roni Haecki; Melissa Licciardello; Jan Schaer; David A. Cock; Michael Giardino; Timothy Roscoe (SPIN, 2021)

Modeling memory bandwidth patterns on NUMA machines with performance counters. - Daniel Goodman; Roni Haecki; Tim Harris 001 (CoRR, 2021)

On Performance and Correctness of Intra-Machine Data Transfer. - Roni Haecki (2021)

How to diagnose nanosecond network latencies in rich end-host stacks. - Roni Haecki; Radhika Niranjan Mysore; Lalith Suresh 001; Gerd Zellweger; Bo Gan; Timothy Merrifield; Sujata Banerjee; Timothy Roscoe (NSDI, 2022)