| Towards verified self-driving infrastructure B Liu, A Kheradmand, M Caesar, PB Godfrey Proceedings of the 19th ACM Workshop on Hot Topics in Networks, 96-102, 2020 | 15 | 2020 |
| NEAt: Network error auto-correct W Zhou, J Croft, B Liu, M Caesar Proceedings of the Symposium on SDN Research, 157-163, 2017 | 10 | 2017 |
| Automatically Correcting Networks with {NEAt} W Zhou, J Croft, B Liu, E Ang, M Caesar 15th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2018 | 9 | 2018 |
| Network intent synthesis P Jamkhedkar, MB Anwer, R Sinha, B Liu, K Oikonomou, ... US Patent 11,356,329, 2022 | 8 | 2022 |
| Kivi: Verification for Cluster Management B Liu, G Lim, R Beckett, P Godfrey arXiv preprint arXiv:2311.02800, 2023 | 4 | 2023 |
| {CAPA}: An Architecture For Operating Cluster Networks With High Availability B Liu, C Scott, M Tariq, A Ferguson, P Gill, R Alimi, O Alipourfard, ... 21st USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2024 | 2 | 2024 |
| Practical Automation for Management Planes of Service Provider Infrastructure B Liu, KY Chou, P Jamkhedkar, B Anwer, RK Sinha, K Oikonomou, ... Proceedings of the 4th FlexNets Workshop on Flexible Networks Artificial …, 2021 | 2 | 2021 |
| Network intent synthesis P Jamkhedkar, MB Anwer, R Sinha, B Liu, K Oikonomou, ... US Patent App. 17/805,675, 2022 | | 2022 |
