Skip to main content
MyCSE
Internal
Calendar
Directory
Helpful Links
Computing
CSE Course List
Time/Teaching Schedules
Academic Calendars
UW Homepage
About Us
Contact Us
Quick Links
News & Events
People
Academics
Research & Innovation
Outreach
Support #UWAllen
Apply!
Menu
Home
News & Events
People
Academics
Research & Innovation
Outreach
Support #UWAllen
Apply!
Optimizing Synthesis with Metasketches
Title
Optimizing Synthesis with Metasketches
Publication Type
Conference Paper
Year of Publication
2016
Authors
Bornholt J, Torlak E, Grossman D, Ceze L
Conference Name
POPL
Citation Key
synapse-popl16
Google Scholar
