• Sign in
  • Sign up
conf.researchr.org / Ryan Scott
  • ICFP 2017 profile
  • ICFP 2018 profile
  • ICFP 2019 profile
  • ICFP 2020 profile
  • POPL 2018 profile
  • SPLASH 2017 profile
Ryan Scott

Registered user since Fri 28 Apr 2017

Name:Ryan Scott
Country:United States
Affiliation:Galois, Inc.
Personal website:http://ryanglscott.github.io/
Research interests:Generic Programming, Haskell, Language design

Contributions

HIW 2020 Committee Member in Program Committee within the HIW 2020-track
ICFP 2020 Author of Lower Your Guards: A Compositional Pattern-Match Coverage Checker within the ICFP Program-track
HIW 2019 Author of Visible dependent quantification within the HIW 2019-track
Haskell 2019 Author of Generic and Flexible Defaults for Verified, Law-Abiding Type-Class Instances within the Haskell 2019-track
HIW 2018 Author of Generalized Abstract GHC.Generics within the HIW 2018-track
Haskell 2018 Author of Deriving Via: or, How to Turn Hand-Written Instances into an Anti-pattern within the Haskell 2018-track
ICFP 2017 Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
POPL 2018 Author of Refinement Reflection: Complete Verification with SMT within the Artifact Evaluation-track
Author of Refinement Reflection: Complete Verification with SMT within the Research Papers-track
SPLASH 2017 Author of Monadic Composition for Deterministic, Parallel Batch Processing within the OOPSLA-track

Share
xWed 25 May 09:56
using conf.researchr.org (v1.55.6)
Support page
Sign Up