| Robust Beam-Tracking for mmWave Mobile Communications S Jayaprakasam, X Ma, JW Choi, S Kim IEEE Communications Letters 21 (12), 2654-2657, 2017 | 146 | 2017 |
| GasFuzzer: Fuzzing Ethereum Smart Contract Binaries to Expose Gas-Oriented Exception Security Vulnerabilities I Ashraf, X Ma, B Jiang, WK Chan IEEE Access 8, 99552-99564, 2020 | 48 | 2020 |
| RegionTrack: A Trace-Based Sound and Complete Checker to Debug Transactional Atomicity Violations and Non-Serializable Traces X Ma, S Wu, E Pobee, X Mei, H Zhang, B Jiang, WK Chan ACM Transactions on Software Engineering and Methodology (TOSEM) 30 (1), 1-49, 2020 | 7 | 2020 |
| Davida: A Decentralization Approach to Localizing Transaction Sequences for Debugging Transactional Atomicity Violations X Ma, I Ashraf, WK Chan IEEE Transactions on Reliability, 2022 | 2 | 2022 |
| OPE: Transforming Programs with Clean and Precise Separation of Tested Intraprocedural Program Paths with Path Profiling C Yang, I Ashraf, X Ma, H Zhang, WK Chan 2021 IEEE 21st International Conference on Software Quality, Reliability and …, 2021 | 1 | 2021 |
| Sound Predictive Atomicity Violation Detection § X Ma, I Ashraf, WK Chan 2021 IEEE 21st International Conference on Software Quality, Reliability and …, 2021 | | 2021 |
| Execution Repair for Spark Programs by Active Maintenance of Partition Dependency X Mei, I Ashraf, X Ma, H Zhang, Z Wei, H Wang, WK Chan IEEE Access 9, 101555-101573, 2021 | | 2021 |
