B. Chelf

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 B. Chelf 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

Who trusts B. Chelf overall

  1. Patrice Godefroid
  2. Zhenmin Li
  3. Dawson R. Engler
  4. David Hovemeyer
  5. Thomas Ball
  6. Gogul Balakrishnan
  7. Benjamin Livshits
  8. Shan Lu
  9. Manuvir Das
  10. Yichen Xie

Papers from B. Chelf's perspective

Ordered by how strongly the researchers B. Chelf 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. ESP: path-sensitive program verification in polynomial time (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  5. Checking system rules using system-specific, programmer-written compiler extensions (USENIX Symposium on Operating Systems Design and Implementation)
  6. Bugs as deviant behavior: a general approach to inferring errors in systems code
  7. Journal of Graph Algorithms and Applications Many-to-one Boundary Labeling
  8. Bandera: extracting finite-state models from Java source code (Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium)
  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