Daniel Le Berre

Artificial Intelligence · 2010–2018

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

Subfields

Whom Daniel Le Berre trusts overall

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

  1. Armin Biere
  2. Niklas Eén
  3. Niklas Sörensson

Who trusts Daniel Le Berre overall

  1. Emir Demirovi'c
  2. Peter James Stuckey
  3. Jessica Davies
  4. J. Berg

Papers from Daniel Le Berre's perspective

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

  1. PicoSAT Essentials (Journal on Satisfiability, Boolean Modeling and Computation)
  2. A systematic study of automated program repair: Fixing 55 out of 105 bugs for $8 each
  3. Automatically patching errors in deployed software (Symposium on Operating Systems Principles)
  4. Automatic patch generation learned from human-written patches (International Conference on Software Engineering)
  5. The strength of random search on automated program repair (International Conference on Software Engineering)
  6. SemFix: Program repair via semantic analysis (International Conference on Software Engineering)
  7. DirectFix: Looking for Simple Program Repairs (2015 IEEE/ACM 37th IEEE International Conference on Software Engineering)
  8. An Extensible SAT-solver (International Conference on Theory and Applications of Satisfiability Testing)
  9. Defects4J: a database of existing faults to enable controlled testing studies for Java programs
  10. Oracle-guided component-based program synthesis

Their papers