Wei-Ngan Chin

2006

A researcher in the Science corpus: 1 paper; trusts 7 researchers and is trusted by 0 researchers here, as inferred from the citation graph.

Whom Wei-Ngan Chin trusts overall

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

  1. Cormac Flanagan
  2. Jack J. Dongarra
  3. Sriram Sankaranarayanan
  4. Bruno Blanchet
  5. Shaz Qadeer

Who trusts Wei-Ngan Chin overall

  1. Timon Gehr

Papers from Wei-Ngan Chin's perspective

Ordered by how strongly the researchers Wei-Ngan Chin trusts endorse each paper. Same corpus, a different order for every researcher.

  1. INTERPRETATION : ‘A UNIFIED LATTICE MODEL FOR STATIC ANALYSIS OF PROGRAMS BY CONSTRUCTION OR APPROXIMATION
  2. Automatic discovery of linear restraints among variables of a program
  3. A static analyzer for large safety-critical software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  4. The LINPACK Benchmark: past, present and future (Concurrency and Computation)
  5. Predicate abstraction for software verification (ACM-SIGACT Symposium on Principles of Programming Languages)
  6. Static Analysis in Disjunctive Numerical Domains
  7. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  8. Automatic predicate abstraction of C programs (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  9. Lazy abstraction
  10. The SLAM project: debugging system software via static analysis

Their papers