publications

2026

  1. ASPLOS
    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, and Pat Pannuto
    In Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2, Pittsburgh, PA, USA, Mar 2026
    PDF

2025

  1. SOSP
    TickTock: Verified Isolation in a Production Embedded OS
    Vivien Rindisbacher, Evan Johnson, Nico Lehmann, Tyler Potyondy, Pat Pannuto, Stefan Savage, Deian Stefan, and Ranjit Jhala
    In Proceedings of the ACM SIGOPS 31st Symposium on Operating Systems Principles, Seoul, Republic of Korea, Oct 2025
    PDF
  2. OSDI
    Building Bridges: Safe Interactions with Foreign Languages through Omniglot
    Leon Schuermann, Jack Troubes, Tyler Potyondy, Pat Pannuto, Mae Milano, and Amit Levy
    In Proceedings of the 19th USENIX Symposium on Operating Systems Design and Implementation, Boston, MA, USA, Jul 2025
    Best Paper Award PDF

2024

  1. SPICES Workshop
    Tabula Rasa: Starting Safe Stays Safe
    Tyler Potyondy, Samir Rashid, Leon Schuermann, Anthony Tarbinian, and Pat Pannuto
    In The 3rd Workshop on Security and Privacy in Connected Embedded Systems, Abu Dhabi, UAE, Nov 2024
    Best Paper Award PDF

2021

  1. BioFabrication
    Recent advances in 3D bioprinting of musculoskeletal tissues
    Tyler Potyondy, Jorge Alfredo Uquillas, Peyton J Tebon, Batzaya Byambaa, Anwarul Hasan, Maryam Tavafoghi, Heloise Mary, George E Aninwene, Ippokratis Pountos, Ali Khademhosseini, and Nureddin Ashammakhi
    Biofabrication, Mar 2021
    DOI