Shaokai Lin

28 papers B 1C 2Journal 17Unranked 8
YearRankTypeTitle / Venue / Authors
2026 J jnl
ACM Trans. Model. Comput. Simul.
Peter Donovan, Erling Jellum, Byeong-Gil Jun, Hokeun Kim, Edward A. Lee, Shaokai Lin, Marten Lohstroh, Anirudh Rengarajan
2025 J jnl
CoRR
Gustavo Quiros Araya, Yi Peng Zhu, Tao Cui, Shaokai Lin, Marten Lohstroh, Edward A. Lee
2025 J jnl
IEEE Embed. Syst. Lett.
Shaokai Lin, Tassilo Tanneberger, Jiahong Bi, Guangyu Feng, Yimo Xu, Julian Robledo, Robert Khasanov, Jerónimo Castrillón
2025 B conf
FMCAD
Pei-Wei Chen, Shaokai Lin, Adwait Godbole, Ramneet Singh, Elizabeth Polgreen, Edward A. Lee, Sanjit A. Seshia
2025 J jnl
CoRR
Pei-Wei Chen, Shaokai Lin, Adwait Godbole, Ramneet Singh, Elizabeth Polgreen, Edward A. Lee, Sanjit A. Seshia
2025 conf
NG-RES@HiPEAC
Magnus Mæhlum, Erling Rennemo Jellum, Shaokai Lin, Marten Lohstroh, Martin Schoeberl, Sverre Hendseth, Edward A. Lee
2025 J jnl
ACM Trans. Embed. Comput. Syst.
Shaokai Lin, Erling Jellum, Mirco Theile, Tassilo Tanneberger, Binqi Sun, Chadlia Jerad, Yimo Xu, Guangyu Feng, Magnus Mæhlum, Jian-Jia Chen, Martin Schoeberl, Linh Thi Xuan Phan, Jerónimo Castrillón, Sanjit A. Seshia, Edward A. Lee
2025 conf
Rebeca for Actor Analysis in Action
Shaokai Lin, Edward A. Lee
2024 conf
WCET
Martin Schoeberl, Ehsan Khodadad, Shaokai Lin, Emad Jacob Maroun, Luca Pezzarossa, Edward A. Lee
2024 J jnl
CoRR
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 A. Seshia, Edward A. Lee
2024 J jnl
CoRR
Peter Donovan, Erling Rennemo Jellum, Byeong-Gil Jun, Hokeun Kim, Edward A. Lee, Shaokai Lin, Marten Lohstroh, Anirudh Rengarajan
2023 conf
NG-RES@HiPEAC
Erling Rennemo Jellum, Shaokai Lin, Peter Donovan, Efsane Soyer, Fuzail Shakir, Torleiv H. Bryne, Milica Orlandic, Marten Lohstroh, Edward A. Lee
2023 J jnl
ACM Trans. Embed. Comput. Syst.
Edward A. Lee, Ravi Akella, Soroush Bateni, Shaokai Lin, Marten Lohstroh, Christian Menard
2023 J jnl
CoRR
Edward A. Lee, Ravi Akella, Soroush Bateni, Shaokai Lin, Marten Lohstroh, Christian Menard
2023 J jnl
CoRR
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
2023 J jnl
ACM Trans. Archit. Code Optim.
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
2023 conf
CPS-IoT Week Workshops
Erling Rennemo Jellum, Shaokai Lin, Peter Donovan, Chadlia Jerad, Edward Wang, Marten Lohstroh, Edward A. Lee, Martin Schoeberl
2023 conf
VSTTE
Marcus Rossel, Shaokai Lin, Marten Lohstroh, Jerónimo Castrillón, Andrés Goens
2023 C conf
MEMOCODE
Soroush Bateni, Marten Lohstroh, Hou Seng Wong, Hokeun Kim, Shaokai Lin, Christian Menard, Edward A. Lee
2023 J jnl
ACM Trans. Embed. Comput. Syst.
Shaokai Lin, Yatin A. Manerkar, Marten Lohstroh, Elizabeth Polgreen, Sheng-Jung Yu, Chadlia Jerad, Edward A. Lee, Sanjit A. Seshia
2022 J jnl
CoRR
Elizabeth Polgreen, Kevin Cheang, Pranav Gaddamadugu, Adwait Godbole, Kevin Laeufer, Shaokai Lin, Yatin A. Manerkar, Federico Mora, Sanjit A. Seshia
2022 conf
CAV (1)
Elizabeth Polgreen, Kevin Cheang, Pranav Gaddamadugu, Adwait Godbole, Kevin Laeufer, Shaokai Lin, Yatin A. Manerkar, Federico Mora, Sanjit A. Seshia
2022 J jnl
CoRR
Soroush Bateni, Marten Lohstroh, Hou Seng Wong, Rohan Tabish, Hokeun Kim, Shaokai Lin, Christian Menard, Cong Liu, Edward A. Lee
2021 C conf
FDL
Julien Deantoni, João Cambeiro, Soroush Bateni, Shaokai Lin, Marten Lohstroh
2021 conf
Financial Cryptography Workshops
Xinyuan Sun, Shaokai Lin, Vilhelm Sjöberg, Jay Jie
2021 J jnl
CoRR
Edward A. Lee, Soroush Bateni, Shaokai Lin, Marten Lohstroh, Christian Menard
2021 J jnl
CoRR
Shaokai Lin, Xinyuan Sun, Jianan Yao, Ronghui Gu
2019 J jnl
CoRR
Shaokai Lin, Zichuan Wang, Lior Horesh