2007 |
11 | EE | Yichen Xie,
Alex Aiken:
Saturn: A scalable framework for error detection using Boolean satisfiability.
ACM Trans. Program. Lang. Syst. 29(3): (2007) |
2005 |
10 | EE | Yichen Xie,
Alexander Aiken:
Saturn: A SAT-Based Tool for Bug Detection.
CAV 2005: 139-143 |
9 | EE | Yichen Xie,
Alexander Aiken:
Context- and path-sensitive memory leak detection.
ESEC/SIGSOFT FSE 2005: 115-125 |
8 | EE | Yichen Xie,
Alexander Aiken:
Scalable error detection using boolean satisfiability.
POPL 2005: 351-363 |
2004 |
7 | EE | Tony Andrews,
Shaz Qadeer,
Sriram K. Rajamani,
Jakob Rehof,
Yichen Xie:
Zing: A Model Checker for Concurrent Software.
CAV 2004: 484-487 |
6 | EE | Tony Andrews,
Shaz Qadeer,
Sriram K. Rajamani,
Yichen Xie:
Zing: Exploiting Program Structure for Model Checking Concurrent Software.
CONCUR 2004: 1-15 |
2003 |
5 | EE | 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 | EE | 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 | EE | Yichen Xie,
Dawson R. Engler:
Using Redundancies to Find Errors.
IEEE Trans. Software Eng. 29(10): 915-928 (2003) |
2002 |
2 | EE | Seth Hallem,
Benjamin Chelf,
Yichen Xie,
Dawson R. Engler:
A System and Language for Building System-Specific, Static Analyses.
PLDI 2002: 69-82 |
1 | EE | Yichen Xie,
Dawson R. Engler:
Using redundancies to find errors.
SIGSOFT FSE 2002: 51-60 |