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: Indiana University

Personal website: http://cs.indiana.edu/~rrnewton

Research interests: PL and Parallelism

Contributions

POPL 2019Committee Member in Program Committee within the Research Papers-track
ICFP 2018Co-chair in Artifact Evaluation Committee within the Research Artifacts-track
Haskell 2017Author of Adaptive Lock-Free Data Structures in Haskell: A General Method for Concurrent Implementation Swapping within the Haskell 2017-track
PLDI 2018Committee Member in Program Committee
Session Chair of Emerging Hardware (part of PLDI Research Papers)
ICFP 2017Artifact Evaluation Co-Chair in Organizing Committee
Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the Research Artifacts-track
POPL 2018Author 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 2017Author of Monadic Composition for Deterministic, Parallel Batch Processing within the OOPSLA-track
PLDI 2017Committee Member in External Review Committee
Author of Instruction Punning: Lightweight Instrumentation for x86-64 within the PLDI Research Papers-track
ECOOP 2017Author of Compiling tree transforms to operate on packed representations within the ECOOP Research Papers-track
ICFP 2016Author 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 2016Author of Living on the edge: Rapid-toggling probes with cross modification on x86 within the Research Papers-track
PPoPP 2016Author of Parallel Type-checking with Haskell using Saturating LVars and Stream Generators within the Main conference-track
SPLASH 2014Presenter 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