Ryan R. Newton

ORCID

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 29

Top Venues

PLDI

CoRR

Proc. ACM Program. Lang.

ICFP

Massachusetts Institute of Technology, Cambridge, MA, USA (PHD)

Education History

Massachusetts Institute of Technology, Cambridge, MA, USA

PHD

Publications

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

Ryan R. Newton.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ryan R. Newton