Ryan R. Newton

Registered user since Thu 21 Jan 2016

Name:Ryan R. Newton
Bio:

From South Florida. Ph.D. 2009 at MIT.

Country:United States
Affiliation:Facebook
Research interests:PL, Parallelism, and Containers

Contributions

SPLASH 2021 Author of Efficient Tree-Traversals: Reconciling Parallelism and Dense Data Representations within the SIGPLAN Papers-track
PLDI 2021 Author of Task Parallel Assembly Language for Uncompromising Parallelism within the PLDI-track
Committee Member in Program Committee within the PLDI-track
ICFP 2021 Author of Efficient Tree-Traversals: Reconciling Parallelism and Dense Data Representations within the Research Papers-track
PLDI 2020 Committee Member in External Review Committee within the PLDI Research Papers-track
HIW 2019 Author of The Gibbon Compiler: Accelerating a small subset of Haskell within the HIW 2019-track
Haskell 2019 Author of Generic and Flexible Defaults for Verified, Law-Abiding Type-Class Instances within the Haskell 2019-track
PLDI 2019 Author of LoCal: A Language for Programs Operating on Serialized Data within the PLDI Research Papers-track
Author of Sound, Fine-Grained Traversal Fusion for Heterogeneous Trees within the PLDI Research Papers-track
POPL 2019 Committee Member in Program Committee within the Research Papers-track
FHPC 2018 Author of An Efficient Compiler for Recursive Functions on Mostly-Serialized Data within the FHPC 2018-track
Haskell 2017 Author of Adaptive Lock-Free Data Structures in Haskell: A General Method for Concurrent Implementation Swapping within the Haskell 2017-track
PLDI 2018 Committee Member in Program Committee
Session Chair of Emerging Hardware (part of PLDI Research Papers)
ICFP 2017 Artifact Evaluation Co-Chair in Organizing Committee
Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the Research Artifacts-track
POPL 2018 Author of Refinement Reflection: Complete Verification with SMT within the Research Papers-track
Author of Refinement Reflection: Complete Verification with SMT within the Artifact Evaluation-track
Author of Linear Haskell: practical linearity in a higher-order polymorphic language within the Research Papers-track
Author of Linear Haskell: practical linearity in a higher-order polymorphic language within the Artifact Evaluation-track
SPLASH 2017 Author of Monadic Composition for Deterministic, Parallel Batch Processing within the OOPSLA-track
PLDI 2017 Committee Member in External Review Committee
Author of Instruction Punning: Lightweight Instrumentation for x86-64 within the PLDI Research Papers-track
ECOOP 2017 Author of Compiling tree transforms to operate on packed representations within the ECOOP Research Papers-track
ICFP 2016 Author of Ghostbuster: A Tool for Simplifying and Converting GADTs within the Research Papers-track
Committee Member in External Review Committee within the Research Papers-track
PLDI 2016 Author of Living on the edge: Rapid-toggling probes with cross modification on x86 within the Research Papers-track
PPoPP 2016 Author of Parallel Type-checking with Haskell using Saturating LVars and Stream Generators within the Main conference-track
SPLASH 2014 Presenter of Region-based memory management for GPU programming languages: Enabling rich data structures on a spartan host within the OOPSLA Artifacts-track
Author of Region-based memory management for GPU programming languages: Enabling rich data structures on a spartan host within the OOPSLA-track