OpenAlex | Aws Albarghouthi

Aws Albarghouthi

Author

Alternate names Aws Albarghouthi, Aws H Albarghouthi

Institution University of Wisconsin–Madison

Past institutions University of Wisconsin–Madison, University of Massachusetts Lowell, University of Toronto

ORCID: Yes

H-index: 23

I10-index: 46

Works count: 117

Citations count: 1,835

Recursive Program Synthesis

2013 · Aws Albarghouthi, Sumit Gulwani, et al. · Lecture notes in computer science

Symbolic optimization with SMT solvers

2014 · Yi Li, Aws Albarghouthi, et al.

Ufo: A Framework for Abstraction- and Interpolation-Based Software Verification

2012 · Aws Albarghouthi, Yi Li, et al. · Lecture notes in computer science