| 2026 |
J |
jnl |
CoRR
Marisa Kirisame, Thomas Porter, Ruqing Yang, Jianqiu Zhao, Yudi Wu, Ivan Wei, Cyrus Omar, Pavel Panchekha
|
| 2025 |
J |
jnl |
CoRR
Thomas Porter, Marisa Kirisame, Ivan Wei, Pavel Panchekha, Cyrus Omar
|
| 2025 |
J |
jnl |
Proc. ACM Program. Lang.
Thomas Porter, Marisa Kirisame, Ivan Wei, Pavel Panchekha, Cyrus Omar
|
| 2025 |
J |
jnl |
Proc. ACM Program. Lang.
Marisa Kirisame, Tiezhi Wang, Pavel Panchekha
|
| 2024 |
J |
jnl |
CoRR
Marisa Kirisame, Tiezhi Wang, Pavel Panchekha
|
| 2022 |
J |
jnl |
CoRR
Marisa Kirisame, Pranav Shenoy, Pavel Panchekha
|
| 2022 |
J |
jnl |
Proc. ACM Program. Lang.
Marisa Kirisame, Pranav Shenoy, Pavel Panchekha
|
| 2021 |
A* |
conf |
ICLR
Marisa Kirisame, Steven Lyubomirsky, Altan Haan, Jennifer Brennan, Mike He, Jared Roesch, Tianqi Chen, Zachary Tatlock
|
| 2020 |
J |
jnl |
CoRR
Marisa Kirisame, Steven Lyubomirsky, Altan Haan, Jennifer Brennan, Mike He, Jared Roesch, Tianqi Chen, Zachary Tatlock
|
| 2019 |
J |
jnl |
CoRR
Jared Roesch, Steven Lyubomirsky, Marisa Kirisame, Josh Pollock, Logan Weber, Ziheng Jiang, Tianqi Chen, Thierry Moreau, Zachary Tatlock
|
| 2018 |
J |
jnl |
CoRR
Jared Roesch, Steven Lyubomirsky, Logan Weber, Josh Pollock, Marisa Kirisame, Tianqi Chen, Zachary Tatlock
|
| 2018 |
— |
conf |
MAPL@PLDI
Jared Roesch, Steven Lyubomirsky, Logan Weber, Josh Pollock, Marisa Kirisame, Tianqi Chen, Zachary Tatlock
|