Travelled to:1 × Canada
1 × USA
1 × United Kingdom
Collaborated with:R.G.Scott L.Kuper Buddhika Chamith B.J.Svensson L.Dalessandro V.Choudhury Laith Sakka M.K.0001 O.S.N.Leija J.Devietti P.P.Fogg A.Varamesh C.Chen A.Todd S.Tobin-Hochstadt A.Turon N.R.Krishnaswami T.L.McDonell M.M.T.Chakravarty V.Grover Kirshanthan Sundararajah J.Bernardy M.Boespflug S.P.Jones A.Spiwack E.Z.Yang G.Campagna Ö.S.Agacan A.El-Hassany A.Kulkarni Michael Vollmer 0003 Chaitanya Koparkar M.Rainey N.Vazou Anish Tondwalkar P.Wadler R.Jhala Kelly Shiptoski Baojun Wang Nicholas Renner
Talks about:parallel (4) determinist (3) program (2) languag (2) linear (2) haskel (2) adapt (2) type (2) lock (2) free (2)
Person: Ryan R. Newton
DBLP: Newton:Ryan_R=
Contributed to:
2015
2014
2014
201520172019
20172016201720182019
2020Wrote 15 papers:
- ICFP-2015-NewtonFV #adaptation #scalability
- Adaptive lock-free maps: purely-functional to scalable (RRN, PPF, AV), pp. 218–229.
- ICFP-2015-YangCAEKN #communication #normalisation #performance
- Efficient communication and collection with compact normal forms (EZY, GC, ÖSA, AEH, AK, RRN), pp. 362–374.
- PLDI-2014-KuperTTN #parallel
- Taming the parallel effect zoo: extensible deterministic parallelism with LVish (LK, AT, STH, RRN), p. 2.
- POPL-2014-KuperTKN #parallel #programming
- Freeze after writing: quasi-deterministic parallel programming with LVars (LK, AT, NRK, RRN), pp. 257–270.
- Haskell-2015-McDonellCGN #code generation #runtime #type safety
- Type-safe runtime code generation: accelerate to LLVM (TLM, MMTC, VG, RRN), pp. 201–212.
- Haskell-2017-ChenCN #adaptation #concurrent #data type #haskell #implementation
- Adaptive lock-free data structures in Haskell: a general method for concurrent implementation swapping (CHC, VC, RRN), pp. 197–211.
- 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.
- PLDI-2016-ChamithSDN
- Living on the edge: rapid-toggling probes with cross-modification on x86 (BC, BJS, LD, RRN), pp. 16–26.
- PLDI-2017-ChamithSDN #lightweight
- Instruction punning: lightweight instrumentation for x86-64 (BC, BJS, LD, RRN), pp. 320–332.
- POPL-2018-BernardyBNJS #haskell #higher-order #linear #polymorphism
- Linear Haskell: practical linearity in a higher-order polymorphic language (JPB, MB, RRN, SPJ, AS), p. 29.
- POPL-2018-VazouTCSNWJ #refinement #smt #verification
- Refinement reflection: complete verification with SMT (NV, AT, VC, RGS, RRN, PW, RJ), p. 31.
- PLDI-2019-SakkaSN0 #fine-grained #traversal
- Sound, fine-grained traversal fusion for heterogeneous trees (LS, KS, RRN, MK0), pp. 830–844.
- PLDI-2019-VollmerKRS0N #named #source code
- LoCal: a language for programs operating on serialized data (MV0, CK, MR, LS, MK0, RRN), pp. 48–62.
- ASPLOS-2020-LeijaSSWRND
- Reproducible Containers (OSNL, KS, RGS, BW, NR, RRN, JD), pp. 167–182.