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

Personal website: https://www.linkedin.com/in/rrnewton/

Twitter: https://twitter.com/rrnewton

GitHub: https://github.com/rrnewton

Research interests: PL, Parallelism, and Containers

Contributions

PLDI 2021	Committee Member in Program Committee within the PLDI 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