Dr. Heming Cui

PhD Columbia
Assistant Professor

Tel: (+852) 2859 2173
Fax: (+852) 2559 8447
Email: heming@cs.hku.hk
Homepage: http://www.cs.hku.hk/~heming


Dr. Cui joins HKU in Jan 2015. He is interested in building software infrastructures and tools to greatly improve the reliability and security of real-world software. His recent research has led to a series of open source projects and publications in top conferences and journals of broad areas, including software systems, networking, security, and programming languages. Dr. Cui serves on the program committees of top systems/networking conferences in recent years, including NSDI, SOCC, and DSN. Dr. Cui has won several worldwide competitive research awards, including a Croucher Innovation Award in 2016, an award from the Huawei Innovation Research Program (HIRP) Open in 2017, a best paper award from ACSAC '17, and a blockchain research grant award from HIRP Flagship in 2018.

Research Interests

Distributed systems, blockchains, big-data platforms, intelligent UAV/networks, and AI systems.

Selected Publications

  • Jingpu Duan, Xiaodong Yi, Shixiong Zhao, Chuan Wu, Heming Cui, Franck Le, NFVactor: A Resilient NFV System using the Distributed Actor Model, IEEE Journal on Selected Areas in Communications (JSAC) 2019.
  • Weiwei Jia, Cheng Wang, Xusheng Chen, Jianchen Shan, Xiaowei Shang, Heming Cui, Xiaoning Ding, Luwei Cheng, F.C.M. Lau, Yuexuan Wang, Yuangang Wang, Effectively Mitigating I/O Inactivity in vCPU Scheduling, Proceedings of the 2018 USENIX Annual Technical Conference (ATC '18).
  • Cheng Wang, Xusheng Chen, Weiwei Jia, Boxuan Li, Haoran Qiu, Shixiong Zhao, Heming Cui, PLOVER: Fast, Multi-core Scalable Virtual Machine Fault-tolerance, Proceedings of the 15th USENIX Symposium on Networked Systems Design and Implementation 2018 (NSDI '18).
  • Shixiong Zhao, Rui Gu, Haoran Qiu, Tsz On Li, Yuexuan Wang, Heming Cui, Junfeng Yang, OWL: Understanding and Detecting Concurrency Attacks, Proceedings of the 48th IEEE/IFIP International Conference on Dependable Systems and Networks 2018 (DSN '18).
  • Yongqin Fu, Yuexuan Wang, Zhaoquan Gu, Xiaolin Zheng, Tianhao Wei, Zhen Cao, Heming Cui, F.C.M. Lau, How Local Information Improves Rendezvous in Cognitive Radio Networks, Proceedings of the IEEE International Conference on Sensing, Communication and Networking 2018 (SECON '18).
  • Jianyu Jiang, Shixiong Zhao, Danish Alsayed, Yuexuan Wang, Heming Cui, Feng Liang, Zhaoquan Gu, Kakute: A Precise, Unified Information Flow Analysis System for Big-data Security, Proceedings of the 33rd Annual Computer Security Applications Conference 2017 (ACSAC '17). Best paper award.
  • Cheng Wang, Jianyu Jiang, Xusheng Chen, Ning Yi, Heming Cui, APUS: Fast and Scalable PAXOS on RDMA, Proceedings of the ACM Symposium on Cloud Computing 2017 (SOCC '17).
  • Feng Liang, F.C.M. Lau, Heming Cui, C.L. Wang, Confluence: Speeding Up Iterative Distributed Operations by Key-dependency-aware Partitioning, IEEE Transactions on Parallel and Distributed Systems 2017 (TPDS '17).
  • Heming Cui, Rui Gu, Cheng Liu, Tianyu Chen, Junfeng Yang, Paxos Made Transparent, Proceedings of the 25th ACM Symposium on Operating Systems Principles 2015 (SOSP '15).
  • Heming Cui, Jiri Simsa, Yi-Hong Lin, Hao Li, Ben Blum, Xinan Xu, Junfeng Yang, Garth Gibson, Randal E. Bryant, Parrot: a Practical Runtime for Deterministic, Stable, and Reliable Threads, Proceedings of the 24th ACM Symposium on Operating Systems Principles 2013 (SOSP '13).
  • Junfeng Yang, Heming Cui, Jingyue Wu, Yang Tang, Gang Hu, Determinism Is Not Enough: Making Parallel Programs Reliable with Stable Multithreading, Communications of the ACM 2014 (CACM '14).
  • Heming Cui, Gang Hu, Jingyue Wu, Junfeng Yang, Verifying Systems Rules Using Rule-Directed Symbolic Execution, Eighteenth International Conference on Architecture Support for Programming Languages and Operating Systems 2013 (ASPLOS '13).
  • Jingyue Wu, Yang Tang, Gang Hu, Heming Cui, Junfeng Yang, Sound and Precise Analysis of Parallel Programs through Schedule Specialization, Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation 2012 (PLDI '12).
  • Heming Cui, Jingyue Wu, John Gallagher, Huayang Guo, Junfeng Yang, Efficient Deterministic Multithreading through Schedule Relaxation, Proceedings of 23rd ACM Symposium on Operating Systems Principles 2011 (SOSP '11).
  • Heming Cui, Jingyue Wu, Chia-che Tsai, Junfeng Yang, Stable Deterministic Multithreading through Schedule Memoization, Proceedings of the Ninth Symposium on Operating Systems Design and Implementation 2010 (OSDI '10).
  • Jingyue Wu, Heming Cui, Junfeng Yang, Bypassing Races in Live Applications with Execution Filters, Proceedings of the Ninth Symposium on Operating Systems Design and Implementation 2010 (OSDI '10).

Recent Research Grants

  • PI, "A Blockchain-powered, Trustworthy Internet Layer (System) and its Decentralized and Efficient Applications," HKD 2,189,450, awarded by the Huawei Innovation Research Program (HIRP) Flagship, 2018 - 2020.
  • PI, "New Systems and Algorithms for Preserving Big-data Privacy in Clouds", HKD 490,400, Hong Kong RGC GRF (Ref: HKU 17202318), 2019 - 2022.
  • PI, "Achieving Strong Fault-tolerance for General Storage Applications via Fast, RDMA-powered PAXOS," HKD 544,100, awarded by the Huawei Innovation Research Program (HIRP) Open, 2017 - 2018 (finished, received an outstanding score from Huawei).
  • PI, "GAIA: Strengthening the Reliability of Datacenter Computing via Fast Distributed Consensus," HKD 500,000, Hong Kong RGC GRF (Ref: HKU 17207117), 2018 - 2021.
  • PI, "FALCON: Modeling, Detecting, and Defending against Concurrency Attacks," HKD 618,470, Hong Kong RGC ECS (Ref: HKU 27200916), 2017 - 2020.
  • PI, "RepBox: Transparent State Machine Replication and its Applications," HKD 5,000,000, Croucher Innovation Award, 2016 - 2021.