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

Hi, I am a fifth year Ph.D. student, working on verifying hardware protocols. My advisor is Prof. Ganesh Gopalakrishnan. 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. I started working on verification since 2005. Before that, I did some work in middleware and distributed systems.
 
Publications
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