Shaokai Lin

According to our database, Shaokai Lin authored at least 23 papers between 2019 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

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., April, 2025

Exploration of Approaches for Robustness and Safety in a Low Code Open Environment for Factory Automation.

Gustavo Quiros Araya, Yi Peng Zhu, Tao Cui, Shaokai Lin, Marten Lohstroh, Edward A. Lee

CoRR, April, 2025

PolyVer: A Compositional Approach for Polyglot System Modeling and Verification.

Pei-Wei Chen, Shaokai Lin, Adwait Godbole, Ramneet Singh, Elizabeth Polgreen, Edward A. Lee, Sanjit A. Seshia

CoRR, March, 2025

Programming Time-Predictable Processors with Lingua Franca.

Magnus Mæhlum, Erling Rennemo Jellum, Shaokai Lin, Marten Lohstroh, Martin Schoeberl, Sverre Hendseth, Edward A. Lee

Proceedings of the Sixth Workshop on Next Generation Real-Time Embedded Systems, 2025

Verify Engineering Models, Not Scientific Models.

Shaokai Lin, Edward A. Lee

Proceedings of the Rebeca for Actor Analysis in Action, 2025

2024

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 A. Seshia, Edward A. Lee

CoRR, 2024

Strongly-Consistent Distributed Discrete-event Systems.

Peter Donovan, Erling Rennemo Jellum, Byeong-Gil Jun, Hokeun Kim, Edward A. Lee, Shaokai Lin, Marten Lohstroh, Anirudh Rengarajan

CoRR, 2024

Invited Paper: Worst-Case Execution Time Analysis of Lingua Franca Applications.

Martin Schoeberl, Ehsan Khodadad, Shaokai Lin, Emad Jacob Maroun, Luca Pezzarossa, Edward A. Lee

Proceedings of the 22nd International Workshop on Worst-Case Execution Time Analysis, 2024

2023

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, Edward A. Lee

ACM Trans. Archit. Code Optim., December, 2023

Towards Building Verifiable CPS using Lingua Franca.

Shaokai Lin, Yatin A. Manerkar, Marten Lohstroh, Elizabeth Polgreen, Sheng-Jung Yu, Chadlia Jerad, Edward A. Lee, Sanjit A. Seshia

ACM Trans. Embed. Comput. Syst., October, 2023

Consistency vs. Availability in Distributed Cyber-Physical Systems.

Edward A. Lee, Ravi Akella, Soroush Bateni, Shaokai Lin, Marten Lohstroh, Christian Menard

ACM Trans. Embed. Comput. Syst., October, 2023

Consistency vs. Availability in Distributed Real-Time Systems.

Edward A. Lee, Ravi Akella, Soroush Bateni, Shaokai Lin, Marten Lohstroh, Christian Menard

CoRR, 2023

Provable Determinism for Software in Cyber-Physical Systems.

Marcus Rossel, Shaokai Lin, Marten Lohstroh, Jerónimo Castrillón, Andrés Goens

Proceedings of the Verified Software. Theories, Tools and Experiments, 2023

Risk and Mitigation of Nondeterminism in Distributed Cyber-Physical Systems.

Soroush Bateni, Marten Lohstroh, Hou Seng Wong, Hokeun Kim, Shaokai Lin, Christian Menard, Edward A. Lee

Proceedings of the 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, 2023

Beyond the Threaded Programming Model on Real-Time Operating Systems.

Erling Rennemo Jellum, Shaokai Lin, Peter Donovan, Efsane Soyer, Fuzail Shakir, Torleiv H. Bryne, Milica Orlandic, Marten Lohstroh, Edward A. Lee

Proceedings of the Fourth Workshop on Next Generation Real-Time Embedded Systems, 2023

InterPRET: a Time-predictable Multicore Processor.

Erling Rennemo Jellum, Shaokai Lin, Peter Donovan, Chadlia Jerad, Edward Wang, Marten Lohstroh, Edward A. Lee, Martin Schoeberl

Proceedings of Cyber-Physical Systems and Internet of Things Week 2023, 2023

2022

Xronos: Predictable Coordination for Safety-Critical Distributed Embedded Systems.

Soroush Bateni, Marten Lohstroh, Hou Seng Wong, Rohan Tabish, Hokeun Kim, Shaokai Lin, Christian Menard, Cong Liu, Edward A. Lee

CoRR, 2022

UCLID5: Multi-modal Formal Modeling, Verification, and Synthesis.

Elizabeth Polgreen, Kevin Cheang, Pranav Gaddamadugu, Adwait Godbole, Kevin Laeufer, Shaokai Lin, Yatin A. Manerkar, Federico Mora, Sanjit A. Seshia

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021

Quantifying and Generalizing the CAP Theorem.

Edward A. Lee, Soroush Bateni, Shaokai Lin, Marten Lohstroh, Christian Menard

CoRR, 2021

SciviK: A Versatile Framework for Specifying and Verifying Smart Contracts.

Shaokai Lin, Xinyuan Sun, Jianan Yao, Ronghui Gu

CoRR, 2021

Debugging and Verification Tools for Lingua Franca in Gemoc Studio.

Julien Deantoni, João Cambeiro, Soroush Bateni, Shaokai Lin, Marten Lohstroh

Proceedings of the 24th Forum on specification & Design Languages, 2021

How to Exploit a DeFi Project.

Xinyuan Sun, Shaokai Lin, Vilhelm Sjöberg, Jay Jie

Proceedings of the Financial Cryptography and Data Security. FC 2021 International Workshops, 2021

2019

Communication over Continuous Quantum Secure Dialogue using Einstein-Podolsky-Rosen States.

Shaokai Lin, Zichuan Wang, Lior Horesh

CoRR, 2019