Welcome to My Homepage

I have successfully defended my thesis and received my Ph.D. degree in June 2006. Previously, I worked on the Saturn project and my thesis advisor was Prof. Alex Aiken.

Contact Information

Homepage: http://www.cs.stanford.edu/~yxie

Publications

Books

• Static Detection of Software Errors (invited)
  Yichen Xie
  Vdm Verlag Dr. Mller, August 2007
  (Amazon)
  

Journal Articles

• Saturn: A Scalable Framework for Error Detection using Boolean Satisfiability (invited paper)
  Yichen Xie and Alex Aiken
  ACM Transaction on Programming Languages and Systems (TOPLAS), Volume 29, Issue 3 (May 2007) (Special issue on POPL 2005)
  (draft)

• Using Redundancies to Find Errors (invited paper)
  Yichen Xie and Dawson Engler
  IEEE Transactions on Software Engineering, 29(10),
  Pages 915-928, Oct. 2003
  Expanded version of an identically titled paper that appeared in FSE 2002.
  (pdf)
  

Refereed Conference/Workshop Articles

• Static Detection of Security Vulnerabilities in Scripting Languages
  Yichen Xie and Alex Aiken
  To appear in the 15th USENIX Security Symposium.
  (ps, pdf, results, Secunia Security Advisories: 1, 2, 3, 4, 5)

• Context- and Path-sensitive Memory Leak Detection
  Yichen Xie and Alex Aiken
  In Proceedings of ESEC/FSE 2005, Lisbon, Portugal
  ACM Distinguished Paper Award
  (ps, pdf, results, security advisory)
  Extended version invited by the program committee for publication in ACM Transactions on Software Engineering and Methodology (TOSEM)
  

• Saturn: A SAT-based Tool for Bug Detection
  Yichen Xie and Alex Aiken
  In Proceedings of CAV 2005, Edinburgh, Scotland, UK
  (ps, pdf)

• Soundness and its Role in Bug Detection Systems (position paper)
  Yichen Xie, Mayur Naik, Brian Hackett, and Alex Aiken
  In Proceedings of Workshop on the Evaluation of Software Defect Detection Tools (BUGS'05), June 2005, Chicago, IL
  

• Scalable Error Detection using Boolean Satisfiability
  Yichen Xie and Alex Aiken
  In Proceedings of POPL 2005, Long Beach, CA
  (ps, pdf, results)
  Extended version invited by the program committee for publication in ACM Transactions on Programming Languages and Systems (TOPLAS)
  

• Zing: Exploiting Program Structure for Model Checking Concurrent Software (invited paper)
  Tony Andrews, Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof, and Yichen Xie
  In Proceedings of CONCUR 2004, London, United Kindom
  (pdf)
  

• Zing: A Model Checker for Concurrent Software
  Tony Andrews, Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof, and Yichen Xie
  In Proceedings of CAV 2004, Boston, MA
  (link)

• ARCHER -- An Automated Tool for Detecting Buffer Access Errors
  Yichen Xie, Andy Chou, and Dawson Engler
  In Proceedings of ESEC/FSE 2003, Helsinki, Finland
  (ps, pdf) (Bug reports: Linux (1, 2), PostgreSQL, Sendmail)

• MECA: an Extensible, Expressive System and Language for Statically Checking Security Properties
  Junfeng Yang, Ted Kremenek, Yichen Xie, and Dawson Engler
  In Proceedings of CCS 2003, Washington, DC
  (pdf)
  

• Using Redundancies to Find Errors
  Yichen Xie and Dawson Engler
  In Proceedings of FSE 2002, Charleston, South Carolina
  Extended version invited by the program committee for publication in IEEE Transactions on Software Engineering (TSE)
  (ps, pdf)
  

• A System and Language for Building System-Specific, Static Analyses
  Seth Hallem, Benjamin Chelf, Yichen Xie, and Dawson Engler
  In Proceedings of PLDI 2002, Berlin, Germany
  (ps, pdf)
  

Unrefereed Papers/Technical Reports

• Zing: A Model Checker for Concurrent Software
  Tony Andrews, Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof and Yichen Xie
  Technical Report, Microsoft Research, January 2004
  (ps, pdf)
  

• Path Sensitive Analysis Using Boolean Satisfiability
  Yichen Xie and Andy Chou
  Technical Report, Stanford University, November 2002
  (ps, pdf)
  

Friends & Family