Alexander Bagnall, Samuel Merten, and Gordon Stewart. 2017. Brief Announcement: Certified Multiplicative Weights Update: Verified Learning Without Regret. In Proceedings of the ACM Symposium on Principles of Distributed Computing (PODC '17).
Gordon Stewart, Samuel Merten, and Logan Leland. 2018. Snårkl: Somewhat Practical, Pretty Much Declarative Verifiable Computing in Haskell. To appear in: International Symposium on Practical Aspects of Declarative Languages (PADL '18).
I serve as the graduate advisor and programming contest coach for Ohio
University's student chapter of ACM.
We've recently started a programming languages reading group led by Dr. Stewart.
More info about our readings and schedule can be found here