Dr. CHAN Wing Kwong (陳榮光)

Research Output

  1. 2021
  2. Online published

    DeepEutaxy: Diversity in Weight Search Direction for Fixing Deep Learning Model Training through Batch Prioritization

    Zhang, H. & Chan, W. K., 18 Jun 2021, (Online published) In: IEEE Transactions on Reliability. 70, 3, p. 1040-1052 13 p.

    Research output: Journal Publications and Reviews (RGC: 21, 22, 62)21_Publication in refereed journalpeer-review

    Check@CityULib
  3. Published

    Execution Repair for Spark Programs by Active Maintenance of Partition Dependency

    MEI, X., ASHRAF, I., MA, X., ZHANG, H., WEI, Z., WANG, H. & CHAN, W. K., 2021, In: IEEE Access. 9, p. 101555-101573

    Research output: Journal Publications and Reviews (RGC: 21, 22, 62)21_Publication in refereed journalpeer-review

    Check@CityULib
  4. Published

    Message from the 2021 program chairs-in-Chief

    Chan, W. K., Claycomb, B. & Takakura, H., 2021, Proceedings - 2021 IEEE 45th Annual Computers, Software, and Applications Conference . Chan, W. K., Claycomb, B., Takakura, H., Yang, J., Teranishi, Y., Towey, D., Segura, S., Shahriar, H., Reisman, S. & Ahamed, S. I. (eds.). IEEE, p. xliv-xlv (Proceedings - IEEE Annual Computers, Software, and Applications Conference, COMPSAC).

    Research output: Chapters, Conference Papers, Creative and Literary Works (RGC: 12, 32, 41, 45)Foreword/preface/postscript

    Check@CityULib
  5. 2020
  6. 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., Dec 2020, In: ACM Transactions on Software Engineering and Methodology. 30, 1, 7.

    Research output: Journal Publications and Reviews (RGC: 21, 22, 62)21_Publication in refereed journalpeer-review

    Check@CityULib
  7. 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. IEEE, p. 173-181 9331236. (Proceedings - International Conference on Dependable Systems and Their Applications, DSA).

    Research output: Chapters, Conference Papers, Creative and Literary Works (RGC: 12, 32, 41, 45)32_Refereed conference paper (with ISBN/ISSN)peer-review

    Check@CityULib
  8. Published

    EOSFuzzer: Fuzzing EOSIO Smart Contracts for Vulnerability Detection

    Huang, Y., Jiang, B. & Chan, W. K., Nov 2020, Proceedings of 12th Asia-Pacific Symposium on Internetware. Association for Computing Machinery, p. 99-109 11 p.

    Research output: Chapters, Conference Papers, Creative and Literary Works (RGC: 12, 32, 41, 45)32_Refereed conference paper (with ISBN/ISSN)peer-review

    Check@CityULib
  9. 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., Sep 2020, In: IEEE Transactions on Reliability. 69, 3, p. 1021-1049 9082019.

    Research output: Journal Publications and Reviews (RGC: 21, 22, 62)21_Publication in refereed journalpeer-review

    Scopus citations: 1
    Check@CityULib
  10. 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: 12, 32, 41, 45)32_Refereed conference paper (with ISBN/ISSN)peer-review

    Check@CityULib
  11. 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., Teranishi, Y., Towey, D., Segura, S., Shahriar, H., Reisman, S. & Ahamed, S. I. (eds.). IEEE, p. 861-871 9202798. (Proceedings - IEEE Annual Computers, Software, and Applications Conference, COMPSAC).

    Research output: Chapters, Conference Papers, Creative and Literary Works (RGC: 12, 32, 41, 45)32_Refereed conference paper (with ISBN/ISSN)peer-review

    Scopus citations: 1
    Check@CityULib
  12. 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, 22, 62)21_Publication in refereed journalpeer-review

    Scopus citations: 1
    Check@CityULib
  13. 2019
  14. 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: 12, 32, 41, 45)32_Refereed conference paper (with ISBN/ISSN)peer-review

    Scopus citations: 9
    Check@CityULib
  15. 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). IEEE, p. 760-771 8952181. (Proceedings - IEEE/ACM International Conference on Automated Software Engineering, ASE).

    Research output: Chapters, Conference Papers, Creative and Literary Works (RGC: 12, 32, 41, 45)32_Refereed conference paper (with ISBN/ISSN)peer-review

    Scopus citations: 2
    Check@CityULib
  16. 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., Sep 2019, In: IEEE Transactions on Reliability. 68, 3, p. 913-926

    Research output: Journal Publications and Reviews (RGC: 21, 22, 62)21_Publication in refereed journalpeer-review

    Scopus citations: 1
    Check@CityULib
  17. 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: 12, 32, 41, 45)32_Refereed conference paper (with ISBN/ISSN)peer-review

    Scopus citations: 5
    Check@CityULib
  18. 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: 12, 32, 41, 45)32_Refereed conference paper (with ISBN/ISSN)peer-review

    Scopus citations: 1
    Check@CityULib
  19. 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. IEEE, p. 169-178 8754099. (Proceedings - International Computer Software and Applications Conference).

    Research output: Chapters, Conference Papers, Creative and Literary Works (RGC: 12, 32, 41, 45)32_Refereed conference paper (with ISBN/ISSN)peer-review

    Check@CityULib
  20. 2018
  21. 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. IEEE, p. 707-708 8719542. (Proceedings - Asia-Pacific Software Engineering Conference, APSEC; vol. 2018-December).

    Research output: Chapters, Conference Papers, Creative and Literary Works (RGC: 12, 32, 41, 45)32_Refereed conference paper (with ISBN/ISSN)peer-review

    Scopus citations: 8
    Check@CityULib
  22. Online published

    Sifter: A Service Isolation Strategy for Internet Applications

    Ye, C., Cheung, S. C. & Chan, W. K., 16 Oct 2018, (Online published) In: IEEE Transactions on Services Computing.

    Research output: Journal Publications and Reviews (RGC: 21, 22, 62)21_Publication in refereed journalpeer-review

    Check@CityULib
  23. Published

    ContractFuzzer: Fuzzing smart contracts for vulnerability detection

    Jiang, B., Liu, Y. & Chan, W. K., 3 Sep 2018, Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering. ACM New York, 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: 12, 32, 41, 45)32_Refereed conference paper (with ISBN/ISSN)peer-review

    Scopus citations: 128
    Check@CityULib
  24. Published

    HistLock+: Precise Memory Access Maintenance Without Lockset Comparison for Complete Hybrid Data Race Detection

    Yang, J., Jiang, B. & Chan, W. K., 6 Aug 2018, In: IEEE Transactions on Reliability. 67, 3, p. 786-801

    Research output: Journal Publications and Reviews (RGC: 21, 22, 62)21_Publication in refereed journalpeer-review

    Scopus citations: 6
    Check@CityULib
Previous 1 2 3 4 5 6 7 8 9 Next