Scholar
Hengfeng Wei
Google Scholar ID: HK9-98EAAAAJ
Hunan University
Citations & Impact
Citations
193
H-index
9
i10-index
9
Publications
20
Co-authors
17
list available
Contact
Publications
Resume (English only)
Academic Achievements
- Published multiple papers, including:
- - 2025 ICDE conference paper: 'Online Timestamp-based Transactional Isolation Checking of Database Systems'
- - 2025 ICDE conference paper: 'Boosting End-to-End Database Isolation Checking via Mini-Transactions'
- - 2025 IEEE TPDS journal paper: 'A Generic Specification Framework for Weakly Consistent Replicated Data Types'
- - 2024 OOPSLA conference paper: 'Plume: Efficient and Complete Black-box Checking of Weak Isolation Levels'
- - 2024 VLDB conference paper: 'IsoVista: Black-box Checking Database Isolation Guarantees'
- - 2024 SIGMOD conference paper: 'NOC-NOC: Towards Performance-optimal Distributed Transactions'
- - 2023 PVLDB conference paper: 'Efficient Black-box Checking of Snapshot Isolation in Databases'
- - 2022 JCST journal paper: 'Checking Causal Consistency of MongoDB'
- - 2021 USENIX ATC conference paper: 'UniStore: A Fault-tolerant Marriage of Causal and Strong Consistency'
- - 2021 JOS journal paper: 'Raft with Out-of-Order Executions'
- - 2021 TPDS journal paper: 'Achieving Probabilistic Atomicity with Well-Bounded Staleness and Low Read Latency in Distributed Datastores'
- - Other papers in 2020.
Research Experience
- Was a research assistant at the Department of Computer Science and Technology, Nanjing University, from January 2017 to August 2020; has been a research assistant at the Software Institute, Nanjing University, since September 2020.
Education
- Received B.S. in Computer Science and Technology from Nanjing University in 2009, and Ph.D. in Computer Science and Technology from Nanjing University in 2016.
Background
- Research interests include Distributed Computing and Database Systems.
