| Time-optimal qubit mapping C Zhang, AB Hayes, L Qiu, Y Jin, Y Chen, EZ Zhang Proceedings of the 26th ACM International Conference on Architectural …, 2021 | 74 | 2021 |
| LiDO: Linearizable Byzantine Distributed Objects with Refinement-Based Liveness Proofs L Qiu, Y Kim, JY Shin, J Kim, W Honoré, Z Shao Proceedings of the ACM on Programming Languages 8 (PLDI), 1140-1164, 2024 | 1 | 2024 |
| AdoB: Bridging Benign and Byzantine Consensus with Atomic Distributed Objects W Honoré, L Qiu, Y Kim, JY Shin, J Kim, Z Shao Proceedings of the ACM on Programming Languages 8 (OOPSLA1), 419-448, 2024 | 1 | 2024 |
