@misc{indiciaeb5d3b5c8885c,
  title = {PretVM: Predictable, Efficient Virtual Machine for Real-Time Concurrency},
  author = {Shaokai Lin and Erling Jellum and Mirco Theile and Tassilo Tanneberger and Binqi Sun and Chadlia Jerad and Ruomu Xu and Guangyu Feng and Christian Menard and Marten Lohstroh and Jeronimo Castrillon and Sanjit Seshia and Edward Lee},
  year = {2024},
  url = {https://arxiv.org/abs/2406.06253},
  note = {Source identifier: 2406.06253}
}