Jeff H. Perkins

Information Systems · 2007–2015

A researcher in the Science corpus: 3 papers; trusts 1 researcher and is trusted by 0 researchers here, as inferred from the citation graph.

Subfields

Whom Jeff H. Perkins trusts overall

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

  1. Derek Bruening
  2. Greg Nelson
  3. Vladimir Kiriansky
  4. Michael D. Ernst
  5. Sudheendra Hangal
  6. Monica S. Lam
  7. David Detlefs

Who trusts Jeff H. Perkins overall

  1. Claire Le Goues
  2. Fan Long
  3. Edward K. Smith
  4. Earl T. Barr
  5. Anh Tuan Nguyen
  6. Zichao Qi
  7. Benjamin Livshits
  8. Nikolai Tillmann
  9. Sergey Mechtaev

Papers from Jeff H. Perkins's perspective

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

  1. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  2. Cyclone: A Safe Dialect of C (USENIX ATC, General Track)
  3. Tracking down software bugs using automatic anomaly detection (Proceedings of the 24th International Conference on Software Engineering. ICSE 2002)
  4. Secure Execution via Program Shepherding (USENIX Security Symposium)
  5. Bug isolation via remote program sampling (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  6. TaintDroid (USENIX Symposium on Operating Systems Design and Implementation)
  7. Efficient, transparent, and comprehensive runtime code manipulation
  8. DieHard: probabilistic memory safety for unsafe languages (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  9. Finding Security Vulnerabilities in Java Applications with Static Analysis (USENIX Security Symposium)
  10. Android permissions demystified (Conference on Computer and Communications Security)

Their papers