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
- Artificial Intelligence — 10 citations into it; #17,244 of 35,345 by trust here, #18,186 by citations
- Information Systems — 7 citations into it; #3,467 of 8,771 by trust here, #3,540 by citations
- Software — 6 citations into it; #475 of 1,227 by trust here, #406 by citations
Whom Yichen Xie trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
- Jeffrey S. Foster
- John Whaley
- Seth Hallem
- Anh Nguyen-Tuong
- Monica S. Lam
- Tachio Terauchi
- Dawson R. Engler
- Anders Møller
- B. Chelf
- A. Aiken
Who trusts Yichen Xie overall
- Gary Wassermann
- Zhendong Su
- Patrice Godefroid
- Nenad Jovanovic
- Wei Xu
- David Hovemeyer
- 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.
- Enforcing high-level protocols in low-level software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
- Type-based race detection for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
- Checking system rules using system-specific, programmer-written compiler extensions (USENIX Symposium on Operating Systems Design and Implementation)
- Flow-sensitive type qualifiers (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
- Bugs as deviant behavior: a general approach to inferring errors in systems code
- A system and language for building system-specific, static analyses (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
- ESP: path-sensitive program verification in polynomial time (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
- Precise Analysis of String Expressions (Sensors Applications Symposium)
- Abstracting application-level web security (The Web Conference)
- Cloning-based context-sensitive pointer alias analysis using binary decision diagrams (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
Their papers
- Static Detection of Security Vulnerabilities in Scripting Languages (2006) — 436 citations
- A system and language for building system-specific, static analyses (2002) — 360 citations