Aws Albarghouthi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
44
Venues
24
Active years
2010–2026
Best venue rank
A*
Where they publish
- A*CAV8 papers
- A*CHI3 papers
- A*HRI3 papers
- A*PLDI3 papers
- BSAS3 papers
- A*ICML2 papers
- A*UIST2 papers
- BVMCAI2 papers
- A*POPL2 papers
- ATACAS2 papers
- AEuroSys1 paper
- A*ASPLOS1 paper
- BICPR1 paper
- A*MICRO1 paper
- A*EMNLP1 paper
- A*SP1 paper
- A*AAAI1 paper
- A*SIGMOD1 paper
- AUSENIX1 paper
- AFAST1 paper
- AICDT1 paper
- ACP1 paper
- A*IJCAI1 paper
- AESOP1 paper
Papers
44 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | EuroSys | A Case for Elastic Quantum Error Correction Decoders. | Satvik Maurya, Abtin Molavi, Aws Albarghouthi, Swamit Tannu |
| 2025 | ASPLOS | Optimizing Quantum Circuits, Fast and Slow. | Amanda Xu, Abtin Molavi, Swamit Tannu, Aws Albarghouthi |
| 2025 | CHI | Perceptions of the Fairness Impacts of Multiplicity in Machine Learning. | Anna P. Meyer, Yea-Seul Kim, Loris D'Antoni, Aws Albarghouthi |
| 2023 | HRI | Crowdsourcing Task Traces for Service Robotics. | David Porfirio, Allison Saupp, Maya Cakmak, Aws Albarghouthi, Bilge Mutlu |
| 2023 | HRI | Sketching Robot Programs On the Fly. | David Porfirio, Laura Stegner, Maya Cakmak, Allison Saupp, Aws Albarghouthi, Bilge Mutlu |
| 2022 | ICPR | Backdoors in Neural Models of Source Code. | Goutham Ramakrishnan, Aws Albarghouthi |
| 2022 | MICRO | Qubit Mapping and Routing via MaxSAT. | Abtin Molavi, Amanda Xu, Martin Diges, Lauren Pick, Swamit S. Tannu, Aws Albarghouthi |
| 2021 | CHI | Figaro: A Tabletop Authoring Environment for Human-Robot Interaction. | David J. Porfirio, Laura Stegner, Maya Cakmak, Allison Saupp, Aws Albarghouthi, Bilge Mutlu |
| 2021 | EMNLP | Certified Robustness to Programmable Transformations in LSTMs. | Yuhao Zhang, Aws Albarghouthi, Loris D'Antoni |
| 2021 | SP | Learning Differentially Private Mechanisms. | Subhajit Roy, Justin Hsu, Aws Albarghouthi |
| 2020 | AAAI | Synthesizing Action Sequences for Modifying Model Decisions. | Goutham Ramakrishnan, Yun Chan Lee, Aws Albarghouthi |
| 2020 | CHI | Transforming Robot Programs Based on Social Context. | David Porfirio, Allison Saupp, Aws Albarghouthi, Bilge Mutlu |
| 2020 | ICML | Generating Programmatic Referring Expressions via Program Synthesis. | Jiani Huang, Calvin Smith, Osbert Bastani, Rishabh Singh, Aws Albarghouthi, Mayur Naik |
| 2020 | ICML | Robustness to Programmable String Transformations via Augmented Abstract Training. | Yuhao Zhang, Aws Albarghouthi, Loris D'Antoni |
| 2020 | PLDI | Proving data-poisoning robustness in decision trees. | Samuel Drews, Aws Albarghouthi, Loris D'Antoni |
| 2020 | SIGMOD | Automated tuning of query degree of parallelism via machine learning. | Zhiwei Fan, Rathijit Sen, Paraschos Koutris, Aws Albarghouthi |
| 2019 | CAV | Efficient Synthesis with Probabilistic Constraints. | Samuel Drews, Aws Albarghouthi, Loris D'Antoni |
| 2019 | HRI | Computational Tools for Human-Robot Interaction Design. | David Porfirio, Allison Saupp, Aws Albarghouthi, Bilge Mutlu |
| 2019 | UIST | Bodystorming Human-Robot Interactions. | David Porfirio, Evan Fisher, Allison Saupp, Aws Albarghouthi, Bilge Mutlu |
| 2019 | USENIX | 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 |
| 2019 | VMCAI | Program Synthesis with Equivalence Reduction. | Calvin Smith, Aws Albarghouthi |
| 2018 | CAV | Constraint-Based Synthesis of Coupling Proofs. | Aws Albarghouthi, Justin Hsu |
| 2018 | FAST | 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 |
| 2018 | ICDT | Distribution Policies for Datalog. | Bas Ketsman, Aws Albarghouthi, Paraschos Koutris |
| 2018 | UIST | Authoring and Verifying Human-Robot Interactions. | David Porfirio, Allison Saupp, Aws Albarghouthi, Bilge Mutlu |
| 2018 | SAS | Fairness: A Formal-Methods Perspective. | Aws Albarghouthi |
| 2017 | CAV | Repairing Decision-Making Programs Under Uncertainty. | Aws Albarghouthi, Loris D'Antoni, Samuel Drews |
| 2017 | CP | Constraint-Based Synthesis of Datalog Programs. | Aws Albarghouthi, Paraschos Koutris, Mayur Naik, Calvin Smith |
| 2017 | IJCAI | Weighted Model Integration with Orthogonal Transformations. | David Merrell, Aws Albarghouthi, Loris D'Antoni |
| 2017 | SAS | Probabilistic Horn Clause Verification. | Aws Albarghouthi |
| 2016 | CAV | Effectively Propositional Interpolants. | Samuel Drews, Aws Albarghouthi |
| 2016 | PLDI | MapReduce program synthesis. | Calvin Smith, Aws Albarghouthi |
| 2016 | POPL | Maximal specification synthesis. | Aws Albarghouthi, Isil Dillig, Arie Gurfinkel |
| 2015 | ESOP | Spatial Interpolants. | Aws Albarghouthi, Josh Berdine, Byron Cook, Zachary Kincaid |
| 2014 | POPL | Symbolic optimization with SMT solvers. | Yi Li, Aws Albarghouthi, Zachary Kincaid, Arie Gurfinkel, Marsha Chechik |
| 2013 | CAV | Recursive Program Synthesis. | Aws Albarghouthi, Sumit Gulwani, Zachary Kincaid |
| 2013 | CAV | Beautiful Interpolants. | Aws Albarghouthi, Kenneth L. McMillan |
| 2013 | TACAS | UFO: Verification with Interpolants and Abstract Interpretation - (Competition Contribution). | Aws Albarghouthi, Arie Gurfinkel, Yi Li, Sagar Chaki, Marsha Chechik |
| 2012 | CAV | Ufo: A Framework for Abstraction- and Interpolation-Based Software Verification. | Aws Albarghouthi, Yi Li, Arie Gurfinkel, Marsha Chechik |
| 2012 | PLDI | Parallelizing top-down interprocedural analyses. | Aws Albarghouthi, Rahul Kumar, Aditya V. Nori, Sriram K. Rajamani |
| 2012 | SAS | Craig Interpretation. | Aws Albarghouthi, Arie Gurfinkel, Marsha Chechik |
| 2012 | TACAS | From Under-Approximations to Over-Approximations and Back. | Aws Albarghouthi, Arie Gurfinkel, Marsha Chechik |
| 2012 | VMCAI | Whale: An Interpolation-Based Algorithm for Inter-procedural Verification. | Aws Albarghouthi, Arie Gurfinkel, Marsha Chechik |
| 2010 | CAV | Abstract Analysis of Symbolic Executions. | Aws Albarghouthi, Arie Gurfinkel, Ou Wei, Marsha Chechik |