Yichen Xie

13 papers A* 6B 1Journal 2Unranked 3
YearRankTypeTitle / Venue / Authors
2007 J jnl
Saturn: A scalable framework for error detection using Boolean satisfiability.
ACM Trans. Program. Lang. Syst.
Yichen Xie, Alex Aiken
2007 — —
Static detection of software errors: precise and scalable algorithms for automatic detection of software errors.
Yichen Xie
2006 A* conf
Static Detection of Security Vulnerabilities in Scripting Languages.
USENIX Security Symposium
Yichen Xie, Alex Aiken
2005 — conf
Context- and path-sensitive memory leak detection.
ESEC/SIGSOFT FSE
Yichen Xie, Alex Aiken
2005 A* conf
Saturn: A SAT-Based Tool for Bug Detection.
CAV
Yichen Xie, Alex Aiken
2005 A* conf
Scalable error detection using boolean satisfiability.
POPL
Yichen Xie, Alex Aiken
2004 A* conf
Zing: A Model Checker for Concurrent Software.
CAV
Tony Andrews, Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof, Yichen Xie
2004 B conf
Zing: Exploiting Program Structure for Model Checking Concurrent Software.
CONCUR
Tony Andrews, Shaz Qadeer, Sriram K. Rajamani, Yichen Xie
2003 — conf
ARCHER: using symbolic, path-sensitive analysis to detect memory access errors.
ESEC / SIGSOFT FSE
Yichen Xie, Andy Chou, Dawson R. Engler
2003 A* conf
MECA: an extensible, expressive system and language for statically checking security properties.
CCS
Junfeng Yang, Ted Kremenek, Yichen Xie, Dawson R. Engler
2003 J jnl
Using Redundancies to Find Errors.
IEEE Trans. Software Eng.
Yichen Xie, Dawson R. Engler
2002 A* conf
A System and Language for Building System-Specific, Static Analyses.
PLDI
Seth Hallem, Benjamin Chelf, Yichen Xie, Dawson R. Engler
2002 — conf
Using redundancies to find errors.
SIGSOFT FSE
Yichen Xie, Dawson R. Engler