TY  - RPRT
TI  - PretVM: Predictable, Efficient Virtual Machine for Real-Time Concurrency
AU  - Shaokai Lin
AU  - Erling Jellum
AU  - Mirco Theile
AU  - Tassilo Tanneberger
AU  - Binqi Sun
AU  - Chadlia Jerad
AU  - Ruomu Xu
AU  - Guangyu Feng
AU  - Christian Menard
AU  - Marten Lohstroh
AU  - Jeronimo Castrillon
AU  - Sanjit Seshia
AU  - Edward Lee
PY  - 2024
UR  - https://arxiv.org/abs/2406.06253
ID  - 2406.06253
ER  -