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 | Projects | Teaching ]
I am an assistant professor in Computer Science of HKU. My research includes operating systems, programming languages, cloud computing, and distributed systems, with a particular focus on improving software reliability and security.
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.
Paxos Made Transparent
[pdf | slides]
Proceedings of the 25th ACM Symposium on Operating Systems Principles (SOSP '15), 2015
REPFRAME: An Efficient and Transparent Framework for Dynamic Program Analysis
[abstract | pdf]
Proceedings of the 6th Asia-Pacific Workshop on Systems (APSys '15), 2015.
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