Aws Albarghouthi
University of Wisconsin-Madison
H-index: 24
North America-United States
Top articles of Aws Albarghouthi
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Verified Training for Counterfactual Explanation Robustness under Data Shift | arXiv preprint arXiv:2403.03773 | Anna P Meyer Yuhao Zhang Aws Albarghouthi Loris D'Antoni | 2024/3/6 |
Crowdsourcing Task Traces for Service Robotics | David Porfirio Allison Sauppé Maya Cakmak Aws Albarghouthi Bilge Mutlu | 2023/3/13 | |
Sketching robot programs on the fly | David Porfirio Laura Stegner Maya Cakmak Allison Sauppé Aws Albarghouthi | 2023/3/13 | |
PECAN: A Deterministic Certified Defense Against Backdoor Attacks | arXiv preprint arXiv:2301.11824 | Yuhao Zhang Aws Albarghouthi Loris D'Antoni | 2023/1/27 |
Compilation for Surface Code Quantum Computers | arXiv preprint arXiv:2311.18042 | Abtin Molavi Amanda Xu Swamit Tannu Aws Albarghouthi | 2023/11/29 |
The Dataset Multiplicity Problem: How Unreliable Data Impacts Predictions | Anna P Meyer Aws Albarghouthi Loris D'Antoni | 2023/6/12 | |
Synthesizing quantum-circuit optimizers | Amanda Xu Abtin Molavi Lauren Pick Swamit Tannu Aws Albarghouthi | 2023/6 | |
Backdoors in neural models of source code | Goutham Ramakrishnan Aws Albarghouthi | 2022/8/21 | |
Certifying Data-Bias Robustness in Linear Regression | arXiv preprint arXiv:2206.03575 | Anna P Meyer Aws Albarghouthi Loris D'Antoni | 2022/6/7 |
Autows-bench-101: Benchmarking automated weak supervision with 100 labels | Advances in Neural Information Processing Systems | Nicholas Roberts Xintong Li Tzu-Heng Huang Dyah Adila Spencer Schoenberg | 2022/12/6 |
Interaction Templates: A Data-Driven Approach for Authoring Robot Programs | PLATEAU: 12th Annual Workshop at theIntersection of PL and HCI | Porfirio David Maya Cakmak Allison Sauppé Aws Albarghouthi Bilge Mutlu | 2022/6 |
Bagflip: A certified defense against data poisoning | Advances in Neural Information Processing Systems | Yuhao Zhang Aws Albarghouthi Loris D'Antoni | 2022/12/6 |
Semantic robustness of models of source code | Jordan Henke Goutham Ramakrishnan Zi Wang Aws Albarghouth Somesh Jha | 2022/3/15 | |
Qubit mapping and routing via MaxSAT | Abtin Molavi Amanda Xu Martin Diges Lauren Pick Swamit Tannu | 2022/10 | |
Introduction to neural network verification | Foundations and Trends® in Programming Languages | Aws Albarghouthi | 2021/12/1 |
Learning differentially private mechanisms | Subhajit Roy Justin Hsu Aws Albarghouthi | 2021/5/24 | |
Figaro: A tabletop authoring environment for human-robot interaction | David J Porfirio Laura Stegner Maya Cakmak Allison Sauppé Aws Albarghouthi | 2021/5/6 | |
Certified robustness to programmable transformations in LSTMs | arXiv preprint arXiv:2102.07818 | Yuhao Zhang Aws Albarghouthi Loris D'Antoni | 2021/2/15 |
Certifying robustness to programmable data bias in decision trees | Advances in Neural Information Processing Systems | Anna Meyer Aws Albarghouthi Loris D'Antoni | 2021/12/6 |
A Comparative Exploration of ML Techniques for Tuning Query Degree of Parallelism | arXiv preprint arXiv:2005.08439 | Zhiwei Fan Rathijit Sen Paraschos Koutris Aws Albarghouthi | 2020/5/18 |