Tyler Potyondy

According to our database, Tyler Potyondy authored at least 4 papers between 2025 and 2026.

Collaborative distances:

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

2026

ENTS: Experiences in Co-Designed Environmental Sensing.

John Madden, Stephen Taylor, Laura Jaliff, Aaron Wu, Alec Levy, Jack Lin, Ahmed Falah, Tyler Potyondy, Josiah D. Hester, George Wells, Yaman Sangar, Pat Pannuto, Colleen Josephson

Proceedings of the 2026 ACM/IEEE International Conference on Embedded Artificial Intelligence and Sensing Systems, 2026

Rage Against the State Machine: Type-Stated Hardware Peripherals for Increased Driver Correctness.

Tyler Potyondy, Anthony Tarbinian, Leon Schuermann, Eric Mugnier, Adin Ackerman, Amit Levy, Pat Pannuto

Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2026

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