Roni Haecki

According to our database, Roni Haecki authored at least 8 papers between 2016 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

How to diagnose nanosecond network latencies in rich end-host stacks.

Roni Haecki, Radhika Niranjan Mysore, Lalith Suresh, Gerd Zellweger, Bo Gan, Timothy Merrifield, Sujata Banerjee, Timothy Roscoe

Proceedings of the 19th USENIX Symposium on Networked Systems Design and Implementation, 2022

2021

On Performance and Correctness of Intra-Machine Data Transfer.

Roni Haecki

PhD thesis, 2021

Modeling memory bandwidth patterns on NUMA machines with performance counters.

Daniel Goodman, Roni Haecki, Tim Harris

CoRR, 2021

A Model-Checked I²C Specification.

Lukas Humbel, Daniel David Schwyn, Nora Hossle, Roni Haecki, Melissa Licciardello, Jan Schaer, David A. Cock, Michael Giardino, Timothy Roscoe

Proceedings of the Model Checking Software - 27th International Symposium, 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

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.

Reto Achermann, David A. Cock, Roni Haecki, Nora Hossle, Lukas Humbel, Timothy Roscoe, Daniel David Schwyn

Proceedings of the HotOS '21: Workshop on Hot Topics in Operating Systems, 2021

2019

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

2016

Machine-Aware Atomic Broadcast Trees for Multicores.

Stefan Kaestle, Reto Achermann, Roni Haecki, Moritz Hoffmann, Sabela Ramos, Timothy Roscoe

Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation, 2016