Portrait of Haoxiang Lin

Haoxiang Lin

Researcher

About

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 a member of System Research Group now.

Research Interests:

Operating System
Program Analysis
Model Checking
Concurrent Programming

Projects

MODIST: Transparent Model Checking of Unmodified Cloud Systems

Established: March 8, 2014

MODIST is a practical software model checker for unmodified concurrent, distributed and cloud systems. MODIST explores different execution paths systematically as well as simulating a variety of environment faults to discover subtle corner-case defects. We have applied MODIST in Oracle…

Publications

2015

2014

2013

2012

2011

2010

2009

2008