×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [program synthesis slide]
Home >
program synthesis slide
Usable Synthesis Sumit Gulwani (
[email protected]
) Microsoft Research, Redmond Usable Verification Workshop November 2010 MSR Redmond.
215 views
Carnegie Mellon Spiral: Automatic Generation of Industry Strength Performance Libraries Franz Franchetti Carnegie Mellon University franzf.
223 views