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