Albarghouthi, Aws

FairSquare: probabilistic verification of program fairness

Albarghouthi, A., D'Antoni, L., Drews, S., & Nori, A. V. (2017) · Proceedings of the ACM on Programming Languages

Logic, programming, and type systemsFormal Methods in Verification

Cited by 94

Semantic Robustness of Models of Source Code

Henkel, J., Ramakrishnan, G., Wang, Z., Albarghouthi, A., Jha, S., & Reps, T. (2022) · 2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)

Adversarial Robustness in Machine LearningSoftware Engineering Research

Cited by 92

Introduction to Neural Network Verification

Albarghouthi, A. (2021) · Foundations and Trends® in Programming Languages

Formal Methods in VerificationLogic, programming, and type systems

Cited by 78

MapReduce program synthesis

Smith, C., & Albarghouthi, A. (2016) · Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation

Cloud Computing and Resource ManagementAdvanced Database Systems and Queries

Cited by 76

Qubit Mapping and Routing via MaxSAT

Molavi, A., Xu, A., Diges, M., Pick, L., Tannu, S., & Albarghouthi, A. (2022) · 2022 55th IEEE/ACM International Symposium on Microarchitecture (MICRO)

Quantum Computing Algorithms and ArchitectureVLSI and FPGA Design Techniques

Cited by 54

Constraint-Based Synthesis of Datalog Programs

Albarghouthi, A., Koutris, P., Naik, M., & Smith, C. (2017) · Lecture Notes in Computer Science

Logic, programming, and type systemsLogic, Reasoning, and Knowledge

Cited by 40

Perceptions of the Fairness Impacts of Multiplicity in Machine Learning

Meyer, A. P., Kim, Y.-S., D'Antoni, L., & Albarghouthi, A. (2025) · Proceedings of the 2025 CHI Conference on Human Factors in Computing Systems

Ethics and Social Impacts of AIExplainable Artificial Intelligence (XAI)

Cited by 1

SlopCodeBench: Benchmarking How Coding Agents Degrade Over Long-Horizon Iterative Tasks

Orlanski, G., Roy, D., Yun, A., Shin, C., Gu, A., Ge, A., Adila, D., Roberts, N., Sala, F., & Albarghouthi, A. (2026) · arXiv

Software Engineering ResearchSoftware Engineering Techniques and Practices

Cited by 0

LiveResearchBench: A Live Benchmark for User-Centric Deep Research in the Wild

Wang, J., Ming, Y., Dulepet, R., Chen, Q., Xu, A., Ke, Z., Sala, F., Albarghouthi, A., Xiong, C., & Joty, S. (2025) · arXiv

Information Retrieval and Search BehaviorTopic Modeling

Cited by 0