High-performance Deterministic Concurrency Using Lingua Franca. - Christian Menard; Marten Lohstroh; Soroush Bateni; Matthew Chorlian; Arthur Deng; Peter Donovan; Clément Fournier; Shaokai Lin; Felix Suchert; Tassilo Tanneberger; Hokeun Kim; Jerónimo Castrillón; et al. (ACM Trans. Archit. Code Optim., 2023)

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)

Navigating Time and Energy Tradeoffs in Reactive Heterogeneous Systems. - Shaokai Lin; Tassilo Tanneberger; Jiahong Bi; Guangyu Feng; Yimo Xu; Julian Robledo; Robert Khasanov; Jerónimo Castrillón (IEEE Embed. Syst. Lett., 2025)