Emina Torlak

Artificial Intelligence · 2007–2013

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

Subfields

• Artificial Intelligence — 18 citations into it; #9,220 of 35,345 by trust here, #12,244 by citations
• Computational Theory and Mathematics — 13 citations into it; #2,778 of 12,182 by trust here, #7,142 by citations
• Computer Networks and Communications — 12 citations into it
• Software — 9 citations into it; #205 of 1,227 by trust here, #222 by citations
• Hardware and Architecture — 6 citations into it
• Electrical and Electronic Engineering — 5 citations into it

Whom Emina Torlak trusts overall

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

1. Niklas Eén
2. Niklas Sörensson
3. E. Goldberg
4. Matthias Felleisen
5. Sumit Gulwani
6. Yakov Novikov
7. K. Rustan
8. Susmit Jha
9. Peter Van Roy
10. Ashish Tiwari

Who trusts Emina Torlak overall

1. Oleksandr Polozov
2. Sumit Gulwani
3. Kevin Ellis
4. Jasmin Christian Blanchette
5. Martin Gebser
6. Swarat Chaudhuri
7. Armando Solar-Lezama
8. Tobias Nipkow
9. Rishabh Singh
10. Roland Kaminski

Papers from Emina Torlak's perspective

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

1. Programming by sketching for bit-streaming programs (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
2. Satisfiability Modulo Theories
3. A Methodology for LISP Program Construction from Examples
4. Synthesis of loop-free programs (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
5. Stochastic superoptimization
6. Spreadsheet data manipulation using examples
7. Introducing StarExec: a Cross-Community Infrastructure for Logic Solving
8. Induction of decision trees
9. Linear Invariant Generation Using Non-linear Constraint Solving (International Conference on Computer Aided Verification)
10. Programs for Machine Learning

Their papers

• Syntax-guided synthesis (2013) — 909 citations
• Growing solver-aided languages with rosette (2013) — 262 citations
• Kodkod: A Relational Model Finder (2007) — 554 citations