Reto Achermann
4 papers
· 2016–2023
· 2 conferences
· across top CS/AI conferences
Achievements
🧭
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)