Jasmin Schult

According to our database, Jasmin Schult authored at least 5 papers between 2021 and 2026.

Collaborative distances:

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

2026

Proxics: an efficient programming model for far memory accelerators.

Zikai Liu, Niels Pressel, Jasmin Schult, Roman Meier, Pengcheng Xu, Timothy Roscoe

CoRR, April, 2026

2025

Mainframe-Style Channel Controllers for Modern Disaggregated Memory Systems.

Zikai Liu, Jasmin Schult, Pengcheng Xu, Timothy Roscoe

Proceedings of the 16th ACM SIGOPS Asia-Pacific Workshop on Systems, 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