| 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
|