Scholar
Shaokai Lin
Google Scholar ID: g0eTMuIAAAAJ
CS PhD Candidate, University of California, Berkeley
Citations & Impact
Citations
234
H-index
10
i10-index
10
Publications
20
Co-authors
45
list available
Publications
Resume (English only)
Academic Achievements
- Publications:
- - EMSOFT 2025: 'Quasi-Static Scheduling for Deterministic Timed Concurrent Models on Multi-Core Hardware'
- - FMCAD 2025: 'PolyVer: A Compositional Approach for Polyglot System Modeling and Verification'
- - TCRS 2024: 'Navigating Time and Energy Trade-offs in Reactive Heterogeneous Systems'
- - Flight Software Workshop 2024: 'Building Deterministic and Concurrent Flight Software using Lingua Franca and PretVM'
- - EMSOFT 2023: 'Towards Building Verifiable CPS using Lingua Franca'
- - EMSOFT 2023: 'Consistency vs. Availability in Distributed Cyber-Physical Systems'
- - TCRS 2023: 'InterPRET: a Time-predictable Multicore Processor'
Research Experience
- Conducted research on CPS at UC Berkeley during Ph.D., focusing on how to verify a system’s design in advance and then automatically produce an implementation that is correct by construction.
Education
- Ph.D. in Computer Science, 2020 - Present, University of California, Berkeley, Advisors: Prof. Edward A. Lee and Prof. Sanjit A. Seshia; B.S. in Computer Science, 2017 - 2020, Columbia University, Collaborated with Prof. Stephen Edwards, Prof. Ronghui Gu, Prof. Gil Zussman, and Prof. Lior Horesh.
Background
- Research Interests: Building intelligent cyber-physical systems (CPS) and making them predictable, verifiable, and correct-by-construction. Specializes in Cyber-Physical Systems, Real-Time Systems, Embedded Systems, Formal Methods, and Models of Computation.
Miscellany
- Contact: shaokai at berkeley dot edu
- Links: Google Scholar, GitHub, LinkedIn, CV, ORCID
