blank

Dr. Heming Cui

PhD Columbia
Assistant Professor


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

Dr. Cui's research interests are in operating systems, programming languages, distributed systems, and cloud computing, with a particular focus on building software infrastructures and tools to improve reliability and security of real-world software. His recent research has led to several open source projects and publication in premier systems and PL conferences (e.g., SOSP, OSDI, PLDI, and ASPLOS). Dr. Cui receives the Croucher Innovation Award in 2016.

Research Interests

Operating systems, programming languages, distributed systems, and cloud computing.

Selected Publications

  • Heming Cui, Rui Gu, Cheng Liu, Tianyu Chen, Junfeng Yang, Paxos Made Transparent, Proceedings of the 25th ACM Symposium on Operating Systems Principles (SOSP '15), 2015
  • 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 (SOSP '13), 2013
  • 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)
  • 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 (ASPLOS '13), 2013
  • 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 (PLDI '12), 2012
  • 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 (SOSP '11), 2011
  • 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 (OSDI '10), 2010
  • 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 (OSDI '10), 2010

Recent Research Grants

  • 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.