Follow
Shaokai Jerry Lin
Title
Cited by
Cited by
Year
Quantifying and generalizing the CAP theorem
EA Lee, S Bateni, S Lin, M Lohstroh, C Menard
arXiv preprint arXiv:2109.07771, 2021
172021
High-performance Deterministic Concurrency Using Lingua Franca
C Menard, M Lohstroh, S Bateni, M Chorlian, A Deng, P Donovan, ...
ACM Transactions on Architecture and Code Optimization 20 (4), 1-29, 2023
102023
UCLID5: multi-modal formal modeling, verification, and synthesis
E Polgreen, K Cheang, P Gaddamadugu, A Godbole, K Laeufer, S Lin, ...
International Conference on Computer Aided Verification, 538-551, 2022
102022
Xronos: Predictable coordination for safety-critical distributed embedded systems
S Bateni, M Lohstroh, HS Wong, R Tabish, H Kim, S Lin, C Menard, C Liu, ...
arXiv preprint arXiv:2207.09555, 2022
102022
Trading off consistency and availability in tiered heterogeneous distributed systems
EA Lee, S Bateni, S Lin, M Lohstroh, C Menard
Intelligent Computing 2, 0013, 2023
62023
Consistency vs. availability in distributed real-time systems
EA Lee, R Akella, S Bateni, S Lin, M Lohstroh, C Menard
arXiv preprint arXiv:2301.08906, 2023
52023
Scivik: A versatile framework for specifying and verifying smart contracts
S Lin, X Sun, J Yao, R Gu
Memorial Volume for Shoucheng Zhang, 403-437, 2022
52022
Debugging and verification tools for LINGUA FRANCA in GEMOC studio
J Deantoni, J Cambeiro, S Bateni, S Lin, M Lohstroh
2021 Forum on Specification & Design Languages (FDL), 01-08, 2021
52021
Beyond the threaded programming model on real-time operating systems
ER Jellum, S Lin, P Donovan, E Soyer, F Shakir, T Bryne, M Orlandic, ...
Fourth Workshop on Next Generation Real-Time Embedded Systems (NG-RES 2023), 2023
42023
Consistency vs. availability in distributed cyber-physical systems
EA Lee, R Akella, S Bateni, S Lin, M Lohstroh, C Menard
ACM Transactions on Embedded Computing Systems 22 (5s), 1-24, 2023
32023
InterPRET: A Time-Predictable Multicore Processor
ER Jellum, S Lin, P Donovan, C Jerad, E Wang, M Lohstroh, EA Lee, ...
Proceedings of Cyber-Physical Systems and Internet of Things Week 2023, 331-336, 2023
22023
Towards building verifiable CPS using Lingua Franca
S Lin, YA Manerkar, M Lohstroh, E Polgreen, SJ Yu, C Jerad, EA Lee, ...
ACM Transactions on Embedded Computing Systems 22 (5s), 1-24, 2023
12023
Provable Determinism for Software in Cyber-Physical Systems
M Rossel, SJ Lin, M Lohstroh, J Castrillon, A Goens
15th International Conference on Verified Software: Theories, Tools, and …, 2023
12023
Risk and Mitigation of Nondeterminism in Distributed Cyber-Physical Systems
S Bateni, M Lohstroh, HS Wong, H Kim, S Lin, C Menard, EA Lee
Proceedings of the 21st ACM-IEEE International Conference on Formal Methods …, 2023
2023
Communication over Continuous Quantum Secure Dialogue using Einstein-Podolsky-Rosen States
S Lin, Z Wang, L Horesh
Quantum Information Processing 2020, 2019
2019
UCLID5: Multi-modal Formal Modeling, Verification, and Synthesis
A Godbole, K Laeufer, S Lin, YA Manerkar, F Mora, SA Seshia
The system can't perform the operation now. Try again later.
Articles 1–16