Reto Achermann
4 papers · 2016–2023 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
๐
Conference Polyglot ยท Bronze
๐
Academic Marathon ยท Sprint
๐ฃ
Hot Topic Early Bird
๐
Trend Setter
Top co-authors
Research topics
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