Seth Hallem

Artificial Intelligence · 2000–2010

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

Subfields

Whom Seth Hallem trusts overall

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

  1. Dawson R. Engler
  2. Cormac Flanagan
  3. Jeffrey S. Foster
  4. Manuvir Das
  5. Stephen N. Freund
  6. Sorin Lerner
  7. Tachio Terauchi
  8. Andy Chou

Who trusts Seth Hallem overall

  1. Patrice Godefroid
  2. Zhenmin Li
  3. David Hovemeyer
  4. Dawson R. Engler
  5. Yichen Xie
  6. Thomas Ball
  7. Shan Lu
  8. Lin Tan
  9. Benjamin Livshits
  10. William W. Pugh

Papers from Seth Hallem's perspective

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

  1. Enforcing high-level protocols in low-level software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  2. Type-based race detection for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  3. Flow-sensitive type qualifiers (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  4. Checking system rules using system-specific, programmer-written compiler extensions (USENIX Symposium on Operating Systems Design and Implementation)
  5. ESP: path-sensitive program verification in polynomial time (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  6. Bugs as deviant behavior: a general approach to inferring errors in systems code
  7. Bandera: extracting finite-state models from Java source code (Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium)
  8. Journal of Graph Algorithms and Applications Many-to-one Boundary Labeling
  9. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  10. Houdini, an Annotation Assistant for ESC/Java (FME)

Their papers