Decomposition of Games for Efficient Reasoning. - Eric Schkufza (SARA, 2007)

Propositional Automata and Cell Automata: Representational Frameworks for Discrete Dynamic Systems. - Eric Schkufza; Nathaniel Love; Michael R. Genesereth (Australasian Conference on Artificial Intelligence, 2008)

Computer-generated residential building layouts. - Paul Merrell; Eric Schkufza; Vladlen Koltun (ACM Trans. Graph., 2010)

Programming the memory hierarchy revisited: supporting irregular parallelism in sequoia. - Michael Bauer 001; John Clark; Eric Schkufza; Alex Aiken (PPoPP, 2011)

Interactive furniture layout using interior design guidelines. - Paul Merrell; Eric Schkufza; Zeyang Li; Maneesh Agrawala; Vladlen Koltun (ACM Trans. Graph., 2011)

Stochastic superoptimization. - Eric Schkufza; Rahul Sharma 001; Alex Aiken (ASPLOS, 2013)

Data-driven equivalence checking. - Rahul Sharma 001; Eric Schkufza; Berkeley R. Churchill; Alex Aiken (OOPSLA, 2013)

Stochastic optimization of floating-point programs with tunable precision. - Eric Schkufza; Rahul Sharma 001; Alex Aiken (PLDI, 2014)

Conditionally correct superoptimization. - Rahul Sharma 001; Eric Schkufza; Berkeley R. Churchill; Alex Aiken (OOPSLA, 2015)

Stochastic program optimization for x86_64 binaries. - Eric Schkufza (2015)

A sampling-based approach to accelerating queries in log management systems. - Tal Wagner; Eric Schkufza; Udi Wieder (SPLASH (Companion Volume), 2016)

NVMOVE: Helping Programmers Move to Byte-Based Persistence. - Himanshu Chauhan; Irina Calciu; Vijay Chidambaram; Eric Schkufza; Onur Mutlu; Pratap Subrahmanyam (INFLOW@OSDI, 2016)

Stratified synthesis: automatically learning the x86-64 instruction set. - Stefan Heule; Eric Schkufza; Rahul Sharma 001; Alex Aiken (PLDI, 2016)

Stochastic program optimization. - Eric Schkufza; Rahul Sharma 001; Alex Aiken (Commun. ACM, 2016)

Sharing, Protection, and Compatibility for Reconfigurable Fabric with AmorphOS. - Ahmed Khawaja; Joshua Landgraf; Rohith Prakash; Michael Wei; Eric Schkufza; Christopher J. Rossbach (OSDI, 2018)

Just-In-Time Compilation for Verilog: A New Technique for Improving the FPGA Programming Experience. - Eric Schkufza; Michael Wei; Christopher J. Rossbach (ASPLOS, 2019)

Low-Precision Quantization for Efficient Nearest Neighbor Search. - Anthony Ko; Iman Keivanloo; Vihan Lakshman; Eric Schkufza (CoRR, 2021)

Compiler-Driven FPGA Virtualization with SYNERGY. - Joshua Landgraf; Tiffany Yang; Will Lin; Christopher J. Rossbach; Eric Schkufza (Commun. ACM, 2024)