BibTeX records: Alejandro Aguirre 0001

download as .bib file

@article{DBLP:journals/jfp/AguirreBGGS19,
  author    = {Alejandro Aguirre and
               Gilles Barthe and
               Marco Gaboardi and
               Deepak Garg and
               Pierre{-}Yves Strub},
  title     = {A relational logic for higher-order programs},
  journal   = {J. Funct. Program.},
  volume    = {29},
  pages     = {e16},
  year      = {2019},
  url       = {https://doi.org/10.1017/S0956796819000145},
  doi       = {10.1017/S0956796819000145},
  timestamp = {Tue, 16 Jun 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/jfp/AguirreBGGS19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/SatoABGGH19,
  author    = {Tetsuya Sato and
               Alejandro Aguirre and
               Gilles Barthe and
               Marco Gaboardi and
               Deepak Garg and
               Justin Hsu},
  title     = {Formal verification of higher-order probabilistic programs: reasoning
               about approximation, convergence, Bayesian inference, and optimization},
  journal   = {Proc. {ACM} Program. Lang.},
  volume    = {3},
  number    = {{POPL}},
  pages     = {38:1--38:30},
  year      = {2019},
  url       = {https://doi.org/10.1145/3290351},
  doi       = {10.1145/3290351},
  timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/pacmpl/SatoABGGH19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1901-06540,
  author    = {Alejandro Aguirre and
               Gilles Barthe and
               Justin Hsu and
               Benjamin Lucien Kaminski and
               Joost{-}Pieter Katoen and
               Christoph Matheja},
  title     = {Kantorovich Continuity of Probabilistic Programs},
  journal   = {CoRR},
  volume    = {abs/1901.06540},
  year      = {2019},
  url       = {http://arxiv.org/abs/1901.06540},
  archivePrefix = {arXiv},
  eprint    = {1901.06540},
  timestamp = {Sat, 02 Feb 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1901-06540.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/0001BBBG018,
  author    = {Alejandro Aguirre and
               Gilles Barthe and
               Lars Birkedal and
               Ales Bizjak and
               Marco Gaboardi and
               Deepak Garg},
  editor    = {Amal Ahmed},
  title     = {Relational Reasoning for Markov Chains in a Probabilistic Guarded
               Lambda Calculus},
  booktitle = {Programming Languages and Systems - 27th European Symposium on Programming,
               {ESOP} 2018, Held as Part of the European Joint Conferences on Theory
               and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April
               14-20, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10801},
  pages     = {214--241},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-89884-1\_8},
  doi       = {10.1007/978-3-319-89884-1\_8},
  timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/esop/0001BBBG018.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/0001BH018,
  author    = {Alejandro Aguirre and
               Gilles Barthe and
               Justin Hsu and
               Alexandra Silva},
  editor    = {Ioannis Chatzigiannakis and
               Christos Kaklamanis and
               D{\'{a}}niel Marx and
               Donald Sannella},
  title     = {Almost Sure Productivity},
  booktitle = {45th International Colloquium on Automata, Languages, and Programming,
               {ICALP} 2018, July 9-13, 2018, Prague, Czech Republic},
  series    = {LIPIcs},
  volume    = {107},
  pages     = {113:1--113:15},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2018},
  url       = {https://doi.org/10.4230/LIPIcs.ICALP.2018.113},
  doi       = {10.4230/LIPIcs.ICALP.2018.113},
  timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/icalp/0001BH018.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-06283,
  author    = {Alejandro Aguirre and
               Gilles Barthe and
               Justin Hsu and
               Alexandra Silva},
  title     = {Almost Sure Productivity},
  journal   = {CoRR},
  volume    = {abs/1802.06283},
  year      = {2018},
  url       = {http://arxiv.org/abs/1802.06283},
  archivePrefix = {arXiv},
  eprint    = {1802.06283},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1802-06283.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-09787,
  author    = {Alejandro Aguirre and
               Gilles Barthe and
               Lars Birkedal and
               Ales Bizjak and
               Marco Gaboardi and
               Deepak Garg},
  title     = {Relational Reasoning for Markov Chains in a Probabilistic Guarded
               Lambda Calculus},
  journal   = {CoRR},
  volume    = {abs/1802.09787},
  year      = {2018},
  url       = {http://arxiv.org/abs/1802.09787},
  archivePrefix = {arXiv},
  eprint    = {1802.09787},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1802-09787.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-06091,
  author    = {Tetsuya Sato and
               Alejandro Aguirre and
               Gilles Barthe and
               Marco Gaboardi and
               Deepak Garg and
               Justin Hsu},
  title     = {Formal verification of higher-order probabilistic programs},
  journal   = {CoRR},
  volume    = {abs/1807.06091},
  year      = {2018},
  url       = {http://arxiv.org/abs/1807.06091},
  archivePrefix = {arXiv},
  eprint    = {1807.06091},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1807-06091.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/AguirreBG0S17,
  author    = {Alejandro Aguirre and
               Gilles Barthe and
               Marco Gaboardi and
               Deepak Garg and
               Pierre{-}Yves Strub},
  title     = {A relational logic for higher-order programs},
  journal   = {Proc. {ACM} Program. Lang.},
  volume    = {1},
  number    = {{ICFP}},
  pages     = {21:1--21:29},
  year      = {2017},
  url       = {https://doi.org/10.1145/3110265},
  doi       = {10.1145/3110265},
  timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/pacmpl/AguirreBG0S17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AguirreBG0S17,
  author    = {Alejandro Aguirre and
               Gilles Barthe and
               Marco Gaboardi and
               Deepak Garg and
               Pierre{-}Yves Strub},
  title     = {A Relational Logic for Higher-Order Programs},
  journal   = {CoRR},
  volume    = {abs/1703.05042},
  year      = {2017},
  url       = {http://arxiv.org/abs/1703.05042},
  archivePrefix = {arXiv},
  eprint    = {1703.05042},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/AguirreBG0S17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics