conf.researchr.org / Ryan R. Newton
Registered user since Thu 21 Jan 2016
Name:Ryan R. Newton
Bio:
From South Florida. Ph.D. 2009 at MIT. Much of my work has been on deterministic parallelism — at the library level, e.g. LVars, with new compiler techniques in Gibbon, and with runtime enforcement with the Hermit system.
Country:United States
Affiliation:Purdue University & Meta Platforms
Personal website: https://www.linkedin.com/in/rrnewton/
X (Twitter): https://x.com/rrnewton
GitHub: https://github.com/rrnewton
Research interests:PL, Parallelism, Determinism and OS Containers
Contributions
2021
2019
PLDI
2018
PLDI
POPL
- 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
2017
SPLASH
ICFP
2016
ICFP
Principles and Practice of Parallel Programming
2014
SPLASH
- 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