
Registered user since Fri 23 Oct 2015
Name: Aws Albarghouthi
Affiliation: University of Wisconsin-Madison, USA
Contributions
VMCAI 2021 | Session Chair of Synthesis and Repair (part of VMCAI) Committee Member in Program Committee within the VMCAI-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2021-profile
View general profile
View general profile