379 Stocker Center
ab667712@ohio.edu
My research interests include programming languages, compilers, and probabilistic programming / machine learning.
CV here
Publications
-
Coinductive Trees for Exact Inference of Probabilistic Programs
Alexander Bagnall, Gordon Stewart, and Anindya Banerjee. LAFI’20: Languages for Inference -
Certifying the True Error: Machine Learning in Coq with Verified Generalization Guarantees
Alexander Bagnall and Gordon Stewart. AAAI-19: Thirty-Third AAAI Conference on Artificial Intelligence -
Verified Learning Without Regret.
Samuel Merten, Alexander Bagnall, and Gordon Stewart. ESOP’18: The 27th European Symposium on Programming -
A Library for Algorithmic Game Theory in Ssreflect/Coq.
Alexander Bagnall, Samuel Merten, and Gordon Stewart. Journal of Formalized Reasoning. December 2017 -
Brief Announcement: Certified Multiplicative Weights Update.
Alexander Bagnall, Samuel Merten, and Gordon Stewart. PODC’17: The 36th ACM Symposium on Principles of Distributed Computing