E-LIB Suche - Ergebnisse für: Newton, Ryan R.

1

Garbage Collection for Mostly Serialized Heaps:

, In: Proceedings of the 2024 ACM SIGPLAN International Symposium on Memory Management,

Koparkar, Chaitanya S. ; Singhal, Vidush ; Gupta, Aditya... - p. 1-14 , 2024

2

Efficient tree-traversals: reconciling parallelism and dens..:

Koparkar, Chaitanya ; Rainey, Mike ; Vollmer, Michael..
Proceedings of the ACM on Programming Languages. 5 (2021) ICFP - p. 1-29 , 2021

Link: https://doi.org/10.1145/..

3

Efficient tree-traversals: reconciling parallelism and dens..:

Koparkar, Chaitanya ; Rainey, Mike ; Vollmer, Michael..
Proceedings of the ACM on Programming Languages. 5 (2021) ICFP - p. 1-29 , 2021

Link: https://dl.acm.org/doi/1..

4

Task parallel assembly language for uncompromising parallel..:

, In: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation,

Rainey, Mike ; Newton, Ryan R. ; Hale, Kyle... - p. 1064-1079 , 2021

Link: https://dl.acm.org/doi/1..

5

Reproducible Containers:

, In: Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems,

Navarro Leija, Omar S. ; Shiptoski, Kelly ; Scott, Ryan G.... - p. 167-182 , 2020

Link: https://dl.acm.org/doi/1..

6

LoCal: a language for programs operating on serialized data:

, In: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation,

Vollmer, Michael ; Koparkar, Chaitanya ; Rainey, Mike... - p. 48-62 , 2019

Link: https://dl.acm.org/doi/1..

7

Generic and flexible defaults for verified, law-abiding typ..:

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

Scott, Ryan G. ; Newton, Ryan R. - p. 15-29 , 2019

Link: https://dl.acm.org/doi/1..

8

Sound, fine-grained traversal fusion for heterogeneous tree:

, In: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation,

Sakka, Laith ; Sundararajah, Kirshanthan ; Newton, Ryan R.. - p. 830-844 , 2019

Link: https://dl.acm.org/doi/1..

9

Ghostbuster: A tool for simplifying and converting GADTs:

ZAKIAN, TIMOTHY A. K. ; MCDONELL, TREVOR L. ; CIMINI, MATTEO.
Journal of Functional Programming. 28 (2018) - p. , 2018

Link: https://doi.org/10.1017/..

10

Refinement reflection: complete verification with SMT:

Vazou, Niki ; Tondwalkar, Anish ; Choudhury, Vikraman...
Proceedings of the ACM on Programming Languages. 2 (2017) POPL - p. 1-31 , 2017

Link: https://doi.org/10.1145/..

11

Refinement reflection: complete verification with SMT:

Vazou, Niki ; Tondwalkar, Anish ; Choudhury, Vikraman...
Proceedings of the ACM on Programming Languages. 2 (2017) POPL - p. 1-31 , 2017

Link: https://dl.acm.org/doi/1..

12

Instruction punning: lightweight instrumentation for x86-64:

, In: Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation,

Chamith, Buddhika ; Svensson, Bo Joel ; Dalessandro, Luke. - p. 320-332 , 2017

Link: https://dl.acm.org/doi/1..

13

Adaptive lock-free data structures in Haskell: a general me..:

Chen, Chao-Hong ; Choudhury, Vikraman ; Newton, Ryan R.
ACM SIGPLAN Notices. 52 (2017) 10 - p. 197-211 , 2017

Link: https://doi.org/10.1145/..

14

Linear Haskell: practical linearity in a higher-order polym..:

Bernardy, Jean-Philippe ; Boespflug, Mathieu ; Newton, Ryan R...
Proceedings of the ACM on Programming Languages. 2 (2017) POPL - p. 1-29 , 2017

Link: https://dl.acm.org/doi/1..

15

SC-Haskell : Sequential Consistency in Languages That Mi..:

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

Vollmer, Michael ; Scott, Ryan G. ; Musuvathi, Madanlal. - p. 283-298 , 2017

Link: https://dl.acm.org/doi/1..