Yichen Xie

Artificial Intelligence · 2002–2006

A researcher in the Science corpus: 2 papers; trusts 12 researchers and is trusted by 7 researchers here, as inferred from the citation graph.

Subfields

Whom Yichen Xie trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Jeffrey S. Foster
  2. John Whaley
  3. Seth Hallem
  4. Anh Nguyen-Tuong
  5. Monica S. Lam
  6. Tachio Terauchi
  7. Dawson R. Engler
  8. Anders Møller
  9. B. Chelf
  10. A. Aiken

Who trusts Yichen Xie overall

  1. Gary Wassermann
  2. Zhendong Su
  3. Patrice Godefroid
  4. Nenad Jovanovic
  5. Wei Xu
  6. David Hovemeyer
  7. Dawson R. Engler

Papers from Yichen Xie's perspective

Ordered by how strongly the researchers Yichen Xie trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Enforcing high-level protocols in low-level software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  2. Type-based race detection for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  3. Checking system rules using system-specific, programmer-written compiler extensions (USENIX Symposium on Operating Systems Design and Implementation)
  4. Flow-sensitive type qualifiers (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  5. Bugs as deviant behavior: a general approach to inferring errors in systems code
  6. A system and language for building system-specific, static analyses (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  7. ESP: path-sensitive program verification in polynomial time (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  8. Precise Analysis of String Expressions (Sensors Applications Symposium)
  9. Abstracting application-level web security (The Web Conference)
  10. Cloning-based context-sensitive pointer alias analysis using binary decision diagrams (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)

Their papers