conf.researchr.org / Ryan Scott
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 2020Committee Member in Program Committee within the HIW 2020-track
ICFP 2020Author of Lower Your Guards: A Compositional Pattern-Match Coverage Checker within the ICFP Program-track
HIW 2019Author of Visible dependent quantification within the HIW 2019-track
Haskell 2019Author of Generic and Flexible Defaults for Verified, Law-Abiding Type-Class Instances within the Haskell 2019-track
HIW 2018Author of Generalized Abstract GHC.Generics within the HIW 2018-track
Haskell 2018Author of Deriving Via: or, How to Turn Hand-Written Instances into an Anti-pattern within the Haskell 2018-track
ICFP 2017Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
POPL 2018Author 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 2017Author of Monadic Composition for Deterministic, Parallel Batch Processing within the OOPSLA-track