Samuel Drews

2019

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

Whom Samuel Drews trusts overall

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

  1. Rastislav Bodík
  2. Sumit Gulwani
  3. Armando Solar-Lezama
  4. Oleksandr Polozov

Papers from Samuel Drews's perspective

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

  1. Program synthesis by sketching
  2. FlashMeta: a framework for inductive program synthesis
  3. Program Synthesis
  4. Automating string processing in spreadsheets using input-output examples
  5. Certifying and Removing Disparate Impact
  6. Toward automatic program synthesis
  7. Synthesis of loop-free programs (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  8. Spreadsheet data manipulation using examples
  9. Stochastic superoptimization
  10. Satisfiability Modulo Theories

Their papers