Tyler Potyondy

According to our database, Tyler Potyondy authored at least 2 papers 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

Building Bridges: Safe Interactions with Foreign Languages through Omniglot.

Leon Schuermann, Jack Toubes, Tyler Potyondy, Pat Pannuto, Mae Milano, Amit Levy

Proceedings of the 19th USENIX Symposium on Operating Systems Design and Implementation, 2025