Ryan Newton

According to our database, Ryan Newton authored at least 56 papers between 2004 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2021

Efficient tree-traversals: reconciling parallelism and dense data representations.

Chaitanya Koparkar, Mike Rainey, Michael Vollmer, Milind Kulkarni, Ryan R. Newton

Proc. ACM Program. Lang., 2021

Task parallel assembly language for uncompromising parallelism.

Mike Rainey, Ryan R. Newton, Kyle C. Hale, Nikos Hardavellas, Simone Campanoni, Peter A. Dinda, Umut A. Acar

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2020

A.M.B.R.O.S.I.A: Providing Performant Virtual Resiliency for Distributed Applications.

Jonathan Goldstein, Ahmed S. Abdelhamid, Mike Barnett, Sebastian Burckhardt, Badrish Chandramouli, Darren Gehring, Niel Lebeck, Christopher Meiklejohn, Umar Farooq Minhas, Ryan Newton, Rahee Peshawaria, Tal Zaccai, Irene Zhang

Proc. VLDB Endow., 2020

ShadowGuard : Optimizing the Policy and Mechanism of Shadow Stack Instrumentation using Binary Static Analysis.

Buddhika Chamith, Xiaozhu Meng, Ryan Newton

CoRR, 2020

Reproducible Containers.

Omar S. Navarro Leija, Kelly Shiptoski, Ryan G. Scott, Baojun Wang, Nicholas Renner, Ryan R. Newton, Joseph Devietti

Proceedings of the ASPLOS '20: Architectural Support for Programming Languages and Operating Systems, 2020

2019

Sound, Fine-Grained Traversal Fusion for Heterogeneous Trees - Extended Version.

Laith Sakka, Kirshanthan Sundararajah, Ryan R. Newton, Milind Kulkarni

CoRR, 2019

LoCal: a language for programs operating on serialized data.

Michael Vollmer, Chaitanya Koparkar, Mike Rainey, Laith Sakka, Milind Kulkarni, Ryan R. Newton

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

Sound, fine-grained traversal fusion for heterogeneous trees.

Laith Sakka, Kirshanthan Sundararajah, Ryan R. Newton, Milind Kulkarni

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

Generic and flexible defaults for verified, law-abiding type-class instances.

Ryan G. Scott, Ryan R. Newton

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

2018

Refinement reflection: complete verification with SMT.

Niki Vazou, Anish Tondwalkar, Vikraman Choudhury, Ryan G. Scott, Ryan R. Newton, Philip Wadler, Ranjit Jhala

Proc. ACM Program. Lang., 2018

Linear Haskell: practical linearity in a higher-order polymorphic language.

Jean-Philippe Bernardy, Mathieu Boespflug, Ryan R. Newton, Simon Peyton Jones, Arnaud Spiwack

Proc. ACM Program. Lang., 2018

Ghostbuster: A tool for simplifying and converting GADTs.

Timothy A. K. Zakian, Trevor L. McDonell, Matteo Cimini, Ryan R. Newton

J. Funct. Program., 2018

2017

Monadic composition for deterministic, parallel batch processing.

Ryan G. Scott, Omar S. Navarro Leija, Joseph Devietti, Ryan R. Newton

Proc. ACM Program. Lang., 2017

Deriving Law-Abiding Instances.

Ryan G. Scott, Vikraman Choudhury, Ryan Newton, Niki Vazou, Ranjit Jhala

CoRR, 2017

SC-Haskell: Sequential Consistency in Languages That Minimize Mutable Shared Heap.

Michael Vollmer, Ryan G. Scott, Madanlal Musuvathi, Ryan R. Newton

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

Instruction punning: lightweight instrumentation for x86-64.

Buddhika Chamith, Bo Joel Svensson, Luke Dalessandro, Ryan R. Newton

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

Adaptive lock-free data structures in Haskell: a general method for concurrent implementation swapping.

Chao-Hong Chen, Vikraman Choudhury, Ryan R. Newton

Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, 2017

Compiling Tree Transforms to Operate on Packed Representations.

Michael Vollmer, Sarah Spall, Buddhika Chamith, Laith Sakka, Chaitanya Koparkar, Milind Kulkarni, Sam Tobin-Hochstadt, Ryan Newton

Proceedings of the 31st European Conference on Object-Oriented Programming, 2017

2016

A language for hierarchical data parallel design-space exploration on GPUs.

Bo Joel Svensson, Ryan R. Newton, Mary Sheeran

J. Funct. Program., 2016

SCnC: Efficient Unification of Streaming with Dynamic Task Parallelism.

Dragos Sbirlea, Jun Shirako, Ryan Newton, Vivek Sarkar

Int. J. Parallel Program., 2016

Parallel type-checking with haskell using saturating LVars and stream generators.

Ryan R. Newton, Ömer S. Agacan, Peter P. Fogg, Sam Tobin-Hochstadt

Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2016

Living on the edge: rapid-toggling probes with cross-modification on x86.

Buddhika Chamith, Bo Joel Svensson, Luke Dalessandro, Ryan R. Newton

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

2015

Concurrent Cilk: Lazy Promotion from Tasks to Threads in C/C++.

Christopher S. Zakian, Timothy A. K. Zakian, Abhishek Kulkarni, Buddhika Chamith, Ryan R. Newton

Proceedings of the Languages and Compilers for Parallel Computing, 2015

Efficient communication and collection with compact normal forms.

Edward Z. Yang, Giovanni Campagna, Ömer S. Agacan, Ahmed El-Hassany, Abhishek Kulkarni, Ryan R. Newton

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

Meta-programming and auto-tuning in the search for high performance GPU code.

Michael Vollmer, Bo Joel Svensson, Eric Holk, Ryan R. Newton

Proceedings of the 4th ACM SIGPLAN Workshop on Functional High-Performance Computing, 2015

Converting data-parallelism to task-parallelism by rewrites: purely functional programs across multiple GPUs.

Bo Joel Svensson, Michael Vollmer, Eric Holk, Trevor L. McDonell, Ryan R. Newton

Proceedings of the 4th ACM SIGPLAN Workshop on Functional High-Performance Computing, 2015

Adaptive lock-free maps: purely-functional to scalable.

Ryan R. Newton, Peter P. Fogg, Ali Varamesh

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

Type-safe runtime code generation: accelerate to LLVM.

Trevor L. McDonell, Manuel M. T. Chakravarty, Vinod Grover, Ryan R. Newton

Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, 2015

2014

Design exploration through code-generating DSLs.

Bo Joel Svensson, Mary Sheeran, Ryan R. Newton

Commun. ACM, 2014

Freeze after writing: quasi-deterministic parallel programming with LVars.

Lindsey Kuper, Aaron Turon, Neelakantan R. Krishnaswami, Ryan R. Newton

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Taming the parallel effect zoo: extensible deterministic parallelism with LVish.

Lindsey Kuper, Aaron Todd, Sam Tobin-Hochstadt, Ryan R. Newton

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

Region-based memory management for GPU programming languages: enabling rich data structures on a spartan host.

Eric Holk, Ryan Newton, Jeremy G. Siek, Andrew Lumsdaine

Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

2013

LVars: lattice-based data structures for deterministic parallelism.

Lindsey Kuper, Ryan R. Newton

Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance computing, 2013

Embrace, defend, extend: a methodology for embedding preexisting DSLs.

Abhishek Kulkarni, Ryan R. Newton

Proceedings of the 1st annual workshop on Functional programming concepts in domain-specific languages, 2013

2012

A Multiscale Parallel Computing Architecture for Automated Segmentation of the Brain Connectome.

Sylvain Jaume, Kathleen Knobe, Ryan Newton, Frank Schlimbach, Melanie Blower, R. Clay Reid

IEEE Trans. Biomed. Eng., 2012

Avalanche: a fine-grained flow graph model for irregular applications on distributed-memory systems.

Jeremiah J. Willcock, Ryan R. Newton, Andrew Lumsdaine

Proceedings of the 1st ACM SIGPLAN workshop on Functional high-performance computing, 2012

A meta-scheduler for the par-monad: composable scheduling for the heterogeneous cloud.

Adam Foltzer, Abhishek Kulkarni, Rebecca Swords, Sajith Sasidharan, Eric Jiang, Ryan Newton

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012

2011

Stream Programming Languages.

Ryan Newton

Proceedings of the Encyclopedia of Parallel Computing, 2011

Concurrent Collections Programming Model.

Michael G. Burke, Kathleen Knobe, Ryan Newton, Vivek Sarkar

Proceedings of the Encyclopedia of Parallel Computing, 2011

A Synergetic Approach to Throughput Computing on x86-Based Multicore Desktops.

Chi-Keung Luk, Ryan Newton, William Hasenplaugh, Mark Hampton, Geoff Lowney

IEEE Softw., 2011

A monad for deterministic parallelism.

Simon Marlow, Ryan Newton, Simon L. Peyton Jones

Proceedings of the 4th ACM SIGPLAN Symposium on Haskell, 2011

2010

Concurrent Collections.

Zoran Budimlic, Michael G. Burke, Vincent Cavé, Kathleen Knobe, Geoff Lowney, Ryan Newton, Jens Palsberg, David M. Peixotto, Vivek Sarkar, Frank Schlimbach, Sagnak Tasirlar

Sci. Program., 2010

2009

Language design for distributed stream processing.

Ryan R. Newton

PhD thesis, 2009

Wishbone: Profile-based Partitioning for Sensornet Applications.

Ryan Newton, Sivan Toledo, Lewis Girod, Hari Balakrishnan, Samuel Madden

Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation, 2009

Experience report: embedded, parallel computer-vision with a functional DSL.

Ryan Newton, Teresa Ko

Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

Analyzing Data Streams in Scientific Applications.

Tore Risch, Samuel Madden, Hari Balakrishnan, Lewis Girod, Ryan Newton, Milena Ivanova, Erik Zeitler, Johannes Gehrke, Biswanath Panda, Mirek Riedewald

Proceedings of the Scientific Data Management - Challenges, Technology, and Deployment., 2009

2008

The pothole patrol: using a mobile sensor network for road surface monitoring.

Jakob Eriksson, Lewis Girod, Bret Hull, Ryan Newton, Samuel Madden, Hari Balakrishnan

Proceedings of the 6th International Conference on Mobile Systems, 2008

Design and evaluation of a compiler for embedded stream programs.

Ryan Newton, Lewis Girod, Michael B. Craig, Samuel Madden, J. Gregory Morrisett

Proceedings of the 2008 ACM SIGPLAN/SIGBED Conference on Languages, 2008

VoxNet: An Interactive, Rapidly-Deployable Acoustic Monitoring Platform.

Michael Allen, Lewis Girod, Ryan Newton, Samuel Madden, Daniel T. Blumstein, Deborah Estrin

Proceedings of the 7th International Conference on Information Processing in Sensor Networks, 2008

XStream: a Signal-Oriented Data Stream Management System.

Lewis Girod, Yuan Mei, Ryan Newton, Stanislav Rost, Arvind Thiagarajan, Hari Balakrishnan, Samuel Madden

Proceedings of the 24th International Conference on Data Engineering, 2008

2007

Sensor network programming with Flask.

Geoffrey Mainland, J. Gregory Morrisett, Matt Welsh, Ryan Newton

Proceedings of the 5th International Conference on Embedded Networked Sensor Systems, 2007

The regiment macroprogramming system.

Ryan Newton, Greg Morrisett, Matt Welsh

Proceedings of the 6th International Conference on Information Processing in Sensor Networks, 2007

The Case for a Signal-Oriented Data Stream Management System.

Lewis Girod, Yuan Mei, Ryan Newton, Stanislav Rost, Arvind Thiagarajan, Hari Balakrishnan, Samuel Madden

Proceedings of the Third Biennial Conference on Innovative Data Systems Research, 2007

2006

WaveScope: a signal-oriented data stream management system.

Lewis Girod, Kyle Jamieson, Yuan Mei, Ryan Newton, Stanislav Rost, Arvind Thiagarajan, Hari Balakrishnan, Samuel Madden

Proceedings of the 4th International Conference on Embedded Networked Sensor Systems, 2006

2005

Building up to macroprogramming: an intermediate language for sensor networks.

Ryan Newton, Arvind, Matt Welsh

Proceedings of the Fourth International Symposium on Information Processing in Sensor Networks, 2005

2004

Region streams: functional macroprogramming for sensor networks.

Ryan Newton, Matt Welsh

Proceedings of the 1st Workshop on Data Management for Sensor Networks, 2004