Shaokai Lin

According to our database, Shaokai Lin authored at least 18 papers between 2019 and 2024.

Collaborative distances:

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

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 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