BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Finland
1 × Germany
1 × Portugal
1 × United Kingdom
3 × USA
Collaborated with:
A.Aiken D.R.Engler A.Chou S.Hallem B.Chelf T.Andrews S.Qadeer S.K.Rajamani J.Rehof
Talks about:
detect (4) error (3) use (3) system (2) sensit (2) memori (2) path (2) softwar (1) scalabl (1) satisfi (1)

Person: Yichen Xie

DBLP DBLP: Xie:Yichen

Contributed to:

CAV 20052005
ESEC/FSE 20052005
POPL 20052005
CAV 20042004
ESEC/FSE 20032003
FSE 20022002
PLDI 20022002

Wrote 7 papers:

CAV-2005-XieA #debugging #detection #named #satisfiability
Saturn: A SAT-Based Tool for Bug Detection (YX, AA), pp. 139–143.
ESEC-FSE-2005-XieA #detection #memory management
Context- and path-sensitive memory leak detection (YX, AA), pp. 115–125.
POPL-2005-XieA #detection #fault #satisfiability #scalability #using
Scalable error detection using boolean satisfiability (YX, AA), pp. 351–363.
CAV-2004-AndrewsQRRX #concurrent #model checking #named
Zing: A Model Checker for Concurrent Software (TA, SQ, SKR, JR, YX), pp. 484–487.
ESEC-FSE-2003-XieCE #analysis #detection #fault #memory management #named #using
ARCHER: using symbolic, path-sensitive analysis to detect memory access errors (YX, AC, DRE), pp. 327–336.
FSE-2002-XieE #fault #using
Using redundancies to find errors (YX, DRE), pp. 51–60.
PLDI-2002-HallemCXE #analysis
A System and Language for Building System-Specific, Static Analyses (SH, BC, YX, DRE), pp. 69–82.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.