379 Stocker Center
My research interests include programming languages, compilers, and probabilistic programming / machine learning.
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