Haoxiang Lin received his M.S. degree in Computer Science from Tsinghua University in 2006, and B.S. degree in Computer Science from Wuhan University in 2001. In 2006, he joined Microsoft Research Asia, and is now a Principal Researcher of the Systems and Networking Research Group.
- Operating Systems
- Model Checking
- Concurrent Programming
- Program Analysis
- ACM SIGSOFT Distinguished Paper Award from ICSE 2020
- IEEE Software Best Software Engineering in Practice Paper Award from ICSE 2013
- Best Student Paper Award from EuroSys 2008