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 | Group members | Collaborators ]
I am an assistant professor in HKU CS starting from Jan 2015 (right after I got my PhD from Columbia University advised by 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 and security. Recently I receive several research awards, including a Croucher Innovation Award in 2016, an award from the Huawei Innovation Research Program (HIRP) in 2017, and an outstanding (best) paper award from ACSAC '17.
I admit a few 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) and have strong motivation on research. If you think you qualify, 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 only if your ideas make sense.
I have several well funded research grants that can support student Research Assistants (RAs) and summer research interns. 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.
Apr 2018: Recently I am looking for Postdoc who have expertise on wireless networking (e.g., sensor networks and UAVs). I also look for students who have fluent experience on UAV (e.g., DJI) programming and have time to work as full-time RAs in HKU for a few months. If you have, please send me an email with your CV.
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