Ryan R. Newton

37 papers A* 8A 3B 2C 3Journal 13Unranked 7
YearRankTypeTitle / Venue / Authors
2024 C conf
Garbage Collection for Mostly Serialized Heaps.
ISMM
Chaitanya S. Koparkar, Vidush Singhal, Aditya Gupta, Mike Rainey, Michael Vollmer, Artem Pelenitsyn, Sam Tobin-Hochstadt, Milind Kulkarni, Ryan R. Newton
2021 J jnl
Efficient Tree-Traversals: Reconciling Parallelism and Dense Data Representations.
CoRR
Chaitanya Koparkar, Mike Rainey, Michael Vollmer, Milind Kulkarni, Ryan R. Newton
2021 J jnl
Efficient tree-traversals: reconciling parallelism and dense data representations.
Proc. ACM Program. Lang.
Chaitanya Koparkar, Mike Rainey, Michael Vollmer, Milind Kulkarni, Ryan R. Newton
2021 A* conf
Task parallel assembly language for uncompromising parallelism.
PLDI
Mike Rainey, Ryan R. Newton, Kyle C. Hale, Nikos Hardavellas, Simone Campanoni, Peter A. Dinda, Umut A. Acar
2020 A* conf
Reproducible Containers.
ASPLOS
Omar S. Navarro Leija, Kelly Shiptoski, Ryan G. Scott, Baojun Wang, Nicholas Renner, Ryan R. Newton, Joseph Devietti
2019 — conf
Generic and flexible defaults for verified, law-abiding type-class instances.
Haskell@ICFP
Ryan G. Scott, Ryan R. Newton
2019 A* conf
LoCal: a language for programs operating on serialized data.
PLDI
Michael Vollmer, Chaitanya Koparkar, Mike Rainey, Laith Sakka, Milind Kulkarni, Ryan R. Newton
2019 J jnl
Sound, Fine-Grained Traversal Fusion for Heterogeneous Trees - Extended Version.
CoRR
Laith Sakka, Kirshanthan Sundararajah, Ryan R. Newton, Milind Kulkarni
2019 A* conf
Sound, fine-grained traversal fusion for heterogeneous trees.
PLDI
Laith Sakka, Kirshanthan Sundararajah, Ryan R. Newton, Milind Kulkarni
2018 J jnl
Ghostbuster: A tool for simplifying and converting GADTs.
J. Funct. Program.
Timothy A. K. Zakian, Trevor L. McDonell, Matteo Cimini, Ryan R. Newton
2018 J jnl
Linear Haskell: practical linearity in a higher-order polymorphic language.
Proc. ACM Program. Lang.
Jean-Philippe Bernardy, Mathieu Boespflug, Ryan R. Newton, Simon Peyton Jones, Arnaud Spiwack
2018 J jnl
Refinement reflection: complete verification with SMT.
Proc. ACM Program. Lang.
Niki Vazou, Anish Tondwalkar, Vikraman Choudhury, Ryan G. Scott, Ryan R. Newton, Philip Wadler, Ranjit Jhala
2017 J jnl
Adaptive Lock-Free Data Structures in Haskell: A General Method for Concurrent Implementation Swapping.
CoRR
Chao-Hong Chen, Vikraman Choudhury, Ryan R. Newton
2017 C conf
Adaptive lock-free data structures in Haskell: a general method for concurrent implementation swapping.
Haskell
Chao-Hong Chen, Vikraman Choudhury, Ryan R. Newton
2017 A* conf
Instruction punning: lightweight instrumentation for x86-64.
PLDI
Buddhika Chamith, Bo Joel Svensson, Luke Dalessandro, Ryan R. Newton
2017 J jnl
Linear Haskell: practical linearity in a higher-order polymorphic language.
CoRR
Jean-Philippe Bernardy, Mathieu Boespflug, Ryan R. Newton, Simon Peyton Jones, Arnaud Spiwack
2017 J jnl
Monadic composition for deterministic, parallel batch processing.
Proc. ACM Program. Lang.
Ryan G. Scott, Omar S. Navarro Leija, Joseph Devietti, Ryan R. Newton
2017 J jnl
Refinement Reflection: Complete Verification with SMT.
CoRR
Niki Vazou, Anish Tondwalkar, Vikraman Choudhury, Ryan G. Scott, Ryan R. Newton, Philip Wadler, Ranjit Jhala
2017 B conf
SC-Haskell: Sequential Consistency in Languages That Minimize Mutable Shared Heap.
PPoPP
Michael Vollmer, Ryan G. Scott, Madanlal Musuvathi, Ryan R. Newton
2016 J jnl
A language for hierarchical data parallel design-space exploration on GPUs.
J. Funct. Program.
Bo Joel Svensson, Ryan R. Newton, Mary Sheeran
2016 A conf
Ghostbuster: a tool for simplifying and converting GADTs.
ICFP
Trevor L. McDonell, Timothy A. K. Zakian, Matteo Cimini, Ryan R. Newton
2016 A* conf
Living on the edge: rapid-toggling probes with cross-modification on x86.
PLDI
Buddhika Chamith, Bo Joel Svensson, Luke Dalessandro, Ryan R. Newton
2016 B conf
Parallel type-checking with haskell using saturating LVars and stream generators.
PPoPP
Ryan R. Newton, Ömer S. Agacan, Peter P. Fogg, Sam Tobin-Hochstadt
2015 A conf
Adaptive lock-free maps: purely-functional to scalable.
ICFP
Ryan R. Newton, Peter P. Fogg, Ali Varamesh
2015 — conf
Concurrent Cilk: Lazy Promotion from Tasks to Threads in C/C++.
LCPC
Christopher S. Zakian, Timothy A. K. Zakian, Abhishek Kulkarni, Buddhika Chamith, Ryan R. Newton
2015 — conf
Converting data-parallelism to task-parallelism by rewrites: purely functional programs across multiple GPUs.
FHPC@ICFP
Bo Joel Svensson, Michael Vollmer, Eric Holk, Trevor L. McDonell, Ryan R. Newton
2015 A conf
Efficient communication and collection with compact normal forms.
ICFP
Edward Z. Yang, Giovanni Campagna, Ömer S. Agacan, Ahmed El-Hassany, Abhishek Kulkarni, Ryan R. Newton
2015 — conf
Meta-programming and auto-tuning in the search for high performance GPU code.
FHPC@ICFP
Michael Vollmer, Bo Joel Svensson, Eric Holk, Ryan R. Newton
2015 C conf
Type-safe runtime code generation: accelerate to LLVM.
Haskell
Trevor L. McDonell, Manuel M. T. Chakravarty, Vinod Grover, Ryan R. Newton
2014 J jnl
Design Exploration through Code-generating DSLs.
ACM Queue
Bo Joel Svensson, Mary Sheeran, Ryan R. Newton
2014 J jnl
Design exploration through code-generating DSLs.
Commun. ACM
Bo Joel Svensson, Mary Sheeran, Ryan R. Newton
2014 A* conf
Freeze after writing: quasi-deterministic parallel programming with LVars.
POPL
Lindsey Kuper, Aaron Turon, Neelakantan R. Krishnaswami, Ryan R. Newton
2014 A* conf
Taming the parallel effect zoo: extensible deterministic parallelism with LVish.
PLDI
Lindsey Kuper, Aaron Todd, Sam Tobin-Hochstadt, Ryan R. Newton
2013 — conf
Embrace, defend, extend: a methodology for embedding preexisting DSLs.
FPCDSL@ICFP
Abhishek Kulkarni, Ryan R. Newton
2013 — conf
LVars: lattice-based data structures for deterministic parallelism.
FHPC@ICFP
Lindsey Kuper, Ryan R. Newton
2012 — conf
Avalanche: a fine-grained flow graph model for irregular applications on distributed-memory systems.
FHPC@ICFP
Jeremiah J. Willcock, Ryan R. Newton, Andrew Lumsdaine
2009 — —
Language design for distributed stream processing.
Ryan R. Newton