Sotabase

Career

· CS Ph.D. Candidate, University of California, Berkeley

Publications (29)

High-performance Deterministic Concurrency Using Lingua Franca
ACM Transactions on Architecture and Code Optimization (TACO) · 2023
31
cited
Quantifying and Generalizing the CAP Theorem
arXiv.org · 2021
18
cited
Consistency vs. Availability in Distributed Cyber-Physical Systems
ACM Transactions on Embedded Computing Systems · 2023
15
cited
UCLID5: Multi-modal Formal Modeling, Verification, and Synthesis
International Conference on Computer Aided Verification · 2022
14
cited
Risk and Mitigation of Nondeterminism in Distributed Cyber-Physical Systems
International Conference on Formal Methods and Models for Co-Design · 2023
13
cited
InterPRET: a Time-predictable Multicore Processor
CPS-IoT Week Workshops · 2023
12
cited
Xronos: Predictable Coordination for Safety-Critical Distributed Embedded Systems
arXiv.org · 2022
10
cited
Towards Building Verifiable CPS using Lingua Franca
ACM Transactions on Embedded Computing Systems · 2023
8
cited
Debugging and Verification Tools for Lingua Franca in Gemoc Studio
Forum on Specification and Design Languages · 2021
7
cited
Beyond the Threaded Programming Model on Real-Time Operating Systems
NG-RES@HiPEAC · 2023
6
cited
Trading Off Consistency and Availability in Tiered Heterogeneous Distributed Systems
Intelligent Computing · 2023
6
cited
Consistency vs. Availability in Distributed Real-Time Systems
arXiv.org · 2023
4
cited
SciviK: A Versatile Framework for Specifying and Verifying Smart Contracts
Memorial Volume for Shoucheng Zhang · 2021
4
cited
How to Exploit a DeFi Project
Financial Cryptography Workshops · 2021
3
cited
PolyVer: A Compositional Approach for Polyglot System Modeling and Verification
Formal Methods in Computer-Aided Design · 2025
2
cited
PretVM: Predictable, Efficient Virtual Machine for Real-Time Concurrency
arXiv.org · 2024
2
cited
Provable Determinism for Software in Cyber-Physical Systems
Verified Software: Theories, Tools, Experiments · 2023
2
cited
Quasi-Static Scheduling for Deterministic Timed Concurrent Models on Multi-Core Hardware
ACM Transactions on Embedded Computing Systems · 2025
2
cited
Worst-Case Performance for Real-Time Systems
Research Directions: Cyber-Physical Systems · 2025
2
cited
Strongly-Consistent Distributed Discrete-event Systems
arXiv.org · 2024
1
cited
Sotabase
Shaokai Lin | Researcher Profile | Sotabase | Sotabase