default search action
Aws Albarghouthi
Person information
- affiliation: University of Wisconsin-Madison, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j12]Aws Albarghouthi, K. Rustan M. Leino, Alexandra Silva, Caterina Urban:
Preface of the special issue on the conference on Computer-Aided Verification 2020 and 2021. Formal Methods Syst. Des. 63(1): 1-4 (2024) - [i34]Anna P. Meyer, Yuhao Zhang, Aws Albarghouthi, Loris D'Antoni:
Verified Training for Counterfactual Explanation Robustness under Data Shift. CoRR abs/2403.03773 (2024) - [i33]David Porfirio, Allison Sauppé, Maya Cakmak, Aws Albarghouthi, Bilge Mutlu:
Crowdsourcing Task Traces for Service Robotics. CoRR abs/2403.14014 (2024) - [i32]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 abs/2405.17361 (2024) - [i31]Anna P. Meyer, Yea-Seul Kim, Aws Albarghouthi, Loris D'Antoni:
Perceptions of the Fairness Impacts of Multiplicity in Machine Learning. CoRR abs/2409.12332 (2024) - 2023
- [j11]Samuel Drews, Aws Albarghouthi, Loris D'Antoni:
Proving Data-Poisoning Robustness in Decision Trees. Commun. ACM 66(2): 105-113 (2023) - [j10]Amanda Xu
, Abtin Molavi
Synthesizing Quantum-Circuit Optimizers. Proc. ACM Program. Lang. 7(PLDI): 835-859 (2023) - [c50]Anna P. Meyer
The Dataset Multiplicity Problem: How Unreliable Data Impacts Predictions. FAccT 2023: 193-204 - [c49]David Porfirio
Crowdsourcing Task Traces for Service Robotics. HRI (Companion) 2023: 389-393 - [c48]David Porfirio
Sketching Robot Programs On the Fly. HRI 2023: 584-593 - [i30]Yuhao Zhang, Aws Albarghouthi, Loris D'Antoni:
PECAN: A Deterministic Certified Defense Against Backdoor Attacks. CoRR abs/2301.11824 (2023) - [i29]David Porfirio, Laura Stegner
Sketching Robot Programs On the Fly. CoRR abs/2302.03088 (2023) - [i28]Anna P. Meyer, Aws Albarghouthi, Loris D'Antoni:
The Dataset Multiplicity Problem: How Unreliable Data Impacts Predictions. CoRR abs/2304.10655 (2023) - [i27]Abtin Molavi, Amanda Xu, Swamit Tannu, Aws Albarghouthi:
Compilation for Surface Code Quantum Computers. CoRR abs/2311.18042 (2023) - 2022
- [j9]Zi Wang
Interval universal approximation for neural networks. Proc. ACM Program. Lang. 6(POPL): 1-29 (2022) - [c47]Goutham Ramakrishnan, Aws Albarghouthi:
Backdoors in Neural Models of Source Code. ICPR 2022: 2892-2899 - [c46]Abtin Molavi
Qubit Mapping and Routing via MaxSAT. MICRO 2022: 1078-1091 - [c45]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 - [c44]Yuhao Zhang, Aws Albarghouthi, Loris D'Antoni:
BagFlip: A Certified Defense Against Data Poisoning. NeurIPS 2022 - [c43]Jordan Henkel, Goutham Ramakrishnan, Zi Wang, Aws Albarghouthi, Somesh Jha, Thomas W. Reps:
Semantic Robustness of Models of Source Code. SANER 2022: 526-537 - [i26]Yuhao Zhang, Aws Albarghouthi, Loris D'Antoni:
BagFlip: A Certified Defense against Data Poisoning. CoRR abs/2205.13634 (2022) - [i25]Anna P. Meyer, Aws Albarghouthi, Loris D'Antoni:
Certifying Data-Bias Robustness in Linear Regression. CoRR abs/2206.03575 (2022) - [i24]Abtin Molavi, Amanda Xu, Martin Diges, Lauren Pick, Swamit S. Tannu, Aws Albarghouthi:
Qubit Mapping and Routing via MaxSAT. CoRR abs/2208.13679 (2022) - [i23]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 abs/2208.14362 (2022) - [i22]Amanda Xu, Abtin Molavi, Lauren Pick, Swamit S. Tannu, Aws Albarghouthi:
Synthesizing Quantum-Circuit Optimizers. CoRR abs/2211.09691 (2022) - 2021
- [j8]Aws Albarghouthi:
Introduction to Neural Network Verification. Found. Trends Program. Lang. 7(1-2): 1-157 (2021) - [c42]David J. Porfirio, Laura Stegner
Figaro: A Tabletop Authoring Environment for Human-Robot Interaction. CHI 2021: 414:1-414:15 - [c41]Yuhao Zhang, Aws Albarghouthi, Loris D'Antoni:
Certified Robustness to Programmable Transformations in LSTMs. EMNLP (1) 2021: 1068-1083 - [c40]Anna P. Meyer, Aws Albarghouthi, Loris D'Antoni:
Certifying Robustness to Programmable Data Bias in Decision Trees. NeurIPS 2021: 26276-26288 - [c39]Subhajit Roy, Justin Hsu, Aws Albarghouthi:
Learning Differentially Private Mechanisms. SP 2021: 852-865 - [i21]Subhajit Roy, Justin Hsu, Aws Albarghouthi:
Learning Differentially Private Mechanisms. CoRR abs/2101.00961 (2021) - [i20]Yuhao Zhang, Aws Albarghouthi, Loris D'Antoni:
Certified Robustness to Programmable Transformations in LSTMs. CoRR abs/2102.07818 (2021) - [i19]Aws Albarghouthi:
Introduction to Neural Network Verification. CoRR abs/2109.10317 (2021) - [i18]Anna P. Meyer, Aws Albarghouthi, Loris D'Antoni:
Certifying Robustness to Programmable Data Bias in Decision Trees. CoRR abs/2110.04363 (2021) - 2020
- [j7]Bas Ketsman
Distribution Policies for Datalog. Theory Comput. Syst. 64(5): 965-998 (2020) - [c38]Goutham Ramakrishnan, Yun Chan Lee, Aws Albarghouthi:
Synthesizing Action Sequences for Modifying Model Decisions. AAAI 2020: 5462-5469 - [c37]David Porfirio
Transforming Robot Programs Based on Social Context. CHI 2020: 1-12 - [c36]Jiani Huang, Calvin Smith, Osbert Bastani, Rishabh Singh, Aws Albarghouthi, Mayur Naik:
Generating Programmatic Referring Expressions via Program Synthesis. ICML 2020: 4495-4506 - [c35]Yuhao Zhang, Aws Albarghouthi, Loris D'Antoni:
Robustness to Programmable String Transformations via Augmented Abstract Training. ICML 2020: 11023-11032 - [c34]Samuel Drews, Aws Albarghouthi, Loris D'Antoni:
Proving data-poisoning robustness in decision trees. PLDI 2020: 1083-1097 - [c33]Zhiwei Fan, Rathijit Sen, Paraschos Koutris, Aws Albarghouthi:
Automated tuning of query degree of parallelism via machine learning. aiDM@SIGMOD 2020: 2:1-2:4 - [i17]Goutham Ramakrishnan, Jordan Henkel, Zi Wang, Aws Albarghouthi, Somesh Jha, Thomas W. Reps:
Semantic Robustness of Models of Source Code. CoRR abs/2002.03043 (2020) - [i16]Yuhao Zhang, Aws Albarghouthi, Loris D'Antoni:
Robustness to Programmable String Transformations via Augmented Abstract Training. CoRR abs/2002.09579 (2020) - [i15]Zhiwei Fan, Rathijit Sen, Paraschos Koutris, Aws Albarghouthi:
A Comparative Exploration of ML Techniques for Tuning Query Degree of Parallelism. CoRR abs/2005.08439 (2020) - [i14]Goutham Ramakrishnan, Aws Albarghouthi:
Backdoors in Neural Models of Source Code. CoRR abs/2006.06841 (2020) - [i13]Zi Wang, Aws Albarghouthi, Somesh Jha:
Abstract Universal Approximation for Neural Networks. CoRR abs/2007.06093 (2020)
2010 – 2019
- 2019
- [j6]Calvin Smith, Aws Albarghouthi:
Synthesizing differentially private programs. Proc. ACM Program. Lang. 3(ICFP): 94:1-94:29 (2019) - [j5]Calvin Smith, Justin Hsu
Trace abstraction modulo probability. Proc. ACM Program. Lang. 3(POPL): 39:1-39:31 (2019) - [j4]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): 695-708 (2019) - [c32]Samuel Drews, Aws Albarghouthi, Loris D'Antoni:
Efficient Synthesis with Probabilistic Constraints. CAV (1) 2019: 278-296 - [c31]Aws Albarghouthi, Samuel Vinitsky:
Fairness-Aware Programming. FAT 2019: 211-219 - [c30]David Porfirio
Computational Tools for Human-Robot Interaction Design. HRI 2019: 733-735 - [c29]David Porfirio
Bodystorming Human-Robot Interactions. UIST 2019: 479-491 - [c28]Ramnatthan Alagappan, Aishwarya Ganesan, Eric Lee, Aws Albarghouthi, Vijay Chidambaram
Protocol-Aware Recovery for Consensus-Based Storage. USENIX ATC 2019 - [c27]Calvin Smith, Aws Albarghouthi:
Program Synthesis with Equivalence Reduction. VMCAI 2019: 24-47 - [i12]Samuel Drews, Aws Albarghouthi, Loris D'Antoni:
Efficient Synthesis with Probabilistic Constraints. CoRR abs/1905.08364 (2019) - [i11]Newsha Ardalani, Urmish Thakker
A Static Analysis-based Cross-Architecture Performance Prediction Using Machine Learning. CoRR abs/1906.07840 (2019) - [i10]Goutham Ramakrishnan, Yun Chan Lee, Aws Albarghouthi:
Synthesizing Action Sequences for Modifying Model Decisions. CoRR abs/1910.00057 (2019) - [i9]Samuel Drews, Aws Albarghouthi, Loris D'Antoni:
Proving Data-Poisoning Robustness in Decision Trees. CoRR abs/1912.00981 (2019) - 2018
- [j3]Aws Albarghouthi, Justin Hsu
Synthesizing coupling proofs of differential privacy. Proc. ACM Program. Lang. 2(POPL): 58:1-58:30 (2018) - [j2]Ramnatthan Alagappan
Protocol-Aware Recovery for Consensus-Based Distributed Storage. ACM Trans. Storage 14(3): 21:1-21:30 (2018) - [c26]Aws Albarghouthi, Justin Hsu
Constraint-Based Synthesis of Coupling Proofs. CAV (1) 2018: 327-346 - [c25]Ramnatthan Alagappan
Protocol-Aware Recovery for Consensus-Based Storage. FAST 2018: 15-32 - [c24]Bas Ketsman
Distribution Policies for Datalog. ICDT 2018: 17:1-17:22 - [c23]Aws Albarghouthi:
Fairness: A Formal-Methods Perspective. SAS 2018: 1-4 - [c22]Jinman Zhao, Aws Albarghouthi, Vaibhav Rastogi, Somesh Jha, Damien Octeau:
Neural-augmented static analysis of Android communication. ESEC/SIGSOFT FSE 2018: 342-353 - [c21]Xujie Si, Woosuk Lee, Richard Zhang, Aws Albarghouthi, Paraschos Koutris, Mayur Naik:
Syntax-guided synthesis of Datalog programs. ESEC/SIGSOFT FSE 2018: 515-527 - [c20]David Porfirio
Authoring and Verifying Human-Robot Interactions. UIST 2018: 75-86 - [i8]Aws Albarghouthi, Justin Hsu:
Constraint-Based Synthesis of Coupling Proofs. CoRR abs/1804.04052 (2018) - [i7]Jinman Zhao, Aws Albarghouthi, Vaibhav Rastogi, Somesh Jha, Damien Octeau:
Neural-Augmented Static Analysis of Android Communication. CoRR abs/1809.04059 (2018) - [i6]Calvin Smith, Justin Hsu, Aws Albarghouthi:
Trace Abstraction Modulo Probability. CoRR abs/1810.12396 (2018) - [i5]Zhiwei Fan, Jianqiao Zhu, Zuyu Zhang, Aws Albarghouthi, Paraschos Koutris, Jignesh M. Patel:
Scaling-Up In-Memory Datalog Processing: Observations and Techniques. CoRR abs/1812.03975 (2018) - 2017
- [j1]Aws Albarghouthi, Loris D'Antoni, Samuel Drews, Aditya V. Nori:
FairSquare: probabilistic verification of program fairness. Proc. ACM Program. Lang. 1(OOPSLA): 80:1-80:30 (2017) - [c19]Aws Albarghouthi, Loris D'Antoni, Samuel Drews:
Repairing Decision-Making Programs Under Uncertainty. CAV (1) 2017: 181-200 - [c18]Aws Albarghouthi, Paraschos Koutris, Mayur Naik, Calvin Smith:
Constraint-Based Synthesis of Datalog Programs. CP 2017: 689-706 - [c17]David Merrell, Aws Albarghouthi, Loris D'Antoni:
Weighted Model Integration with Orthogonal Transformations. IJCAI 2017: 4610-4616 - [c16]Aws Albarghouthi:
Probabilistic Horn Clause Verification. SAS 2017: 1-22 - [c15]Calvin Smith, Gabriel Ferns, Aws Albarghouthi:
Discovering relational specifications. ESEC/SIGSOFT FSE 2017: 616-626 - [i4]Aws Albarghouthi, Loris D'Antoni, Samuel Drews, Aditya V. Nori:
Quantifying Program Bias. CoRR abs/1702.05437 (2017) - [i3]Aws Albarghouthi, Justin Hsu:
Synthesizing Coupling Proofs of Differential Privacy. CoRR abs/1709.05361 (2017) - 2016
- [c14]Samuel Drews, Aws Albarghouthi:
Effectively Propositional Interpolants. CAV (2) 2016: 210-229 - [c13]Calvin Smith, Aws Albarghouthi:
MapReduce program synthesis. PLDI 2016: 326-340 - [c12]Aws Albarghouthi, Isil Dillig, Arie Gurfinkel
Maximal specification synthesis. POPL 2016: 789-801 - [i2]Aws Albarghouthi, Loris D'Antoni, Samuel Drews, Aditya V. Nori:
Fairness as a Program Property. CoRR abs/1610.06067 (2016) - 2015
- [b1]Aws Albarghouthi:
Software Verification with Program-Graph Interpolation and Abstraction. University of Toronto, Canada, 2015 - [c11]Aws Albarghouthi, Josh Berdine, Byron Cook, Zachary Kincaid:
Spatial Interpolants. ESOP 2015: 634-660 - [i1]Aws Albarghouthi, Josh Berdine, Byron Cook, Zachary Kincaid:
Spatial Interpolants. CoRR abs/1501.04100 (2015) - 2014
- [c10]Yi Li
Symbolic optimization with SMT solvers. POPL 2014: 607-618 - 2013
- [c9]Aws Albarghouthi, Kenneth L. McMillan:
Beautiful Interpolants. CAV 2013: 313-329 - [c8]Aws Albarghouthi, Sumit Gulwani, Zachary Kincaid:
Recursive Program Synthesis. CAV 2013: 934-950 - [c7]Aws Albarghouthi, Arie Gurfinkel
UFO: Verification with Interpolants and Abstract Interpretation - (Competition Contribution). TACAS 2013: 637-640 - 2012
- [c6]Aws Albarghouthi, Yi Li
Ufo: A Framework for Abstraction- and Interpolation-Based Software Verification. CAV 2012: 672-678 - [c5]Aws Albarghouthi, Rahul Kumar, Aditya V. Nori, Sriram K. Rajamani:
Parallelizing top-down interprocedural analyses. PLDI 2012: 217-228 - [c4]Aws Albarghouthi, Arie Gurfinkel
Craig Interpretation. SAS 2012: 300-316 - [c3]Aws Albarghouthi, Arie Gurfinkel
From Under-Approximations to Over-Approximations and Back. TACAS 2012: 157-172 - [c2]Aws Albarghouthi, Arie Gurfinkel
Whale: An Interpolation-Based Algorithm for Inter-procedural Verification. VMCAI 2012: 39-55 - 2010
- [c1]Aws Albarghouthi, Arie Gurfinkel
Abstract Analysis of Symbolic Executions. CAV 2010: 495-510
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-31 21:11 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: