BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Newton:Ryan_R=

Contributed to:

ICFP 20152015
PLDI 20142014
POPL 20142014
Haskell 20152015
Haskell 20172017
Haskell 20192019
OOPSLA 20172017
PLDI 20162016
PLDI 20172017
POPL 20182018
PLDI 20192019
ASPLOS 20202020

Wrote 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.
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.
Reproducible Containers (OSNL, KS, RGS, BW, NR, RRN, JD), pp. 167–182.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.