| Formal Specification and Runtime Detection of Temporal Properties for Asynchronous Context H Wei, Y Huang, J Cao, X Ma, J Lu IEEE International Conference on Pervasive Computing and Communication …, 2012 | 15 | 2012 |
| {UniStore}: A fault-tolerant marriage of causal and strong consistency M Bravo, A Gotsman, B de Régil, H Wei 2021 USENIX Annual Technical Conference (USENIX ATC 21), 923-937, 2021 | 13 | 2021 |
| Efficient Black-box Checking of Snapshot Isolation in Databases K Huang, S Liu, Z Chen, H Wei, D Basin, H Li, A Pan Proc. VLDB Endow. 16 (6), 1264–1276, 2023 | 11 | 2023 |
| Byz-gentlerain: An efficient byzantine-tolerant causal consistency protocol K Huang, H Wei, Y Huang, H Li, A Pan Stabilization, Safety, and Security of Distributed Systems: 23rd …, 2021 | 10 | 2021 |
| Checking causal consistency of MongoDB H Ouyang, H Wei, Y Huang Proceedings of the 12th Asia-Pacific Symposium on Internetware, 209-216, 2020 | 10 | 2020 |
| Probabilistically-Atomic 2-Atomicity: Enabling Almost Strong Consistency in Distributed Storage Systems H Wei, Y Huang, J Lu IEEE Transactions on Computers 66 (3), 502-514, 2017 | 10 | 2017 |
| NOC-NOC: Towards performance-optimal distributed transactions S Liu, L Multazzu, H Wei, DA Basin Proceedings of the ACM on Management of Data 2 (1), 1-25, 2024 | 8 | 2024 |
| Achieving probabilistic atomicity with well-bounded staleness and low read latency in distributed datastores L Ouyang, Y Huang, H Wei, J Lu IEEE Transactions on Parallel and Distributed Systems 32 (4), 815-829, 2020 | 7 | 2020 |
| Plume: Efficient and complete black-box checking of weak isolation levels S Liu, L Gu, H Wei, D Basin Proceedings of the ACM on Programming Languages 8 (OOPSLA2), 876-904, 2024 | 6 | 2024 |
| Raft with Out-of-Order Executions. X Gu, H Wei, L Qiao, Y Huang Int. J. Softw. Informatics 11 (4), 473-503, 2021 | 6 | 2021 |
| Specification and implementation of replicated list: The Jupiter protocol revisited H Wei, Y Huang, J Lu arXiv preprint arXiv:1708.04754, 2017 | 6 | 2017 |
| Isovista: Black-box checking database isolation guarantees L Gu, S Liu, T Xing, H Wei, Y Chen, D Basin Proceedings of the VLDB Endowment 17 (12), 4325-4328, 2024 | 5 | 2024 |
| Model‐checking‐driven explorative testing of CRDT designs and implementations Y Zhang, Y Huang, H Wei, X Ma Journal of Software: Evolution and Process 36 (4), e2555, 2024 | 5 | 2024 |
| Remove-win: a design framework for conflict-free replicated data types Y Zhang, H Wei, Y Huang 2021 IEEE 27th International Conference on Parallel and Distributed Systems …, 2021 | 5* | 2021 |
| A generic specification framework for weakly consistent replicated data types X Jiang, H Wei, Y Huang 2020 International Symposium on Reliable Distributed Systems (SRDS), 143-154, 2020 | 5 | 2020 |
| Fine-grained analysis on fast implementations of distributed multi-writer atomic registers K Huang, Y Huang, H Wei Proceedings of the 39th Symposium on Principles of Distributed Computing …, 2020 | 5 | 2020 |
| Verifying pipelined-ram consistency over read/write traces of data replicas H Wei, M De Biasi, Y Huang, J Cao, J Lu IEEE Transactions on Parallel and Distributed Systems 27 (5), 1511-1523, 2016 | 5 | 2016 |
| Tunable causal consistency: Specification and implementation X Jiang, H Wei, Y Huang 2022 IEEE 28th International Conference on Parallel and Distributed Systems …, 2023 | 3 | 2023 |
| Verifying transactional consistency of mongodb H Ouyang, H Wei, Y Huang, H Li, A Pan arXiv preprint arXiv:2111.14946, 2021 | 3 | 2021 |
| LLM Meets Bounded Model Checking: Neuro-symbolic Loop Invariant Inference G Wu, W Cao, Y Yao, H Wei, T Chen, X Ma Proceedings of the 39th IEEE/ACM International Conference on Automated …, 2024 | 2 | 2024 |
Yu HuangNanjing UniversityVerified email at nju.edu.cn
