• Sign in
  • Sign up
conf.researchr.org / Gordon Stewart
  • PLDI 2016 profile
  • PLDI 2018 profile
  • PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
  • POPL 2018 profile
  • POPL 2019 profile
  • POPL 2020 profile
No Photo

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
xSun 25 May 15:52
using conf.researchr.org (v1.69.0)
Support page
Sign Up