Shaokai Lin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2021–2025
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | FMCAD | PolyVer: A Compositional Approach for Polyglot System Modeling and Verification. | Pei-Wei Chen, Shaokai Lin, Adwait Godbole, Ramneet Singh, Elizabeth Polgreen, Edward A. Lee, Sanjit A. Seshia |
| 2023 | MEMOCODE | 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 |
| 2022 | CAV | 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 |
| 2021 | FC | How to Exploit a DeFi Project. | Xinyuan Sun, Shaokai Lin, Vilhelm Sjberg, Jay Jie |
| 2021 | FDL | Debugging and Verification Tools for Lingua Franca in Gemoc Studio. | Julien Deantoni, Joo Cambeiro, Soroush Bateni, Shaokai Lin, Marten Lohstroh |