Search Results for author: Ruomu Xu

Found 1 papers, 0 papers with code

PretVM: Predictable, Efficient Virtual Machine for Real-Time Concurrency

no code implementations10 Jun 2024 Shaokai Lin, Erling Jellum, Mirco Theile, Tassilo Tanneberger, Binqi Sun, Chadlia Jerad, Ruomu Xu, Guangyu Feng, Christian Menard, Marten Lohstroh, Jeronimo Castrillon, Sanjit Seshia, Edward Lee

This paper introduces the Precision-Timed Virtual Machine (PretVM), an intermediate platform facilitating the execution of quasi-static schedules compiled from a subset of programs written in the Lingua Franca (LF) coordination language.

Cannot find the paper you are looking for? You can Submit a new open access paper.