Optimizing synthesis with metasketches

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL 2016 ◽

10.1145/2837614.2837666 ◽

2016 ◽

Author(s):

James Bornholt ◽

Emina Torlak ◽

Dan Grossman ◽

Luis Ceze

Download Full-text