SC-Haskell: Sequential Consistency in Languages That Minimize Mutable Shared Heap. - Michael Vollmer 003; Ryan G. Scott; Madanlal Musuvathi; Ryan R. Newton (PPoPP, 2017)

Deriving Law-Abiding Instances. - Ryan G. Scott; Vikraman Choudhury; Ryan Newton; Niki Vazou; Ranjit Jhala (CoRR, 2017)

Monadic composition for deterministic, parallel batch processing. - Ryan G. Scott; Omar S. Navarro Leija; Joseph Devietti; Ryan R. Newton (Proc. ACM Program. Lang., 2017)

Refinement reflection: complete verification with SMT. - Niki Vazou; Anish Tondwalkar; Vikraman Choudhury; Ryan G. Scott; Ryan R. Newton; Philip Wadler; Ranjit Jhala (Proc. ACM Program. Lang., 2018)

Generic and flexible defaults for verified, law-abiding type-class instances. - Ryan G. Scott; Ryan R. Newton (Haskell@ICFP, 2019)

Reproducible Containers. - Omar S. Navarro Leija; Kelly Shiptoski; Ryan G. Scott; Baojun Wang; Nicholas Renner; Ryan R. Newton; Joseph Devietti (ASPLOS, 2020)

Lower your guards: a compositional pattern-match coverage checker. - Sebastian Graf 004; Simon Peyton Jones; Ryan G. Scott (Proc. ACM Program. Lang., 2020)

Trustworthy Runtime Verification via Bisimulation (Experience Report). - Ryan G. Scott; Mike Dodds; Ivan Perez 001; Alwyn E. Goodloe; Robert Dockins (Proc. ACM Program. Lang., 2023)

Macaw: A Machine Code Toolbox for the Busy Binary Analyst. - Ryan G. Scott; Brett Boston; Benjamin Davis; Iavor S. Diatchki; Mike Dodds; Joe Hendrix; Daniel Matichuk; Kevin Quick; Tristan Ravitch; Valentin Robert; Benjamin Selfridge; Andrei Stefanescu; et al. (CoRR, 2024)

Crux, a Precise Verifier for Rust and Other Languages. - Stuart Pernsteiner; Iavor S. Diatchki; Robert Dockins; Mike Dodds; Joe Hendrix; Tristan Ravitch; Patrick Redmond; Ryan G. Scott; Aaron Tomb (CoRR, 2024)