Aws Albarghouthi

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 84

Top Topics

Machine Learning

Differentially Private

Top Venues

Proc. ACM Program. Lang.

ESEC/SIGSOFT FSE

Publications

Yuhao Zhang, Aws Albarghouthi, Loris D'Antoni
A One-Layer Decoder-Only Transformer is a Two-Layer RNN: With an Application to Certified Robustness. CoRR (2024)
Anna P. Meyer, Yuhao Zhang, Aws Albarghouthi, Loris D'Antoni
Verified Training for Counterfactual Explanation Robustness under Data Shift. CoRR (2024)
David Porfirio, Allison Sauppé, Maya Cakmak, Aws Albarghouthi, Bilge Mutlu
Crowdsourcing Task Traces for Service Robotics. CoRR (2024)
David Porfirio, Laura Stegner, Maya Cakmak, Allison Sauppé, Aws Albarghouthi, Bilge Mutlu
Sketching Robot Programs On the Fly. CoRR (2023)
Amanda Xu, Abtin Molavi, Lauren Pick, Swamit Tannu, Aws Albarghouthi
Synthesizing Quantum-Circuit Optimizers. Proc. ACM Program. Lang. 7 (PLDI) (2023)
David Porfirio, Laura Stegner, Maya Cakmak, Allison Sauppé, Aws Albarghouthi, Bilge Mutlu
Sketching Robot Programs On the Fly. HRI (2023)
Anna P. Meyer, Aws Albarghouthi, Loris D'Antoni
The Dataset Multiplicity Problem: How Unreliable Data Impacts Predictions. FAccT (2023)
Yuhao Zhang, Aws Albarghouthi, Loris D'Antoni
PECAN: A Deterministic Certified Defense Against Backdoor Attacks. CoRR (2023)
Abtin Molavi, Amanda Xu, Swamit Tannu, Aws Albarghouthi
Compilation for Surface Code Quantum Computers. CoRR (2023)
David Porfirio, Allison Sauppé, Maya Cakmak, Aws Albarghouthi, Bilge Mutlu
Crowdsourcing Task Traces for Service Robotics. HRI (Companion) (2023)
Samuel Drews, Aws Albarghouthi, Loris D'Antoni
Proving Data-Poisoning Robustness in Decision Trees. Commun. ACM 66 (2) (2023)
Anna P. Meyer, Aws Albarghouthi, Loris D'Antoni
The Dataset Multiplicity Problem: How Unreliable Data Impacts Predictions. CoRR (2023)
Abtin Molavi, Amanda Xu, Martin Diges, Lauren Pick, Swamit Tannu, Aws Albarghouthi
Qubit Mapping and Routing via MaxSAT. CoRR (2022)
Yuhao Zhang, Aws Albarghouthi, Loris D'Antoni
BagFlip: A Certified Defense against Data Poisoning. CoRR (2022)
Yuhao Zhang, Aws Albarghouthi, Loris D'Antoni
BagFlip: A Certified Defense Against Data Poisoning. NeurIPS (2022)
Abtin Molavi, Amanda Xu, Martin Diges, Lauren Pick, Swamit Tannu, Aws Albarghouthi
Qubit Mapping and Routing via MaxSAT. MICRO (2022)
Zi Wang, Aws Albarghouthi, Gautam Prakriya, Somesh Jha
Interval universal approximation for neural networks. Proc. ACM Program. Lang. 6 (POPL) (2022)
Amanda Xu, Abtin Molavi, Lauren Pick, Swamit S. Tannu, Aws Albarghouthi
Synthesizing Quantum-Circuit Optimizers. CoRR (2022)
Nicholas Carl Roberts, Xintong Li, Tzu-Heng Huang, Dyah Adila, Spencer Schoenberg, Cheng-Yu Liu, Lauren Pick, Haotian Ma, Aws Albarghouthi, Frederic Sala
AutoWS-Bench-101: Benchmarking Automated Weak Supervision with 100 Labels. CoRR (2022)
Anna P. Meyer, Aws Albarghouthi, Loris D'Antoni
Certifying Data-Bias Robustness in Linear Regression. CoRR (2022)
Nicholas Roberts, Xintong Li, Tzu-Heng Huang, Dyah Adila, Spencer Schoenberg, Cheng-Yu Liu, Lauren Pick, Haotian Ma, Aws Albarghouthi, Frederic Sala
AutoWS-Bench-101: Benchmarking Automated Weak Supervision with 100 Labels. NeurIPS (2022)
Jordan Henkel, Goutham Ramakrishnan, Zi Wang, Aws Albarghouthi, Somesh Jha, Thomas W. Reps
Semantic Robustness of Models of Source Code. SANER (2022)
Goutham Ramakrishnan, Aws Albarghouthi
Backdoors in Neural Models of Source Code. ICPR (2022)
Subhajit Roy, Justin Hsu, Aws Albarghouthi
Learning Differentially Private Mechanisms. CoRR (2021)
Yuhao Zhang, Aws Albarghouthi, Loris D'Antoni
Certified Robustness to Programmable Transformations in LSTMs. CoRR (2021)
Subhajit Roy, Justin Hsu, Aws Albarghouthi
Learning Differentially Private Mechanisms. IEEE Symposium on Security and Privacy (2021)
Anna P. Meyer, Aws Albarghouthi, Loris D'Antoni
Certifying Robustness to Programmable Data Bias in Decision Trees. NeurIPS (2021)
Aws Albarghouthi
Introduction to Neural Network Verification. Found. Trends Program. Lang. 7 (1-2) (2021)
Anna P. Meyer, Aws Albarghouthi, Loris D'Antoni
Certifying Robustness to Programmable Data Bias in Decision Trees. CoRR (2021)
Yuhao Zhang, Aws Albarghouthi, Loris D'Antoni
Certified Robustness to Programmable Transformations in LSTMs. EMNLP (1) (2021)
Aws Albarghouthi
Introduction to Neural Network Verification. CoRR (2021)
David J. Porfirio, Laura Stegner, Maya Cakmak, Allison Sauppé, Aws Albarghouthi, Bilge Mutlu
Figaro: A Tabletop Authoring Environment for Human-Robot Interaction. CHI (2021)
Bas Ketsman, Aws Albarghouthi, Paraschos Koutris
Distribution Policies for Datalog. Theory Comput. Syst. 64 (5) (2020)
Samuel Drews, Aws Albarghouthi, Loris D'Antoni
Proving data-poisoning robustness in decision trees. PLDI (2020)
Goutham Ramakrishnan, Yun Chan Lee, Aws Albarghouthi
Synthesizing Action Sequences for Modifying Model Decisions. AAAI (2020)
Zhiwei Fan, Rathijit Sen, Paraschos Koutris, Aws Albarghouthi
A Comparative Exploration of ML Techniques for Tuning Query Degree of Parallelism. CoRR (2020)
Zhiwei Fan, Rathijit Sen, Paraschos Koutris, Aws Albarghouthi
Automated tuning of query degree of parallelism via machine learning. aiDM@SIGMOD (2020)
David Porfirio, Allison Sauppé, Aws Albarghouthi, Bilge Mutlu
Transforming Robot Programs Based on Social Context. CHI (2020)
Goutham Ramakrishnan, Jordan Henkel, Zi Wang, Aws Albarghouthi, Somesh Jha, Thomas W. Reps
Semantic Robustness of Models of Source Code. CoRR (2020)
Goutham Ramakrishnan, Aws Albarghouthi
Backdoors in Neural Models of Source Code. CoRR (2020)
Zi Wang, Aws Albarghouthi, Somesh Jha
Abstract Universal Approximation for Neural Networks. CoRR (2020)
Jiani Huang, Calvin Smith, Osbert Bastani, Rishabh Singh, Aws Albarghouthi, Mayur Naik
Generating Programmatic Referring Expressions via Program Synthesis. ICML (2020)
Yuhao Zhang, Aws Albarghouthi, Loris D'Antoni
Robustness to Programmable String Transformations via Augmented Abstract Training. CoRR (2020)
Yuhao Zhang, Aws Albarghouthi, Loris D'Antoni
Robustness to Programmable String Transformations via Augmented Abstract Training. ICML (2020)
Zhiwei Fan, Jianqiao Zhu, Zuyu Zhang, Aws Albarghouthi, Paraschos Koutris, Jignesh M. Patel
Scaling-Up In-Memory Datalog Processing: Observations and Techniques. Proc. VLDB Endow. 12 (6) (2019)
Calvin Smith, Justin Hsu, Aws Albarghouthi
Trace abstraction modulo probability. Proc. ACM Program. Lang. 3 (POPL) (2019)
Newsha Ardalani, Urmish Thakker, Aws Albarghouthi, Karu Sankaralingam
A Static Analysis-based Cross-Architecture Performance Prediction Using Machine Learning. CoRR (2019)
Ramnatthan Alagappan, Aishwarya Ganesan, Eric Lee, Aws Albarghouthi, Vijay Chidambaram, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau
Protocol-Aware Recovery for Consensus-Based Storage. USENIX Annual Technical Conference (2019)
Aws Albarghouthi, Samuel Vinitsky
Fairness-Aware Programming. FAT (2019)
David Porfirio, Evan Fisher, Allison Sauppé, Aws Albarghouthi, Bilge Mutlu
Bodystorming Human-Robot Interactions. UIST (2019)
Goutham Ramakrishnan, Yun Chan Lee, Aws Albarghouthi
Synthesizing Action Sequences for Modifying Model Decisions. CoRR (2019)
Samuel Drews, Aws Albarghouthi, Loris D'Antoni
Efficient Synthesis with Probabilistic Constraints. CoRR (2019)
Samuel Drews, Aws Albarghouthi, Loris D'Antoni
Efficient Synthesis with Probabilistic Constraints. CAV (1) (2019)
Calvin Smith, Aws Albarghouthi
Program Synthesis with Equivalence Reduction. VMCAI (2019)
Samuel Drews, Aws Albarghouthi, Loris D'Antoni
Proving Data-Poisoning Robustness in Decision Trees. CoRR (2019)
David Porfirio, Allison Sauppé, Aws Albarghouthi, Bilge Mutlu
Computational Tools for Human-Robot Interaction Design. HRI (2019)
Calvin Smith, Aws Albarghouthi
Synthesizing differentially private programs. Proc. ACM Program. Lang. 3 (ICFP) (2019)
Aws Albarghouthi, Justin Hsu
Constraint-Based Synthesis of Coupling Proofs. CoRR (2018)
David Porfirio, Allison Sauppé, Aws Albarghouthi, Bilge Mutlu
Authoring and Verifying Human-Robot Interactions. UIST (2018)
Aws Albarghouthi, Justin Hsu
Constraint-Based Synthesis of Coupling Proofs. CAV (1) (2018)
Aws Albarghouthi, Justin Hsu
Synthesizing coupling proofs of differential privacy. Proc. ACM Program. Lang. 2 (POPL) (2018)
Aws Albarghouthi
Fairness: A Formal-Methods Perspective. SAS (2018)
Calvin Smith, Justin Hsu, Aws Albarghouthi
Trace Abstraction Modulo Probability. CoRR (2018)
Jinman Zhao, Aws Albarghouthi, Vaibhav Rastogi, Somesh Jha, Damien Octeau
Neural-Augmented Static Analysis of Android Communication. CoRR (2018)
Bas Ketsman, Aws Albarghouthi, Paraschos Koutris
Distribution Policies for Datalog. ICDT (2018)
Jinman Zhao, Aws Albarghouthi, Vaibhav Rastogi, Somesh Jha, Damien Octeau
Neural-augmented static analysis of Android communication. ESEC/SIGSOFT FSE (2018)
Ramnatthan Alagappan, Aishwarya Ganesan, Eric Lee, Aws Albarghouthi, Vijay Chidambaram, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau
Protocol-Aware Recovery for Consensus-Based Storage. FAST (2018)
Ramnatthan Alagappan, Aishwarya Ganesan, Eric Lee, Aws Albarghouthi, Vijay Chidambaram, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau
Protocol-Aware Recovery for Consensus-Based Distributed Storage. ACM Trans. Storage 14 (3) (2018)
Xujie Si, Woosuk Lee, Richard Zhang, Aws Albarghouthi, Paraschos Koutris, Mayur Naik
Syntax-guided synthesis of Datalog programs. ESEC/SIGSOFT FSE (2018)
Zhiwei Fan, Jianqiao Zhu, Zuyu Zhang, Aws Albarghouthi, Paraschos Koutris, Jignesh M. Patel
Scaling-Up In-Memory Datalog Processing: Observations and Techniques. CoRR (2018)
Aws Albarghouthi, Loris D'Antoni, Samuel Drews, Aditya V. Nori
Quantifying Program Bias. CoRR (2017)
Aws Albarghouthi, Justin Hsu
Synthesizing Coupling Proofs of Differential Privacy. CoRR (2017)
Aws Albarghouthi, Loris D'Antoni, Samuel Drews, Aditya V. Nori
FairSquare: probabilistic verification of program fairness. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Aws Albarghouthi, Loris D'Antoni, Samuel Drews
Repairing Decision-Making Programs Under Uncertainty. CAV (1) (2017)
Aws Albarghouthi
Probabilistic Horn Clause Verification. SAS (2017)
Calvin Smith, Gabriel Ferns, Aws Albarghouthi
Discovering relational specifications. ESEC/SIGSOFT FSE (2017)
David Merrell, Aws Albarghouthi, Loris D'Antoni
Weighted Model Integration with Orthogonal Transformations. IJCAI (2017)
Aws Albarghouthi, Paraschos Koutris, Mayur Naik, Calvin Smith
Constraint-Based Synthesis of Datalog Programs. CP (2017)
Calvin Smith, Aws Albarghouthi
MapReduce program synthesis. PLDI (2016)
Samuel Drews, Aws Albarghouthi
Effectively Propositional Interpolants. CAV (2) (2016)
Aws Albarghouthi, Loris D'Antoni, Samuel Drews, Aditya V. Nori
Fairness as a Program Property. CoRR (2016)
Aws Albarghouthi, Isil Dillig, Arie Gurfinkel
Maximal specification synthesis. POPL (2016)
Aws Albarghouthi, Josh Berdine, Byron Cook, Zachary Kincaid
Spatial Interpolants. CoRR (2015)
Aws Albarghouthi, Josh Berdine, Byron Cook, Zachary Kincaid
Spatial Interpolants. ESOP (2015)
Yi Li, Aws Albarghouthi, Zachary Kincaid, Arie Gurfinkel, Marsha Chechik
Symbolic optimization with SMT solvers. POPL (2014)
Aws Albarghouthi, Arie Gurfinkel, Yi Li, Sagar Chaki, Marsha Chechik
UFO: Verification with Interpolants and Abstract Interpretation - (Competition Contribution). TACAS (2013)
Aws Albarghouthi, Sumit Gulwani, Zachary Kincaid
Recursive Program Synthesis. CAV (2013)
Aws Albarghouthi, Kenneth L. McMillan
Beautiful Interpolants. CAV (2013)
Aws Albarghouthi, Yi Li, Arie Gurfinkel, Marsha Chechik
Ufo: A Framework for Abstraction- and Interpolation-Based Software Verification. CAV (2012)
Aws Albarghouthi, Rahul Kumar, Aditya V. Nori, Sriram K. Rajamani
Parallelizing top-down interprocedural analyses. PLDI (2012)
Aws Albarghouthi, Arie Gurfinkel, Marsha Chechik
Craig Interpretation. SAS (2012)
Aws Albarghouthi, Arie Gurfinkel, Marsha Chechik
Whale: An Interpolation-Based Algorithm for Inter-procedural Verification. VMCAI (2012)
Aws Albarghouthi, Arie Gurfinkel, Marsha Chechik
From Under-Approximations to Over-Approximations and Back. TACAS (2012)
Aws Albarghouthi, Arie Gurfinkel, Ou Wei, Marsha Chechik
Abstract Analysis of Symbolic Executions. CAV (2010)