379 Stocker Center
My research interests include programming languages, compilers, and formal methods of software verification. I also dabble in machine learning and computer graphics.
|02/19||Attended AAAI 2019 in Honolulu, Hawaii.|
|05/18||I will be interning at Galois in Portland, Oregon this summer working on probabilistic programming languages with Eddy Westbrook.|
|07/17||I was lucky enough to attend the first week of DeepSpec Summer School 2017 in Philadelpha featuring lectures from Pierce, Leroy, Weirich, and Zdancewic.|
|07/17||Attended PODC 2017 in Washington, DC.|
|01/17||TA for CS 4100: Introduction to Formal Languages and Compilers in Spring 2017, taught by Dr. Stewart.|
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