| 2021 | PLDI | Task parallel assembly language for uncompromising parallelism. | Mike Rainey, Ryan R. Newton, Kyle C. Hale, Nikos Hardavellas, Simone Campanoni, Peter A. Dinda, Umut A. Acar |
| 2020 | ASPLOS | Reproducible Containers. | Omar S. Navarro Leija, Kelly Shiptoski, Ryan G. Scott, Baojun Wang, Nicholas Renner, Ryan R. Newton, Joseph Devietti |
| 2019 | HASKELL | Generic and flexible defaults for verified, law-abiding type-class instances. | Ryan G. Scott, Ryan R. Newton |
| 2019 | PLDI | Sound, fine-grained traversal fusion for heterogeneous trees. | Laith Sakka, Kirshanthan Sundararajah, Ryan R. Newton, Milind Kulkarni |
| 2019 | PLDI | LoCal: a language for programs operating on serialized data. | Michael Vollmer, Chaitanya Koparkar, Mike Rainey, Laith Sakka, Milind Kulkarni, Ryan R. Newton |
| 2017 | HASKELL | Adaptive lock-free data structures in Haskell: a general method for concurrent implementation swapping. | Chao-Hong Chen, Vikraman Choudhury, Ryan R. Newton |
| 2017 | PLDI | Instruction punning: lightweight instrumentation for x86-64. | Buddhika Chamith, Bo Joel Svensson, Luke Dalessandro, Ryan R. Newton |
| 2017 | PPoPP | SC-Haskell: Sequential Consistency in Languages That Minimize Mutable Shared Heap. | Michael Vollmer, Ryan G. Scott, Madanlal Musuvathi, Ryan R. Newton |
| 2016 | ICFP | Ghostbuster: a tool for simplifying and converting GADTs. | Trevor L. McDonell, Timothy A. K. Zakian, Matteo Cimini, Ryan R. Newton |
| 2016 | PLDI | Living on the edge: rapid-toggling probes with cross-modification on x86. | Buddhika Chamith, Bo Joel Svensson, Luke Dalessandro, Ryan R. Newton |
| 2016 | PPoPP | Parallel type-checking with haskell using saturating LVars and stream generators. | Ryan R. Newton, mer S. Agacan, Peter P. Fogg, Sam Tobin-Hochstadt |
| 2015 | HASKELL | Type-safe runtime code generation: accelerate to LLVM. | Trevor L. McDonell, Manuel M. T. Chakravarty, Vinod Grover, Ryan R. Newton |
| 2015 | ICFP | Adaptive lock-free maps: purely-functional to scalable. | Ryan R. Newton, Peter P. Fogg, Ali Varamesh |
| 2015 | ICFP | Converting data-parallelism to task-parallelism by rewrites: purely functional programs across multiple GPUs. | Bo Joel Svensson, Michael Vollmer, Eric Holk, Trevor L. McDonell, Ryan R. Newton |
| 2015 | ICFP | Meta-programming and auto-tuning in the search for high performance GPU code. | Michael Vollmer, Bo Joel Svensson, Eric Holk, Ryan R. Newton |
| 2015 | ICFP | Efficient communication and collection with compact normal forms. | Edward Z. Yang, Giovanni Campagna, mer S. Agacan, Ahmed El-Hassany, Abhishek Kulkarni, Ryan R. Newton |
| 2014 | PLDI | Taming the parallel effect zoo: extensible deterministic parallelism with LVish. | Lindsey Kuper, Aaron Todd, Sam Tobin-Hochstadt, Ryan R. Newton |
| 2014 | POPL | Freeze after writing: quasi-deterministic parallel programming with LVars. | Lindsey Kuper, Aaron Turon, Neelakantan R. Krishnaswami, Ryan R. Newton |
| 2013 | ICFP | Embrace, defend, extend: a methodology for embedding preexisting DSLs. | Abhishek Kulkarni, Ryan R. Newton |
| 2013 | ICFP | LVars: lattice-based data structures for deterministic parallelism. | Lindsey Kuper, Ryan R. Newton |
| 2012 | ICFP | Avalanche: a fine-grained flow graph model for irregular applications on distributed-memory systems. | Jeremiah J. Willcock, Ryan R. Newton, Andrew Lumsdaine |