Leon Schuermann

According to our database, Leon Schuermann authored at least 7 papers between 2023 and 2026.

Collaborative distances:

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

2026

Wherefore Art Thou? Provenance-Guided Automatic Online Debugging with Lumos.

Jingyuan Chen, Lei Zhang, Leon Schuermann, Gongqi Huang, Ravi Netravali, Amit Levy

CoRR, March, 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

Tock: From Research To Securing 10 Million Computers.

Leon Schuermann, Brad Campbell, Branden Ghena, Philip Alexander Levis, Amit Levy, Pat Pannuto

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

End-to-End Encrypted Applications with Strong Consistency Under Byzantine Actors.

Natalie Popescu, Shai Caspin, Leon Schuermann, Jingyuan Chen, Amit Levy

Proceedings of the IEEE Annual Computer Security Applications Conference, 2025

2024

Bridge: A Leak-Free Hardware-Software Architecture for Parallel Embedded Systems.

Gongqi Huang, Leon Schuermann, Amit Levy

Proceedings of the 2nd Workshop on Kernel Isolation, Safety and Verification, 2024

2023

Encapsulated Functions: Fortifying Rust's FFI in Embedded Systems.

Leon Schuermann, Arun Thomas, Amit Levy

Proceedings of the 1st Workshop on Kernel Isolation, Safety and Verification, 2023