According to our database1, Eric Schkufza authored at least 15 papers between 2007 and 2019.
Legend:Book In proceedings Article PhD thesis Other
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
Sharing, Protection, and Compatibility for Reconfigurable Fabric with AmorphOS.
Proceedings of the 13th USENIX Symposium on Operating Systems Design and Implementation, 2018
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
Conditionally correct superoptimization.
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015
Stochastic optimization of floating-point programs with tunable precision.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014
Data-driven equivalence checking.
Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013
Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2013
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
Computer-generated residential building layouts.
ACM Trans. Graph., 2010
Propositional Automata and Cell Automata: Representational Frameworks for Discrete Dynamic Systems.
Proceedings of the AI 2008: Advances in Artificial Intelligence, 2008
Decomposition of Games for Efficient Reasoning.
Proceedings of the Abstraction, 2007