Eric Schkufza

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Compiler-Driven FPGA Virtualization with SYNERGY.
Commun. ACM, August, 2024

2021
Low-Precision Quantization for Efficient Nearest Neighbor Search.
CoRR, 2021

2019
Just-In-Time Compilation for Verilog: A New Technique for Improving the FPGA Programming Experience.
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.
Proceedings of the 13th USENIX Symposium on Operating Systems Design and Implementation, 2018

2016
Stochastic program optimization.
Commun. ACM, 2016

Stratified synthesis: automatically learning the x86-64 instruction set.
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

NVMOVE: Helping Programmers Move to Byte-Based Persistence.
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.
Proceedings of the Companion Proceedings of the 2016 ACM SIGPLAN International Conference on Systems, 2016

2015
Stochastic program optimization for x86_64 binaries.
PhD thesis, 2015

Conditionally correct superoptimization.
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

2014
Stochastic optimization of floating-point programs with tunable precision.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

2013
Data-driven equivalence checking.
Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

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

2011
Interactive furniture layout using interior design guidelines.
ACM Trans. Graph., 2011

Programming the memory hierarchy revisited: supporting irregular parallelism in sequoia.
Proceedings of the 16th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2011

2010
Computer-generated residential building layouts.
ACM Trans. Graph., 2010

2008
Propositional Automata and Cell Automata: Representational Frameworks for Discrete Dynamic Systems.
Proceedings of the AI 2008: Advances in Artificial Intelligence, 2008

2007
Decomposition of Games for Efficient Reasoning.
Proceedings of the Abstraction, 2007


  Loading...