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 2023	Program Chair in Program Committee within the HIW 2023-track
ECOOP 2023	Author of Interaction Tree Specifications: A Framework for Specifying Recursive, Effectful Computations that Supports Auto-active Verification within the Research Papers-track
ICFP 2020	Author of Lower Your Guards: A Compositional Pattern-Match Coverage Checker within the ICFP Program-track
HIW 2020	Committee Member in Program Committee within the HIW 2020-track
Haskell 2019	Author of Generic and Flexible Defaults for Verified, Law-Abiding Type-Class Instances within the Haskell 2019-track
HIW 2019	Author of Visible dependent quantification within the HIW 2019-track
Haskell 2018	Author of Deriving Via: or, How to Turn Hand-Written Instances into an Anti-pattern within the Haskell 2018-track
HIW 2018	Author of Generalized Abstract GHC.Generics within the HIW 2018-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
ICFP 2017	Committee Member in Artifact Evaluation Committee within the Research Artifacts-track