Eric Schkufza

According to our database, Eric Schkufza authored at least 18 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Compiler-Driven FPGA Virtualization with SYNERGY.

Joshua Landgraf, Tiffany Yang, Will Lin, Christopher J. Rossbach, Eric Schkufza

Commun. ACM, August, 2024

2021

Low-Precision Quantization for Efficient Nearest Neighbor Search.

Anthony Ko, Iman Keivanloo, Vihan Lakshman, Eric Schkufza

CoRR, 2021

2019

Just-In-Time Compilation for Verilog: A New Technique for Improving the FPGA Programming Experience.

Eric Schkufza, Michael Wei, Christopher J. Rossbach

Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, 2019

2018

Sharing, Protection, and Compatibility for Reconfigurable Fabric with AmorphOS.

Ahmed Khawaja, Joshua Landgraf, Rohith Prakash, Michael Wei, Eric Schkufza, Christopher J. Rossbach

Proceedings of the 13th USENIX Symposium on Operating Systems Design and Implementation, 2018

2016

Stochastic program optimization.

Eric Schkufza, Rahul Sharma, Alex Aiken

Commun. ACM, 2016

Stratified synthesis: automatically learning the x86-64 instruction set.

Stefan Heule, Eric Schkufza, Rahul Sharma, Alex Aiken

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

NVMOVE: Helping Programmers Move to Byte-Based Persistence.

Himanshu Chauhan, Irina Calciu, Vijay Chidambaram, Eric Schkufza, Onur Mutlu, Pratap Subrahmanyam

Proceedings of the 4th Workshop on Interactions of NVM/Flash with Operating Systems and Workloads, 2016

A sampling-based approach to accelerating queries in log management systems.

Tal Wagner, Eric Schkufza, Udi Wieder

Proceedings of the Companion Proceedings of the 2016 ACM SIGPLAN International Conference on Systems, 2016

2015

Stochastic program optimization for x86_64 binaries.

Eric Schkufza

PhD thesis, 2015

Conditionally correct superoptimization.

Rahul Sharma, Eric Schkufza, Berkeley R. Churchill, Alex Aiken

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

2014

Stochastic optimization of floating-point programs with tunable precision.

Eric Schkufza, Rahul Sharma, Alex Aiken

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

2013

Data-driven equivalence checking.

Rahul Sharma, Eric Schkufza, Berkeley R. Churchill, Alex Aiken

Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

Stochastic superoptimization.

Eric Schkufza, Rahul Sharma, Alex Aiken

Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2013

2011

Interactive furniture layout using interior design guidelines.

Paul Merrell, Eric Schkufza, Zeyang Li, Maneesh Agrawala, Vladlen Koltun

ACM Trans. Graph., 2011

Programming the memory hierarchy revisited: supporting irregular parallelism in sequoia.

Michael Bauer, John Clark, Eric Schkufza, Alex Aiken

Proceedings of the 16th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2011

2010

Computer-generated residential building layouts.

Paul Merrell, Eric Schkufza, Vladlen Koltun

ACM Trans. Graph., 2010

2008

Propositional Automata and Cell Automata: Representational Frameworks for Discrete Dynamic Systems.

Eric Schkufza, Nathaniel Love, Michael R. Genesereth

Proceedings of the AI 2008: Advances in Artificial Intelligence, 2008

2007

Decomposition of Games for Efficient Reasoning.

Eric Schkufza

Proceedings of the Abstraction, 2007