Vivien Rindisbacher

According to our database, Vivien Rindisbacher authored at least 1 paper in 2025.

Collaborative distances:

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

2025

TickTock: Verified Isolation in a Production Embedded OS.

Vivien Rindisbacher, Evan Johnson, Nico Lehmann, Tyler Potyondy, Pat Pannuto, Stefan Savage, Deian Stefan, Ranjit Jhala

Proceedings of the ACM SIGOPS 31st Symposium on Operating Systems Principles, 2025