☰

Yichen Xie, Ph.D.

Affiliations: 
2006 Stanford University, Palo Alto, CA 
Google:
"Yichen Xie"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor
Alex Aiken grad student 2006 Stanford
 (Static detection of software errors.)

Children

Sign in to add trainee

Collaborators

Sign in to add collaborator
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Xie Y, Aiken A. (2007) Saturn: A scalable framework for error detection using Boolean satisfiability Acm Transactions On Programming Languages and Systems. 29: 16
Xie Y, Engler D. (2003) Using redundancies to find errors Ieee Transactions On Software Engineering. 29: 915-928
See more...