William R. Harris

Artificial Intelligence · 2011–2012

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

Subfields

Whom William R. Harris trusts overall

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

  1. Sumit Gulwani
  2. Henry Lieberman
  3. Susmit Jha
  4. Sean Kandel
  5. Ashish Tiwari
  6. Andreas Paepcke
  7. Joseph M Hellerstein
  8. Tessa A. Lau
  9. Sanjit A. Seshia

Who trusts William R. Harris overall

  1. Sumit Gulwani
  2. Rishabh Singh
  3. Oleksandr Polozov
  4. Zhongjun (Mark) Jin
  5. Xinyun Chen
  6. Jacob Devlin
  7. Michael R. Anderson
  8. Yu Feng
  9. Rudy Bunel
  10. Chang Liu

Papers from William R. Harris's perspective

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

  1. Oracle-guided component-based program synthesis
  2. Spreadsheet table transformations from examples
  3. Synthesis of loop-free programs (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  4. From program verification to program synthesis (ACM-SIGACT Symposium on Principles of Programming Languages)
  5. Automating string processing in spreadsheets using input-output examples
  6. Wrangler: interactive visual specification of data transformation scripts
  7. Programming by sketching for bit-streaming programs (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  8. Combinatorial sketching for finite programs
  9. Jungloid mining: helping to navigate the API jungle (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  10. Satisfiability Modulo Theories

Their papers