Yao-Wen Huang

Artificial Intelligence · 2003–2004

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

Subfields

Whom Yao-Wen Huang trusts overall

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

  1. Hao Chen
  2. David A. Wagner
  3. Vladislav Shkapenyuk
  4. David E. Evans
  5. Thomas Ball
  6. R. Deline
  7. Andrei Sabelfeld
  8. John Viega
  9. Sarang Dharmapurikar
  10. Jeffrey S. Foster

Who trusts Yao-Wen Huang overall

  1. Zhendong Su
  2. Gary Wassermann
  3. Nenad Jovanovic
  4. William G. J. Halfond
  5. Benjamin Livshits
  6. Christopher Krügel
  7. Engin Kirda
  8. Vaibhav Rastogi
  9. Alessandro Orso
  10. Monica S. Lam

Papers from Yao-Wen Huang's perspective

Ordered by how strongly the researchers Yao-Wen Huang trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Automatically validating temporal safety properties of interfaces (SPIN)
  2. A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities (Network and Distributed System Security Symposium)
  3. INTERPRETATION : ‘A UNIFIED LATTICE MODEL FOR STATIC ANALYSIS OF PROGRAMS BY CONSTRUCTION OR APPROXIMATION
  4. Enforcing high-level protocols in low-level software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  5. Information flow inference for ML (ACM-SIGACT Symposium on Principles of Programming Languages)
  6. ITS4: a static vulnerability scanner for C and C++ code (Asia-Pacific Computer Systems Architecture Conference)
  7. Enforceable security policies (Foundations of Intrusion Tolerant Systems, 2003 [Organically Assured and Survivable Information Systems])
  8. Language-based information-flow security (IEEE J. Sel. Areas Commun.)
  9. Flow-sensitive type qualifiers (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  10. Design and implementation of a high-performance distributed Web crawler (Proceedings / International Conference on Data Engineering)

Their papers