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: Xie:Yichen
Contributed to:
2005
2005
200520042003
2002
2002Wrote 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.