×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [xffff o4]
Sumit Gulwani (
[email protected]
) Microsoft Research, Redmond Dimensions in Program Synthesis ACM Symposium on Principles and Practice of Declarative
218 views
Usable Synthesis Sumit Gulwani (
[email protected]
) Microsoft Research, Redmond Usable Verification Workshop November 2010 MSR Redmond
216 views
Program Synthesis for Automating Education Sumit Gulwani (
[email protected]
) Microsoft Research, Redmond
218 views