Xiupei Mei

Publication Activity (10 Years)

Years Active: 2011-2021
Publications (10 Years): 7

Top Topics

Transaction Management

Correctness Criterion

Transactional Properties

Set Of Inference Rules

Top Venues

ACM Trans. Softw. Eng. Methodol.

Publications

Xiaoxue Ma, Shangru Wu, Ernest Bota Pobee, Xiupei Mei, Hao Zhang, Bo Jiang, Wing Kwong Chan
RegionTrack: A Trace-Based Sound and Complete Checker to Debug Transactional Atomicity Violations and Non-Serializable Traces. ACM Trans. Softw. Eng. Methodol. 30 (1) (2021)
Xiupei Mei, Imran Ashraf, Xiaoxue Ma, Hao Zhang, Zhengyuan Wei, Haipeng Wang, W. K. Chan
Execution Repair for Spark Programs by Active Maintenance of Partition Dependency. IEEE Access 9 (2021)
Xiaoxue Ma, Shangru Wu, Ernest Bota Pobee, Xiupei Mei, Hao Zhang, Bo Jiang, Wing Kwong Chan
RegionTrack: A Trace-based Sound and Complete Checker to Debug Transactional Atomicity Violations and Non-Serializable Traces. CoRR (2020)
Xiupei Mei, Zhengyuan Wei, Hao Zhang, W. K. Chan
BlockRace: A Big Data Approach to Dynamic Block-based Data Race Detection for Multithreaded Programs. AST@ICSE (2020)
Ernest Bota Pobee, Xiupei Mei, Wing Kwong Chan
Efficient Transaction-Based Deterministic Replay for Multi-threaded Programs. ASE (2019)
Xiupei Mei, Imran Ashraf, Bo Jiang, Wing Kwong Chan
A Fuzz Testing Service for Assuring Smart Contracts. QRS Companion (2019)
Qing Mi, Jacky Keung, Yan Xiao, Solomon Mensah, Xiupei Mei
An Inception Architecture-Based Model for Improving Code Readability Classification. EASE (2018)
Jing Li, Dianfu Ma, Xiupei Mei, Hailong Sun, Zibin Zheng
Adaptive QoS-Aware Service Process Reconfiguration. IEEE SCC (2011)