| Using concurrent relational logic with helpers for verifying the AtomFS file system M Zou, H Ding, D Du, M Fu, R Gu, H Chen Proceedings of the 27th ACM Symposium on Operating Systems Principles, 259-274, 2019 | 50 | 2019 |
| WeTune: Automatic Discovery and Verification of Query Rewrite Rules Z Wang, Z Zhou, Y Yang, H Ding, G Hu, D Ding, C Tang, H Chen, J Li Proceedings of the 2022 International Conference on Management of Data, 94-107, 2022 | 37 | 2022 |
| Automated Verification of Idempotence for Stateful Serverless Applications H Ding, Z Wang, Z Shen, R Chen, H Chen 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2023 | 15 | 2023 |
| Proving Query Equivalence Using Linear Integer Arithmetic H Ding, Z Wang, Y Yang, D Zhang, Z Xu, H Chen, R Piskac, J Li Proceedings of the ACM on Management of Data 1 (4), 1-26, 2023 | 9 | 2023 |
