| 2026 |
B |
conf |
CPP
Andy Tockman, Pratap Singh, Andres Erbsen, Samuel Gruetter, Adam Chlipala
|
| 2025 |
J |
jnl |
CoRR
Shixin Song, Tingzhen Dong, Kosi Nwabueze, Julian Zanders, Andres Erbsen, Adam Chlipala, Mengjia Yan
|
| 2025 |
A* |
conf |
CCS
Shixin Song, Tingzhen Dong, Kosi Nwabueze, Julian Zanders, Andres Erbsen, Adam Chlipala, Mengjia Yan
|
| 2025 |
J |
jnl |
CoRR
Owen Conoly, Andres Erbsen, Adam Chlipala
|
| 2025 |
J |
jnl |
Proc. ACM Program. Lang.
Owen Conoly, Andres Erbsen, Adam Chlipala
|
| 2024 |
J |
jnl |
Proc. ACM Program. Lang.
Andres Erbsen, Jade Philipoom, Dustin Jamner, Ashley Lin, Samuel Gruetter, Clément Pit-Claudel, Adam Chlipala
|
| 2024 |
J |
jnl |
J. Autom. Reason.
Jason Gross, Andres Erbsen, Jade Philipoom, Rajashree Agrawal, Adam Chlipala
|
| 2023 |
— |
conf |
ICSE Companion
Joel Kuepper, David Wu, Andres Erbsen, Jason Gross, Owen Conoly, Chuyue Sun, Samuel Tian, Adam Chlipala, Chitchanok Chuengsatiansup, Daniel Genkin, Markus Wagner, Yuval Yarom
|
| 2023 |
J |
jnl |
CoRR
Joel Kuepper, Andres Erbsen, Jason Gross, Owen Conoly, Chuyue Sun, Samuel Tian, David Wu, Adam Chlipala, Chitchanok Chuengsatiansup, Daniel Genkin, Markus Wagner, Yuval Yarom
|
| 2023 |
J |
jnl |
Proc. ACM Program. Lang.
Joel Kuepper, Andres Erbsen, Jason Gross, Owen Conoly, Chuyue Sun, Samuel Tian, David Wu, Adam Chlipala, Chitchanok Chuengsatiansup, Daniel Genkin, Markus Wagner, Yuval Yarom
|
| 2023 |
J |
jnl |
Proc. ACM Program. Lang.
Thomas Bourgeat, Ian Clester, Andres Erbsen, Samuel Gruetter, Pratap Singh, Andy Wright, Adam Chlipala
|
| 2023 |
J |
jnl |
ACM Trans. Program. Lang. Syst.
Arthur Charguéraud, Adam Chlipala, Andres Erbsen, Samuel Gruetter
|
| 2023 |
J |
jnl |
CoRR
Jason Gross, Andres Erbsen, Jade Philipoom, Rajashree Agrawal, Adam Chlipala
|
| 2022 |
B |
conf |
ITP
Jason Gross, Andres Erbsen, Jade Philipoom, Miraya Poddar-Agrawal, Adam Chlipala
|
| 2022 |
J |
jnl |
CoRR
Jason Gross, Andres Erbsen, Jade Philipoom, Miraya Poddar-Agrawal, Adam Chlipala
|
| 2022 |
J |
jnl |
Proc. ACM Program. Lang.
Mirai Ikebuchi, Andres Erbsen, Adam Chlipala
|
| 2022 |
J |
jnl |
CoRR
Joel Kuepper, Andres Erbsen, Jason Gross, Owen Conoly, Chuyue Sun, Samuel Tian, David Wu, Adam Chlipala, Chitchanok Chuengsatiansup, Daniel Genkin, Markus Wagner, Yuval Yarom
|
| 2022 |
A* |
conf |
PLDI
Clément Pit-Claudel, Jade Philipoom, Dustin Jamner, Andres Erbsen, Adam Chlipala
|
| 2021 |
J |
jnl |
CoRR
Thomas Bourgeat, Ian Clester, Andres Erbsen, Samuel Gruetter, Andrew Wright, Adam Chlipala
|
| 2021 |
A* |
conf |
PLDI
Andres Erbsen, Samuel Gruetter, Joonwon Choi, Clark Wood, Adam Chlipala
|
| 2020 |
J |
jnl |
ACM SIGOPS Oper. Syst. Rev.
Andres Erbsen, Jade Philipoom, Jason Gross, Robert Sloan, Adam Chlipala
|
| 2019 |
A* |
conf |
IEEE Symposium on Security and Privacy
Andres Erbsen, Jade Philipoom, Jason Gross, Robert Sloan, Adam Chlipala
|
| 2018 |
B |
conf |
ITP
Jason Gross, Andres Erbsen, Adam Chlipala
|