Eric Schkufza
Eric Schkufza has 2 papers in our library, in 2012–2013; often with Alex Aiken, Rahul Sharma.
OpenAlex · h-index 19 · 33 works · 1,944 citations OpenAlex, 2026-10-14
📄 2 works in our library · 🔗 Cited 36 times in our library · ⭐ Paper Stars ranking: #8008
Affiliations
🎓Stanford UniversityStanford ·
United States2007–2016 · 20 papers🏢VMwarePalo Alto ·
United States2016–2019 · 5 papers🏢AmazonSeattle ·
United States2021 · 2 papers
Fields, topics and concepts
📚 Shelves 5The field of science this work belongs to (OpenAlex fields).Computer Science · 2 worksArtificial Intelligence · 2 worksComputational Theory and Mathematics · 1 workSoftware · 1 workHardware and Architecture · 1 work
Works by year
2010s
Papers
- Data-Driven Equivalence Checking (2013 · 87 citations)
Mismatch: the title given is Sharma et al.'s "Data-Driven Equivalence Checking", but the supplied text is a different OOPSLA 2013 paper on Legion by Treichler, Bauer and Aiken. This summary covers the supplied text. - Stochastic Superoptimization (2012 · 31 citations)
Superoptimizers aim to find the fastest program equivalent to a given piece of code. Earlier systems searched exhaustively, which ensured completeness but restricted them to very short sequences, small opcode sets, or hand-written rewrite rules. Schkufza, Sharma and Aiken instead treat loop-free binary…
Co-authors here
- Alex Aiken ×2
- Rahul Sharma ×2
Venues
- OOPSLA 2013
Cited by
Updated
This page in Markdown → https://md.research.elamur.ai/free/en/authors/eric-schkufza/