Gordon Stewart -

Registered user since Sun 25 Oct 2015

Name:Gordon Stewart

Affiliation:Ohio University

Personal website: http://oucsace.cs.ohiou.edu/~gstewart/

Contributions

2020

LAFI

Author of Coinductive Trees for Exact Inference of Probabilistic Programs within the LAFI (né PPS)-track

2019

CoqPL

Committee Member in Program Committee within the CoqPL-track

2018

DeepSpec

Speaker of Machine-Verified Machine Learning within the DeepSpec 2018-track

Symposium on Practical Aspects of Declarative Languages

Author of Snaarkl: Somewhat Practical, Pretty Much Declarative Verifiable Computing in Haskell within the PADL 2018-track

2017

MAPS

Author of Verified Perceptron Convergence Theorem within the MAPL 2017-track

2016

PLDI

Committee Member in External Review Committee