Eric Schkufza

Computer Science · Physical Sciences

19h-index1.9kcitations30works2.02yr avg
OpenAlex↗Google Scholar↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Parallel Computing and Optimization Techniques(19), Software Testing and Debugging Techniques(6), Embedded Systems Design Techniques(5), Logic, programming, and type systems(4), Formal Methods in Verification(4)

Publications30 total

Compiler-Driven FPGA Virtualization with SYNERGY
Communications of the ACM·2024· 2 citedOpen Access
Low-Precision Quantization for Efficient Nearest Neighbor Search
arXiv (Cornell University)·2021Open Access
Compiler-driven FPGA virtualization with SYNERGY
2021· 22 citedOpen Access
Artifact for Paper: Compiler-Driven FPGA Virtualization with SYNERGY
Artifact Digital Object Group·2021· 1 cited
Just-In-Time Compilation for Verilog
2019· 28 cited
Sharing, protection, and compatibility for reconfigurable fabric with Amorphos
2018· 69 cited
A sampling-based approach to accelerating queries in log management systems
2016· 4 cited
Stratified synthesis: automatically learning the x86-64 instruction set
ACM SIGPLAN Notices·2016· 10 cited
Stratified synthesis: automatically learning the x86-64 instruction set
2016· 59 citedOpen Access
Stochastic program optimization
Communications of the ACM·2016· 28 cited
NVMOVE: Helping Programmers Move to Byte-Based Persistence.
2016· 12 cited
Conditionally correct superoptimization
2015· 23 citedOpen Access
Conditionally correct superoptimization
ACM SIGPLAN Notices·2015· 10 cited
Stochastic optimization of floating-point programs with tunable precision
ACM SIGPLAN Notices·2014· 62 cited
Stochastic optimization of floating-point programs with tunable precision
2014· 124 cited
Data-driven equivalence checking
ACM SIGPLAN Notices·2013· 16 cited
Data-driven equivalence checking
2013· 82 cited
Stochastic superoptimization
2013· 270 cited
Stochastic superoptimization
ACM SIGPLAN Notices·2013· 28 cited
Stochastic superoptimization
ACM SIGARCH Computer Architecture News·2013· 53 citedOpen Access
page 1 of 2Next →

Frequent Co-authors

Alex Aiken(15), Rahul Sharma(12), Paul Merrell(5), Vladlen Koltun(5), Christopher J. Rossbach(5), Berkeley Churchill(4), Joshua Landgraf(4), Tiffany Yang(3), Zeyang Li(2), Maneesh Agrawala(2), Michael Wei(2), Stefan Heule(2), Michael Bauer(2), John T. Clark(2), Will Y. Lin(2), Ahmed Khawaja(1), Rohith Prakash(1), Nathaniel Love(1), Michael Genesereth(1), Himanshu Chauhan(1)