David Evans

Software · with Bhardwaj · 2006

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

Subfields

Whom David Evans trusts overall

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

  1. Greg Nelson
  2. Manuvir Das
  3. Rajeev Alur

Who trusts David Evans overall

  1. Benjamin Livshits
  2. Mark Gabel
  3. Andrzej Wasylkowski
  4. Davide Lorenzoli

Papers from David Evans's perspective

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

  1. Mining specifications (ACM-SIGACT Symposium on Principles of Programming Languages)
  2. Model checking programs (Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering)
  3. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  4. MOPS: an infrastructure for examining security properties of software (Conference on Computer and Communications Security)
  5. Tracking down software bugs using automatic anomaly detection (Proceedings of the 24th International Conference on Software Engineering. ICSE 2002)
  6. ESP: path-sensitive program verification in polynomial time (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  7. Synthesis of interface specifications for Java classes (ACM-SIGACT Symposium on Principles of Programming Languages)
  8. Modular verification of software components in C (25th International Conference on Software Engineering, 2003. Proceedings.)
  9. DynaMine: finding common error patterns by mining software revision histories (ESEC/FSE-13)
  10. Enforcing high-level protocols in low-level software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)

Their papers