Xiaofang   Chen

  School of Computing
50S. Central Campus Dr. Rm 3190
Salt Lake City, UT   84112
Tel: (801)581-5618 (O)
Email: xiachen AT cs.utah.edu

I obtained my PhD with my advisor Prof. Ganesh Gopalakrishnan in 2008 and joined Amazon.com. My PhD dissertation is on verification of hierarchical cache coherence protocols for fururistic processors. Before that, I obtained my B.S. from University of Science and Technology of China in 2000 and M.E. from Chinese Academy of Sciences in 2003.
 
Publications
Efficient methods for formally verifying safety properties of hierarchical cache coherence protocols
Xiaofang Chen, Yu Yang, Ganesh Gopalakrishnan and Ching-Tsun Chou
Intl. Journal of Formal Methods in System Design, FMSD 2010

Distributed dynamic partial order reduction based verification of threaded software
Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan and Robert M. Kirby
Intl. Journal of Software Tools for Technology Transfer, STTT 2010

Automatic discovery of transition symmetry in multithreaded programs using dynamic analysis
Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan and Chao Wang
SPIN Workshop on Model Checking Software, SPIN 2009

Efficient stateful dynamic partial order reduction
Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan and Robert M. Kirby
SPIN Workshop on Model Checking Software, SPIN 2008

Hierarchical cache coherence protocol verification one level at a time through assume guarantee
Xiaofang Chen, Yu Yang, Michael Delisi, Ganesh Gopalakrishnan and Ching-Tsun Chou
High Level Design Validation and Test Workshop, HLDVT 2007

Transaction based modeling and verification of hardware protocols
Xiaofang Chen, Steven German and Ganesh Gopalakrishnan
Formal Methods in Computer Aided Design, FMCAD 2007

Partial order reduction based verification of threaded software
Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan and Robert M. Kirby
SPIN Workshop on Model Checking Software, SPIN 2007

Reducing verification complexity of a multicore coherence protocol using assume/guarantee
Xiaofang Chen, Yu Yang, Ganesh Gopalakrishnan and Ching-Tsun Chou
Formal Methods in Computer Aided Design, FMCAD 2006

 
Other papers
An interface aware guided search method for error trace justication in large protocols
Xiaofang Chen, Yu Yang, Ganesh Gopalakrishnan and Ching-Tsun Chou
Technical report UUCS-08-005, School of Computing, University of Utah

Transaction based modeling and verification of hardware protocols
Xiaofang Chen, Steven M. German and Ganesh Gopalakrishnan
Best Session Paper Award in Verification
TECHCON 2007, Semiconductor Research Corporation

BT: a bounded transaction model checking for cache coherence protocols
Xiaofang Chen and Ganesh Gopalakrishnan
Technical report UUCS-06-003, School of Computing, University of Utah

Predicate abstraction for Murphi using CVC-Lite
Xiaofang Chen and Ganesh Gopalakrishnan
Technical report UUCS-06-002, School of Computing, University of Utah

Performance optimization for a distributed transaction manager
Chang Xu, Xiaofang Chen, Beihong Jin and Xin Zhang
IASTED International Conference on Software Engineering and Applications, SEA 2003

Survey of transaction processing technologies
Xiaofang Chen, Ke Ding and Beihong Jin
Journal of Computer Science (in Chinese), 2003

 
Personal
Yu Yang's homepage