David Hovemeyer

Information Systems · 2004–2008

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

Subfields

Whom David Hovemeyer trusts overall

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

  1. Greg Nelson
  2. Dawson R. Engler
  3. Thomas Ball
  4. Sudheendra Hangal
  5. Seth Hallem
  6. Jeffrey S. Foster
  7. Manuvir Das
  8. B. Chelf
  9. Jong-Deok Choi
  10. Sriram K. Rajamani

Who trusts David Hovemeyer overall

  1. Hieke Keuning
  2. Nick Rutar
  3. Claire Le Goues
  4. William Enck
  5. Dennis Jeffrey
  6. Ripon K. Saha
  7. Thomas Thüm
  8. Daniel Votipka
  9. Thanhvu Nguyen
  10. Stephanie Forrest

Papers from David Hovemeyer's perspective

Ordered by how strongly the researchers David Hovemeyer 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. Flow-sensitive type qualifiers (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  3. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  4. ESP: path-sensitive program verification in polynomial time (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  5. A system and language for building system-specific, static analyses (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  6. Tracking down software bugs using automatic anomaly detection (Proceedings of the 24th International Conference on Software Engineering. ICSE 2002)
  7. Enforcing high-level protocols in low-level software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  8. The SLAM project: debugging system software via static analysis
  9. Efficient and precise datarace detection for multithreaded object-oriented programs (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  10. Bugs as deviant behavior: a general approach to inferring errors in systems code

Their papers