Ryan G. Scott

Orcid: 0009-0006-5642-5667

According to our database1, Ryan G. Scott authored at least 8 papers between 2017 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Trustworthy Runtime Verification via Bisimulation (Experience Report).
Proc. ACM Program. Lang., August, 2023

2020
Lower your guards: a compositional pattern-match coverage checker.
Proc. ACM Program. Lang., 2020

Reproducible Containers.
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.
Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, 2019

2018
Refinement reflection: complete verification with SMT.
Proc. ACM Program. Lang., 2018

2017
Monadic composition for deterministic, parallel batch processing.
Proc. ACM Program. Lang., 2017

Deriving Law-Abiding Instances.
CoRR, 2017

SC-Haskell: Sequential Consistency in Languages That Minimize Mutable Shared Heap.
Proceedings of the 22nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2017


  Loading...