default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRyan Newton
Person information
- affiliation: Indiana University, Bloomington, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j15]Vidush Singhal, Chaitanya Koparkar, Joseph Zullo, Artem Pelenitsyn, Michael Vollmer, Mike Rainey, Ryan Newton, Milind Kulkarni:
Optimizing Layout of Recursive Datatypes with Marmoset (Artifact). Dagstuhl Artifacts Ser. 10(2): 21:1-21:10 (2024)- [j14]Vidush Singhal
, Laith Sakka, Kirshanthan Sundararajah, Ryan Newton, Milind Kulkarni:
Orchard: Heterogeneous Parallelism and Fine-grained Fusion for Complex Tree Traversals. ACM Trans. Archit. Code Optim. 21(2): 41 (2024) - [c40]Vidush Singhal, Chaitanya Koparkar, Joseph Zullo, Artem Pelenitsyn, Michael Vollmer, Mike Rainey, Ryan Newton, Milind Kulkarni:
Optimizing Layout of Recursive Datatypes with Marmoset: Or, Algorithms {+} Data Layouts {=} Efficient Programs. ECOOP 2024: 38:1-38:28 - [c39]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: 1-14 - [i8]Vidush Singhal, Chaitanya Koparkar, Joseph Zullo, Artem Pelenitsyn, Michael Vollmer, Mike Rainey, Ryan Newton, Milind Kulkarni:
Optimizing Layout of Recursive Datatypes with Marmoset. CoRR abs/2405.17590 (2024) - 2021
- [j13]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): 1-29 (2021) - [c38]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: 1064-1079 - [i7]Chaitanya Koparkar, Mike Rainey, Michael Vollmer, Milind Kulkarni, Ryan R. Newton:
Efficient Tree-Traversals: Reconciling Parallelism and Dense Data Representations. CoRR abs/2107.00522 (2021) - 2020
- [j12]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:
A.M.B.R.O.S.I.A: Providing Performant Virtual Resiliency for Distributed Applications. Proc. VLDB Endow. 13(5): 588-601 (2020) - [c37]Omar S. Navarro Leija, Kelly Shiptoski, Ryan G. Scott, Baojun Wang, Nicholas Renner, Ryan R. Newton, Joseph Devietti:
Reproducible Containers. ASPLOS 2020: 167-182 - [i6]Buddhika Chamith, Xiaozhu Meng, Ryan Newton:
ShadowGuard : Optimizing the Policy and Mechanism of Shadow Stack Instrumentation using Binary Static Analysis. CoRR abs/2002.07748 (2020)
2010 – 2019
- 2019
- [c36]Ryan G. Scott, Ryan R. Newton:
Generic and flexible defaults for verified, law-abiding type-class instances. Haskell@ICFP 2019: 15-29 - [c35]Michael Vollmer, Chaitanya Koparkar, Mike Rainey, Laith Sakka, Milind Kulkarni, Ryan R. Newton:
LoCal: a language for programs operating on serialized data. PLDI 2019: 48-62 - [c34]Laith Sakka, Kirshanthan Sundararajah, Ryan R. Newton, Milind Kulkarni:
Sound, fine-grained traversal fusion for heterogeneous trees. PLDI 2019: 830-844 - [i5]Laith Sakka, Kirshanthan Sundararajah, Ryan R. Newton, Milind Kulkarni:
Sound, Fine-Grained Traversal Fusion for Heterogeneous Trees - Extended Version. CoRR abs/1904.07061 (2019) - 2018
- [j11]Timothy A. K. Zakian, Trevor L. McDonell, Matteo Cimini, Ryan R. Newton:
Ghostbuster: A tool for simplifying and converting GADTs. J. Funct. Program. 28: e16 (2018) - [j10]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): 5:1-5:29 (2018) - [j9]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): 53:1-53:31 (2018) - 2017
- [j8]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): 73:1-73:26 (2017) - [c33]Michael Vollmer, Sarah Spall, Buddhika Chamith, Laith Sakka, Chaitanya Koparkar, Milind Kulkarni, Sam Tobin-Hochstadt, Ryan Newton:
Compiling Tree Transforms to Operate on Packed Representations. ECOOP 2017: 26:1-26:29 - [c32]Chao-Hong Chen, Vikraman Choudhury, Ryan R. Newton:
Adaptive lock-free data structures in Haskell: a general method for concurrent implementation swapping. Haskell 2017: 197-211 - [c31]Buddhika Chamith, Bo Joel Svensson, Luke Dalessandro, Ryan R. Newton:
Instruction punning: lightweight instrumentation for x86-64. PLDI 2017: 320-332 - [c30]Michael Vollmer, Ryan G. Scott, Madanlal Musuvathi, Ryan R. Newton:
SC-Haskell: Sequential Consistency in Languages That Minimize Mutable Shared Heap. PPoPP 2017: 283-298 - [i4]Chao-Hong Chen, Vikraman Choudhury, Ryan R. Newton:
Adaptive Lock-Free Data Structures in Haskell: A General Method for Concurrent Implementation Swapping. CoRR abs/1708.02318 (2017) - [i3]Ryan G. Scott, Vikraman Choudhury, Ryan Newton, Niki Vazou, Ranjit Jhala:
Deriving Law-Abiding Instances. CoRR abs/1708.02328 (2017) - [i2]Jean-Philippe Bernardy, Mathieu Boespflug, Ryan R. Newton, Simon Peyton Jones, Arnaud Spiwack:
Linear Haskell: practical linearity in a higher-order polymorphic language. CoRR abs/1710.09756 (2017) - [i1]Niki Vazou, Anish Tondwalkar, Vikraman Choudhury, Ryan G. Scott, Ryan R. Newton, Philip Wadler, Ranjit Jhala:
Refinement Reflection: Complete Verification with SMT. CoRR abs/1711.03842 (2017) - 2016
- [j7]Dragos Sbirlea, Jun Shirako, Ryan Newton, Vivek Sarkar:
SCnC: Efficient Unification of Streaming with Dynamic Task Parallelism. Int. J. Parallel Program. 44(2): 233-256 (2016) - [j6]Bo Joel Svensson, Ryan R. Newton, Mary Sheeran:
A language for hierarchical data parallel design-space exploration on GPUs. J. Funct. Program. 26: e6 (2016) - [c29]Trevor L. McDonell, Timothy A. K. Zakian, Matteo Cimini, Ryan R. Newton:
Ghostbuster: a tool for simplifying and converting GADTs. ICFP 2016: 338-350 - [c28]Buddhika Chamith, Bo Joel Svensson, Luke Dalessandro, Ryan R. Newton:
Living on the edge: rapid-toggling probes with cross-modification on x86. PLDI 2016: 16-26 - [c27]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: 6:1-6:12 - 2015
- [c26]Trevor L. McDonell, Manuel M. T. Chakravarty, Vinod Grover, Ryan R. Newton:
Type-safe runtime code generation: accelerate to LLVM. Haskell 2015: 201-212 - [c25]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: 1-11 - [c24]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: 12-22 - [c23]Ryan R. Newton, Peter P. Fogg, Ali Varamesh:
Adaptive lock-free maps: purely-functional to scalable. ICFP 2015: 218-229 - [c22]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: 362-374 - [c21]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: 73-90 - 2014
- [j5]Bo Joel Svensson, Mary Sheeran, Ryan R. Newton:
Design exploration through code-generating DSLs. Commun. ACM 57(6): 56-63 (2014) - [j4]Bo Joel Svensson, Mary Sheeran, Ryan R. Newton:
Design Exploration through Code-generating DSLs. ACM Queue 12(4): 40-52 (2014) - [c20]Eric Holk, Ryan Newton, Jeremy G. Siek, Andrew Lumsdaine:
Region-based memory management for GPU programming languages: enabling rich data structures on a spartan host. OOPSLA 2014: 141-155 - [c19]Lindsey Kuper, Aaron Todd, Sam Tobin-Hochstadt, Ryan R. Newton:
Taming the parallel effect zoo: extensible deterministic parallelism with LVish. PLDI 2014: 2-14 - [c18]Lindsey Kuper, Aaron Turon, Neelakantan R. Krishnaswami, Ryan R. Newton:
Freeze after writing: quasi-deterministic parallel programming with LVars. POPL 2014: 257-270 - [e1]Jost Berthold, Mary Sheeran, Ryan Newton:
Proceedings of the 3rd ACM SIGPLAN workshop on Functional high-performance computing, FHPC@ICFP 2014, Gothenburg, Sweden, September 4, 2014. ACM 2014, ISBN 978-1-4503-3040-4 [contents] - 2013
- [c17]Abhishek Kulkarni, Ryan R. Newton:
Embrace, defend, extend: a methodology for embedding preexisting DSLs. FPCDSL@ICFP 2013: 27-34 - [c16]Lindsey Kuper, Ryan R. Newton:
LVars: lattice-based data structures for deterministic parallelism. FHPC@ICFP 2013: 71-84 - 2012
- [j3]Sylvain Jaume, Kathleen Knobe, Ryan Newton, Frank Schlimbach, Melanie Blower, R. Clay Reid:
A Multiscale Parallel Computing Architecture for Automated Segmentation of the Brain Connectome. IEEE Trans. Biomed. Eng. 59(1): 35-38 (2012) - [c15]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: 15-26 - [c14]Adam Foltzer, Abhishek Kulkarni, Rebecca Swords, Sajith Sasidharan, Eric Jiang, Ryan Newton:
A meta-scheduler for the par-monad: composable scheduling for the heterogeneous cloud. ICFP 2012: 235-246 - 2011
- [j2]Chi-Keung Luk, Ryan Newton, William Hasenplaugh, Mark Hampton, Geoff Lowney:
A Synergetic Approach to Throughput Computing on x86-Based Multicore Desktops. IEEE Softw. 28(1): 39-50 (2011) - [c13]Simon Marlow, Ryan Newton, Simon L. Peyton Jones:
A monad for deterministic parallelism. Haskell 2011: 71-82 - [r2]Michael G. Burke, Kathleen Knobe, Ryan Newton, Vivek Sarkar:
Concurrent Collections Programming Model. Encyclopedia of Parallel Computing 2011: 364-371 - [r1]Ryan Newton:
Stream Programming Languages. Encyclopedia of Parallel Computing 2011: 1943-1949 - 2010
- [j1]Zoran Budimlic, Michael G. Burke, Vincent Cavé, Kathleen Knobe, Geoff Lowney, Ryan Newton, Jens Palsberg, David M. Peixotto, Vivek Sarkar, Frank Schlimbach, Sagnak Tasirlar:
Concurrent Collections. Sci. Program. 18(3-4): 203-217 (2010)
2000 – 2009
- 2009
- [b1]Ryan R. Newton:
Language design for distributed stream processing. Massachusetts Institute of Technology, Cambridge, MA, USA, 2009 - [c12]Ryan Newton, Teresa Ko:
Experience report: embedded, parallel computer-vision with a functional DSL. ICFP 2009: 59-64 - [c11]Ryan Newton, Sivan Toledo, Lewis Girod, Hari Balakrishnan, Samuel Madden:
Wishbone: Profile-based Partitioning for Sensornet Applications. NSDI 2009: 395-408 - [p1]Tore Risch, Samuel Madden, Hari Balakrishnan, Lewis Girod, Ryan Newton, Milena Ivanova, Erik Zeitler, Johannes Gehrke, Biswanath Panda, Mirek Riedewald:
Analyzing Data Streams in Scientific Applications. Scientific Data Management 2009 - 2008
- [c10]Lewis Girod, Yuan Mei, Ryan Newton, Stanislav Rost, Arvind Thiagarajan, Hari Balakrishnan, Samuel Madden:
XStream: a Signal-Oriented Data Stream Management System. ICDE 2008: 1180-1189 - [c9]Michael Allen, Lewis Girod, Ryan Newton, Samuel Madden, Daniel T. Blumstein, Deborah Estrin:
VoxNet: An Interactive, Rapidly-Deployable Acoustic Monitoring Platform. IPSN 2008: 371-382 - [c8]Ryan Newton, Lewis Girod, Michael B. Craig, Samuel Madden, J. Gregory Morrisett:
Design and evaluation of a compiler for embedded stream programs. LCTES 2008: 131-140 - [c7]Jakob Eriksson, Lewis Girod, Bret Hull, Ryan Newton, Samuel Madden, Hari Balakrishnan:
The pothole patrol: using a mobile sensor network for road surface monitoring. MobiSys 2008: 29-39 - 2007
- [c6]Lewis Girod, Yuan Mei, Ryan Newton, Stanislav Rost, Arvind Thiagarajan, Hari Balakrishnan, Samuel Madden:
The Case for a Signal-Oriented Data Stream Management System. CIDR 2007: 397-406 - [c5]Ryan Newton, Greg Morrisett, Matt Welsh:
The regiment macroprogramming system. IPSN 2007: 489-498 - [c4]Geoffrey Mainland, J. Gregory Morrisett, Matt Welsh, Ryan Newton:
Sensor network programming with Flask. SenSys 2007: 385-386 - 2006
- [c3]Lewis Girod, Kyle Jamieson, Yuan Mei, Ryan Newton, Stanislav Rost, Arvind Thiagarajan, Hari Balakrishnan, Samuel Madden:
WaveScope: a signal-oriented data stream management system. SenSys 2006: 421-422 - 2005
- [c2]Ryan Newton, Arvind, Matt Welsh:
Building up to macroprogramming: an intermediate language for sensor networks. IPSN 2005: 37-44 - 2004
- [c1]Ryan Newton, Matt Welsh:
Region streams: functional macroprogramming for sensor networks. DMSN 2004: 78-87
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-20 23:00 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
