Chadd C. Williams

2005

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

Whom Chadd C. Williams trusts overall

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

  1. Alan F. Karr
  2. Thomas Ball
  3. James Stephen Marron

Who trusts Chadd C. Williams overall

  1. Mithun P. Acharya
  2. Benjamin Livshits
  3. Sunghun Kim
  4. Ahmed E. Hassan
  5. Tao Xie
  6. Thomas Zimmermann
  7. Jian Pei

Papers from Chadd C. Williams's perspective

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

  1. Checking system rules using system-specific, programmer-written compiler extensions (USENIX Symposium on Operating Systems Design and Implementation)
  2. The SLAM project: debugging system software via static analysis
  3. Predicting Fault Incidence Using Software Change History (IEEE Trans. Software Eng.)
  4. Generalized Linear Models
  5. Local polynomial modelling and its applications
  6. Enforcing high-level protocols in low-level software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  7. Bebop: A Symbolic Model Checker for Boolean Programs (SPIN)
  8. Automatically validating temporal safety properties of interfaces (SPIN)
  9. Flow-sensitive type qualifiers (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  10. ESP: path-sensitive program verification in polynomial time (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)

Their papers