eric schkufza
I am a researcher at the VMware Research Group. I graduated from Stanford University with a PhD in Computer Science in 2015. My advisor was Professor Alex Aiken. Click here for my academic genealogy. I am interested in applying the tools of large-scale data analysis and machine learning to the design of optimizing compilers. My work focuses on the analysis and optimization of low-level machine code in the absence of its original source. A list of my publications is below. Click here for my cv.
Stochastic Program Optimization
Eric Schkufza, Rahul Sharma, and Alex Aiken
Communications of the ACM Research Highlights, February 2016
bib
Stratified synthesis: Automatically learning the x86-64 instruction set
Stefan Heule, Eric Schkufza, Rahul Sharma, and Alex Aiken
PLDI 2016
A sampling-based approach to accelerating queries in log management systems
Tal Wagner, Eric Schkufza, and Udi Wieder
SPLASH 2016
bib
NVMOVE: helping programmers move to byte-based persistence
Himanshu Chauhan, Irina Calciu, Vijay Chidambaram, Eric Schkufza, Onur Mutlu, and Pratap Subrahmanyam
INFLOW@OSDI 2016
bib
Conditionally correct superoptimization
Rahul Sharma, Eric Schkufza, Berkeley R. Churchill, and Alex Aiken
OOPSLA 2015
Stochastic Program Optimization for x86_64 Binaries
Eric Schkufza
Stanford University Thesis 2015
Stochastic optimization of floating-point programs with tunable precision
Eric Schkufza, Rahul Sharma, and Alex Aiken
PLDI 2014
Optimizing out Overcomputation
Eric Schkufza, and Alex Aiken
APPROX 2014
bib
Quantitative Binary Synthesis
Eric Schkufza, Rahul Sharma, Berkeley R. Churchill and Alex Aiken
Stanford University Technical Report 2014
bib
Data-driven equivalence checking
Rahul Sharma, Eric Schkufza, Berkeley R. Churchill, and Alex Aiken
OOPSLA 2013
Stochastic superoptimization
Eric Schkufza, Rahul Sharma, and Alex Aiken
ASPLOS 2013
Interactive furniture layout using interior design guidelines
Paul Merrell, Eric Schkufza, Zeyang Li, Maneesh Agrawala, and Vladlen Koltun
SIGGRAPH 2011
Programming the memory hierarchy revisited: supporting irregular parallelism in sequoia
Michael Bauer, John Clark, Eric Schkufza, and Alex Aiken
PPOPP 2011
Visage: A domain-specific language for document feature extraction
Eric Schkufza, Trishul Chilimbi, and James Larus
Microsoft Research Technical Report 2011
bib
Computer-generated residential building layouts
Paul Merrell, Eric Schkufza, and Vladlen Koltun
SIGGRAPH ASIA 2010
Factoring general games using propositional automata
Evan Cox, Eric Schkufza, Ryan Madsen, and Michael R. Genesereth
GIGA 2009
bib
Propositional Automata and Cell Automata: Representational Frameworks for Discrete Dynamic Systems
Eric Schkufza, Nathaniel Love, and Michael R. Genesereth
AI 2008
bib
Game description language specification
Nat Love, Tim Hinrichs, David Haley, Eric Schkufza, and Michael R. Genesereth
Stanford University Technical Report 2008
bib
Decomposition of Games for Efficient Reasoning
Eric Schkufza
SARA 2007
bib