Ryan G. Scott

According to our database, Ryan G. Scott authored at least 10 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

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

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, Daniel Wagner, Simon Winwood

CoRR, 2024

2023

Trustworthy Runtime Verification via Bisimulation (Experience Report).

Ryan G. Scott, Mike Dodds, Ivan Perez, Alwyn E. Goodloe, Robert Dockins

Proc. ACM Program. Lang., August, 2023

2020

Lower your guards: a compositional pattern-match coverage checker.

Sebastian Graf, Simon Peyton Jones, Ryan G. Scott

Proc. ACM Program. Lang., 2020

Reproducible Containers.

Omar S. Navarro Leija, Kelly Shiptoski, Ryan G. Scott, Baojun Wang, Nicholas Renner, Ryan R. Newton, Joseph Devietti

Proceedings of the ASPLOS '20: Architectural Support for Programming Languages and Operating Systems, 2020

2019

Generic and flexible defaults for verified, law-abiding type-class instances.

Ryan G. Scott, Ryan R. Newton

Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, 2019

2018

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

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

Deriving Law-Abiding Instances.

Ryan G. Scott, Vikraman Choudhury, Ryan Newton, Niki Vazou, Ranjit Jhala

CoRR, 2017

SC-Haskell: Sequential Consistency in Languages That Minimize Mutable Shared Heap.

Michael Vollmer, Ryan G. Scott, Madanlal Musuvathi, Ryan R. Newton

Proceedings of the 22nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2017