Oliver Flatt

Artificial Intelligence · 2020

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

Subfields

• Artificial Intelligence — 8 citations into it
• Computational Theory and Mathematics — 6 citations into it

Whom Oliver Flatt trusts overall

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

1. Leonardo de Moura

Papers from Oliver Flatt's perspective

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

1. Efficient E-Matching for SMT Solvers (CADE)
2. Simplify: a theorem prover for program checking (JACM)
3. Equality saturation: a new approach to optimization
4. Superoptimizer: a look at the smallest program
5. Semantic code search via equational reasoning
6. Z3: An Efficient SMT Solver
7. Automatically improving accuracy for floating point expressions
8. TASO: optimizing deep learning computation with automatic generation of graph substitutions (Symposium on Operating Systems Principles)
9. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
10. Chaff: engineering an efficient SAT solver (Proceedings - Design Automation Conference)

Their papers

• egg: Fast and extensible equality saturation (2020) — 295 citations