Ryan Newton

According to our database1, Ryan Newton authored at least 54 papers between 2004 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
A.M.B.R.O.S.I.A: Providing Performant Virtual Resiliency for Distributed Applications.
Proc. VLDB Endow., 2020

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

Reproducible Containers.
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.
CoRR, 2019

LoCal: a language for programs operating on serialized data.
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

Sound, fine-grained traversal fusion for heterogeneous trees.
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.
Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, 2019

2018
Refinement reflection: complete verification with SMT.
Proc. ACM Program. Lang., 2018

Linear Haskell: practical linearity in a higher-order polymorphic language.
Proc. ACM Program. Lang., 2018

Ghostbuster: A tool for simplifying and converting GADTs.
J. Funct. Program., 2018

2017
Monadic composition for deterministic, parallel batch processing.
Proc. ACM Program. Lang., 2017

Deriving Law-Abiding Instances.
CoRR, 2017

SC-Haskell: Sequential Consistency in Languages That Minimize Mutable Shared Heap.
Proceedings of the 22nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2017

Instruction punning: lightweight instrumentation for x86-64.
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.
Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, 2017

Compiling Tree Transforms to Operate on Packed Representations.
Proceedings of the 31st European Conference on Object-Oriented Programming, 2017

2016
A language for hierarchical data parallel design-space exploration on GPUs.
J. Funct. Program., 2016

SCnC: Efficient Unification of Streaming with Dynamic Task Parallelism.
Int. J. Parallel Program., 2016

Parallel type-checking with haskell using saturating LVars and stream generators.
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.
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++.
Proceedings of the Languages and Compilers for Parallel Computing, 2015

Efficient communication and collection with compact normal forms.
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.
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.
Proceedings of the 4th ACM SIGPLAN Workshop on Functional High-Performance Computing, 2015

Adaptive lock-free maps: purely-functional to scalable.
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

Type-safe runtime code generation: accelerate to LLVM.
Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, 2015

2014
Design exploration through code-generating DSLs.
Commun. ACM, 2014

Freeze after writing: quasi-deterministic parallel programming with LVars.
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.
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.
Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

2013
LVars: lattice-based data structures for deterministic parallelism.
Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance computing, 2013

Embrace, defend, extend: a methodology for embedding preexisting DSLs.
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.
IEEE Trans. Biomed. Eng., 2012

Avalanche: a fine-grained flow graph model for irregular applications on distributed-memory systems.
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.
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012

2011
Stream Programming Languages.
Proceedings of the Encyclopedia of Parallel Computing, 2011

Concurrent Collections Programming Model.
Proceedings of the Encyclopedia of Parallel Computing, 2011

A Synergetic Approach to Throughput Computing on x86-Based Multicore Desktops.
IEEE Softw., 2011

A monad for deterministic parallelism.
Proceedings of the 4th ACM SIGPLAN Symposium on Haskell, 2011

2010
Concurrent Collections.
Sci. Program., 2010

2009
Language design for distributed stream processing.
PhD thesis, 2009

Wishbone: Profile-based Partitioning for Sensornet Applications.
Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation, 2009

Experience report: embedded, parallel computer-vision with a functional DSL.
Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

Analyzing Data Streams in Scientific Applications.
Proceedings of the Scientific Data Management - Challenges, Technology, and Deployment., 2009

2008
The pothole patrol: using a mobile sensor network for road surface monitoring.
Proceedings of the 6th International Conference on Mobile Systems, 2008

Design and evaluation of a compiler for embedded stream programs.
Proceedings of the 2008 ACM SIGPLAN/SIGBED Conference on Languages, 2008

VoxNet: An Interactive, Rapidly-Deployable Acoustic Monitoring Platform.
Proceedings of the 7th International Conference on Information Processing in Sensor Networks, 2008

XStream: a Signal-Oriented Data Stream Management System.
Proceedings of the 24th International Conference on Data Engineering, 2008

2007
Sensor network programming with Flask.
Proceedings of the 5th International Conference on Embedded Networked Sensor Systems, 2007

The regiment macroprogramming system.
Proceedings of the 6th International Conference on Information Processing in Sensor Networks, 2007

The Case for a Signal-Oriented Data Stream Management System.
Proceedings of the CIDR 2007, 2007

2006
WaveScope: a signal-oriented data stream management system.
Proceedings of the 4th International Conference on Embedded Networked Sensor Systems, 2006

2005
Building up to macroprogramming: an intermediate language for sensor networks.
Proceedings of the Fourth International Symposium on Information Processing in Sensor Networks, 2005

2004
Region streams: functional macroprogramming for sensor networks.
Proceedings of the 1st Workshop on Data Management for Sensor Networks, 2004


  Loading...