Ken Ashcraft

Artificial Intelligence · 2003

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

Subfields

Whom Ken Ashcraft trusts overall

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

  1. Cormac Flanagan
  2. Dawson R. Engler
  3. Manuvir Das
  4. Seth Hallem
  5. Willem Visser
  6. Jong-Deok Choi
  7. Stephen N. Freund

Who trusts Ken Ashcraft overall

  1. Shaz Qadeer
  2. Cuixiong Hu
  3. Zhenmin Li
  4. Shan Lu
  5. Roberto Baldoni
  6. Dinghao Wu
  7. Iulian Neamtiu

Papers from Ken Ashcraft's perspective

Ordered by how strongly the researchers Ken Ashcraft 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. ESP: path-sensitive program verification in polynomial time (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  3. Bugs as deviant behavior: a general approach to inferring errors in systems code
  4. Houdini, an Annotation Assistant for ESC/Java (FME)
  5. Model checking programs (Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering)
  6. Efficient and precise datarace detection for multithreaded object-oriented programs (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  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. A system and language for building system-specific, static analyses (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  9. Ownership types for safe programming: preventing data races and deadlocks (Conference on Object-Oriented Programming Systems, Languages, and Applications)
  10. The Java Language Specification, 3rd Edition

Their papers