eric schkufza
I am a co-founder at a stealth start-up. Prior to that I was a
principal applied scientist at Amazon, and a senior 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 programming languages and compilers as they relate
to high-performance computing, most recently in the context of FPGAs.
My work focuses on the optimization of machine code, often in the
absence of its original source.
A list of my publications is below. Click
here
for my cv.
Compiler-Driven FPGA Virtualization with SYNERGY
Joshua Landgraf, Tiffany Yang, Will Lin, Christopher Rossbach, and Eric Schkufza
ASPLOS 2021
Just-in-Time Compilation for Verilog --- A New Technique for Improving
the FPGA Programming Experience
Eric Schkufza, Michael Wei, and Christopher Rossbach
ASPLOS 2019
Sharing, Protection and Compatibility for Reconfigurable Fabric with
AmorphOS
Ahmed Khawaja, Joshua Landgraf, Rohith Prakash, Michael Wei, Eric
Schkufza, and Christopher Rossbach
OSDI 2018
A Compiler-Insensitive Technique for Identifying Third-Party Components in x86-64 Binaries
Berkeley Churchill, and Eric Schkufza
VMware Research Technical Report 2017
Stochastic Program Optimization
Eric Schkufza, Rahul Sharma, and Alex Aiken
Communications of the ACM Research Highlights, February 2016
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
NVMOVE: helping programmers move to byte-based persistence
Himanshu Chauhan, Irina Calciu, Vijay Chidambaram, Eric Schkufza, Onur Mutlu, and Pratap Subrahmanyam
INFLOW@OSDI 2016
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
Quantitative Binary Synthesis
Eric Schkufza, Rahul Sharma, Berkeley R. Churchill and Alex Aiken
Stanford University Technical Report 2014
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
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
Propositional Automata and Cell Automata: Representational Frameworks for Discrete Dynamic Systems
Eric Schkufza, Nathaniel Love, and Michael R. Genesereth
AI 2008
Game description language specification
Nat Love, Tim Hinrichs, David Haley, Eric Schkufza, and Michael R. Genesereth
Stanford University Technical Report 2008
Decomposition of Games for Efficient Reasoning
Eric Schkufza
SARA 2007