Jasmin Schult

According to our database, Jasmin Schult authored at least 4 papers between 2021 and 2025.

Collaborative distances:

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

2025

Mainframe-style channel controllers for modern disaggregated memory systems.

Zikai Liu, Jasmin Schult, Pengcheng Xu, Timothy Roscoe

CoRR, June, 2025

2024

Semi-Open-State Testing for in-Silicon Coherent Interconnects.

Jasmin Schult, Ben Fiedler, David A. Cock, Timothy Roscoe

Proceedings of the Formal Methods in Computer-Aided Design, 2024

2023

Specifying the de-facto OS of a production SoC.

Ben Fiedler, Roman Meier, Jasmin Schult, Daniel Schwyn, Timothy Roscoe

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

2021

Declarative Power Sequencing.

Jasmin Schult, Daniel David Schwyn, Michael Giardino, David A. Cock, Reto Achermann, Timothy Roscoe

ACM Trans. Embed. Comput. Syst., 2021