Eric Schkufza

According to our database1, Eric Schkufza authored at least 15 papers between 2007 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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
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

2012
Stochastic Superoptimization
CoRR, 2012

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...