Michael Stepp

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,869 of 35,345 by trust here, #27,551 by citations

Whom Michael Stepp 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

Who trusts Michael Stepp overall

1. Kevin Ellis
2. Varot Premtoon
3. Vu Le

Papers from Michael Stepp's perspective

Ordered by how strongly the researchers Michael Stepp 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