Pieter Hooimeijer

Software · 2007–2015

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

Subfields

Whom Pieter Hooimeijer trusts overall

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

  1. Ron Kohavi
  2. John Anvik
  3. Cathrin Weiss
  4. Ron Bekkerman
  5. Armin Biere
  6. Patrice Godefroid
  7. Lyndon Hiew
  8. Rahul Premraj
  9. Ran El-Yaniv
  10. Gary Wassermann

Who trusts Pieter Hooimeijer overall

  1. Nicholas Jalbert
  2. Westley Weimer
  3. Chengnian Sun
  4. David Lo
  5. Kim Herzig
  6. Gaeul Jeong
  7. Xuan-Bach Dinh Le

Papers from Pieter Hooimeijer's perspective

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

  1. DART: directed automated random testing (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  2. EXE: automatically generating inputs of death
  3. CUTE: a concolic unit testing engine for C (ESEC/FSE-13)
  4. Bug isolation via remote program sampling (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  5. Sound and precise analysis of web applications for injection vulnerabilities (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  6. Automated Whitebox Fuzz Testing (Network and Distributed System Security Symposium)
  7. Chaff: engineering an efficient SAT solver (Proceedings - Design Automation Conference)
  8. Precise Analysis of String Expressions (Sensors Applications Symposium)
  9. A Decision Procedure for Bit-Vectors and Arrays (International Conference on Computer Aided Verification)
  10. Grammar-based whitebox fuzzing (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)

Their papers