conf.researchr.org / Ryan Scott
Ryan Scott

Registered user since Fri 28 Apr 2017

Name: Ryan Scott

Country: United States

Affiliation: Indiana University at Bloomington, USA

Personal website: http://ryanglscott.github.io/

Research interests: Generic Programming, Haskell, Language design

Contributions

HIW 2020Committee Member in Organizing Committee within the HIW 2020-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