| 2025 |
J |
jnl |
CoRR
Haobin Ni, Robbert van Renesse, Greg Morrisett
|
| 2025 |
J |
jnl |
CoRR
Yunhao Zhang, Haobin Ni, Soumya Basu, Shir Cohen, Maofan Yin, Lorenzo Alvisi, Robbert van Renesse, Qi Chen, Lidong Zhou
|
| 2024 |
J |
jnl |
CoRR
Glenn Sun, Yihong Zhang, Haobin Ni
|
| 2024 |
J |
jnl |
CoRR
Siqiu Yao, Haobin Ni, Andrew C. Myers, Ethan Cecchetti
|
| 2024 |
J |
jnl |
CoRR
Gus Henry Smith, Colin Knizek, Daniel Petrisko, Zachary Tatlock, Jonathan Balkind, Gilbert Louis Bernstein, Haobin Ni, Chandrakana Nandi
|
| 2023 |
B |
conf |
CPP
Haobin Ni, Antoine Delignat-Lavaud, Cédric Fournet, Tahina Ramananandro, Nikhil Swamy
|
| 2023 |
J |
jnl |
ACM Trans. Comput. Syst.
Isaac C. Sheff, Xinwen Wang, Kushal Babel, Haobin Ni, Robbert van Renesse, Andrew C. Myers
|
| 2023 |
— |
conf |
PaPoC@EuroSys
Natalie Neamtu, Haobin Ni, Robbert van Renesse
|
| 2023 |
J |
jnl |
CoRR
Natalie Neamtu, Haobin Ni, Robbert van Renesse
|
| 2022 |
A* |
conf |
PLDI
Nikhil Swamy, Tahina Ramananandro, Aseem Rastogi, Irina Spiridonova, Haobin Ni, Dmitry Malloy, Juan Vazquez, Michael Tang, Omar Cardona, Arti Gupta
|
| 2021 |
A* |
conf |
SP
Ethan Cecchetti, Siqiu Yao, Haobin Ni, Andrew C. Myers
|
| 2021 |
J |
jnl |
CoRR
Ethan Cecchetti, Siqiu Yao, Haobin Ni, Andrew C. Myers
|
| 2019 |
J |
jnl |
CoRR
Isaac C. Sheff, Xinwen Wang, Haobin Ni, Robbert van Renesse, Andrew C. Myers
|