Aws Albarghouthi

116 papers A* 25A 8B 6Journal 62Unranked 14
YearRankTypeTitle / Venue / Authors
2026 A conf
A Case for Elastic Quantum Error Correction Decoders.
EuroSys
Satvik Maurya, Abtin Molavi, Aws Albarghouthi, Swamit Tannu
2026 J jnl
Analyzing Decoders for Quantum Error Correction.
CoRR
Abtin Molavi, Feras Saad, Aws Albarghouthi
2026 J jnl
Generating Compilers for Qubit Mapping and Routing.
Proc. ACM Program. Lang.
Abtin Molavi, Amanda Xu, Ethan Cecchetti, Swamit Tannu, Aws Albarghouthi
2026 J jnl
SkillOrchestra: Learning to Route Agents via Skill Transfer.
CoRR
Jiayu Wang, Yifei Ming, Zixuan Ke, Shafiq Joty, Aws Albarghouthi, Frederic Sala
2026 J jnl
SlopCodeBench: Benchmarking How Coding Agents Degrade Over Long-Horizon Iterative Tasks.
CoRR
Gabriel Orlanski, Devjeet Roy, Alexander Yun, Changho Shin, Alex Gu, Albert Ge, Dyah Adila, Frederic Sala, Aws Albarghouthi
2025 J jnl
Beyond Accuracy: Dissecting Mathematical Reasoning for LLMs Under Reinforcement Learning.
CoRR
Jiayu Wang, Yifei Ming, Zixuan Ke, Caiming Xiong, Shafiq Joty, Aws Albarghouthi, Frederic Sala
2025 J jnl
COSMOS: Predictable and Cost-Effective Adaptation of LLMs.
CoRR
Jiayu Wang, Aws Albarghouthi, Frederic Sala
2025 J jnl
Checking Observational Correctness of Database Systems.
Proc. ACM Program. Lang.
Lauren Pick, Amanda Xu, Ankush Desai, Sanjit A. Seshia, Aws Albarghouthi
2025 J jnl
Dependency-Aware Compilation for Surface Code Quantum Architectures.
Proc. ACM Program. Lang.
Abtin Molavi, Amanda Xu, Swamit Tannu, Aws Albarghouthi
2025 J jnl
Generating Compilers for Qubit Mapping and Routing.
CoRR
Abtin Molavi, Amanda Xu, Ethan Cecchetti, Swamit Tannu, Aws Albarghouthi
2025 J jnl
LiveResearchBench: A Live Benchmark for User-Centric Deep Research in the Wild.
CoRR
Jiayu Wang, Yifei Ming, Riya Dulepet, Qinglin Chen, Austin Xu, Zixuan Ke, Frederic Sala, Aws Albarghouthi, Caiming Xiong, Shafiq Joty
2025 — conf
Optimizing Quantum Circuits, Fast and Slow.
ASPLOS (1)
Amanda Xu, Abtin Molavi, Swamit Tannu, Aws Albarghouthi
2025 A* conf
Perceptions of the Fairness Impacts of Multiplicity in Machine Learning.
CHI
Anna P. Meyer, Yea-Seul Kim, Loris D'Antoni, Aws Albarghouthi
2025 J jnl
Quantum Computing without the Linear Algebra.
IACR Cryptol. ePrint Arch.
Aws Albarghouthi
2025 J jnl
Reward Models Enable Scalable Code Verification by Trading Accuracy for Throughput.
CoRR
Gabriel Orlanski, Nicholas Carl Roberts, Aws Albarghouthi, Frederic Sala
2025 J jnl
Verified Foundations for Differential Privacy.
Proc. ACM Program. Lang.
Markus de Medeiros, Muhammad Naveed, Tancrède Lepoint, Temesghen Kahsai, Tristan Ravitch, Stefan Zetzsche, Anjali Joshi, Joseph Tassarotti, Aws Albarghouthi, Jean-Baptiste Tristan
2024 J jnl
A One-Layer Decoder-Only Transformer is a Two-Layer RNN: With an Application to Certified Robustness.
CoRR
Yuhao Zhang, Aws Albarghouthi, Loris D'Antoni
2024 J jnl
Crowdsourcing Task Traces for Service Robotics.
CoRR
David Porfirio, Allison Sauppé, Maya Cakmak, Aws Albarghouthi, Bilge Mutlu
2024 J jnl
Optimizing Quantum Circuits, Fast and Slow.
CoRR
Amanda Xu, Abtin Molavi, Swamit Tannu, Aws Albarghouthi
2024 J jnl
Perceptions of the Fairness Impacts of Multiplicity in Machine Learning.
CoRR
Anna P. Meyer, Yea-Seul Kim, Aws Albarghouthi, Loris D'Antoni
2024 J jnl
Preface of the special issue on the conference on Computer-Aided Verification 2020 and 2021.
Formal Methods Syst. Des.
Aws Albarghouthi, K. Rustan M. Leino, Alexandra Silva, Caterina Urban
2024 J jnl
Verified Foundations for Differential Privacy.
CoRR
Markus de Medeiros, Muhammad Naveed, Tancrède Lepoint, Temesghen Kahsai, Tristan Ravitch, Stefan Zetzsche, Anjali Joshi, Joseph Tassarotti, Aws Albarghouthi, Jean-Baptiste Tristan
2024 J jnl
Verified Foundations for Differential Privacy.
IACR Cryptol. ePrint Arch.
Markus de Medeiros, Muhammad Naveed, Tancrède Lepoint, Temesghen Kahsai, Tristan Ravitch, Stefan Zetzsche, Anjali Joshi, Joseph Tassarotti, Aws Albarghouthi, Jean-Baptiste Tristan
2024 J jnl
Verified Training for Counterfactual Explanation Robustness under Data Shift.
CoRR
Anna P. Meyer, Yuhao Zhang, Aws Albarghouthi, Loris D'Antoni
2023 J jnl
Compilation for Surface Code Quantum Computers.
CoRR
Abtin Molavi, Amanda Xu, Swamit Tannu, Aws Albarghouthi
2023 — conf
Crowdsourcing Task Traces for Service Robotics.
HRI (Companion)
David Porfirio, Allison Sauppé, Maya Cakmak, Aws Albarghouthi, Bilge Mutlu
2023 J jnl
PECAN: A Deterministic Certified Defense Against Backdoor Attacks.
CoRR
Yuhao Zhang, Aws Albarghouthi, Loris D'Antoni
2023 J jnl
Proving Data-Poisoning Robustness in Decision Trees.
Commun. ACM
Samuel Drews, Aws Albarghouthi, Loris D'Antoni
2023 A* conf
Sketching Robot Programs On the Fly.
HRI
David Porfirio, Laura Stegner, Maya Cakmak, Allison Sauppé, Aws Albarghouthi, Bilge Mutlu
2023 J jnl
Sketching Robot Programs On the Fly.
CoRR
David Porfirio, Laura Stegner, Maya Cakmak, Allison Sauppé, Aws Albarghouthi, Bilge Mutlu
2023 J jnl
Synthesizing Quantum-Circuit Optimizers.
Proc. ACM Program. Lang.
Amanda Xu, Abtin Molavi, Lauren Pick, Swamit Tannu, Aws Albarghouthi
2023 — conf
The Dataset Multiplicity Problem: How Unreliable Data Impacts Predictions.
FAccT
Anna P. Meyer, Aws Albarghouthi, Loris D'Antoni
2023 J jnl
The Dataset Multiplicity Problem: How Unreliable Data Impacts Predictions.
CoRR
Anna P. Meyer, Aws Albarghouthi, Loris D'Antoni
2022 A* conf
AutoWS-Bench-101: Benchmarking Automated Weak Supervision with 100 Labels.
NeurIPS
Nicholas Carl Roberts, Xintong Li, Tzu-Heng Huang, Dyah Adila, Spencer Schoenberg, Cheng-Yu Liu, Lauren Pick, Haotian Ma, Aws Albarghouthi, Frederic Sala
2022 J jnl
AutoWS-Bench-101: Benchmarking Automated Weak Supervision with 100 Labels.
CoRR
Nicholas Carl Roberts, Xintong Li, Tzu-Heng Huang, Dyah Adila, Spencer Schoenberg, Cheng-Yu Liu, Lauren Pick, Haotian Ma, Aws Albarghouthi, Frederic Sala
2022 B conf
Backdoors in Neural Models of Source Code.
ICPR
Goutham Ramakrishnan, Aws Albarghouthi
2022 A* conf
BagFlip: A Certified Defense Against Data Poisoning.
NeurIPS
Yuhao Zhang, Aws Albarghouthi, Loris D'Antoni
2022 J jnl
BagFlip: A Certified Defense against Data Poisoning.
CoRR
Yuhao Zhang, Aws Albarghouthi, Loris D'Antoni
2022 J jnl
Certifying Data-Bias Robustness in Linear Regression.
CoRR
Anna P. Meyer, Aws Albarghouthi, Loris D'Antoni
2022 J jnl
Interval universal approximation for neural networks.
Proc. ACM Program. Lang.
Zi Wang, Aws Albarghouthi, Gautam Prakriya, Somesh Jha
2022 A* conf
Qubit Mapping and Routing via MaxSAT.
MICRO
Abtin Molavi, Amanda Xu, Martin Diges, Lauren Pick, Swamit S. Tannu, Aws Albarghouthi
2022 J jnl
Qubit Mapping and Routing via MaxSAT.
CoRR
Abtin Molavi, Amanda Xu, Martin Diges, Lauren Pick, Swamit S. Tannu, Aws Albarghouthi
2022 A conf
Semantic Robustness of Models of Source Code.
SANER
Jordan Henkel, Goutham Ramakrishnan, Zi Wang, Aws Albarghouthi, Somesh Jha, Thomas W. Reps
2022 J jnl
Synthesizing Quantum-Circuit Optimizers.
CoRR
Amanda Xu, Abtin Molavi, Lauren Pick, Swamit S. Tannu, Aws Albarghouthi
2021 — conf
Certified Robustness to Programmable Transformations in LSTMs.
EMNLP (1)
Yuhao Zhang, Aws Albarghouthi, Loris D'Antoni
2021 J jnl
Certified Robustness to Programmable Transformations in LSTMs.
CoRR
Yuhao Zhang, Aws Albarghouthi, Loris D'Antoni
2021 A* conf
Certifying Robustness to Programmable Data Bias in Decision Trees.
NeurIPS
Anna P. Meyer, Aws Albarghouthi, Loris D'Antoni
2021 J jnl
Certifying Robustness to Programmable Data Bias in Decision Trees.
CoRR
Anna P. Meyer, Aws Albarghouthi, Loris D'Antoni
2021 A* conf
Figaro: A Tabletop Authoring Environment for Human-Robot Interaction.
CHI
David J. Porfirio, Laura Stegner, Maya Cakmak, Allison Sauppé, Aws Albarghouthi, Bilge Mutlu
2021 J jnl
Introduction to Neural Network Verification.
CoRR
Aws Albarghouthi
2021 J jnl
Introduction to Neural Network Verification.
Found. Trends Program. Lang.
Aws Albarghouthi
2021 A* conf
Learning Differentially Private Mechanisms.
SP
Subhajit Roy, Justin Hsu, Aws Albarghouthi
2021 J jnl
Learning Differentially Private Mechanisms.
CoRR
Subhajit Roy, Justin Hsu, Aws Albarghouthi
2020 J jnl
A Comparative Exploration of ML Techniques for Tuning Query Degree of Parallelism.
CoRR
Zhiwei Fan, Rathijit Sen, Paraschos Koutris, Aws Albarghouthi
2020 J jnl
Abstract Universal Approximation for Neural Networks.
CoRR
Zi Wang, Aws Albarghouthi, Somesh Jha
2020 — conf
Automated tuning of query degree of parallelism via machine learning.
aiDM@SIGMOD
Zhiwei Fan, Rathijit Sen, Paraschos Koutris, Aws Albarghouthi
2020 J jnl
Backdoors in Neural Models of Source Code.
CoRR
Goutham Ramakrishnan, Aws Albarghouthi
2020 J jnl
Distribution Policies for Datalog.
Theory Comput. Syst.
Bas Ketsman, Aws Albarghouthi, Paraschos Koutris
2020 A* conf
Generating Programmatic Referring Expressions via Program Synthesis.
ICML
Jiani Huang, Calvin Smith, Osbert Bastani, Rishabh Singh, Aws Albarghouthi, Mayur Naik
2020 A* conf
Proving data-poisoning robustness in decision trees.
PLDI
Samuel Drews, Aws Albarghouthi, Loris D'Antoni
2020 A* conf
Robustness to Programmable String Transformations via Augmented Abstract Training.
ICML
Yuhao Zhang, Aws Albarghouthi, Loris D'Antoni
2020 J jnl
Robustness to Programmable String Transformations via Augmented Abstract Training.
CoRR
Yuhao Zhang, Aws Albarghouthi, Loris D'Antoni
2020 J jnl
Semantic Robustness of Models of Source Code.
CoRR
Goutham Ramakrishnan, Jordan Henkel, Zi Wang, Aws Albarghouthi, Somesh Jha, Thomas W. Reps
2020 A* conf
Synthesizing Action Sequences for Modifying Model Decisions.
AAAI
Goutham Ramakrishnan, Yun Chan Lee, Aws Albarghouthi
2020 A* conf
Transforming Robot Programs Based on Social Context.
CHI
David Porfirio, Allison Sauppé, Aws Albarghouthi, Bilge Mutlu
2019 J jnl
A Static Analysis-based Cross-Architecture Performance Prediction Using Machine Learning.
CoRR
Newsha Ardalani, Urmish Thakker, Aws Albarghouthi, Karu Sankaralingam
2019 A* conf
Bodystorming Human-Robot Interactions.
UIST
David Porfirio, Evan Fisher, Allison Sauppé, Aws Albarghouthi, Bilge Mutlu
2019 A* conf
Computational Tools for Human-Robot Interaction Design.
HRI
David Porfirio, Allison Sauppé, Aws Albarghouthi, Bilge Mutlu
2019 — conf
Efficient Synthesis with Probabilistic Constraints.
CAV (1)
Samuel Drews, Aws Albarghouthi, Loris D'Antoni
2019 J jnl
Efficient Synthesis with Probabilistic Constraints.
CoRR
Samuel Drews, Aws Albarghouthi, Loris D'Antoni
2019 — conf
Fairness-Aware Programming.
FAT
Aws Albarghouthi, Samuel Vinitsky
2019 B conf
Program Synthesis with Equivalence Reduction.
VMCAI
Calvin Smith, Aws Albarghouthi
2019 — conf
Protocol-Aware Recovery for Consensus-Based Storage.
USENIX ATC
Ramnatthan Alagappan, Aishwarya Ganesan, Eric Lee, Aws Albarghouthi, Vijay Chidambaram, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau
2019 J jnl
Proving Data-Poisoning Robustness in Decision Trees.
CoRR
Samuel Drews, Aws Albarghouthi, Loris D'Antoni
2019 J jnl
Scaling-Up In-Memory Datalog Processing: Observations and Techniques.
Proc. VLDB Endow.
Zhiwei Fan, Jianqiao Zhu, Zuyu Zhang, Aws Albarghouthi, Paraschos Koutris, Jignesh M. Patel
2019 J jnl
Synthesizing Action Sequences for Modifying Model Decisions.
CoRR
Goutham Ramakrishnan, Yun Chan Lee, Aws Albarghouthi
2019 J jnl
Synthesizing differentially private programs.
Proc. ACM Program. Lang.
Calvin Smith, Aws Albarghouthi
2019 J jnl
Trace abstraction modulo probability.
Proc. ACM Program. Lang.
Calvin Smith, Justin Hsu, Aws Albarghouthi
2018 A* conf
Authoring and Verifying Human-Robot Interactions.
UIST
David Porfirio, Allison Sauppé, Aws Albarghouthi, Bilge Mutlu
2018 — conf
Constraint-Based Synthesis of Coupling Proofs.
CAV (1)
Aws Albarghouthi, Justin Hsu
2018 J jnl
Constraint-Based Synthesis of Coupling Proofs.
CoRR
Aws Albarghouthi, Justin Hsu
2018 A conf
Distribution Policies for Datalog.
ICDT
Bas Ketsman, Aws Albarghouthi, Paraschos Koutris
2018 B conf
Fairness: A Formal-Methods Perspective.
SAS
Aws Albarghouthi
2018 J jnl
Neural-Augmented Static Analysis of Android Communication.
CoRR
Jinman Zhao, Aws Albarghouthi, Vaibhav Rastogi, Somesh Jha, Damien Octeau
2018 — conf
Neural-augmented static analysis of Android communication.
ESEC/SIGSOFT FSE
Jinman Zhao, Aws Albarghouthi, Vaibhav Rastogi, Somesh Jha, Damien Octeau
2018 J jnl
Protocol-Aware Recovery for Consensus-Based Distributed Storage.
ACM Trans. Storage
Ramnatthan Alagappan, Aishwarya Ganesan, Eric Lee, Aws Albarghouthi, Vijay Chidambaram, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau
2018 A conf
Protocol-Aware Recovery for Consensus-Based Storage.
FAST
Ramnatthan Alagappan, Aishwarya Ganesan, Eric Lee, Aws Albarghouthi, Vijay Chidambaram, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau
2018 J jnl
Scaling-Up In-Memory Datalog Processing: Observations and Techniques.
CoRR
Zhiwei Fan, Jianqiao Zhu, Zuyu Zhang, Aws Albarghouthi, Paraschos Koutris, Jignesh M. Patel
2018 — conf
Syntax-guided synthesis of Datalog programs.
ESEC/SIGSOFT FSE
Xujie Si, Woosuk Lee, Richard Zhang, Aws Albarghouthi, Paraschos Koutris, Mayur Naik
2018 J jnl
Synthesizing coupling proofs of differential privacy.
Proc. ACM Program. Lang.
Aws Albarghouthi, Justin Hsu
2018 J jnl
Trace Abstraction Modulo Probability.
CoRR
Calvin Smith, Justin Hsu, Aws Albarghouthi
2017 A conf
Constraint-Based Synthesis of Datalog Programs.
CP
Aws Albarghouthi, Paraschos Koutris, Mayur Naik, Calvin Smith
2017 — conf
Discovering relational specifications.
ESEC/SIGSOFT FSE
Calvin Smith, Gabriel Ferns, Aws Albarghouthi
2017 J jnl
FairSquare: probabilistic verification of program fairness.
Proc. ACM Program. Lang.
Aws Albarghouthi, Loris D'Antoni, Samuel Drews, Aditya V. Nori
2017 B conf
Probabilistic Horn Clause Verification.
SAS
Aws Albarghouthi
2017 J jnl
Quantifying Program Bias.
CoRR
Aws Albarghouthi, Loris D'Antoni, Samuel Drews, Aditya V. Nori
2017 — conf
Repairing Decision-Making Programs Under Uncertainty.
CAV (1)
Aws Albarghouthi, Loris D'Antoni, Samuel Drews
2017 J jnl
Synthesizing Coupling Proofs of Differential Privacy.
CoRR
Aws Albarghouthi, Justin Hsu
2017 A* conf
Weighted Model Integration with Orthogonal Transformations.
IJCAI
David Merrell, Aws Albarghouthi, Loris D'Antoni
2016 — conf
Effectively Propositional Interpolants.
CAV (2)
Samuel Drews, Aws Albarghouthi
2016 J jnl
Fairness as a Program Property.
CoRR
Aws Albarghouthi, Loris D'Antoni, Samuel Drews, Aditya V. Nori
2016 A* conf
MapReduce program synthesis.
PLDI
Calvin Smith, Aws Albarghouthi
2016 A* conf
Maximal specification synthesis.
POPL
Aws Albarghouthi, Isil Dillig, Arie Gurfinkel
2015 — —
Software Verification with Program-Graph Interpolation and Abstraction.
Aws Albarghouthi
2015 A conf
Spatial Interpolants.
ESOP
Aws Albarghouthi, Josh Berdine, Byron Cook, Zachary Kincaid
2015 J jnl
Spatial Interpolants.
CoRR
Aws Albarghouthi, Josh Berdine, Byron Cook, Zachary Kincaid
2014 A* conf
Symbolic optimization with SMT solvers.
POPL
Yi Li, Aws Albarghouthi, Zachary Kincaid, Arie Gurfinkel, Marsha Chechik
2013 A* conf
Beautiful Interpolants.
CAV
Aws Albarghouthi, Kenneth L. McMillan
2013 A* conf
Recursive Program Synthesis.
CAV
Aws Albarghouthi, Sumit Gulwani, Zachary Kincaid
2013 A conf
UFO: Verification with Interpolants and Abstract Interpretation - (Competition Contribution).
TACAS
Aws Albarghouthi, Arie Gurfinkel, Yi Li, Sagar Chaki, Marsha Chechik
2012 B conf
Craig Interpretation.
SAS
Aws Albarghouthi, Arie Gurfinkel, Marsha Chechik
2012 A conf
From Under-Approximations to Over-Approximations and Back.
TACAS
Aws Albarghouthi, Arie Gurfinkel, Marsha Chechik
2012 A* conf
Parallelizing top-down interprocedural analyses.
PLDI
Aws Albarghouthi, Rahul Kumar, Aditya V. Nori, Sriram K. Rajamani
2012 A* conf
Ufo: A Framework for Abstraction- and Interpolation-Based Software Verification.
CAV
Aws Albarghouthi, Yi Li, Arie Gurfinkel, Marsha Chechik
2012 B conf
Whale: An Interpolation-Based Algorithm for Inter-procedural Verification.
VMCAI
Aws Albarghouthi, Arie Gurfinkel, Marsha Chechik
2010 A* conf
Abstract Analysis of Symbolic Executions.
CAV
Aws Albarghouthi, Arie Gurfinkel, Ou Wei, Marsha Chechik