Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Gordon Stewart
conf.researchr.org general profile
PLDI 2016 profile
PLDI 2018 profile
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
POPL 2018 profile
POPL 2019 profile
POPL 2020 profile
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
Share
x
Tue 5 Dec 02:09