Yichen Xie

According to our database, Yichen Xie authored at least 12 papers between 2002 and 2007.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2007

Static detection of software errors: precise and scalable algorithms for automatic detection of software errors.

Yichen Xie

PhD thesis, 2007

Saturn: A scalable framework for error detection using Boolean satisfiability.

Yichen Xie, Alex Aiken

ACM Trans. Program. Lang. Syst., 2007

2006

Static Detection of Security Vulnerabilities in Scripting Languages.

Yichen Xie, Alex Aiken

Proceedings of the 15th USENIX Security Symposium, Vancouver, BC, Canada, July 31, 2006

2005

Context- and path-sensitive memory leak detection.

Yichen Xie, Alexander Aiken

Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005

Scalable error detection using boolean satisfiability.

Yichen Xie, Alexander Aiken

Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005

Saturn: A SAT-Based Tool for Bug Detection.

Yichen Xie, Alexander Aiken

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2004

Zing: Exploiting Program Structure for Model Checking Concurrent Software.

Tony Andrews, Shaz Qadeer, Sriram K. Rajamani, Yichen Xie

Proceedings of the CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31, 2004

Zing: A Model Checker for Concurrent Software.

Tony Andrews, Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof, Yichen Xie

Proceedings of the Computer Aided Verification, 16th International Conference, 2004

2003

Using Redundancies to Find Errors.

Yichen Xie, Dawson R. Engler

IEEE Trans. Software Eng., 2003

ARCHER: using symbolic, path-sensitive analysis to detect memory access errors.

Yichen Xie, Andy Chou, Dawson R. Engler

Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003

MECA: an extensible, expressive system and language for statically checking security properties.

Junfeng Yang, Ted Kremenek, Yichen Xie, Dawson R. Engler

Proceedings of the 10th ACM Conference on Computer and Communications Security, 2003

2002

A System and Language for Building System-Specific, Static Analyses.

Seth Hallem, Benjamin Chelf, Yichen Xie, Dawson R. Engler

Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2002