Christophe Hauser

Artificial Intelligence · 2015–2016

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

Subfields

Whom Christophe Hauser trusts

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

  1. Leonardo de Moura (in Artificial Intelligence)
  2. Nikolaj S. Bjørner (in Artificial Intelligence)

Papers from Christophe Hauser's perspective

Ordered by how strongly the researchers Christophe Hauser 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. Pin: building customized program analysis tools with dynamic instrumentation (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  3. EXE: automatically generating inputs of death
  4. All You Ever Wanted to Know about Dynamic Taint Analysis and Forward Symbolic Execution (but Might Have Been Afraid to Ask)
  5. KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs
  6. BitBlaze: A New Approach to Computer Security via Binary Analysis (International Conferences on Information Science and System)
  7. S2E: a platform for in-vivo multi-path analysis of software systems (ASPLOS XVI)
  8. Unleashing Mayhem on Binary Code (IEEE Symposium on Security and Privacy)
  9. SAGE: Whitebox Fuzzing for Security Testing (Queue)
  10. Prospex: Protocol Specification Extraction (IEEE Symposium on Security and Privacy)

Their papers