D. Clarke

Artificial Intelligence · with Beck · 2002–2012

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

Subfields

Whom D. Clarke trusts overall

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

  1. Chandrasekhar Boyapati
  2. Cormac Flanagan
  3. R. Deline
  4. Koushik Sen
  5. Tachio Terauchi
  6. Patrice Godefroid

Who trusts D. Clarke overall

  1. John Tang Boyland
  2. Matthew J. Parkinson
  3. Chandrasekhar Boyapati
  4. Gavin M. Bierman
  5. Robert Lee
  6. Martin C. Rinard

Papers from D. Clarke's perspective

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

  1. Type-based race detection for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  2. A parameterized type system for race-free Java programs (Conference on Object-Oriented Programming Systems, Languages, and Applications)
  3. Enforcing high-level protocols in low-level software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  4. DART: directed automated random testing (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  5. Symbolic execution and program testing
  6. CUTE: a concolic unit testing engine for C (ESEC/FSE-13)
  7. Language-based information-flow security (IEEE J. Sel. Areas Commun.)
  8. Region-based memory management in cyclone (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  9. KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs
  10. Information flow inference for ML (ACM-SIGACT Symposium on Principles of Programming Languages)

Their papers