Pavel Panchekha

Artificial Intelligence · 2015–2020

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

Subfields

• Artificial Intelligence — 11 citations into it; #26,462 of 35,345 by trust here, #29,412 by citations
• Computational Theory and Mathematics — 9 citations into it; #9,134 of 12,182 by trust here, #8,756 by citations
• Information Systems — 5 citations into it

Whom Pavel Panchekha trusts overall

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

1. David Goldberg
2. Laurent Fousse
3. Xavier Leroy
4. Seif Haridi
5. Daniel Jackson

Who trusts Pavel Panchekha overall

1. Oleksandr Polozov
2. Sumit Gulwani
3. Max Willsey
4. Jared Roesch
5. Ethan Buchman

Papers from Pavel Panchekha's perspective

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

1. Finding and understanding bugs in C compilers
2. Equality saturation: a new approach to optimization
3. What every computer scientist should know about floating-point arithmetic
4. Paxos made live: an engineering perspective (ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing)
5. Formal verification of a realistic compiler
6. In Search of an Understandable Consensus Algorithm (USENIX Annual Technical Conference)
7. Efficient E-Matching for SMT Solvers (CADE)
8. Simplify: a theorem prover for program checking (JACM)
9. Compiler validation via equivalence modulo inputs (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
10. Superoptimizer: a look at the smallest program

Their papers

• Automatically improving accuracy for floating point expressions (2015) — 269 citations
• egg: Fast and extensible equality saturation (2020) — 295 citations
• Verdi: a framework for implementing and formally verifying distributed systems (2015) — 379 citations