Ryan G. Scott

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 10

Top Topics

Legal Reasoning

Batch Processing

Top Venues

Proc. ACM Program. Lang.

Publications

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, Daniel Wagner, Simon Winwood
Macaw: A Machine Code Toolbox for the Busy Binary Analyst. CoRR (2024)
Ryan G. Scott, Mike Dodds, Ivan Perez, Alwyn E. Goodloe, Robert Dockins
Trustworthy Runtime Verification via Bisimulation (Experience Report). Proc. ACM Program. Lang. 7 (ICFP) (2023)
Sebastian Graf, Simon Peyton Jones, Ryan G. Scott
Lower your guards: a compositional pattern-match coverage checker. Proc. ACM Program. Lang. 4 (ICFP) (2020)
Omar S. Navarro Leija, Kelly Shiptoski, Ryan G. Scott, Baojun Wang, Nicholas Renner, Ryan R. Newton, Joseph Devietti
Reproducible Containers. ASPLOS (2020)
Ryan G. Scott, Ryan R. Newton
Generic and flexible defaults for verified, law-abiding type-class instances. Haskell@ICFP (2019)
Niki Vazou, Anish Tondwalkar, Vikraman Choudhury, Ryan G. Scott, Ryan R. Newton, Philip Wadler, Ranjit Jhala
Refinement reflection: complete verification with SMT. Proc. ACM Program. Lang. 2 (POPL) (2018)
Ryan G. Scott, Vikraman Choudhury, Ryan Newton, Niki Vazou, Ranjit Jhala
Deriving Law-Abiding Instances. CoRR (2017)
Ryan G. Scott, Omar S. Navarro Leija, Joseph Devietti, Ryan R. Newton
Monadic composition for deterministic, parallel batch processing. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Michael Vollmer, Ryan G. Scott, Madanlal Musuvathi, Ryan R. Newton
SC-Haskell: Sequential Consistency in Languages That Minimize Mutable Shared Heap. PPOPP (2017)
Niki Vazou, Anish Tondwalkar, Vikraman Choudhury, Ryan G. Scott, Ryan R. Newton, Philip Wadler, Ranjit Jhala
Refinement Reflection: Complete Verification with SMT. CoRR (2017)