Shaokai Lin

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 20

Top Topics

Timed Petri Nets

Top Venues

ACM Trans. Embed. Comput. Syst.

CPS-IoT Week Workshops

Publications

Martin Schoeberl, Ehsan Khodadad, Shaokai Lin, Emad Jacob Maroun, Luca Pezzarossa, Edward A. Lee
Invited Paper: Worst-Case Execution Time Analysis of Lingua Franca Applications. WCET (2024)
Peter Donovan, Erling Rennemo Jellum, Byeong-Gil Jun, Hokeun Kim, Edward A. Lee, Shaokai Lin, Marten Lohstroh, Anirudh Rengarajan
Strongly-Consistent Distributed Discrete-event Systems. CoRR (2024)
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
PretVM: Predictable, Efficient Virtual Machine for Real-Time Concurrency. CoRR (2024)
Erling Rennemo Jellum, Shaokai Lin, Peter Donovan, Efsane Soyer, Fuzail Shakir, Torleiv H. Bryne, Milica Orlandic, Marten Lohstroh, Edward A. Lee
Beyond the Threaded Programming Model on Real-Time Operating Systems. NG-RES@HiPEAC (2023)
Edward A. Lee, Ravi Akella, Soroush Bateni, Shaokai Lin, Marten Lohstroh, Christian Menard
Consistency vs. Availability in Distributed Real-Time Systems. CoRR (2023)
Marcus Rossel, Shaokai Lin, Marten Lohstroh, Jerónimo Castrillón, Andrés Goens
Provable Determinism for Software in Cyber-Physical Systems. VSTTE (2023)
Edward A. Lee, Ravi Akella, Soroush Bateni, Shaokai Lin, Marten Lohstroh, Christian Menard
Consistency vs. Availability in Distributed Cyber-Physical Systems. ACM Trans. Embed. Comput. Syst. 22 (5s) (2023)
Shaokai Lin, Yatin A. Manerkar, Marten Lohstroh, Elizabeth Polgreen, Sheng-Jung Yu, Chadlia Jerad, Edward A. Lee, Sanjit A. Seshia
Towards Building Verifiable CPS using Lingua Franca. ACM Trans. Embed. Comput. Syst. 22 (5s) (2023)
Soroush Bateni, Marten Lohstroh, Hou Seng Wong, Hokeun Kim, Shaokai Lin, Christian Menard, Edward A. Lee
Risk and Mitigation of Nondeterminism in Distributed Cyber-Physical Systems. MEMOCODE (2023)
Erling Rennemo Jellum, Shaokai Lin, Peter Donovan, Chadlia Jerad, Edward Wang, Marten Lohstroh, Edward A. Lee, Martin Schoeberl
InterPRET: a Time-predictable Multicore Processor. CPS-IoT Week Workshops (2023)
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
High-Performance Deterministic Concurrency using Lingua Franca. CoRR (2023)
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
High-performance Deterministic Concurrency Using Lingua Franca. ACM Trans. Archit. Code Optim. 20 (4) (2023)
Elizabeth Polgreen, Kevin Cheang, Pranav Gaddamadugu, Adwait Godbole, Kevin Laeufer, Shaokai Lin, Yatin A. Manerkar, Federico Mora, Sanjit A. Seshia
UCLID5: Multi-Modal Formal Modeling, Verification, and Synthesis. CoRR (2022)
Soroush Bateni, Marten Lohstroh, Hou Seng Wong, Rohan Tabish, Hokeun Kim, Shaokai Lin, Christian Menard, Cong Liu, Edward A. Lee
Xronos: Predictable Coordination for Safety-Critical Distributed Embedded Systems. CoRR (2022)
Elizabeth Polgreen, Kevin Cheang, Pranav Gaddamadugu, Adwait Godbole, Kevin Laeufer, Shaokai Lin, Yatin A. Manerkar, Federico Mora, Sanjit A. Seshia
UCLID5: Multi-modal Formal Modeling, Verification, and Synthesis. CAV (1) (2022)
Shaokai Lin, Xinyuan Sun, Jianan Yao, Ronghui Gu
SciviK: A Versatile Framework for Specifying and Verifying Smart Contracts. CoRR (2021)
Xinyuan Sun, Shaokai Lin, Vilhelm Sjöberg, Jay Jie
How to Exploit a DeFi Project. Financial Cryptography Workshops (2021)
Edward A. Lee, Soroush Bateni, Shaokai Lin, Marten Lohstroh, Christian Menard
Quantifying and Generalizing the CAP Theorem. CoRR (2021)
Julien Deantoni, João Cambeiro, Soroush Bateni, Shaokai Lin, Marten Lohstroh
Debugging and Verification Tools for Lingua Franca in Gemoc Studio. FDL (2021)
Shaokai Lin, Zichuan Wang, Lior Horesh
Communication over Continuous Quantum Secure Dialogue using Einstein-Podolsky-Rosen States. CoRR (2019)