Prof. CHAN Wing Kwong (陳榮光)
Research Output
- 2020
- Published
RegionTrack: A Trace-Based Sound and Complete Checker to Debug Transactional Atomicity Violations and Non-Serializable Traces
MA, X., WU, S., POBEE, E., MEI, X., ZHANG, H., JIANG, B. & CHAN, W.-K., Dec 2020, In: ACM Transactions on Software Engineering and Methodology. 30, 1, 7.Research output: Journal Publications and Reviews › RGC 21 - Publication in refereed journal › peer-review
Scopus citations: 6 - Published
Artemis: An Improved Smart Contract Verification Tool for Vulnerability Detection
Wang, A., Wang, H., Jiang, B. & Chan, W. K., Nov 2020, Proceedings - 2020 7th International Conference on Dependable Systems and Their Applications: DSA 2020. Institute of Electrical and Electronics Engineers, Inc., p. 173-181 9331236. (Proceedings - International Conference on Dependable Systems and Their Applications, DSA).Research output: Chapters, Conference Papers, Creative and Literary Works › RGC 32 - Refereed conference paper (with host publication) › peer-review
Scopus citations: 15 - Published
Improving Fault-Localization Accuracy by Referencing Debugging History to Alleviate Structure Bias in Code Suspiciousness
Zhang, L., Li, Z., Feng, Y., Zhang, Z., Chan, W. K., Zhang, J. & Zhou, Y., Sept 2020, In: IEEE Transactions on Reliability. 69, 3, p. 1021-1049 9082019.Research output: Journal Publications and Reviews › RGC 21 - Publication in refereed journal › peer-review
Scopus citations: 9 - Published
BlockRace: A Big Data Approach to Dynamic Block-based Data Race Detection for Multithreaded Programs
Mei, X., Wei, Z., Zhang, H. & Chan, W. K., Jul 2020, Proceedings - 2020 IEEE/ACM 1st International Conference on Automation of Software Test (AST 2020). Association for Computing Machinery, p. 71-80 (Proceedings - IEEE/ACM 1st International Conference on Automation of Software Test, AST ).Research output: Chapters, Conference Papers, Creative and Literary Works › RGC 32 - Refereed conference paper (with host publication) › peer-review
- Published
CUDAsmith: A Fuzzer for CUDA Compilers
Jiang, B., Wang, X., Chan, W. K., Tse, T. H., Li, N., Yin, Y. & Zhang, Z., Jul 2020, Proceedings - 2020 IEEE 44th Annual Computers, Software, and Applications Conference. Chan, W. K., Claycomb, B., Takakura, H., Yang, J.-J., Teranishi, Y., Towey, D., Segura, S., Shahriar, H., Reisman, S. & Ahamed, S. I. (eds.). Institute of Electrical and Electronics Engineers, Inc., p. 861-871 9202798. (Proceedings - IEEE Annual Computers, Software, and Applications Conference, COMPSAC).Research output: Chapters, Conference Papers, Creative and Literary Works › RGC 32 - Refereed conference paper (with host publication) › peer-review
Scopus citations: 10 - Published
EOSFuzzer: Fuzzing EOSIO Smart Contracts for Vulnerability Detection
Huang, Y., Jiang, B. & Chan, W. K., 2020, 12th Asia-Pacific Symposium on Internetware, Internetware' 2020. Association for Computing Machinery, p. 99-109 11 p.Research output: Chapters, Conference Papers, Creative and Literary Works › RGC 32 - Refereed conference paper (with host publication) › peer-review
Scopus citations: 23 - Published
GasFuzzer: Fuzzing Ethereum Smart Contract Binaries to Expose Gas-Oriented Exception Security Vulnerabilities
ASHRAF, I., MA, X., JIANG, B. & CHAN, W. K., 2020, In: IEEE Access. 8, p. 99552-99564 13 p.Research output: Journal Publications and Reviews › RGC 21 - Publication in refereed journal › peer-review
Scopus citations: 34 - Published
Message from the 2020 Program Chairs-in-Chief
Chan, W. K., Claycomb, B. & Takakura, H., 2020, Proceedings - 2020 IEEE 44th Annual Computers, Software, and Applications Conference, COMPSAC 2020. Institute of Electrical and Electronics Engineers, Inc., p. xli-xlii (Proceedings - IEEE Annual Computers, Software, and Applications Conference, COMPSAC).Research output: Chapters, Conference Papers, Creative and Literary Works › RGC 32 - Refereed conference paper (with host publication)
- 2019
- Published
Apricot: A Weight-Adaptation Approach to Fixing Deep Learning Models
Zhang, H. & Chan, W. K., Nov 2019, 2019 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019: Proceedings. Institute of Electrical and Electronics Engineers, p. 376-387 8952197. (Proceedings - IEEE/ACM International Conference on Automated Software Engineering, ASE 2019).Research output: Chapters, Conference Papers, Creative and Literary Works › RGC 32 - Refereed conference paper (with host publication) › peer-review
Scopus citations: 69 - Published
Efficient Transaction-Based Deterministic Replay for Multi-threaded Programs
Pobee, E., Mei, X. & Chan, W. K., Nov 2019, Proceedings - 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019). Institute of Electrical and Electronics Engineers, Inc., p. 760-771 8952181. (Proceedings - IEEE/ACM International Conference on Automated Software Engineering, ASE).Research output: Chapters, Conference Papers, Creative and Literary Works › RGC 32 - Refereed conference paper (with host publication) › peer-review
Scopus citations: 6 - Published
A Systematic Study on Factors Impacting GUI Traversal-Based Test Case Generation Techniques for Android Applications
Jiang, B., Zhang, Y., Chan, W. K. & Zhang, Z., Sept 2019, In: IEEE Transactions on Reliability. 68, 3, p. 913-926Research output: Journal Publications and Reviews › RGC 21 - Publication in refereed journal › peer-review
Scopus citations: 7 - Published
AggrePlay: Efficient Record and Replay of Multi-threaded Programs
Pobee, E. & Chan, W. K., Aug 2019, ESEC/FSE '19 - Proceedings of the 2019 27th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Dumas, M., Pfahl, D. & Apel, S. (eds.). Association for Computing Machinery, Inc, p. 567-577 11 p. (ESEC/FSE - Proceedings of the ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering).Research output: Chapters, Conference Papers, Creative and Literary Works › RGC 32 - Refereed conference paper (with host publication) › peer-review
Scopus citations: 9 - Published
A Fuzz Testing Service for Assuring Smart Contracts
Mei, X., Ashraf, I., Jiang, B. & Chan, W. K., Jul 2019, 2019 IEEE 19th International Conference on Software Quality, Reliability, and Security Companion, QRS-C . Institute of Electrical and Electronics Engineers, Inc., p. 544-545 8859497. (IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C)).Research output: Chapters, Conference Papers, Creative and Literary Works › RGC 32 - Refereed conference paper (with host publication) › peer-review
Scopus citations: 15 - Published
ConRS: A Requests Scheduling Framework for Increasing Concurrency Degree of Server Programs
Zhu, B., Meng, R., Zhang, Z. & Chan, W. K., Jul 2019, 2019 IEEE 43rd Annual Computer Software and Applications Conference, COMPSAC 2019: Proceedings. Institute of Electrical and Electronics Engineers, Inc., p. 169-178 8754099. (Proceedings - International Computer Software and Applications Conference).Research output: Chapters, Conference Papers, Creative and Literary Works › RGC 32 - Refereed conference paper (with host publication) › peer-review
- 2018
- Published
Fuse: An Architecture for Smart Contract Fuzz Testing Service
Chan, W. K. & Jiang, B., 4 Dec 2018, Proceedings - 25th Asia-Pacific Software Engineering Conference, APSEC 2018. Institute of Electrical and Electronics Engineers, Inc., p. 707-708 8719542. (Proceedings - Asia-Pacific Software Engineering Conference, APSEC; vol. 2018-December).Research output: Chapters, Conference Papers, Creative and Literary Works › RGC 32 - Refereed conference paper (with host publication) › peer-review
Scopus citations: 22 - Published
ContractFuzzer: Fuzzing smart contracts for vulnerability detection
Jiang, B., Liu, Y. & Chan, W. K., 3 Sept 2018, Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering. Association for Computing Machinery (ACM), p. 259-269 (Proceedings of the ... ACM/IEEE International Conference on Automated Software Engineering; vol. 33).Research output: Chapters, Conference Papers, Creative and Literary Works › RGC 32 - Refereed conference paper (with host publication) › peer-review
Scopus citations: 608 - Published
HistLock+: Precise Memory Access Maintenance Without Lockset Comparison for Complete Hybrid Data Race Detection
Yang, J., Jiang, B. & Chan, W. K., Sept 2018, In: IEEE Transactions on Reliability. 67, 3, p. 786-801Research output: Journal Publications and Reviews › RGC 21 - Publication in refereed journal › peer-review
Scopus citations: 8 - Published
A Gamification Technique for Motivating Students to Learn Code Readability in Software Engineering
Mi, Q., Keung, J., Mei, X., Xiao, Y. & Chan, W. K., Jul 2018, Proceedings - 2018 International Symposium on Educational Technology, ISET 2018. Wang, F. L., Au, O. & Konno, T. (eds.). Institute of Electrical and Electronics Engineers, Inc., p. 250-254 8456230Research output: Chapters, Conference Papers, Creative and Literary Works › RGC 32 - Refereed conference paper (with host publication) › peer-review
Scopus citations: 22 - Published
GBRAD: A General Framework to Evaluate Design Strategies for Hybrid Race Detection
Yang, J., Chan, W. K., Yu, Y. T. & Keung, J., Jul 2018, Proceedings : 2018 IEEE 42nd Annual Computer Software and Applications Conference : COMPSAC 2018. Institute of Electrical and Electronics Engineers, Inc., Vol. 1. p. 126-131 8377648. (Proceedings - International Computer Software and Applications Conference).Research output: Chapters, Conference Papers, Creative and Literary Works › RGC 32 - Refereed conference paper (with host publication) › peer-review
- Published
Message from SETA 2018 Symposium Chairs
Chan, W. K. & Zhu, H., Jul 2018, Proceedings : 2018 IEEE 42nd Annual Computer Software and Applications Conference. IEEE Computer Society, Vol. 1. (Proceedings - International Computer Software and Applications Conference).Research output: Chapters, Conference Papers, Creative and Literary Works › Foreword/preface/postscript