Search dblp for Publications

export results for "Alexander Bagnall"

 download as .bib file

@article{DBLP:journals/pacmpl/Bagnall0023,
  author       = {Alexander Bagnall and
                  Gordon Stewart and
                  Anindya Banerjee},
  title        = {Formally Verified Samplers from Probabilistic Programs with Loops
                  and Conditioning},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {7},
  number       = {{PLDI}},
  pages        = {1--24},
  year         = {2023},
  url          = {https://doi.org/10.1145/3591220},
  doi          = {10.1145/3591220},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pacmpl/Bagnall0023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2301-09802,
  author       = {Alexander Bagnall and
                  Gordon Stewart and
                  Anindya Banerjee},
  title        = {Inductive Reasoning for Coinductive Types},
  journal      = {CoRR},
  volume       = {abs/2301.09802},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2301.09802},
  doi          = {10.48550/ARXIV.2301.09802},
  eprinttype    = {arXiv},
  eprint       = {2301.09802},
  timestamp    = {Thu, 26 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2301-09802.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2211-06747,
  author       = {Alexander Bagnall and
                  Gordon Stewart and
                  Anindya Banerjee},
  title        = {Formally Verified Samplers From Probabilistic Programs With Loops
                  and Conditioning},
  journal      = {CoRR},
  volume       = {abs/2211.06747},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2211.06747},
  doi          = {10.48550/ARXIV.2211.06747},
  eprinttype    = {arXiv},
  eprint       = {2211.06747},
  timestamp    = {Wed, 16 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2211-06747.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaai/Bagnall019,
  author       = {Alexander Bagnall and
                  Gordon Stewart},
  title        = {Certifying the True Error: Machine Learning in Coq with Verified Generalization
                  Guarantees},
  booktitle    = {The Thirty-Third {AAAI} Conference on Artificial Intelligence, {AAAI}
                  2019, The Thirty-First Innovative Applications of Artificial Intelligence
                  Conference, {IAAI} 2019, The Ninth {AAAI} Symposium on Educational
                  Advances in Artificial Intelligence, {EAAI} 2019, Honolulu, Hawaii,
                  USA, January 27 - February 1, 2019},
  pages        = {2662--2669},
  year         = {2019},
  crossref     = {DBLP:conf/aaai/2019},
  url          = {https://doi.org/10.1609/aaai.v33i01.33012662},
  doi          = {10.1609/AAAI.V33I01.33012662},
  timestamp    = {Mon, 04 Sep 2023 12:29:24 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Bagnall019.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/MertenBS18,
  author       = {Samuel Merten and
                  Alexander Bagnall and
                  Gordon Stewart},
  title        = {Verified Learning Without Regret - From Algorithmic Game Theory to
                  Distributed Systems with Mechanized Complexity Guarantees},
  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},
  pages        = {561--588},
  year         = {2018},
  crossref     = {DBLP:conf/esop/2018},
  url          = {https://doi.org/10.1007/978-3-319-89884-1\_20},
  doi          = {10.1007/978-3-319-89884-1\_20},
  timestamp    = {Tue, 05 Jul 2022 08:30:25 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/MertenBS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jfrea/BagnallMS17,
  author       = {Alexander Bagnall and
                  Samuel Merten and
                  Gordon Stewart},
  title        = {A Library for Algorithmic Game Theory in Ssreflect/Coq},
  journal      = {J. Formaliz. Reason.},
  volume       = {10},
  number       = {1},
  pages        = {67--95},
  year         = {2017},
  url          = {https://doi.org/10.6092/issn.1972-5787/7235},
  doi          = {10.6092/ISSN.1972-5787/7235},
  timestamp    = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfrea/BagnallMS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/podc/BagnallMS17,
  author       = {Alexander Bagnall and
                  Samuel Merten and
                  Gordon Stewart},
  title        = {Brief Announcement: Certified Multiplicative Weights Update: Verified
                  Learning Without Regret},
  booktitle    = {Proceedings of the {ACM} Symposium on Principles of Distributed Computing,
                  {PODC} 2017, Washington, DC, USA, July 25-27, 2017},
  pages        = {459--461},
  year         = {2017},
  crossref     = {DBLP:conf/podc/2017},
  url          = {https://doi.org/10.1145/3087801.3087852},
  doi          = {10.1145/3087801.3087852},
  timestamp    = {Tue, 06 Nov 2018 11:07:18 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/BagnallMS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1712-04006,
  author       = {Alexander Bagnall and
                  Razvan C. Bunescu and
                  Gordon Stewart},
  title        = {Training Ensembles to Detect Adversarial Examples},
  journal      = {CoRR},
  volume       = {abs/1712.04006},
  year         = {2017},
  url          = {http://arxiv.org/abs/1712.04006},
  eprinttype    = {arXiv},
  eprint       = {1712.04006},
  timestamp    = {Tue, 14 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1712-04006.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/aaai/2019,
  title        = {The Thirty-Third {AAAI} Conference on Artificial Intelligence, {AAAI}
                  2019, The Thirty-First Innovative Applications of Artificial Intelligence
                  Conference, {IAAI} 2019, The Ninth {AAAI} Symposium on Educational
                  Advances in Artificial Intelligence, {EAAI} 2019, Honolulu, Hawaii,
                  USA, January 27 - February 1, 2019},
  publisher    = {{AAAI} Press},
  year         = {2019},
  url          = {https://ojs.aaai.org/index.php/AAAI/issue/view/246},
  isbn         = {978-1-57735-809-1},
  timestamp    = {Sun, 28 Jul 2024 23:19:02 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/2019.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/esop/2018,
  editor       = {Amal Ahmed},
  title        = {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},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89884-1},
  doi          = {10.1007/978-3-319-89884-1},
  isbn         = {978-3-319-89883-4},
  timestamp    = {Sun, 28 Jul 2024 23:19:02 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/2018.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/podc/2017,
  editor       = {Elad Michael Schiller and
                  Alexander A. Schwarzmann},
  title        = {Proceedings of the {ACM} Symposium on Principles of Distributed Computing,
                  {PODC} 2017, Washington, DC, USA, July 25-27, 2017},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3087801},
  doi          = {10.1145/3087801},
  isbn         = {978-1-4503-4992-5},
  timestamp    = {Sun, 28 Jul 2024 23:19:02 +0200},
  biburl       = {https://dblp.org/rec/conf/podc/2017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.