
Registered user since Fri 23 Oct 2015
Name:Aws Albarghouthi
Affiliation:University of Wisconsin–Madison
Personal website:http://cs.wisc.edu/~aws
Contributions
POPL 2016 | Maximal Specification Synthesis | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2016-profile
View general profile
View general profile