Reto Achermann
4 papers · 2016–2023 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓
🧭
Keyword Pioneer
🌍
Conference Polyglot
(2)
🏃
Academic Marathon
(7)
🐝
Cross-Pollinator
(3)
📈
Trend Setter
Conferences
OSDI (3)
AAAI (1)
Top co-authors
Keywords
performance optimization
(1)
interpretable machine learning
(1)
formal verification
(1)
branch and bound
(1)
sparse optimization
(1)
ensemble method
(1)
decision tree
(1)
black box model
(1)
strong consistency
(1)
state machine replication
(1)
state machine
(1)
operating system kernel
(1)
automated verification
(1)
kernel replication
(1)
numa architecture
(1)
multicore scaling
(1)
transition system
(1)
broadcast tree
(1)
multicore optimization
(1)
hardware model
(1)
Papers
Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems
OSDI 2023
Fast Sparse Decision Tree Optimization via Reference Ensembles
AAAI 2022
NrOS: Effective Replication and Sharing in an Operating System
OSDI 2021
Machine-Aware Atomic Broadcast Trees for Multicores
OSDI 2016