Collaborated with:R.R.Newton O.S.N.Leija J.Devietti N.Vazou Anish Tondwalkar V.Choudhury P.Wadler R.Jhala Kelly Shiptoski Baojun Wang Nicholas Renner
Talks about:determinist (1) reproduc (1) parallel (1) composit (1) reflect (1) process (1) instanc (1) generic (1) flexibl (1) default (1)
Person: Ryan G. Scott
DBLP: Scott:Ryan_G=
Contributed to:
2019
2017
2018
2020Wrote 4 papers:
- Haskell-2019-ScottN #flexibility
- Generic and flexible defaults for verified, law-abiding type-class instances (RGS, RRN), pp. 15–29.
- OOPSLA-2017-ScottLDN #composition #monad #parallel
- Monadic composition for deterministic, parallel batch processing (RGS, OSNL, JD, RRN), p. 26.
- POPL-2018-VazouTCSNWJ #refinement #smt #verification
- Refinement reflection: complete verification with SMT (NV, AT, VC, RGS, RRN, PW, RJ), p. 31.
- ASPLOS-2020-LeijaSSWRND
- Reproducible Containers (OSNL, KS, RGS, BW, NR, RRN, JD), pp. 167–182.