PretVM: Predictable, Efficient Virtual Machine for Real-Time Concurrency. - Shaokai Lin; Erling Rennemo Jellum; Mirco Theile; Tassilo Tanneberger; Binqi Sun; Chadlia Jerad; Ruomu Xu; Guangyu Feng; Christian Menard; Marten Lohstroh; Jerónimo Castrillón; Sanjit Seshia; et al. (CoRR, 2024)