 | 2007 |
|---|
| 11 |       | Yichen Xie,
Alex Aiken:
Saturn: A scalable framework for error detection using Boolean satisfiability.
ACM Trans. Program. Lang. Syst. 29(3): (2007) |
| 2005 |
|---|
| 10 | | Yichen Xie,
Alexander Aiken:
Saturn: A SAT-Based Tool for Bug Detection.
CAV 2005: 139-143 |
| 9 | | Yichen Xie,
Alexander Aiken:
Context- and path-sensitive memory leak detection.
ESEC/SIGSOFT FSE 2005: 115-125 |
| 8 | | Yichen Xie,
Alexander Aiken:
Scalable error detection using boolean satisfiability.
POPL 2005: 351-363 |
| 2004 |
|---|
| 7 | | Tony Andrews,
Shaz Qadeer,
Sriram K. Rajamani,
Jakob Rehof,
Yichen Xie:
Zing: A Model Checker for Concurrent Software.
CAV 2004: 484-487 |
| 6 | | Tony Andrews,
Shaz Qadeer,
Sriram K. Rajamani,
Yichen Xie:
Zing: Exploiting Program Structure for Model Checking Concurrent Software.
CONCUR 2004: 1-15 |
| 2003 |
|---|
| 5 | | Junfeng Yang,
Ted Kremenek,
Yichen Xie,
Dawson R. Engler:
MECA: an extensible, expressive system and language for statically checking security properties.
ACM Conference on Computer and Communications Security 2003: 321-334 |
| 4 | | Yichen Xie,
Andy Chou,
Dawson R. Engler:
ARCHER: using symbolic, path-sensitive analysis to detect memory access errors.
ESEC / SIGSOFT FSE 2003: 327-336 |
| 3 | | Yichen Xie,
Dawson R. Engler:
Using Redundancies to Find Errors.
IEEE Trans. Software Eng. 29(10): 915-928 (2003) |
| 2002 |
|---|
| 2 | | Seth Hallem,
Benjamin Chelf,
Yichen Xie,
Dawson R. Engler:
A System and Language for Building System-Specific, Static Analyses.
PLDI 2002: 69-82 |
| 1 | | Yichen Xie,
Dawson R. Engler:
Using redundancies to find errors.
SIGSOFT FSE 2002: 51-60 |
