Roman Meier

According to our database, Roman Meier authored at least 2 papers between 2023 and 2026.

Collaborative distances:

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

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

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