Aws Albarghouthi

According to our database, Aws Albarghouthi authored at least 73 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Preface of the special issue on the conference on Computer-Aided Verification 2020 and 2021.

Aws Albarghouthi, K. Rustan M. Leino, Alexandra Silva, Caterina Urban

Formal Methods Syst. Des., October, 2024

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

IACR Cryptol. ePrint Arch., 2024

Optimizing Quantum Circuits, Fast and Slow.

Amanda Xu, Abtin Molavi, Swamit Tannu, Aws Albarghouthi

CoRR, 2024

Perceptions of the Fairness Impacts of Multiplicity in Machine Learning.

Anna P. Meyer, Yea-Seul Kim, 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

Verified Training for Counterfactual Explanation Robustness under Data Shift.

Anna P. Meyer, Yuhao Zhang, Aws Albarghouthi, Loris D'Antoni

CoRR, 2024

2023

Proving Data-Poisoning Robustness in Decision Trees.

Samuel Drews, Aws Albarghouthi, Loris D'Antoni

Commun. ACM, February, 2023

Synthesizing Quantum-Circuit Optimizers.

Amanda Xu, Abtin Molavi, Lauren Pick, Swamit Tannu, Aws Albarghouthi

Proc. ACM Program. Lang., 2023

Compilation for Surface Code Quantum Computers.

Abtin Molavi, Amanda Xu, Swamit Tannu, Aws Albarghouthi

CoRR, 2023

PECAN: A Deterministic Certified Defense Against Backdoor Attacks.

Yuhao Zhang, Aws Albarghouthi, Loris D'Antoni

CoRR, 2023

Sketching Robot Programs On the Fly.

David Porfirio, Laura Stegner, Maya Cakmak, Allison Sauppé, Aws Albarghouthi, Bilge Mutlu

Proceedings of the 2023 ACM/IEEE International Conference on Human-Robot Interaction, 2023

Crowdsourcing Task Traces for Service Robotics.

David Porfirio, Allison Sauppé, Maya Cakmak, Aws Albarghouthi, Bilge Mutlu

Proceedings of the Companion of the 2023 ACM/IEEE International Conference on Human-Robot Interaction, 2023

The Dataset Multiplicity Problem: How Unreliable Data Impacts Predictions.

Anna P. Meyer, Aws Albarghouthi, Loris D'Antoni

Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency, 2023

2022

Interval universal approximation for neural networks.

Zi Wang, Aws Albarghouthi, Gautam Prakriya, Somesh Jha

Proc. ACM Program. Lang., 2022

Certifying Data-Bias Robustness in Linear Regression.

Anna P. Meyer, Aws Albarghouthi, Loris D'Antoni

CoRR, 2022

Semantic Robustness of Models of Source Code.

Jordan Henkel, Goutham Ramakrishnan, Zi Wang, Aws Albarghouthi, Somesh Jha, Thomas W. Reps

Proceedings of the IEEE International Conference on Software Analysis, 2022

BagFlip: A Certified Defense Against Data Poisoning.

Yuhao Zhang, Aws Albarghouthi, Loris D'Antoni

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

AutoWS-Bench-101: Benchmarking Automated Weak Supervision with 100 Labels.

Nicholas Carl Roberts, Xintong Li, Tzu-Heng Huang, Dyah Adila, Spencer Schoenberg, Cheng-Yu Liu, Lauren Pick, Haotian Ma, Aws Albarghouthi, Frederic Sala

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Qubit Mapping and Routing via MaxSAT.

Abtin Molavi, Amanda Xu, Martin Diges, Lauren Pick, Swamit S. Tannu, Aws Albarghouthi

Proceedings of the 55th IEEE/ACM International Symposium on Microarchitecture, 2022

Backdoors in Neural Models of Source Code.

Goutham Ramakrishnan, Aws Albarghouthi

Proceedings of the 26th International Conference on Pattern Recognition, 2022

2021

Introduction to Neural Network Verification.

Aws Albarghouthi

Found. Trends Program. Lang., 2021

Learning Differentially Private Mechanisms.

Subhajit Roy, Justin Hsu, Aws Albarghouthi

Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021

Certifying Robustness to Programmable Data Bias in Decision Trees.

Anna P. Meyer, Aws Albarghouthi, Loris D'Antoni

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Certified Robustness to Programmable Transformations in LSTMs.

Yuhao Zhang, Aws Albarghouthi, Loris D'Antoni

Proceedings of the 2021 Conference on Empirical Methods in Natural Language Processing, 2021

Figaro: A Tabletop Authoring Environment for Human-Robot Interaction.

David J. Porfirio, Laura Stegner, Maya Cakmak, Allison Sauppé, Aws Albarghouthi, Bilge Mutlu

Proceedings of the CHI '21: CHI Conference on Human Factors in Computing Systems, 2021

2020

Distribution Policies for Datalog.

Bas Ketsman, Aws Albarghouthi, Paraschos Koutris

Theory Comput. Syst., 2020

Abstract Universal Approximation for Neural Networks.

Zi Wang, Aws Albarghouthi, Somesh Jha

CoRR, 2020

A Comparative Exploration of ML Techniques for Tuning Query Degree of Parallelism.

Zhiwei Fan, Rathijit Sen, Paraschos Koutris, Aws Albarghouthi

CoRR, 2020

Automated tuning of query degree of parallelism via machine learning.

Zhiwei Fan, Rathijit Sen, Paraschos Koutris, Aws Albarghouthi

Proceedings of the Third International Workshop on Exploiting Artificial Intelligence Techniques for Data Management, 2020

Robustness to Programmable String Transformations via Augmented Abstract Training.

Yuhao Zhang, Aws Albarghouthi, Loris D'Antoni

Proceedings of the 37th International Conference on Machine Learning, 2020

Generating Programmatic Referring Expressions via Program Synthesis.

Jiani Huang, Calvin Smith, Osbert Bastani, Rishabh Singh, Aws Albarghouthi, Mayur Naik

Proceedings of the 37th International Conference on Machine Learning, 2020

Transforming Robot Programs Based on Social Context.

David Porfirio, Allison Sauppé, Aws Albarghouthi, Bilge Mutlu

Proceedings of the CHI '20: CHI Conference on Human Factors in Computing Systems, 2020

Synthesizing Action Sequences for Modifying Model Decisions.

Goutham Ramakrishnan, Yun Chan Lee, Aws Albarghouthi

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

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

Trace abstraction modulo probability.

Calvin Smith, Justin Hsu, Aws Albarghouthi

Proc. ACM Program. Lang., 2019

Synthesizing differentially private programs.

Calvin Smith, Aws Albarghouthi

Proc. ACM Program. Lang., 2019

A Static Analysis-based Cross-Architecture Performance Prediction Using Machine Learning.

Newsha Ardalani, Urmish Thakker, Aws Albarghouthi, Karu Sankaralingam

CoRR, 2019

Program Synthesis with Equivalence Reduction.

Calvin Smith, Aws Albarghouthi

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 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

Proceedings of the 2019 USENIX Annual Technical Conference, 2019

Bodystorming Human-Robot Interactions.

David Porfirio, Evan Fisher, Allison Sauppé, Aws Albarghouthi, Bilge Mutlu

Proceedings of the 32nd Annual ACM Symposium on User Interface Software and Technology, 2019

Computational Tools for Human-Robot Interaction Design.

David Porfirio, Allison Sauppé, Aws Albarghouthi, Bilge Mutlu

Proceedings of the 14th ACM/IEEE International Conference on Human-Robot Interaction, 2019

Fairness-Aware Programming.

Aws Albarghouthi, Samuel Vinitsky

Proceedings of the Conference on Fairness, Accountability, and Transparency, 2019

Efficient Synthesis with Probabilistic Constraints.

Samuel Drews, Aws Albarghouthi, Loris D'Antoni

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

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

Synthesizing coupling proofs of differential privacy.

Aws Albarghouthi, Justin Hsu

Proc. ACM Program. Lang., 2018

Authoring and Verifying Human-Robot Interactions.

David Porfirio, Allison Sauppé, Aws Albarghouthi, Bilge Mutlu

Proceedings of the 31st Annual ACM Symposium on User Interface Software and Technology, 2018

Neural-augmented static analysis of Android communication.

Jinman Zhao, Aws Albarghouthi, Vaibhav Rastogi, Somesh Jha, Damien Octeau

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

Syntax-guided synthesis of Datalog programs.

Xujie Si, Woosuk Lee, Richard Zhang, Aws Albarghouthi, Paraschos Koutris, Mayur Naik

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

Fairness: A Formal-Methods Perspective.

Aws Albarghouthi

Proceedings of the Static Analysis - 25th International Symposium, 2018

Constraint-Based Synthesis of Coupling Proofs.

Aws Albarghouthi, Justin Hsu

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017

FairSquare: probabilistic verification of program fairness.

Aws Albarghouthi, Loris D'Antoni, Samuel Drews, Aditya V. Nori

Proc. ACM Program. Lang., 2017

Quantifying Program Bias.

Aws Albarghouthi, Loris D'Antoni, Samuel Drews, Aditya V. Nori

CoRR, 2017

Discovering relational specifications.

Calvin Smith, Gabriel Ferns, Aws Albarghouthi

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Probabilistic Horn Clause Verification.

Aws Albarghouthi

Proceedings of the Static Analysis - 24th International Symposium, 2017

Weighted Model Integration with Orthogonal Transformations.

David Merrell, Aws Albarghouthi, Loris D'Antoni

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Constraint-Based Synthesis of Datalog Programs.

Aws Albarghouthi, Paraschos Koutris, Mayur Naik, Calvin Smith

Proceedings of the Principles and Practice of Constraint Programming, 2017

Repairing Decision-Making Programs Under Uncertainty.

Aws Albarghouthi, Loris D'Antoni, Samuel Drews

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

Fairness as a Program Property.

Aws Albarghouthi, Loris D'Antoni, Samuel Drews, Aditya V. Nori

CoRR, 2016

Maximal specification synthesis.

Aws Albarghouthi, Isil Dillig, Arie Gurfinkel

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

MapReduce program synthesis.

Calvin Smith, Aws Albarghouthi

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

Effectively Propositional Interpolants.

Samuel Drews, Aws Albarghouthi

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015

Software Verification with Program-Graph Interpolation and Abstraction.

Aws Albarghouthi

PhD thesis, 2015

Spatial Interpolants.

Aws Albarghouthi, Josh Berdine, Byron Cook, Zachary Kincaid

Proceedings of the Programming Languages and Systems, 2015

2014

Symbolic optimization with SMT solvers.

Yi Li, Aws Albarghouthi, Zachary Kincaid, Arie Gurfinkel, Marsha Chechik

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

2013

UFO: Verification with Interpolants and Abstract Interpretation - (Competition Contribution).

Aws Albarghouthi, Arie Gurfinkel, Yi Li, Sagar Chaki, Marsha Chechik

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Beautiful Interpolants.

Aws Albarghouthi, Kenneth L. McMillan

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

Recursive Program Synthesis.

Aws Albarghouthi, Sumit Gulwani, Zachary Kincaid

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012

Whale: An Interpolation-Based Algorithm for Inter-procedural Verification.

Aws Albarghouthi, Arie Gurfinkel, Marsha Chechik

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012

From Under-Approximations to Over-Approximations and Back.

Aws Albarghouthi, Arie Gurfinkel, Marsha Chechik

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

Craig Interpretation.

Aws Albarghouthi, Arie Gurfinkel, Marsha Chechik

Proceedings of the Static Analysis - 19th International Symposium, 2012

Parallelizing top-down interprocedural analyses.

Aws Albarghouthi, Rahul Kumar, Aditya V. Nori, Sriram K. Rajamani

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

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

Aws Albarghouthi, Yi Li, Arie Gurfinkel, Marsha Chechik

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2010

Abstract Analysis of Symbolic Executions.

Aws Albarghouthi, Arie Gurfinkel, Ou Wei, Marsha Chechik

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010