Concepedia

Aws Albarghouthi

AA

Statistics

Publications

29

Citations

995

H-Index

18

Active since

2012

Affiliations

University of Wisconsin–Madison(Current)

University of Wisconsin–La Crosse

Carnegie Mellon University

University of Toronto

University of Washington

Aws Albarghouthi is an author at University of Wisconsin–Madison specializing in computer science, engineering, and program analysis.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationFormal MethodsAutomated ReasoningData ScienceVerificationSoftware Design

Publications per year

2012–2023

29

Publications

29

Symbolic optimization with SMT solvers

Yi Li, Aws Albarghouthi, Zachary Kincaid et al. · 2014 · 119 citations

Mathematical Programming, Large-scale Global Optimization, Program Checking +21

FairSquare: probabilistic verification of program fairness

Aws Albarghouthi, Loris D’Antoni, Samuel Drews et al. · Proceedings of the ACM on Programming Languages · 2017 · 99 citations · Full text

Program Checking, Engineering, Verification +20

MapReduce program synthesis

Calvin Smith, Aws Albarghouthi · 2016 · 78 citations

Cluster Computing, Engineering, Distributed Algorithms +22

Semantic Robustness of Models of Source Code

Jordan Henkel, Goutham Ramakrishnan, Zi Wang et al. · 2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER) · 2022 · 67 citations · Full text

Authoring and Verifying Human-Robot Interactions

David Porfirio, Allison Sauppé, Aws Albarghouthi et al. · 2018 · 55 citations · Full text

Human-robot Collaborative Assembly, Engineering, Socially Assistive Robot +18

1–5 of 29