|AAAI'19||Certifying the True Error: Machine Learning in Coq with Verified Generalization Guarantees. Alexander Bagnall and Gordon Stewart. Capsule summary: Machine learning in Coq with verified generalization guarantees, applied via TensorFlow to the extended MNIST Digits dataset|
|ESOP'18||Verified Learning Without Regret: From Algorithmic Game Theory to Distributed Systems With Mechanized Complexity Guarantees. Samuel Merten, Alexander Bagnall, and Gordon Stewart. Capsule summary: Verified Multiplicative Weights Update in Coq, with applications to online learning and distributed routing|
|PODC'17||Brief Announcement: Certified Multiplicative Weights Update. Alexander Bagnall, Samuel Merten, and Gordon Stewart.|
|ASPLOS'15||Ziria: A DSL for Wireless Systems Programming. G. Stewart, M. Gowda, G. Mainland, B. Radunovic, D. Vytiniotis, and C. Luengo Agullo.|
|POPL'15||Compositional CompCert. Gordon Stewart, Lennart Beringer, Santiago Cuellar, and Andrew W. Appel.|
The documents contained in these pages are included to ensure timely dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.