Searching for authors named "Yichen Xie" – sorted by Relevance.
10 documents found, showing 1 through 10.
-
Path Sensitive Program Analysis Using Boolean Satisfiability
- …Path Sensitive Program Analysis Using Boolean Satisfiability Yichen Xie Computer Systems…
- Cited by 1 (0 self) – Add To MetaCart
-
Scalable error detection using Boolean satisfiability
- …Scalable Error Detection using Boolean Satisfiability ABSTRACT Yichen Xie ∗ Alex Aiken ∗ We…
- Cited by 58 (6 self) – Add To MetaCart
-
Using Redundancies to Find Errors
- …Using Redundancies to Find Errors Yichen Xie and Dawson Engler Computer Systems Laboratory Stanford…
- Cited by 24 (2 self) – Add To MetaCart
-
Context- and path-sensitive memory leak detection
- …Context- and Path-sensitive Memory Leak Detection ∗ ABSTRACT Yichen Xie Alex Aiken We present a…
- Cited by 19 (1 self) – Add To MetaCart
-
Saturn: A SAT-Based Tool for Bug Detection
- …Saturn: A SAT-based Tool for Bug Detection ⋆ 1 Introduction Yichen Xie and Alex Aiken Computer…
- Cited by 11 (0 self) – Add To MetaCart
-
SATURN: A Scalable Framework for Error Detection Using Boolean Satisfiability
- …SATURN: A Scalable Framework for Error Detection Using Boolean Satisfiability YICHEN XIE and ALEX…
- Cited by 5 (0 self) – Add To MetaCart
-
Using Redundancies to Find Errors
- …), and (3) using redundancies Yichen Xie and Dawson Engler Computer Systems Laboratory Stanford University…
- Add To MetaCart
-
A System and Language for Building System-Specific, Static Analyses
- …, Yichen Xie, and Dawson Engler Stanford University ABSTRACT This paper presents a novel approach to bug…
- Cited by 151 (12 self) – Add To MetaCart
-
ARCHER: Using Symbolic, Path-sensitive Analysis to Detect Memory Access Errors
- …ARCHER: Using Symbolic, Path-sensitive Analysis to Detect Memory Access Errors Yichen Xie, Andy…
- Cited by 38 (0 self) – Add To MetaCart
-
Zing: a model checker for concurrent software
- …*Jakob Rehof* Yichen Xie# *Microsoft Research #Stanford University http://www.research.microsoft.com/zing/ 1…
- Cited by 31 (1 self) – Add To MetaCart
Showing 1 through 10.
