Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Aws Albarghouthi
@article{DBLP:journals/corr/abs-2403-03773,
author = {Anna P. Meyer and
Yuhao Zhang and
Aws Albarghouthi and
Loris D'Antoni},
title = {Verified Training for Counterfactual Explanation Robustness under
Data Shift},
journal = {CoRR},
volume = {abs/2403.03773},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.03773},
doi = {10.48550/ARXIV.2403.03773},
eprinttype = {arXiv},
eprint = {2403.03773},
timestamp = {Wed, 03 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-03773.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-14014,
author = {David Porfirio and
Allison Saupp{\'{e}} and
Maya Cakmak and
Aws Albarghouthi and
Bilge Mutlu},
title = {Crowdsourcing Task Traces for Service Robotics},
journal = {CoRR},
volume = {abs/2403.14014},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.14014},
doi = {10.48550/ARXIV.2403.14014},
eprinttype = {arXiv},
eprint = {2403.14014},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-14014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/DrewsAD23,
author = {Samuel Drews and
Aws Albarghouthi and
Loris D'Antoni},
title = {Proving Data-Poisoning Robustness in Decision Trees},
journal = {Commun. {ACM}},
volume = {66},
number = {2},
pages = {105--113},
year = {2023},
url = {https://doi.org/10.1145/3576894},
doi = {10.1145/3576894},
timestamp = {Fri, 10 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/DrewsAD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/XuMPTA23,
author = {Amanda Xu and
Abtin Molavi and
Lauren Pick and
Swamit Tannu and
Aws Albarghouthi},
title = {Synthesizing Quantum-Circuit Optimizers},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{PLDI}},
pages = {835--859},
year = {2023},
url = {https://doi.org/10.1145/3591254},
doi = {10.1145/3591254},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/XuMPTA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fat/MeyerAD23,
author = {Anna P. Meyer and
Aws Albarghouthi and
Loris D'Antoni},
title = {The Dataset Multiplicity Problem: How Unreliable Data Impacts Predictions},
booktitle = {Proceedings of the 2023 {ACM} Conference on Fairness, Accountability,
and Transparency, FAccT 2023, Chicago, IL, USA, June 12-15, 2023},
pages = {193--204},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3593013.3593988},
doi = {10.1145/3593013.3593988},
timestamp = {Thu, 15 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fat/MeyerAD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hri/PorfirioSCAM23,
author = {David Porfirio and
Allison Saupp{\'{e}} and
Maya Cakmak and
Aws Albarghouthi and
Bilge Mutlu},
editor = {Ginevra Castellano and
Laurel D. Riek and
Maya Cakmak and
Iolanda Leite},
title = {Crowdsourcing Task Traces for Service Robotics},
booktitle = {Companion of the 2023 {ACM/IEEE} International Conference on Human-Robot
Interaction, {HRI} 2023, Stockholm, Sweden, March 13-16, 2023},
pages = {389--393},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3568294.3580112},
doi = {10.1145/3568294.3580112},
timestamp = {Tue, 28 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hri/PorfirioSCAM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hri/PorfirioSCSAM23,
author = {David Porfirio and
Laura Stegner and
Maya Cakmak and
Allison Saupp{\'{e}} and
Aws Albarghouthi and
Bilge Mutlu},
editor = {Ginevra Castellano and
Laurel D. Riek and
Maya Cakmak and
Iolanda Leite},
title = {Sketching Robot Programs On the Fly},
booktitle = {Proceedings of the 2023 {ACM/IEEE} International Conference on Human-Robot
Interaction, {HRI} 2023, Stockholm, Sweden, March 13-16, 2023},
pages = {584--593},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3568162.3576991},
doi = {10.1145/3568162.3576991},
timestamp = {Tue, 28 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hri/PorfirioSCSAM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-11824,
author = {Yuhao Zhang and
Aws Albarghouthi and
Loris D'Antoni},
title = {{PECAN:} {A} Deterministic Certified Defense Against Backdoor Attacks},
journal = {CoRR},
volume = {abs/2301.11824},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.11824},
doi = {10.48550/ARXIV.2301.11824},
eprinttype = {arXiv},
eprint = {2301.11824},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-11824.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-03088,
author = {David Porfirio and
Laura Stegner and
Maya Cakmak and
Allison Saupp{\'{e}} and
Aws Albarghouthi and
Bilge Mutlu},
title = {Sketching Robot Programs On the Fly},
journal = {CoRR},
volume = {abs/2302.03088},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.03088},
doi = {10.48550/ARXIV.2302.03088},
eprinttype = {arXiv},
eprint = {2302.03088},
timestamp = {Fri, 10 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-03088.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-10655,
author = {Anna P. Meyer and
Aws Albarghouthi and
Loris D'Antoni},
title = {The Dataset Multiplicity Problem: How Unreliable Data Impacts Predictions},
journal = {CoRR},
volume = {abs/2304.10655},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.10655},
doi = {10.48550/ARXIV.2304.10655},
eprinttype = {arXiv},
eprint = {2304.10655},
timestamp = {Tue, 02 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-10655.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-18042,
author = {Abtin Molavi and
Amanda Xu and
Swamit Tannu and
Aws Albarghouthi},
title = {Compilation for Surface Code Quantum Computers},
journal = {CoRR},
volume = {abs/2311.18042},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.18042},
doi = {10.48550/ARXIV.2311.18042},
eprinttype = {arXiv},
eprint = {2311.18042},
timestamp = {Wed, 10 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-18042.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/WangAPJ22,
author = {Zi Wang and
Aws Albarghouthi and
Gautam Prakriya and
Somesh Jha},
title = {Interval universal approximation for neural networks},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{POPL}},
pages = {1--29},
year = {2022},
url = {https://doi.org/10.1145/3498675},
doi = {10.1145/3498675},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/WangAPJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpr/RamakrishnanA22,
author = {Goutham Ramakrishnan and
Aws Albarghouthi},
title = {Backdoors in Neural Models of Source Code},
booktitle = {26th International Conference on Pattern Recognition, {ICPR} 2022,
Montreal, QC, Canada, August 21-25, 2022},
pages = {2892--2899},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICPR56361.2022.9956690},
doi = {10.1109/ICPR56361.2022.9956690},
timestamp = {Thu, 01 Dec 2022 13:56:03 +0100},
biburl = {https://dblp.org/rec/conf/icpr/RamakrishnanA22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micro/MolaviXDPTA22,
author = {Abtin Molavi and
Amanda Xu and
Martin Diges and
Lauren Pick and
Swamit S. Tannu and
Aws Albarghouthi},
title = {Qubit Mapping and Routing via MaxSAT},
booktitle = {55th {IEEE/ACM} International Symposium on Microarchitecture, {MICRO}
2022, Chicago, IL, USA, October 1-5, 2022},
pages = {1078--1091},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/MICRO56248.2022.00077},
doi = {10.1109/MICRO56248.2022.00077},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/micro/MolaviXDPTA22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/RobertsLHASLPMA22,
author = {Nicholas Roberts and
Xintong Li and
Tzu{-}Heng Huang and
Dyah Adila and
Spencer Schoenberg and
Cheng{-}Yu Liu and
Lauren Pick and
Haotian Ma and
Aws Albarghouthi and
Frederic Sala},
editor = {Sanmi Koyejo and
S. Mohamed and
A. Agarwal and
Danielle Belgrave and
K. Cho and
A. Oh},
title = {AutoWS-Bench-101: Benchmarking Automated Weak Supervision with 100
Labels},
booktitle = {Advances in Neural Information Processing Systems 35: Annual Conference
on Neural Information Processing Systems 2022, NeurIPS 2022, New Orleans,
LA, USA, November 28 - December 9, 2022},
year = {2022},
url = {http://papers.nips.cc/paper\_files/paper/2022/hash/3a54969b29a793de4e6b6d5a6062e494-Abstract-Datasets\_and\_Benchmarks.html},
timestamp = {Mon, 08 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nips/RobertsLHASLPMA22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/ZhangAD22,
author = {Yuhao Zhang and
Aws Albarghouthi and
Loris D'Antoni},
editor = {Sanmi Koyejo and
S. Mohamed and
A. Agarwal and
Danielle Belgrave and
K. Cho and
A. Oh},
title = {BagFlip: {A} Certified Defense Against Data Poisoning},
booktitle = {Advances in Neural Information Processing Systems 35: Annual Conference
on Neural Information Processing Systems 2022, NeurIPS 2022, New Orleans,
LA, USA, November 28 - December 9, 2022},
year = {2022},
url = {http://papers.nips.cc/paper\_files/paper/2022/hash/cc19e4ffde5540ac3fcda240e6d975cb-Abstract-Conference.html},
timestamp = {Mon, 08 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nips/ZhangAD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/HenkelRWAJR22,
author = {Jordan Henkel and
Goutham Ramakrishnan and
Zi Wang and
Aws Albarghouthi and
Somesh Jha and
Thomas W. Reps},
title = {Semantic Robustness of Models of Source Code},
booktitle = {{IEEE} International Conference on Software Analysis, Evolution and
Reengineering, {SANER} 2022, Honolulu, HI, USA, March 15-18, 2022},
pages = {526--537},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/SANER53432.2022.00070},
doi = {10.1109/SANER53432.2022.00070},
timestamp = {Tue, 26 Jul 2022 14:23:17 +0200},
biburl = {https://dblp.org/rec/conf/wcre/HenkelRWAJR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-13634,
author = {Yuhao Zhang and
Aws Albarghouthi and
Loris D'Antoni},
title = {BagFlip: {A} Certified Defense against Data Poisoning},
journal = {CoRR},
volume = {abs/2205.13634},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.13634},
doi = {10.48550/ARXIV.2205.13634},
eprinttype = {arXiv},
eprint = {2205.13634},
timestamp = {Tue, 31 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-13634.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-03575,
author = {Anna P. Meyer and
Aws Albarghouthi and
Loris D'Antoni},
title = {Certifying Data-Bias Robustness in Linear Regression},
journal = {CoRR},
volume = {abs/2206.03575},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.03575},
doi = {10.48550/ARXIV.2206.03575},
eprinttype = {arXiv},
eprint = {2206.03575},
timestamp = {Tue, 14 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-03575.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-13679,
author = {Abtin Molavi and
Amanda Xu and
Martin Diges and
Lauren Pick and
Swamit S. Tannu and
Aws Albarghouthi},
title = {Qubit Mapping and Routing via MaxSAT},
journal = {CoRR},
volume = {abs/2208.13679},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.13679},
doi = {10.48550/ARXIV.2208.13679},
eprinttype = {arXiv},
eprint = {2208.13679},
timestamp = {Fri, 25 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-13679.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-14362,
author = {Nicholas Carl Roberts and
Xintong Li and
Tzu{-}Heng Huang and
Dyah Adila and
Spencer Schoenberg and
Cheng{-}Yu Liu and
Lauren Pick and
Haotian Ma and
Aws Albarghouthi and
Frederic Sala},
title = {AutoWS-Bench-101: Benchmarking Automated Weak Supervision with 100
Labels},
journal = {CoRR},
volume = {abs/2208.14362},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.14362},
doi = {10.48550/ARXIV.2208.14362},
eprinttype = {arXiv},
eprint = {2208.14362},
timestamp = {Thu, 29 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-14362.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-09691,
author = {Amanda Xu and
Abtin Molavi and
Lauren Pick and
Swamit S. Tannu and
Aws Albarghouthi},
title = {Synthesizing Quantum-Circuit Optimizers},
journal = {CoRR},
volume = {abs/2211.09691},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.09691},
doi = {10.48550/ARXIV.2211.09691},
eprinttype = {arXiv},
eprint = {2211.09691},
timestamp = {Fri, 25 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-09691.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ftpl/Albarghouthi21,
author = {Aws Albarghouthi},
title = {Introduction to Neural Network Verification},
journal = {Found. Trends Program. Lang.},
volume = {7},
number = {1-2},
pages = {1--157},
year = {2021},
url = {https://doi.org/10.1561/2500000051},
doi = {10.1561/2500000051},
timestamp = {Tue, 21 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ftpl/Albarghouthi21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/PorfirioSCSAM21,
author = {David J. Porfirio and
Laura Stegner and
Maya Cakmak and
Allison Saupp{\'{e}} and
Aws Albarghouthi and
Bilge Mutlu},
editor = {Yoshifumi Kitamura and
Aaron Quigley and
Katherine Isbister and
Takeo Igarashi and
Pernille Bj{\o}rn and
Steven Mark Drucker},
title = {Figaro: {A} Tabletop Authoring Environment for Human-Robot Interaction},
booktitle = {{CHI} '21: {CHI} Conference on Human Factors in Computing Systems,
Virtual Event / Yokohama, Japan, May 8-13, 2021},
pages = {414:1--414:15},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3411764.3446864},
doi = {10.1145/3411764.3446864},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/chi/PorfirioSCSAM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emnlp/ZhangAD21,
author = {Yuhao Zhang and
Aws Albarghouthi and
Loris D'Antoni},
editor = {Marie{-}Francine Moens and
Xuanjing Huang and
Lucia Specia and
Scott Wen{-}tau Yih},
title = {Certified Robustness to Programmable Transformations in LSTMs},
booktitle = {Proceedings of the 2021 Conference on Empirical Methods in Natural
Language Processing, {EMNLP} 2021, Virtual Event / Punta Cana, Dominican
Republic, 7-11 November, 2021},
pages = {1068--1083},
publisher = {Association for Computational Linguistics},
year = {2021},
url = {https://doi.org/10.18653/v1/2021.emnlp-main.82},
doi = {10.18653/V1/2021.EMNLP-MAIN.82},
timestamp = {Fri, 16 Feb 2024 08:27:36 +0100},
biburl = {https://dblp.org/rec/conf/emnlp/ZhangAD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/MeyerAD21,
author = {Anna P. Meyer and
Aws Albarghouthi and
Loris D'Antoni},
editor = {Marc'Aurelio Ranzato and
Alina Beygelzimer and
Yann N. Dauphin and
Percy Liang and
Jennifer Wortman Vaughan},
title = {Certifying Robustness to Programmable Data Bias in Decision Trees},
booktitle = {Advances in Neural Information Processing Systems 34: Annual Conference
on Neural Information Processing Systems 2021, NeurIPS 2021, December
6-14, 2021, virtual},
pages = {26276--26288},
year = {2021},
url = {https://proceedings.neurips.cc/paper/2021/hash/dcf531edc9b229acfe0f4b87e1e278dd-Abstract.html},
timestamp = {Tue, 03 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nips/MeyerAD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/RoyHA21,
author = {Subhajit Roy and
Justin Hsu and
Aws Albarghouthi},
title = {Learning Differentially Private Mechanisms},
booktitle = {42nd {IEEE} Symposium on Security and Privacy, {SP} 2021, San Francisco,
CA, USA, 24-27 May 2021},
pages = {852--865},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/SP40001.2021.00060},
doi = {10.1109/SP40001.2021.00060},
timestamp = {Thu, 21 Sep 2023 15:57:26 +0200},
biburl = {https://dblp.org/rec/conf/sp/RoyHA21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-00961,
author = {Subhajit Roy and
Justin Hsu and
Aws Albarghouthi},
title = {Learning Differentially Private Mechanisms},
journal = {CoRR},
volume = {abs/2101.00961},
year = {2021},
url = {https://arxiv.org/abs/2101.00961},
eprinttype = {arXiv},
eprint = {2101.00961},
timestamp = {Tue, 03 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2101-00961.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-07818,
author = {Yuhao Zhang and
Aws Albarghouthi and
Loris D'Antoni},
title = {Certified Robustness to Programmable Transformations in LSTMs},
journal = {CoRR},
volume = {abs/2102.07818},
year = {2021},
url = {https://arxiv.org/abs/2102.07818},
eprinttype = {arXiv},
eprint = {2102.07818},
timestamp = {Thu, 18 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-07818.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-10317,
author = {Aws Albarghouthi},
title = {Introduction to Neural Network Verification},
journal = {CoRR},
volume = {abs/2109.10317},
year = {2021},
url = {https://arxiv.org/abs/2109.10317},
eprinttype = {arXiv},
eprint = {2109.10317},
timestamp = {Mon, 27 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-10317.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-04363,
author = {Anna P. Meyer and
Aws Albarghouthi and
Loris D'Antoni},
title = {Certifying Robustness to Programmable Data Bias in Decision Trees},
journal = {CoRR},
volume = {abs/2110.04363},
year = {2021},
url = {https://arxiv.org/abs/2110.04363},
eprinttype = {arXiv},
eprint = {2110.04363},
timestamp = {Thu, 21 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-04363.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/KetsmanAK20,
author = {Bas Ketsman and
Aws Albarghouthi and
Paraschos Koutris},
title = {Distribution Policies for Datalog},
journal = {Theory Comput. Syst.},
volume = {64},
number = {5},
pages = {965--998},
year = {2020},
url = {https://doi.org/10.1007/s00224-019-09959-3},
doi = {10.1007/S00224-019-09959-3},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/KetsmanAK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/RamakrishnanLA20,
author = {Goutham Ramakrishnan and
Yun Chan Lee and
Aws Albarghouthi},
title = {Synthesizing Action Sequences for Modifying Model Decisions},
booktitle = {The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI}
2020, The Thirty-Second Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA,
February 7-12, 2020},
pages = {5462--5469},
publisher = {{AAAI} Press},
year = {2020},
url = {https://doi.org/10.1609/aaai.v34i04.5996},
doi = {10.1609/AAAI.V34I04.5996},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/RamakrishnanLA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/PorfirioSAM20,
author = {David Porfirio and
Allison Saupp{\'{e}} and
Aws Albarghouthi and
Bilge Mutlu},
editor = {Regina Bernhaupt and
Florian 'Floyd' Mueller and
David Verweij and
Josh Andres and
Joanna McGrenere and
Andy Cockburn and
Ignacio Avellino and
Alix Goguey and
Pernille Bj{\o}n and
Shengdong Zhao and
Briane Paul Samson and
Rafal Kocielnik},
title = {Transforming Robot Programs Based on Social Context},
booktitle = {{CHI} '20: {CHI} Conference on Human Factors in Computing Systems,
Honolulu, HI, USA, April 25-30, 2020},
pages = {1--12},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3313831.3376355},
doi = {10.1145/3313831.3376355},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/chi/PorfirioSAM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/HuangSBSAN20,
author = {Jiani Huang and
Calvin Smith and
Osbert Bastani and
Rishabh Singh and
Aws Albarghouthi and
Mayur Naik},
title = {Generating Programmatic Referring Expressions via Program Synthesis},
booktitle = {Proceedings of the 37th International Conference on Machine Learning,
{ICML} 2020, 13-18 July 2020, Virtual Event},
series = {Proceedings of Machine Learning Research},
volume = {119},
pages = {4495--4506},
publisher = {{PMLR}},
year = {2020},
url = {http://proceedings.mlr.press/v119/huang20h.html},
timestamp = {Tue, 15 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icml/HuangSBSAN20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/ZhangAD20,
author = {Yuhao Zhang and
Aws Albarghouthi and
Loris D'Antoni},
title = {Robustness to Programmable String Transformations via Augmented Abstract
Training},
booktitle = {Proceedings of the 37th International Conference on Machine Learning,
{ICML} 2020, 13-18 July 2020, Virtual Event},
series = {Proceedings of Machine Learning Research},
volume = {119},
pages = {11023--11032},
publisher = {{PMLR}},
year = {2020},
url = {http://proceedings.mlr.press/v119/zhang20b.html},
timestamp = {Tue, 15 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icml/ZhangAD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/DrewsAD20,
author = {Samuel Drews and
Aws Albarghouthi and
Loris D'Antoni},
editor = {Alastair F. Donaldson and
Emina Torlak},
title = {Proving data-poisoning robustness in decision trees},
booktitle = {Proceedings of the 41st {ACM} {SIGPLAN} International Conference on
Programming Language Design and Implementation, {PLDI} 2020, London,
UK, June 15-20, 2020},
pages = {1083--1097},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3385412.3385975},
doi = {10.1145/3385412.3385975},
timestamp = {Tue, 09 Jun 2020 13:45:15 +0200},
biburl = {https://dblp.org/rec/conf/pldi/DrewsAD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/FanSKA20,
author = {Zhiwei Fan and
Rathijit Sen and
Paraschos Koutris and
Aws Albarghouthi},
editor = {Rajesh Bordawekar and
Oded Shmueli and
Nesime Tatbul and
Tin Kam Ho},
title = {Automated tuning of query degree of parallelism via machine learning},
booktitle = {Proceedings of the Third International Workshop on Exploiting Artificial
Intelligence Techniques for Data Management, aiDM@SIGMOD 2020, Portland,
Oregon, USA, June 19, 2020},
pages = {2:1--2:4},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3401071.3401656},
doi = {10.1145/3401071.3401656},
timestamp = {Mon, 08 Jun 2020 19:13:14 +0200},
biburl = {https://dblp.org/rec/conf/sigmod/FanSKA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-03043,
author = {Goutham Ramakrishnan and
Jordan Henkel and
Zi Wang and
Aws Albarghouthi and
Somesh Jha and
Thomas W. Reps},
title = {Semantic Robustness of Models of Source Code},
journal = {CoRR},
volume = {abs/2002.03043},
year = {2020},
url = {https://arxiv.org/abs/2002.03043},
eprinttype = {arXiv},
eprint = {2002.03043},
timestamp = {Wed, 12 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-03043.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-09579,
author = {Yuhao Zhang and
Aws Albarghouthi and
Loris D'Antoni},
title = {Robustness to Programmable String Transformations via Augmented Abstract
Training},
journal = {CoRR},
volume = {abs/2002.09579},
year = {2020},
url = {https://arxiv.org/abs/2002.09579},
eprinttype = {arXiv},
eprint = {2002.09579},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-09579.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-08439,
author = {Zhiwei Fan and
Rathijit Sen and
Paraschos Koutris and
Aws Albarghouthi},
title = {A Comparative Exploration of {ML} Techniques for Tuning Query Degree
of Parallelism},
journal = {CoRR},
volume = {abs/2005.08439},
year = {2020},
url = {https://arxiv.org/abs/2005.08439},
eprinttype = {arXiv},
eprint = {2005.08439},
timestamp = {Fri, 22 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-08439.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-06841,
author = {Goutham Ramakrishnan and
Aws Albarghouthi},
title = {Backdoors in Neural Models of Source Code},
journal = {CoRR},
volume = {abs/2006.06841},
year = {2020},
url = {https://arxiv.org/abs/2006.06841},
eprinttype = {arXiv},
eprint = {2006.06841},
timestamp = {Wed, 17 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-06841.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-06093,
author = {Zi Wang and
Aws Albarghouthi and
Somesh Jha},
title = {Abstract Universal Approximation for Neural Networks},
journal = {CoRR},
volume = {abs/2007.06093},
year = {2020},
url = {https://arxiv.org/abs/2007.06093},
eprinttype = {arXiv},
eprint = {2007.06093},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-06093.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/SmithA19,
author = {Calvin Smith and
Aws Albarghouthi},
title = {Synthesizing differentially private programs},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{ICFP}},
pages = {94:1--94:29},
year = {2019},
url = {https://doi.org/10.1145/3341698},
doi = {10.1145/3341698},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/SmithA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/SmithHA19,
author = {Calvin Smith and
Justin Hsu and
Aws Albarghouthi},
title = {Trace abstraction modulo probability},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{POPL}},
pages = {39:1--39:31},
year = {2019},
url = {https://doi.org/10.1145/3290352},
doi = {10.1145/3290352},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/SmithHA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/FanZZAKP19,
author = {Zhiwei Fan and
Jianqiao Zhu and
Zuyu Zhang and
Aws Albarghouthi and
Paraschos Koutris and
Jignesh M. Patel},
title = {Scaling-Up In-Memory Datalog Processing: Observations and Techniques},
journal = {Proc. {VLDB} Endow.},
volume = {12},
number = {6},
pages = {695--708},
year = {2019},
url = {http://www.vldb.org/pvldb/vol12/p695-fan.pdf},
doi = {10.14778/3311880.3311886},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pvldb/FanZZAKP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/DrewsAD19,
author = {Samuel Drews and
Aws Albarghouthi and
Loris D'Antoni},
editor = {Isil Dillig and
Serdar Tasiran},
title = {Efficient Synthesis with Probabilistic Constraints},
booktitle = {Computer Aided Verification - 31st International Conference, {CAV}
2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {11561},
pages = {278--296},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-25540-4\_15},
doi = {10.1007/978-3-030-25540-4\_15},
timestamp = {Fri, 31 Jan 2020 21:32:18 +0100},
biburl = {https://dblp.org/rec/conf/cav/DrewsAD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fat/AlbarghouthiV19,
author = {Aws Albarghouthi and
Samuel Vinitsky},
editor = {danah boyd and
Jamie H. Morgenstern},
title = {Fairness-Aware Programming},
booktitle = {Proceedings of the Conference on Fairness, Accountability, and Transparency,
FAT* 2019, Atlanta, GA, USA, January 29-31, 2019},
pages = {211--219},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3287560.3287588},
doi = {10.1145/3287560.3287588},
timestamp = {Fri, 26 Mar 2021 16:46:37 +0100},
biburl = {https://dblp.org/rec/conf/fat/AlbarghouthiV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hri/PorfirioSAM19,
author = {David Porfirio and
Allison Saupp{\'{e}} and
Aws Albarghouthi and
Bilge Mutlu},
title = {Computational Tools for Human-Robot Interaction Design},
booktitle = {14th {ACM/IEEE} International Conference on Human-Robot Interaction,
{HRI} 2019, Daegu, South Korea, March 11-14, 2019},
pages = {733--735},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/HRI.2019.8673221},
doi = {10.1109/HRI.2019.8673221},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hri/PorfirioSAM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uist/PorfirioFSAM19,
author = {David Porfirio and
Evan Fisher and
Allison Saupp{\'{e}} and
Aws Albarghouthi and
Bilge Mutlu},
editor = {Fran{\c{c}}ois Guimbreti{\`{e}}re and
Michael S. Bernstein and
Katharina Reinecke},
title = {Bodystorming Human-Robot Interactions},
booktitle = {Proceedings of the 32nd Annual {ACM} Symposium on User Interface Software
and Technology, {UIST} 2019, New Orleans, LA, USA, October 20-23,
2019},
pages = {479--491},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3332165.3347957},
doi = {10.1145/3332165.3347957},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/uist/PorfirioFSAM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/usenix/AlagappanGLACAA19,
author = {Ramnatthan Alagappan and
Aishwarya Ganesan and
Eric Lee and
Aws Albarghouthi and
Vijay Chidambaram and
Andrea C. Arpaci{-}Dusseau and
Remzi H. Arpaci{-}Dusseau},
editor = {Dahlia Malkhi and
Dan Tsafrir},
title = {Protocol-Aware Recovery for Consensus-Based Storage},
booktitle = {2019 {USENIX} Annual Technical Conference, {USENIX} {ATC} 2019, Renton,
WA, USA, July 10-12, 2019},
publisher = {{USENIX} Association},
year = {2019},
url = {https://www.usenix.org/conference/atc19/presentation/alagappan},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/usenix/AlagappanGLACAA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/SmithA19,
author = {Calvin Smith and
Aws Albarghouthi},
editor = {Constantin Enea and
Ruzica Piskac},
title = {Program Synthesis with Equivalence Reduction},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 20th International
Conference, {VMCAI} 2019, Cascais, Portugal, January 13-15, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11388},
pages = {24--47},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-11245-5\_2},
doi = {10.1007/978-3-030-11245-5\_2},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/SmithA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-08364,
author = {Samuel Drews and
Aws Albarghouthi and
Loris D'Antoni},
title = {Efficient Synthesis with Probabilistic Constraints},
journal = {CoRR},
volume = {abs/1905.08364},
year = {2019},
url = {http://arxiv.org/abs/1905.08364},
eprinttype = {arXiv},
eprint = {1905.08364},
timestamp = {Tue, 28 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-08364.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-07840,
author = {Newsha Ardalani and
Urmish Thakker and
Aws Albarghouthi and
Karu Sankaralingam},
title = {A Static Analysis-based Cross-Architecture Performance Prediction
Using Machine Learning},
journal = {CoRR},
volume = {abs/1906.07840},
year = {2019},
url = {http://arxiv.org/abs/1906.07840},
eprinttype = {arXiv},
eprint = {1906.07840},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-07840.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-00057,
author = {Goutham Ramakrishnan and
Yun Chan Lee and
Aws Albarghouthi},
title = {Synthesizing Action Sequences for Modifying Model Decisions},
journal = {CoRR},
volume = {abs/1910.00057},
year = {2019},
url = {http://arxiv.org/abs/1910.00057},
eprinttype = {arXiv},
eprint = {1910.00057},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-00057.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1912-00981,
author = {Samuel Drews and
Aws Albarghouthi and
Loris D'Antoni},
title = {Proving Data-Poisoning Robustness in Decision Trees},
journal = {CoRR},
volume = {abs/1912.00981},
year = {2019},
url = {http://arxiv.org/abs/1912.00981},
eprinttype = {arXiv},
eprint = {1912.00981},
timestamp = {Thu, 02 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1912-00981.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/AlbarghouthiH18,
author = {Aws Albarghouthi and
Justin Hsu},
title = {Synthesizing coupling proofs of differential privacy},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{POPL}},
pages = {58:1--58:30},
year = {2018},
url = {https://doi.org/10.1145/3158146},
doi = {10.1145/3158146},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/AlbarghouthiH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tos/AlagappanGLACAA18,
author = {Ramnatthan Alagappan and
Aishwarya Ganesan and
Eric Lee and
Aws Albarghouthi and
Vijay Chidambaram and
Andrea C. Arpaci{-}Dusseau and
Remzi H. Arpaci{-}Dusseau},
title = {Protocol-Aware Recovery for Consensus-Based Distributed Storage},
journal = {{ACM} Trans. Storage},
volume = {14},
number = {3},
pages = {21:1--21:30},
year = {2018},
url = {https://doi.org/10.1145/3241062},
doi = {10.1145/3241062},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tos/AlagappanGLACAA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AlbarghouthiH18,
author = {Aws Albarghouthi and
Justin Hsu},
editor = {Hana Chockler and
Georg Weissenbacher},
title = {Constraint-Based Synthesis of Coupling Proofs},
booktitle = {Computer Aided Verification - 30th International Conference, {CAV}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 14-17, 2018, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10981},
pages = {327--346},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-96145-3\_18},
doi = {10.1007/978-3-319-96145-3\_18},
timestamp = {Fri, 09 Apr 2021 18:35:27 +0200},
biburl = {https://dblp.org/rec/conf/cav/AlbarghouthiH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fast/AlagappanGLACAA18,
author = {Ramnatthan Alagappan and
Aishwarya Ganesan and
Eric Lee and
Aws Albarghouthi and
Vijay Chidambaram and
Andrea C. Arpaci{-}Dusseau and
Remzi H. Arpaci{-}Dusseau},
editor = {Nitin Agrawal and
Raju Rangaswami},
title = {Protocol-Aware Recovery for Consensus-Based Storage},
booktitle = {16th {USENIX} Conference on File and Storage Technologies, {FAST}
2018, Oakland, CA, USA, February 12-15, 2018},
pages = {15--32},
publisher = {{USENIX} Association},
year = {2018},
url = {https://www.usenix.org/conference/fast18/presentation/alagappan},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fast/AlagappanGLACAA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/KetsmanAK18,
author = {Bas Ketsman and
Aws Albarghouthi and
Paraschos Koutris},
editor = {Benny Kimelfeld and
Yael Amsterdamer},
title = {Distribution Policies for Datalog},
booktitle = {21st International Conference on Database Theory, {ICDT} 2018, March
26-29, 2018, Vienna, Austria},
series = {LIPIcs},
volume = {98},
pages = {17:1--17:22},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.ICDT.2018.17},
doi = {10.4230/LIPICS.ICDT.2018.17},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdt/KetsmanAK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Albarghouthi18,
author = {Aws Albarghouthi},
editor = {Andreas Podelski},
title = {Fairness: {A} Formal-Methods Perspective},
booktitle = {Static Analysis - 25th International Symposium, {SAS} 2018, Freiburg,
Germany, August 29-31, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11002},
pages = {1--4},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99725-4\_1},
doi = {10.1007/978-3-319-99725-4\_1},
timestamp = {Mon, 28 Aug 2023 21:17:53 +0200},
biburl = {https://dblp.org/rec/conf/sas/Albarghouthi18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/ZhaoARJO18,
author = {Jinman Zhao and
Aws Albarghouthi and
Vaibhav Rastogi and
Somesh Jha and
Damien Octeau},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Neural-augmented static analysis of Android communication},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {342--353},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3236066},
doi = {10.1145/3236024.3236066},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/ZhaoARJO18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/SiLZAKN18,
author = {Xujie Si and
Woosuk Lee and
Richard Zhang and
Aws Albarghouthi and
Paraschos Koutris and
Mayur Naik},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Syntax-guided synthesis of Datalog programs},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {515--527},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3236034},
doi = {10.1145/3236024.3236034},
timestamp = {Fri, 12 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/SiLZAKN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uist/PorfirioSAM18,
author = {David Porfirio and
Allison Saupp{\'{e}} and
Aws Albarghouthi and
Bilge Mutlu},
editor = {Patrick Baudisch and
Albrecht Schmidt and
Andy Wilson},
title = {Authoring and Verifying Human-Robot Interactions},
booktitle = {The 31st Annual {ACM} Symposium on User Interface Software and Technology,
{UIST} 2018, Berlin, Germany, October 14-17, 2018},
pages = {75--86},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3242587.3242634},
doi = {10.1145/3242587.3242634},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/uist/PorfirioSAM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-04052,
author = {Aws Albarghouthi and
Justin Hsu},
title = {Constraint-Based Synthesis of Coupling Proofs},
journal = {CoRR},
volume = {abs/1804.04052},
year = {2018},
url = {http://arxiv.org/abs/1804.04052},
eprinttype = {arXiv},
eprint = {1804.04052},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-04052.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1809-04059,
author = {Jinman Zhao and
Aws Albarghouthi and
Vaibhav Rastogi and
Somesh Jha and
Damien Octeau},
title = {Neural-Augmented Static Analysis of Android Communication},
journal = {CoRR},
volume = {abs/1809.04059},
year = {2018},
url = {http://arxiv.org/abs/1809.04059},
eprinttype = {arXiv},
eprint = {1809.04059},
timestamp = {Fri, 05 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-04059.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1810-12396,
author = {Calvin Smith and
Justin Hsu and
Aws Albarghouthi},
title = {Trace Abstraction Modulo Probability},
journal = {CoRR},
volume = {abs/1810.12396},
year = {2018},
url = {http://arxiv.org/abs/1810.12396},
eprinttype = {arXiv},
eprint = {1810.12396},
timestamp = {Thu, 08 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-12396.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1812-03975,
author = {Zhiwei Fan and
Jianqiao Zhu and
Zuyu Zhang and
Aws Albarghouthi and
Paraschos Koutris and
Jignesh M. Patel},
title = {Scaling-Up In-Memory Datalog Processing: Observations and Techniques},
journal = {CoRR},
volume = {abs/1812.03975},
year = {2018},
url = {http://arxiv.org/abs/1812.03975},
eprinttype = {arXiv},
eprint = {1812.03975},
timestamp = {Tue, 01 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1812-03975.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/AlbarghouthiDDN17,
author = {Aws Albarghouthi and
Loris D'Antoni and
Samuel Drews and
Aditya V. Nori},
title = {FairSquare: probabilistic verification of program fairness},
journal = {Proc. {ACM} Program. Lang.},
volume = {1},
number = {{OOPSLA}},
pages = {80:1--80:30},
year = {2017},
url = {https://doi.org/10.1145/3133904},
doi = {10.1145/3133904},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/AlbarghouthiDDN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AlbarghouthiDD17,
author = {Aws Albarghouthi and
Loris D'Antoni and
Samuel Drews},
editor = {Rupak Majumdar and
Viktor Kuncak},
title = {Repairing Decision-Making Programs Under Uncertainty},
booktitle = {Computer Aided Verification - 29th International Conference, {CAV}
2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10426},
pages = {181--200},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63387-9\_9},
doi = {10.1007/978-3-319-63387-9\_9},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/AlbarghouthiDD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/AlbarghouthiKNS17,
author = {Aws Albarghouthi and
Paraschos Koutris and
Mayur Naik and
Calvin Smith},
editor = {J. Christopher Beck},
title = {Constraint-Based Synthesis of Datalog Programs},
booktitle = {Principles and Practice of Constraint Programming - 23rd International
Conference, {CP} 2017, Melbourne, VIC, Australia, August 28 - September
1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10416},
pages = {689--706},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66158-2\_44},
doi = {10.1007/978-3-319-66158-2\_44},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/AlbarghouthiKNS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/MerrellAD17,
author = {David Merrell and
Aws Albarghouthi and
Loris D'Antoni},
editor = {Carles Sierra},
title = {Weighted Model Integration with Orthogonal Transformations},
booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on
Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
19-25, 2017},
pages = {4610--4616},
publisher = {ijcai.org},
year = {2017},
url = {https://doi.org/10.24963/ijcai.2017/643},
doi = {10.24963/IJCAI.2017/643},
timestamp = {Tue, 20 Aug 2019 16:16:54 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/MerrellAD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Albarghouthi17,
author = {Aws Albarghouthi},
editor = {Francesco Ranzato},
title = {Probabilistic Horn Clause Verification},
booktitle = {Static Analysis - 24th International Symposium, {SAS} 2017, New York,
NY, USA, August 30 - September 1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10422},
pages = {1--22},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66706-5\_1},
doi = {10.1007/978-3-319-66706-5\_1},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/Albarghouthi17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/SmithFA17,
author = {Calvin Smith and
Gabriel Ferns and
Aws Albarghouthi},
editor = {Eric Bodden and
Wilhelm Sch{\"{a}}fer and
Arie van Deursen and
Andrea Zisman},
title = {Discovering relational specifications},
booktitle = {Proceedings of the 2017 11th Joint Meeting on Foundations of Software
Engineering, {ESEC/FSE} 2017, Paderborn, Germany, September 4-8, 2017},
pages = {616--626},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3106237.3106279},
doi = {10.1145/3106237.3106279},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/SmithFA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AlbarghouthiDDN17,
author = {Aws Albarghouthi and
Loris D'Antoni and
Samuel Drews and
Aditya V. Nori},
title = {Quantifying Program Bias},
journal = {CoRR},
volume = {abs/1702.05437},
year = {2017},
url = {http://arxiv.org/abs/1702.05437},
eprinttype = {arXiv},
eprint = {1702.05437},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AlbarghouthiDDN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1709-05361,
author = {Aws Albarghouthi and
Justin Hsu},
title = {Synthesizing Coupling Proofs of Differential Privacy},
journal = {CoRR},
volume = {abs/1709.05361},
year = {2017},
url = {http://arxiv.org/abs/1709.05361},
eprinttype = {arXiv},
eprint = {1709.05361},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-05361.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/DrewsA16,
author = {Samuel Drews and
Aws Albarghouthi},
editor = {Swarat Chaudhuri and
Azadeh Farzan},
title = {Effectively Propositional Interpolants},
booktitle = {Computer Aided Verification - 28th International Conference, {CAV}
2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9780},
pages = {210--229},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41540-6\_12},
doi = {10.1007/978-3-319-41540-6\_12},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/DrewsA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SmithA16,
author = {Calvin Smith and
Aws Albarghouthi},
editor = {Chandra Krintz and
Emery D. Berger},
title = {MapReduce program synthesis},
booktitle = {Proceedings of the 37th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2016, Santa Barbara, CA,
USA, June 13-17, 2016},
pages = {326--340},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2908080.2908102},
doi = {10.1145/2908080.2908102},
timestamp = {Sat, 30 Sep 2023 09:54:48 +0200},
biburl = {https://dblp.org/rec/conf/pldi/SmithA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/AlbarghouthiDG16,
author = {Aws Albarghouthi and
Isil Dillig and
Arie Gurfinkel},
editor = {Rastislav Bod{\'{\i}}k and
Rupak Majumdar},
title = {Maximal specification synthesis},
booktitle = {Proceedings of the 43rd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2016, St. Petersburg,
FL, USA, January 20 - 22, 2016},
pages = {789--801},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2837614.2837628},
doi = {10.1145/2837614.2837628},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/AlbarghouthiDG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AlbarghouthiDDN16,
author = {Aws Albarghouthi and
Loris D'Antoni and
Samuel Drews and
Aditya V. Nori},
title = {Fairness as a Program Property},
journal = {CoRR},
volume = {abs/1610.06067},
year = {2016},
url = {http://arxiv.org/abs/1610.06067},
eprinttype = {arXiv},
eprint = {1610.06067},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AlbarghouthiDDN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ca/Albarghouthi15,
author = {Aws Albarghouthi},
title = {Software Verification with Program-Graph Interpolation and Abstraction},
school = {University of Toronto, Canada},
year = {2015},
url = {http://hdl.handle.net/1807/69199},
timestamp = {Fri, 29 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ca/Albarghouthi15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/AlbarghouthiBCK15,
author = {Aws Albarghouthi and
Josh Berdine and
Byron Cook and
Zachary Kincaid},
editor = {Jan Vitek},
title = {Spatial Interpolants},
booktitle = {Programming Languages and Systems - 24th European Symposium on Programming,
{ESOP} 2015, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2015, London, UK, April 11-18, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9032},
pages = {634--660},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46669-8\_26},
doi = {10.1007/978-3-662-46669-8\_26},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/AlbarghouthiBCK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AlbarghouthiBCK15,
author = {Aws Albarghouthi and
Josh Berdine and
Byron Cook and
Zachary Kincaid},
title = {Spatial Interpolants},
journal = {CoRR},
volume = {abs/1501.04100},
year = {2015},
url = {http://arxiv.org/abs/1501.04100},
eprinttype = {arXiv},
eprint = {1501.04100},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AlbarghouthiBCK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/LiAKGC14,
author = {Yi Li and
Aws Albarghouthi and
Zachary Kincaid and
Arie Gurfinkel and
Marsha Chechik},
editor = {Suresh Jagannathan and
Peter Sewell},
title = {Symbolic optimization with {SMT} solvers},
booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21,
2014},
pages = {607--618},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2535838.2535857},
doi = {10.1145/2535838.2535857},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/LiAKGC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AlbarghouthiM13,
author = {Aws Albarghouthi and
Kenneth L. McMillan},
editor = {Natasha Sharygina and
Helmut Veith},
title = {Beautiful Interpolants},
booktitle = {Computer Aided Verification - 25th International Conference, {CAV}
2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8044},
pages = {313--329},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39799-8\_22},
doi = {10.1007/978-3-642-39799-8\_22},
timestamp = {Wed, 07 Dec 2022 23:12:58 +0100},
biburl = {https://dblp.org/rec/conf/cav/AlbarghouthiM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AlbarghouthiGK13,
author = {Aws Albarghouthi and
Sumit Gulwani and
Zachary Kincaid},
editor = {Natasha Sharygina and
Helmut Veith},
title = {Recursive Program Synthesis},
booktitle = {Computer Aided Verification - 25th International Conference, {CAV}
2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8044},
pages = {934--950},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39799-8\_67},
doi = {10.1007/978-3-642-39799-8\_67},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/AlbarghouthiGK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AlbarghouthiGLCC13,
author = {Aws Albarghouthi and
Arie Gurfinkel and
Yi Li and
Sagar Chaki and
Marsha Chechik},
editor = {Nir Piterman and
Scott A. Smolka},
title = {{UFO:} Verification with Interpolants and Abstract Interpretation
- (Competition Contribution)},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 19th International Conference, {TACAS} 2013, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2013, Rome, Italy, March 16-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7795},
pages = {637--640},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36742-7\_52},
doi = {10.1007/978-3-642-36742-7\_52},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/AlbarghouthiGLCC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AlbarghouthiLGC12,
author = {Aws Albarghouthi and
Yi Li and
Arie Gurfinkel and
Marsha Chechik},
editor = {P. Madhusudan and
Sanjit A. Seshia},
title = {Ufo: {A} Framework for Abstraction- and Interpolation-Based Software
Verification},
booktitle = {Computer Aided Verification - 24th International Conference, {CAV}
2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7358},
pages = {672--678},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31424-7\_48},
doi = {10.1007/978-3-642-31424-7\_48},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/AlbarghouthiLGC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/AlbarghouthiKNR12,
author = {Aws Albarghouthi and
Rahul Kumar and
Aditya V. Nori and
Sriram K. Rajamani},
editor = {Jan Vitek and
Haibo Lin and
Frank Tip},
title = {Parallelizing top-down interprocedural analyses},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '12, Beijing, China - June 11 - 16, 2012},
pages = {217--228},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2254064.2254091},
doi = {10.1145/2254064.2254091},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/pldi/AlbarghouthiKNR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/AlbarghouthiGC12,
author = {Aws Albarghouthi and
Arie Gurfinkel and
Marsha Chechik},
editor = {Antoine Min{\'{e}} and
David Schmidt},
title = {Craig Interpretation},
booktitle = {Static Analysis - 19th International Symposium, {SAS} 2012, Deauville,
France, September 11-13, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7460},
pages = {300--316},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33125-1\_21},
doi = {10.1007/978-3-642-33125-1\_21},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sas/AlbarghouthiGC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AlbarghouthiGC12,
author = {Aws Albarghouthi and
Arie Gurfinkel and
Marsha Chechik},
editor = {Cormac Flanagan and
Barbara K{\"{o}}nig},
title = {From Under-Approximations to Over-Approximations and Back},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 18th International Conference, {TACAS} 2012, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7214},
pages = {157--172},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28756-5\_12},
doi = {10.1007/978-3-642-28756-5\_12},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/AlbarghouthiGC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/AlbarghouthiGC12,
author = {Aws Albarghouthi and
Arie Gurfinkel and
Marsha Chechik},
editor = {Viktor Kuncak and
Andrey Rybalchenko},
title = {Whale: An Interpolation-Based Algorithm for Inter-procedural Verification},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 13th International
Conference, {VMCAI} 2012, Philadelphia, PA, USA, January 22-24, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7148},
pages = {39--55},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27940-9\_4},
doi = {10.1007/978-3-642-27940-9\_4},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/AlbarghouthiGC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AlbarghouthiGWC10,
author = {Aws Albarghouthi and
Arie Gurfinkel and
Ou Wei and
Marsha Chechik},
editor = {Tayssir Touili and
Byron Cook and
Paul B. Jackson},
title = {Abstract Analysis of Symbolic Executions},
booktitle = {Computer Aided Verification, 22nd International Conference, {CAV}
2010, Edinburgh, UK, July 15-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6174},
pages = {495--510},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14295-6\_43},
doi = {10.1007/978-3-642-14295-6\_43},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/AlbarghouthiGWC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-11 20:15 CEST 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:
