Abstract Analysis of Symbolic Executions. - Aws Albarghouthi; Arie Gurfinkel; Ou Wei; Marsha Chechik (CAV, 2010)

Ufo: A Framework for Abstraction- and Interpolation-Based Software Verification. - Aws Albarghouthi; Yi Li 008; Arie Gurfinkel; Marsha Chechik (CAV, 2012)

Parallelizing top-down interprocedural analyses. - Aws Albarghouthi; Rahul Kumar 002; Aditya V. Nori; Sriram K. Rajamani (PLDI, 2012)

Craig Interpretation. - Aws Albarghouthi; Arie Gurfinkel; Marsha Chechik (SAS, 2012)

From Under-Approximations to Over-Approximations and Back. - Aws Albarghouthi; Arie Gurfinkel; Marsha Chechik (TACAS, 2012)

Whale: An Interpolation-Based Algorithm for Inter-procedural Verification. - Aws Albarghouthi; Arie Gurfinkel; Marsha Chechik (VMCAI, 2012)

Recursive Program Synthesis. - Aws Albarghouthi; Sumit Gulwani; Zachary Kincaid (CAV, 2013)

Beautiful Interpolants. - Aws Albarghouthi; Kenneth L. McMillan (CAV, 2013)

UFO: Verification with Interpolants and Abstract Interpretation - (Competition Contribution). - Aws Albarghouthi; Arie Gurfinkel; Yi Li 008; Sagar Chaki; Marsha Chechik (TACAS, 2013)

Symbolic optimization with SMT solvers. - Yi Li 008; Aws Albarghouthi; Zachary Kincaid; Arie Gurfinkel; Marsha Chechik (POPL, 2014)

Spatial Interpolants. - Aws Albarghouthi; Josh Berdine; Byron Cook; Zachary Kincaid (ESOP, 2015)

Software Verification with Program-Graph Interpolation and Abstraction. - Aws Albarghouthi (2015)

Effectively Propositional Interpolants. - Samuel Drews; Aws Albarghouthi (CAV (2), 2016)

MapReduce program synthesis. - Calvin Smith; Aws Albarghouthi (PLDI, 2016)

Maximal specification synthesis. - Aws Albarghouthi; Isil Dillig; Arie Gurfinkel (POPL, 2016)

Fairness as a Program Property. - Aws Albarghouthi; Loris D'Antoni; Samuel Drews; Aditya V. Nori (CoRR, 2016)

Repairing Decision-Making Programs Under Uncertainty. - Aws Albarghouthi; Loris D'Antoni; Samuel Drews (CAV (1), 2017)

Constraint-Based Synthesis of Datalog Programs. - Aws Albarghouthi; Paraschos Koutris; Mayur Naik; Calvin Smith (CP, 2017)

Weighted Model Integration with Orthogonal Transformations. - David Merrell; Aws Albarghouthi; Loris D'Antoni (IJCAI, 2017)

Probabilistic Horn Clause Verification. - Aws Albarghouthi (SAS, 2017)

Discovering relational specifications. - Calvin Smith; Gabriel Ferns; Aws Albarghouthi (ESEC/SIGSOFT FSE, 2017)

Quantifying Program Bias. - Aws Albarghouthi; Loris D'Antoni; Samuel Drews; Aditya V. Nori (CoRR, 2017)

FairSquare: probabilistic verification of program fairness. - Aws Albarghouthi; Loris D'Antoni; Samuel Drews; Aditya V. Nori (Proc. ACM Program. Lang., 2017)

Constraint-Based Synthesis of Coupling Proofs. - Aws Albarghouthi; Justin Hsu (CAV (1), 2018)

Fairness: A Formal-Methods Perspective. - Aws Albarghouthi (SAS, 2018)

Syntax-guided synthesis of Datalog programs. - Xujie Si; Woosuk Lee; Richard Zhang 004; Aws Albarghouthi; Paraschos Koutris; Mayur Naik (ESEC/SIGSOFT FSE, 2018)

Neural-augmented static analysis of Android communication. - Jinman Zhao; Aws Albarghouthi; Vaibhav Rastogi; Somesh Jha; Damien Octeau (ESEC/SIGSOFT FSE, 2018)

Authoring and Verifying Human-Robot Interactions. - David Porfirio; Allison Sauppé; Aws Albarghouthi; Bilge Mutlu (UIST, 2018)

Synthesizing coupling proofs of differential privacy. - Aws Albarghouthi; Justin Hsu (Proc. ACM Program. Lang., 2018)

Protocol-Aware Recovery for Consensus-Based Distributed Storage. - Ramnatthan Alagappan; Aishwarya Ganesan; Eric Lee; Aws Albarghouthi; Vijay Chidambaram; Andrea C. Arpaci-Dusseau; Remzi H. Arpaci-Dusseau (ACM Trans. Storage, 2018)

Efficient Synthesis with Probabilistic Constraints. - Samuel Drews; Aws Albarghouthi; Loris D'Antoni (CAV (1), 2019)

Fairness-Aware Programming. - Aws Albarghouthi; Samuel Vinitsky (FAT, 2019)

Computational Tools for Human-Robot Interaction Design. - David Porfirio; Allison Sauppé; Aws Albarghouthi; Bilge Mutlu (HRI, 2019)

Bodystorming Human-Robot Interactions. - David Porfirio; Evan Fisher; Allison Sauppé; Aws Albarghouthi; Bilge Mutlu (UIST, 2019)

Protocol-Aware Recovery for Consensus-Based Storage. - Ramnatthan Alagappan; Aishwarya Ganesan; Eric Lee; Aws Albarghouthi; Vijay Chidambaram; Andrea C. Arpaci-Dusseau; Remzi H. Arpaci-Dusseau (USENIX ATC, 2019)

Program Synthesis with Equivalence Reduction. - Calvin Smith; Aws Albarghouthi (VMCAI, 2019)

A Static Analysis-based Cross-Architecture Performance Prediction Using Machine Learning. - Newsha Ardalani; Urmish Thakker; Aws Albarghouthi; Karu Sankaralingam (CoRR, 2019)

Synthesizing differentially private programs. - Calvin Smith; Aws Albarghouthi (Proc. ACM Program. Lang., 2019)

Trace abstraction modulo probability. - Calvin Smith; Justin Hsu; Aws Albarghouthi (Proc. ACM Program. Lang., 2019)

Scaling-Up In-Memory Datalog Processing: Observations and Techniques. - Zhiwei Fan; Jianqiao Zhu; Zuyu Zhang; Aws Albarghouthi; Paraschos Koutris; Jignesh M. Patel (Proc. VLDB Endow., 2019)

Synthesizing Action Sequences for Modifying Model Decisions. - Goutham Ramakrishnan; Yun Chan Lee; Aws Albarghouthi (AAAI, 2020)

Transforming Robot Programs Based on Social Context. - David Porfirio; Allison Sauppé; Aws Albarghouthi; Bilge Mutlu (CHI, 2020)

Generating Programmatic Referring Expressions via Program Synthesis. - Jiani Huang; Calvin Smith; Osbert Bastani; Rishabh Singh; Aws Albarghouthi; Mayur Naik (ICML, 2020)

Robustness to Programmable String Transformations via Augmented Abstract Training. - Yuhao Zhang; Aws Albarghouthi; Loris D'Antoni (ICML, 2020)

Automated tuning of query degree of parallelism via machine learning. - Zhiwei Fan; Rathijit Sen; Paraschos Koutris; Aws Albarghouthi (aiDM@SIGMOD, 2020)

A Comparative Exploration of ML Techniques for Tuning Query Degree of Parallelism. - Zhiwei Fan; Rathijit Sen; Paraschos Koutris; Aws Albarghouthi (CoRR, 2020)

Abstract Universal Approximation for Neural Networks. - Zi Wang; Aws Albarghouthi; Somesh Jha (CoRR, 2020)

Distribution Policies for Datalog. - Bas Ketsman; Aws Albarghouthi; Paraschos Koutris (Theory Comput. Syst., 2020)

Figaro: A Tabletop Authoring Environment for Human-Robot Interaction. - David J. Porfirio; Laura Stegner; Maya Cakmak; Allison Sauppé; Aws Albarghouthi; Bilge Mutlu (CHI, 2021)

Certified Robustness to Programmable Transformations in LSTMs. - Yuhao Zhang; Aws Albarghouthi; Loris D'Antoni (EMNLP (1), 2021)

Certifying Robustness to Programmable Data Bias in Decision Trees. - Anna P. Meyer; Aws Albarghouthi; Loris D'Antoni (NeurIPS, 2021)

Learning Differentially Private Mechanisms. - Subhajit Roy 001; Justin Hsu; Aws Albarghouthi (SP, 2021)

Introduction to Neural Network Verification. - Aws Albarghouthi (Found. Trends Program. Lang., 2021)

Backdoors in Neural Models of Source Code. - Goutham Ramakrishnan; Aws Albarghouthi (ICPR, 2022)

Qubit Mapping and Routing via MaxSAT. - Abtin Molavi; Amanda Xu; Martin Diges; Lauren Pick; Swamit S. Tannu; Aws Albarghouthi (MICRO, 2022)

AutoWS-Bench-101: Benchmarking Automated Weak Supervision with 100 Labels. - Nicholas Carl Roberts; Xintong Li 001; Tzu-Heng Huang; Dyah Adila; Spencer Schoenberg; Cheng-Yu Liu 002; Lauren Pick; Haotian Ma; Aws Albarghouthi; Frederic Sala (NeurIPS, 2022)

BagFlip: A Certified Defense Against Data Poisoning. - Yuhao Zhang; Aws Albarghouthi; Loris D'Antoni (NeurIPS, 2022)

Semantic Robustness of Models of Source Code. - Jordan Henkel; Goutham Ramakrishnan; Zi Wang; Aws Albarghouthi; Somesh Jha; Thomas W. Reps (SANER, 2022)

Certifying Data-Bias Robustness in Linear Regression. - Anna P. Meyer; Aws Albarghouthi; Loris D'Antoni (CoRR, 2022)

Interval universal approximation for neural networks. - Zi Wang; Aws Albarghouthi; Gautam Prakriya; Somesh Jha (Proc. ACM Program. Lang., 2022)

The Dataset Multiplicity Problem: How Unreliable Data Impacts Predictions. - Anna P. Meyer; Aws Albarghouthi; Loris D'Antoni (FAccT, 2023)

Crowdsourcing Task Traces for Service Robotics. - David Porfirio; Allison Sauppé; Maya Cakmak; Aws Albarghouthi; Bilge Mutlu (HRI (Companion), 2023)

Sketching Robot Programs On the Fly. - David Porfirio; Laura Stegner; Maya Cakmak; Allison Sauppé; Aws Albarghouthi; Bilge Mutlu (HRI, 2023)

PECAN: A Deterministic Certified Defense Against Backdoor Attacks. - Yuhao Zhang; Aws Albarghouthi; Loris D'Antoni (CoRR, 2023)

Compilation for Surface Code Quantum Computers. - Abtin Molavi; Amanda Xu; Swamit Tannu; Aws Albarghouthi (CoRR, 2023)

Synthesizing Quantum-Circuit Optimizers. - Amanda Xu; Abtin Molavi; Lauren Pick; Swamit Tannu; Aws Albarghouthi (Proc. ACM Program. Lang., 2023)

Proving Data-Poisoning Robustness in Decision Trees. - Samuel Drews; Aws Albarghouthi; Loris D'Antoni (Commun. ACM, 2023)

Verified Training for Counterfactual Explanation Robustness under Data Shift. - Anna P. Meyer; Yuhao Zhang; Aws Albarghouthi; Loris D'Antoni (CoRR, 2024)

A One-Layer Decoder-Only Transformer is a Two-Layer RNN: With an Application to Certified Robustness. - Yuhao Zhang; Aws Albarghouthi; Loris D'Antoni (CoRR, 2024)

Preface of the special issue on the conference on Computer-Aided Verification 2020 and 2021. - Aws Albarghouthi; K. Rustan M. Leino; Alexandra Silva 001; Caterina Urban (Formal Methods Syst. Des., 2024)

Checking Observational Correctness of Database Systems Artifact (Troubadour). - Lauren Pick; Amanda Xu; Ankush Desai; Sanjit Seshia; Aws Albarghouthi (Zenodo, 2024)

Optimizing Quantum Circuits, Fast and Slow. - Amanda Xu; Abtin Molavi; Swamit Tannu; Aws Albarghouthi (ASPLOS (1), 2025)

Perceptions of the Fairness Impacts of Multiplicity in Machine Learning. - Anna P. Meyer; Yea-Seul Kim; Loris D'Antoni; Aws Albarghouthi (CHI, 2025)

Quantum Computing without the Linear Algebra. - Aws Albarghouthi (IACR Cryptol. ePrint Arch., 2025)

Verified Foundations for Differential Privacy. - Markus de Medeiros; Muhammad Naveed; Tancrède Lepoint; Temesghen Kahsai; Tristan Ravitch; Stefan Zetzsche; Anjali Joshi; Joseph Tassarotti; Aws Albarghouthi; Jean-Baptiste Tristan (Proc. ACM Program. Lang., 2025)

Dependency-Aware Compilation for Surface Code Quantum Architectures. - Abtin Molavi; Amanda Xu; Swamit Tannu; Aws Albarghouthi (Proc. ACM Program. Lang., 2025)

Checking Observational Correctness of Database Systems. - Lauren Pick; Amanda Xu; Ankush Desai; Sanjit A. Seshia; Aws Albarghouthi (Proc. ACM Program. Lang., 2025)

COSMOS: Predictable and Cost-Effective Adaptation of LLMs. - Jiayu Wang; Aws Albarghouthi; Frederic Sala (CoRR, 2025)

Beyond Accuracy: Dissecting Mathematical Reasoning for LLMs Under Reinforcement Learning. - Jiayu Wang; Yifei Ming; Zixuan Ke; Caiming Xiong; Shafiq Joty; Aws Albarghouthi; Frederic Sala (CoRR, 2025)

Reward Models Enable Scalable Code Verification by Trading Accuracy for Throughput. - Gabriel Orlanski; Nicholas Carl Roberts; Aws Albarghouthi; Frederic Sala (CoRR, 2025)