BibTeX records: Aws Albarghouthi

download as .bib file

@article{DBLP:journals/pacmpl/SmithHA19,
  author    = {Calvin Smith and
               Justin Hsu and
               Aws Albarghouthi},
  title     = {Trace abstraction modulo probability},
  journal   = {{PACMPL}},
  volume    = {3},
  number    = {{POPL}},
  pages     = {39:1--39:31},
  year      = {2019},
  url       = {https://dl.acm.org/citation.cfm?id=3290352},
  timestamp = {Tue, 22 Jan 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/pacmpl/SmithHA19},
  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   = {{PVLDB}},
  volume    = {12},
  number    = {6},
  pages     = {695--708},
  year      = {2019},
  url       = {http://www.vldb.org/pvldb/vol12/p695-fan.pdf},
  timestamp = {Tue, 02 Apr 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/pvldb/FanZZAKP19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fat/AlbarghouthiV19,
  author    = {Aws Albarghouthi and
               Samuel Vinitsky},
  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},
  year      = {2019},
  crossref  = {DBLP:conf/fat/2019},
  url       = {https://doi.org/10.1145/3287560.3287588},
  doi       = {10.1145/3287560.3287588},
  timestamp = {Wed, 27 Feb 2019 10:53:44 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fat/AlbarghouthiV19},
  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},
  year      = {2019},
  crossref  = {DBLP:conf/hri/2019},
  url       = {https://doi.org/10.1109/HRI.2019.8673221},
  doi       = {10.1109/HRI.2019.8673221},
  timestamp = {Fri, 29 Mar 2019 08:30:26 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/hri/PorfirioSAM19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/SmithA19,
  author    = {Calvin Smith and
               Aws Albarghouthi},
  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},
  pages     = {24--47},
  year      = {2019},
  crossref  = {DBLP:conf/vmcai/2019},
  url       = {https://doi.org/10.1007/978-3-030-11245-5\_2},
  doi       = {10.1007/978-3-030-11245-5\_2},
  timestamp = {Mon, 14 Jan 2019 18:17:59 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/SmithA19},
  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   = {{PACMPL}},
  volume    = {2},
  number    = {{POPL}},
  pages     = {58:1--58:30},
  year      = {2018},
  url       = {https://doi.org/10.1145/3158146},
  doi       = {10.1145/3158146},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/pacmpl/AlbarghouthiH18},
  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   = {{TOS}},
  volume    = {14},
  number    = {3},
  pages     = {21:1--21:30},
  year      = {2018},
  url       = {https://dl.acm.org/citation.cfm?id=3241062},
  timestamp = {Fri, 07 Dec 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tos/AlagappanGLACAA18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AlbarghouthiH18,
  author    = {Aws Albarghouthi and
               Justin Hsu},
  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}},
  pages     = {327--346},
  year      = {2018},
  crossref  = {DBLP:conf/cav/2018-1},
  url       = {https://doi.org/10.1007/978-3-319-96145-3\_18},
  doi       = {10.1007/978-3-319-96145-3\_18},
  timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/AlbarghouthiH18},
  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},
  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},
  year      = {2018},
  crossref  = {DBLP:conf/fast/2018},
  url       = {https://www.usenix.org/conference/fast18/presentation/alagappan},
  timestamp = {Mon, 19 Feb 2018 16:02:56 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fast/AlagappanGLACAA18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/KetsmanAK18,
  author    = {Bas Ketsman and
               Aws Albarghouthi and
               Paraschos Koutris},
  title     = {Distribution Policies for Datalog},
  booktitle = {21st International Conference on Database Theory, {ICDT} 2018, March
               26-29, 2018, Vienna, Austria},
  pages     = {17:1--17:22},
  year      = {2018},
  crossref  = {DBLP:conf/icdt/2018},
  url       = {https://doi.org/10.4230/LIPIcs.ICDT.2018.17},
  doi       = {10.4230/LIPIcs.ICDT.2018.17},
  timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icdt/KetsmanAK18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Albarghouthi18,
  author    = {Aws Albarghouthi},
  title     = {Fairness: {A} Formal-Methods Perspective},
  booktitle = {Static Analysis - 25th International Symposium, {SAS} 2018, Freiburg,
               Germany, August 29-31, 2018, Proceedings},
  pages     = {1--4},
  year      = {2018},
  crossref  = {DBLP:conf/sas/2018},
  url       = {https://doi.org/10.1007/978-3-319-99725-4\_1},
  doi       = {10.1007/978-3-319-99725-4\_1},
  timestamp = {Wed, 29 Aug 2018 12:01:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sas/Albarghouthi18},
  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},
  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},
  year      = {2018},
  crossref  = {DBLP:conf/sigsoft/2018},
  url       = {https://doi.org/10.1145/3236024.3236066},
  doi       = {10.1145/3236024.3236066},
  timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/ZhaoARJO18},
  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},
  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},
  year      = {2018},
  crossref  = {DBLP:conf/sigsoft/2018},
  url       = {https://doi.org/10.1145/3236024.3236034},
  doi       = {10.1145/3236024.3236034},
  timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/SiLZAKN18},
  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},
  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},
  year      = {2018},
  crossref  = {DBLP:conf/uist/2018},
  url       = {https://doi.org/10.1145/3242587.3242634},
  doi       = {10.1145/3242587.3242634},
  timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/uist/PorfirioSAM18},
  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},
  archivePrefix = {arXiv},
  eprint    = {1804.04052},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1804-04052},
  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},
  archivePrefix = {arXiv},
  eprint    = {1809.04059},
  timestamp = {Fri, 05 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1809-04059},
  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},
  archivePrefix = {arXiv},
  eprint    = {1810.12396},
  timestamp = {Thu, 08 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1810-12396},
  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},
  archivePrefix = {arXiv},
  eprint    = {1812.03975},
  timestamp = {Tue, 01 Jan 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1812-03975},
  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   = {{PACMPL}},
  volume    = {1},
  number    = {{OOPSLA}},
  pages     = {80:1--80:30},
  year      = {2017},
  url       = {https://doi.org/10.1145/3133904},
  doi       = {10.1145/3133904},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/pacmpl/AlbarghouthiDDN17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AlbarghouthiDD17,
  author    = {Aws Albarghouthi and
               Loris D'Antoni and
               Samuel Drews},
  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}},
  pages     = {181--200},
  year      = {2017},
  crossref  = {DBLP:conf/cav/2017-1},
  url       = {https://doi.org/10.1007/978-3-319-63387-9\_9},
  doi       = {10.1007/978-3-319-63387-9\_9},
  timestamp = {Fri, 14 Jul 2017 12:52:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/AlbarghouthiDD17},
  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},
  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},
  pages     = {689--706},
  year      = {2017},
  crossref  = {DBLP:conf/cp/2017},
  url       = {https://doi.org/10.1007/978-3-319-66158-2\_44},
  doi       = {10.1007/978-3-319-66158-2\_44},
  timestamp = {Wed, 23 Aug 2017 10:12:25 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cp/AlbarghouthiKNS17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/MerrellAD17,
  author    = {David Merrell and
               Aws Albarghouthi and
               Loris D'Antoni},
  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},
  year      = {2017},
  crossref  = {DBLP:conf/ijcai/2017},
  url       = {https://doi.org/10.24963/ijcai.2017/643},
  doi       = {10.24963/ijcai.2017/643},
  timestamp = {Wed, 27 Jun 2018 12:24:11 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/MerrellAD17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Albarghouthi17,
  author    = {Aws Albarghouthi},
  title     = {Probabilistic Horn Clause Verification},
  booktitle = {Static Analysis - 24th International Symposium, {SAS} 2017, New York,
               NY, USA, August 30 - September 1, 2017, Proceedings},
  pages     = {1--22},
  year      = {2017},
  crossref  = {DBLP:conf/sas/2017},
  url       = {https://doi.org/10.1007/978-3-319-66706-5\_1},
  doi       = {10.1007/978-3-319-66706-5\_1},
  timestamp = {Tue, 22 Aug 2017 07:32:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sas/Albarghouthi17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/SmithFA17,
  author    = {Calvin Smith and
               Gabriel Ferns and
               Aws Albarghouthi},
  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},
  year      = {2017},
  crossref  = {DBLP:conf/sigsoft/2017},
  url       = {https://doi.org/10.1145/3106237.3106279},
  doi       = {10.1145/3106237.3106279},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/SmithFA17},
  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},
  archivePrefix = {arXiv},
  eprint    = {1702.05437},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/AlbarghouthiDDN17},
  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},
  archivePrefix = {arXiv},
  eprint    = {1709.05361},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1709-05361},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/DrewsA16,
  author    = {Samuel Drews and
               Aws Albarghouthi},
  title     = {Effectively Propositional Interpolants},
  booktitle = {Computer Aided Verification - 28th International Conference, {CAV}
               2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {II}},
  pages     = {210--229},
  year      = {2016},
  crossref  = {DBLP:conf/cav/2016-2},
  url       = {https://doi.org/10.1007/978-3-319-41540-6\_12},
  doi       = {10.1007/978-3-319-41540-6\_12},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/DrewsA16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SmithA16,
  author    = {Calvin Smith and
               Aws Albarghouthi},
  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},
  year      = {2016},
  crossref  = {DBLP:conf/pldi/2016},
  url       = {https://doi.org/10.1145/2908080.2908102},
  doi       = {10.1145/2908080.2908102},
  timestamp = {Tue, 06 Nov 2018 16:59:30 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/SmithA16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/AlbarghouthiDG16,
  author    = {Aws Albarghouthi and
               Isil Dillig and
               Arie Gurfinkel},
  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},
  year      = {2016},
  crossref  = {DBLP:conf/popl/2016},
  url       = {https://doi.org/10.1145/2837614.2837628},
  doi       = {10.1145/2837614.2837628},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/AlbarghouthiDG16},
  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},
  archivePrefix = {arXiv},
  eprint    = {1610.06067},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/AlbarghouthiDDN16},
  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},
  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},
  pages     = {634--660},
  year      = {2015},
  crossref  = {DBLP:conf/esop/2015},
  url       = {https://doi.org/10.1007/978-3-662-46669-8\_26},
  doi       = {10.1007/978-3-662-46669-8\_26},
  timestamp = {Fri, 19 May 2017 01:25:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/AlbarghouthiBCK15},
  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},
  archivePrefix = {arXiv},
  eprint    = {1501.04100},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/AlbarghouthiBCK15},
  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},
  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},
  year      = {2014},
  crossref  = {DBLP:conf/popl/2014},
  url       = {https://doi.org/10.1145/2535838.2535857},
  doi       = {10.1145/2535838.2535857},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/LiAKGC14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AlbarghouthiM13,
  author    = {Aws Albarghouthi and
               Kenneth L. McMillan},
  title     = {Beautiful Interpolants},
  booktitle = {Computer Aided Verification - 25th International Conference, {CAV}
               2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
  pages     = {313--329},
  year      = {2013},
  crossref  = {DBLP:conf/cav/2013},
  url       = {https://doi.org/10.1007/978-3-642-39799-8\_22},
  doi       = {10.1007/978-3-642-39799-8\_22},
  timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/AlbarghouthiM13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AlbarghouthiGK13,
  author    = {Aws Albarghouthi and
               Sumit Gulwani and
               Zachary Kincaid},
  title     = {Recursive Program Synthesis},
  booktitle = {Computer Aided Verification - 25th International Conference, {CAV}
               2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
  pages     = {934--950},
  year      = {2013},
  crossref  = {DBLP:conf/cav/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/bib/conf/cav/AlbarghouthiGK13},
  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},
  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},
  pages     = {637--640},
  year      = {2013},
  crossref  = {DBLP:conf/tacas/2013},
  url       = {https://doi.org/10.1007/978-3-642-36742-7\_52},
  doi       = {10.1007/978-3-642-36742-7\_52},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/AlbarghouthiGLCC13},
  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},
  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},
  pages     = {672--678},
  year      = {2012},
  crossref  = {DBLP:conf/cav/2012},
  url       = {https://doi.org/10.1007/978-3-642-31424-7\_48},
  doi       = {10.1007/978-3-642-31424-7\_48},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cav/AlbarghouthiLGC12},
  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},
  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},
  year      = {2012},
  crossref  = {DBLP:conf/pldi/2012},
  url       = {https://doi.org/10.1145/2254064.2254091},
  doi       = {10.1145/2254064.2254091},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/AlbarghouthiKNR12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/AlbarghouthiGC12,
  author    = {Aws Albarghouthi and
               Arie Gurfinkel and
               Marsha Chechik},
  title     = {Craig Interpretation},
  booktitle = {Static Analysis - 19th International Symposium, {SAS} 2012, Deauville,
               France, September 11-13, 2012. Proceedings},
  pages     = {300--316},
  year      = {2012},
  crossref  = {DBLP:conf/sas/2012},
  url       = {https://doi.org/10.1007/978-3-642-33125-1\_21},
  doi       = {10.1007/978-3-642-33125-1\_21},
  timestamp = {Wed, 24 May 2017 08:27:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sas/AlbarghouthiGC12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AlbarghouthiGC12,
  author    = {Aws Albarghouthi and
               Arie Gurfinkel and
               Marsha Chechik},
  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},
  pages     = {157--172},
  year      = {2012},
  crossref  = {DBLP:conf/tacas/2012},
  url       = {https://doi.org/10.1007/978-3-642-28756-5\_12},
  doi       = {10.1007/978-3-642-28756-5\_12},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/AlbarghouthiGC12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/AlbarghouthiGC12,
  author    = {Aws Albarghouthi and
               Arie Gurfinkel and
               Marsha Chechik},
  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},
  pages     = {39--55},
  year      = {2012},
  crossref  = {DBLP:conf/vmcai/2012},
  url       = {https://doi.org/10.1007/978-3-642-27940-9\_4},
  doi       = {10.1007/978-3-642-27940-9\_4},
  timestamp = {Wed, 24 May 2017 08:30:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/AlbarghouthiGC12},
  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},
  title     = {Abstract Analysis of Symbolic Executions},
  booktitle = {Computer Aided Verification, 22nd International Conference, {CAV}
               2010, Edinburgh, UK, July 15-19, 2010. Proceedings},
  pages     = {495--510},
  year      = {2010},
  crossref  = {DBLP:conf/cav/2010},
  url       = {https://doi.org/10.1007/978-3-642-14295-6\_43},
  doi       = {10.1007/978-3-642-14295-6\_43},
  timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/AlbarghouthiGWC10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fat/2019,
  title     = {Proceedings of the Conference on Fairness, Accountability, and Transparency,
               FAT* 2019, Atlanta, GA, USA, January 29-31, 2019},
  publisher = {{ACM}},
  year      = {2019},
  url       = {https://dl.acm.org/citation.cfm?id=3287588},
  timestamp = {Wed, 27 Feb 2019 10:53:44 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fat/2019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hri/2019,
  title     = {14th {ACM/IEEE} International Conference on Human-Robot Interaction,
               {HRI} 2019, Daegu, South Korea, March 11-14, 2019},
  publisher = {{IEEE}},
  year      = {2019},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8666012},
  isbn      = {978-1-5386-8555-6},
  timestamp = {Fri, 29 Mar 2019 08:30:26 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/hri/2019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vmcai/2019,
  editor    = {Constantin Enea and
               Ruzica Piskac},
  title     = {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},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-11245-5},
  doi       = {10.1007/978-3-030-11245-5},
  isbn      = {978-3-030-11244-8},
  timestamp = {Mon, 14 Jan 2019 18:17:59 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/2019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2018-1,
  editor    = {Hana Chockler and
               Georg Weissenbacher},
  title     = {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},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-96145-3},
  doi       = {10.1007/978-3-319-96145-3},
  isbn      = {978-3-319-96144-6},
  timestamp = {Mon, 23 Jul 2018 17:17:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2018-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fast/2018,
  editor    = {Nitin Agrawal and
               Raju Rangaswami},
  title     = {16th {USENIX} Conference on File and Storage Technologies, {FAST}
               2018, Oakland, CA, USA, February 12-15, 2018},
  publisher = {{USENIX} Association},
  year      = {2018},
  url       = {https://www.usenix.org/conference/fast18},
  timestamp = {Mon, 19 Feb 2018 16:02:56 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fast/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icdt/2018,
  editor    = {Benny Kimelfeld and
               Yael Amsterdamer},
  title     = {21st International Conference on Database Theory, {ICDT} 2018, March
               26-29, 2018, Vienna, Austria},
  series    = {LIPIcs},
  volume    = {98},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2018},
  url       = {http://www.dagstuhl.de/dagpub/978-3-95977-063-7},
  isbn      = {978-3-95977-063-7},
  timestamp = {Mon, 05 Mar 2018 17:48:01 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icdt/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sas/2018,
  editor    = {Andreas Podelski},
  title     = {Static Analysis - 25th International Symposium, {SAS} 2018, Freiburg,
               Germany, August 29-31, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11002},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-99725-4},
  doi       = {10.1007/978-3-319-99725-4},
  isbn      = {978-3-319-99724-7},
  timestamp = {Wed, 29 Aug 2018 12:01:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sas/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2018,
  editor    = {Gary T. Leavens and
               Alessandro Garcia and
               Corina S. Pasareanu},
  title     = {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},
  publisher = {{ACM}},
  year      = {2018},
  url       = {http://dl.acm.org/citation.cfm?id=3236024},
  isbn      = {978-1-4503-5573-5},
  timestamp = {Sun, 28 Oct 2018 14:40:37 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/uist/2018,
  editor    = {Patrick Baudisch and
               Albrecht Schmidt and
               Andy Wilson},
  title     = {The 31st Annual {ACM} Symposium on User Interface Software and Technology,
               {UIST} 2018, Berlin, Germany, October 14-17, 2018},
  publisher = {{ACM}},
  year      = {2018},
  url       = {http://dl.acm.org/citation.cfm?id=3242587},
  isbn      = {978-1-4503-5948-1},
  timestamp = {Sun, 14 Oct 2018 16:22:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/uist/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2017-1,
  editor    = {Rupak Majumdar and
               Viktor Kuncak},
  title     = {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},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-63387-9},
  doi       = {10.1007/978-3-319-63387-9},
  isbn      = {978-3-319-63386-2},
  timestamp = {Fri, 14 Jul 2017 12:52:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2017-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cp/2017,
  editor    = {J. Christopher Beck},
  title     = {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},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-66158-2},
  doi       = {10.1007/978-3-319-66158-2},
  isbn      = {978-3-319-66157-5},
  timestamp = {Wed, 23 Aug 2017 10:12:25 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cp/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcai/2017,
  editor    = {Carles Sierra},
  title     = {Proceedings of the Twenty-Sixth International Joint Conference on
               Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
               19-25, 2017},
  publisher = {ijcai.org},
  year      = {2017},
  url       = {http://www.ijcai.org/Proceedings/2017/},
  isbn      = {978-0-9992411-0-3},
  timestamp = {Wed, 27 Jun 2018 12:24:11 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sas/2017,
  editor    = {Francesco Ranzato},
  title     = {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},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-66706-5},
  doi       = {10.1007/978-3-319-66706-5},
  isbn      = {978-3-319-66705-8},
  timestamp = {Tue, 22 Aug 2017 07:32:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sas/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2017,
  editor    = {Eric Bodden and
               Wilhelm Sch{\"{a}}fer and
               Arie van Deursen and
               Andrea Zisman},
  title     = {Proceedings of the 2017 11th Joint Meeting on Foundations of Software
               Engineering, {ESEC/FSE} 2017, Paderborn, Germany, September 4-8, 2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {http://dl.acm.org/citation.cfm?id=3106237},
  isbn      = {978-1-4503-5105-8},
  timestamp = {Wed, 16 Aug 2017 07:56:16 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2016-2,
  editor    = {Swarat Chaudhuri and
               Azadeh Farzan},
  title     = {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},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-41540-6},
  doi       = {10.1007/978-3-319-41540-6},
  isbn      = {978-3-319-41539-0},
  timestamp = {Thu, 25 May 2017 00:39:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2016-2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2016,
  editor    = {Chandra Krintz and
               Emery Berger},
  title     = {Proceedings of the 37th {ACM} {SIGPLAN} Conference on Programming
               Language Design and Implementation, {PLDI} 2016, Santa Barbara, CA,
               USA, June 13-17, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2908080},
  doi       = {10.1145/2908080},
  isbn      = {978-1-4503-4261-2},
  timestamp = {Tue, 06 Nov 2018 16:59:30 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/2016,
  editor    = {Rastislav Bod{\'{\i}}k and
               Rupak Majumdar},
  title     = {Proceedings of the 43rd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
               Principles of Programming Languages, {POPL} 2016, St. Petersburg,
               FL, USA, January 20 - 22, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {http://dl.acm.org/citation.cfm?id=2837614},
  isbn      = {978-1-4503-3549-2},
  timestamp = {Wed, 09 Mar 2016 08:11:59 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esop/2015,
  editor    = {Jan Vitek},
  title     = {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},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-662-46669-8},
  doi       = {10.1007/978-3-662-46669-8},
  isbn      = {978-3-662-46668-1},
  timestamp = {Fri, 19 May 2017 01:25:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/2014,
  editor    = {Suresh Jagannathan and
               Peter Sewell},
  title     = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
               Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21,
               2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2535838},
  isbn      = {978-1-4503-2544-8},
  timestamp = {Thu, 09 Jan 2014 08:21:22 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2013,
  editor    = {Natasha Sharygina and
               Helmut Veith},
  title     = {Computer Aided Verification - 25th International Conference, {CAV}
               2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8044},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-39799-8},
  doi       = {10.1007/978-3-642-39799-8},
  isbn      = {978-3-642-39798-1},
  timestamp = {Thu, 25 May 2017 00:39:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2013,
  editor    = {Nir Piterman and
               Scott A. Smolka},
  title     = {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},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-36742-7},
  doi       = {10.1007/978-3-642-36742-7},
  isbn      = {978-3-642-36741-0},
  timestamp = {Tue, 13 Jun 2017 11:34:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2012,
  editor    = {P. Madhusudan and
               Sanjit A. Seshia},
  title     = {Computer Aided Verification - 24th International Conference, {CAV}
               2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7358},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-31424-7},
  doi       = {10.1007/978-3-642-31424-7},
  isbn      = {978-3-642-31423-0},
  timestamp = {Thu, 25 May 2017 00:39:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2012,
  editor    = {Jan Vitek and
               Haibo Lin and
               Frank Tip},
  title     = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
               {PLDI} '12, Beijing, China - June 11 - 16, 2012},
  publisher = {{ACM}},
  year      = {2012},
  url       = {http://dl.acm.org/citation.cfm?id=2254064},
  isbn      = {978-1-4503-1205-9},
  timestamp = {Tue, 12 Jun 2012 19:17:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sas/2012,
  editor    = {Antoine Min{\'{e}} and
               David Schmidt},
  title     = {Static Analysis - 19th International Symposium, {SAS} 2012, Deauville,
               France, September 11-13, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7460},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-33125-1},
  doi       = {10.1007/978-3-642-33125-1},
  isbn      = {978-3-642-33124-4},
  timestamp = {Wed, 24 May 2017 08:27:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sas/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2012,
  editor    = {Cormac Flanagan and
               Barbara K{\"{o}}nig},
  title     = {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},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-28756-5},
  doi       = {10.1007/978-3-642-28756-5},
  isbn      = {978-3-642-28755-8},
  timestamp = {Wed, 24 May 2017 08:28:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vmcai/2012,
  editor    = {Viktor Kuncak and
               Andrey Rybalchenko},
  title     = {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},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-27940-9},
  doi       = {10.1007/978-3-642-27940-9},
  isbn      = {978-3-642-27939-3},
  timestamp = {Wed, 24 May 2017 08:30:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2010,
  editor    = {Tayssir Touili and
               Byron Cook and
               Paul B. Jackson},
  title     = {Computer Aided Verification, 22nd International Conference, {CAV}
               2010, Edinburgh, UK, July 15-19, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6174},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-14295-6},
  doi       = {10.1007/978-3-642-14295-6},
  isbn      = {978-3-642-14294-9},
  timestamp = {Thu, 25 May 2017 00:39:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics