eric schkufza
eric schkufza
Amazon
Verified email at cs.stanford.edu
Title
Cited by
Cited by
Year
Interactive furniture layout using interior design guidelines
P Merrell, E Schkufza, Z Li, M Agrawala, V Koltun
ACM transactions on graphics (TOG) 30 (4), 1-10, 2011
3402011
General game playing: Game description language specification
N Love, T Hinrichs, D Haley, E Schkufza, M Genesereth
Stanford Logic Group Computer Science Department Stanford University …, 2008
3062008
Computer-generated residential building layouts
P Merrell, E Schkufza, V Koltun
ACM SIGGRAPH Asia 2010 papers, 1-12, 2010
2962010
Stochastic superoptimization
E Schkufza, R Sharma, A Aiken
ACM SIGARCH Computer Architecture News 41 (1), 305-316, 2013
2622013
Proving program termination
B Cook, A Podelski, A Rybalchenko
Communications of the ACM 54 (5), 88-98, 2011
240*2011
Stochastic optimization of floating-point programs with tunable precision
E Schkufza, R Sharma, A Aiken
ACM SIGPLAN Notices 49 (6), 53-64, 2014
1592014
Data-driven equivalence checking
R Sharma, E Schkufza, B Churchill, A Aiken
Proceedings of the 2013 ACM SIGPLAN international conference on Object …, 2013
772013
Stratified synthesis: automatically learning the x86-64 instruction set
S Heule, E Schkufza, R Sharma, A Aiken
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language …, 2016
662016
Sharing, protection, and compatibility for reconfigurable fabric with amorphos
A Khawaja, J Landgraf, R Prakash, M Wei, E Schkufza, CJ Rossbach
13th {USENIX} Symposium on Operating Systems Design and Implementation …, 2018
562018
Factoring general games using propositional automata
E Cox, E Schkufza, R Madsen, M Genesereth
Proceedings of the IJCAI Workshop on General Intelligence in Game-Playing …, 2009
342009
Programming the memory hierarchy revisited: Supporting irregular parallelism in sequoia
M Bauer, J Clark, E Schkufza, A Aiken
Proceedings of the 16th ACM symposium on Principles and practice of parallel …, 2011
332011
Method and system for interactive layout
P Merrell, V Koltun, E Schkufza, M Agrawala
US Patent 9,355,470, 2016
312016
Stochastic program optimization
E Schkufza, R Sharma, A Aiken
Communications of the ACM 59 (2), 114-122, 2016
282016
Propositional automata and cell automata: Representational frameworks for discrete dynamic systems
E Schkufza, N Love, M Genesereth
Australasian Joint Conference on Artificial Intelligence, 56-66, 2008
262008
Conditionally correct superoptimization
R Sharma, E Schkufza, B Churchill, A Aiken
ACM SIGPLAN Notices 50 (10), 147-162, 2015
242015
{NVMOVE}: Helping Programmers Move to Byte-Based Persistence
H Chauhan, I Calciu, V Chidambaram, E Schkufza, O Mutlu, ...
4th Workshop on Interactions of NVM/Flash with Operating Systems and …, 2016
192016
Just-in-time compilation for Verilog: A new technique for improving the FPGA programming experience
E Schkufza, M Wei, CJ Rossbach
Proceedings of the Twenty-Fourth International Conference on Architectural …, 2019
11*2019
General Game Playing: Game Description Language Specification, 2008
N Love, T Hinrichs, D Haley, E Schkufza, M Genesereth
11
Just-in-time hardware for field programmable gate arrays
E Schkufza, M Wei
US Patent App. 16/257,510, 2019
52019
A sampling-based approach to accelerating queries in log management systems
T Wagner, E Schkufza, U Wieder
Companion Proceedings of the 2016 ACM SIGPLAN International Conference on …, 2016
32016
The system can't perform the operation now. Try again later.
Articles 1–20