Department of Computer Science
The University of Hong Kong (HKU)
Room 421, Chow Yei Ching Building, HKU, Pok Fu Lam Road, Hong Kong
[ Resume | Publication | Students]
I am an associate professor in HKU CS. I received my PhD degree from Columbia University in Jan 2015 (my PhD supervisor is Prof. Junfeng Yang). I lead the HKU Systems Software Group. My research includes distributed systems, programming languages, cloud computing, big-data, block-chains, and AI. I have a particular focus on improving software reliability, security, and performance. In recent three years, I serve on the program committees of international premier systems/networking conferences, including NSDI, ATC, DSN, EuroSys, SOCC, and ICDCS. I receive several world-wide competative research awards, including a Croucher Innovation Award in 2016, an outstanding (best) paper award from ACSAC '17, and two Huawei flagship research grants in 2018 (blockchain and security) and 2021 (AI).
My recent research papers have led to commercial software releases with global leading IT industries. For instance, My secure system papers (e.g., [Uranus AsiaCCS 2020] and [DAENet TDSC 2021]) on Trusted Execution Environments have become a core component of Huawei's Trusted and Intelligent Cloud Services (see the UTEE component in TICS). In addition, my students and I are actively collaborating with industries to jointly publish research papers and to transfer the resultant systems from these papers into commercial software of broad areas, including distributed AI training systems, permissioned blockchain systems, security and privacy preserving systems, and geo distributed transaction systems.
I admit several PhD students every year. I expect my students to have good skills/experience on hacking systems software (e.g., Linux kernel, LLVM, or distributed protocols) or AI frameworks, and have strong motivation on research. If you are interested, please directly apply here and select "systems and networking research" as your interested field during the application. If you also want to talk with me individually, please read my recent papers (at least several times for each paper), understand how they work deeply, compile and run them, and then email me what new research topics you can think of (e.g., new applications or significant improvments of my systems, or some other relevant and crazy ideas). I will reply your email quickly if your ideas make sense. I also recruit postdoc of broad systems and networking areas. Please read my papers, form a few short research proposals (ideas/plans) within the intersections of your work and my work, and send me your CV with the proposals.
I have several well funded research grants that can support student Research Assistants (RAs) and summer research interns for students around the world. If you are interested and you can work full-time in HKU for a few months, you can send me emails with your CV and thoughts on my papers.
Efficient and DoS-resistant Consensus for Permissioned Blockchains
[Draft | code]
Proceedings of the 39th International Symposium on Computer Performance, Modeling, Measurements and Evaluation 2021 (Performance '21, accepted)
Achieving Low Tail-latency and High Scalability for Serializable Transactions in Edge Computing
video | code]
Proceedings of the European Conference on Computer Systems 2021 (EuroSys '21). ACM results reproduced badge.
vSMT-IO: Improving I/O Performance and Efficiency on SMT Processors in Virtualized Clouds
Proceedings of the 2020 USENIX Annual Technical Conference (ATC '20)
UPA: An Automated, Accurate and Efficient Differentially Private Big-data Mining System
video | code]
Proceedings of the 50th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN '20)
Fulva: Efficient Live Migration for In-memory Key-Value Stores with Zero Downtime
Proceedings of the 38th International Symposium on Reliable Distributed Systems (SRDS '19)
NFVactor: A Resilient NFV System using the Distributed Actor Model
IEEE Journal on Selected Areas in Communications (JSAC) 2019
How Local Information Improves Rendezvous in Cognitive Radio Networks
Proceedings of the IEEE International Conference on Sensing, Communication and Networking 2018 (SECON '18)
Kakute: A Precise, Unified Information Flow Analysis System for Big-data Security
Proceedings of the Annual Computer Security Applications Conference (ACSAC '17), 2017. Best paper award!
Confluence: Speeding Up Iterative Distributed Operations by Key-dependency-aware Partitioning
IEEE Transactions on Parallel and Distributed Systems 2017 (TPDS '17)
Determinism Is Not Enough: Making Parallel Programs Reliable with Stable Multithreading
Communications of the ACM (2014)
Verifying Systems Rules Using Rule-Directed Symbolic Execution
Eighteenth International Conference on Architecture Support for Programming Languages and Operating Systems (ASPLOS '13), 2013
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