Ross Tate

Artificial Intelligence · 2009

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

Subfields

• Artificial Intelligence — 7 citations into it; #29,870 of 35,345 by trust here, #27,551 by citations

Whom Ross Tate trusts overall

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

1. George C. Necula
2. Greg Nelson
3. Rajeev Joshi
4. David Detlefs
5. Christopher S. Strachey
6. Cliff Click

Who trusts Ross Tate overall

1. Kevin Ellis
2. Varot Premtoon
3. Vu Le
4. Max Willsey
5. James Koppel
6. Sumith Kulal
7. Ferran Alet
8. Catherine Wong
9. Armando Solar-Lezama
10. Maxwell Nye

Papers from Ross Tate's perspective

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

1. Denali: a goal-directed superoptimizer
2. Translation validation for an optimizing compiler (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
3. Global code motion/global value numbering
4. Fundamental Concepts in Programming Languages (High. Order Symb. Comput.)
5. Word and Object
6. Simplify: a theorem prover for program checking (JACM)
7. Compiling with Continuations
8. Go To Statement Considered Harmful (Software Pioneers)
9. Interactive Theorem Proving and Program Development: Coq'Art The Calculus of Inductive Constructions
10. Expert Systems: Principles and Programming (Scalable Computing : Practice and Experience)

Their papers

• Equality saturation: a new approach to optimization (2009) — 337 citations