PhyBin: binning trees by topology von Newton, Ryan R, Newton, Irene L G

Volltext

Linear Haskell: practical linearity in a higher-order polymorphic language von Bernardy, Jean-Philippe, Boespflug, Mathieu, Newton, Ryan R., Peyton Jones, Simon, Spiwack, Arnaud

Volltext

A language for hierarchical data parallel design-space exploration on GPUs von SVENSSON, BO JOEL, NEWTON, RYAN R., SHEERAN, MARY

Volltext

Ghostbuster: A tool for simplifying and converting GADTs von ZAKIAN, TIMOTHY A. K., MCDONELL, TREVOR L., CIMINI, MATTEO, NEWTON, RYAN R.

Volltext

Orchard: Heterogeneous Parallelism and Fine-grained Fusion for Complex Tree Traversals von Singhal, Vidush, Sakka, Laith, Sundararajah, Kirshanthan, Newton, Ryan, Kulkarni, Milind

Volltext

Refinement reflection: complete verification with SMT von Vazou, Niki, Tondwalkar, Anish, Choudhury, Vikraman, Scott, Ryan G., Newton, Ryan R., Wadler, Philip, Jhala, Ranjit

Volltext

Efficient tree-traversals: reconciling parallelism and dense data representations von Koparkar, Chaitanya, Rainey, Mike, Vollmer, Michael, Kulkarni, Milind, Newton, Ryan R.

Volltext

Monadic composition for deterministic, parallel batch processing von Scott, Ryan G., Navarro Leija, Omar S., Devietti, Joseph, Newton, Ryan R.

Volltext

Design and evaluation of a compiler for embedded stream programs von Newton, Ryan R., Girod, Lewis D., Craig, Michael B., Madden, Samuel R., Morrisett, John Gregory

Volltext

Concurrent Cilk: Lazy Promotion from Tasks to Threads in C/C++ von Zakian, Christopher S., Zakian, Timothy A. K., Kulkarni, Abhishek, Chamith, Buddhika, Newton, Ryan R.

Volltext

Efficient Tree-Traversals: Reconciling Parallelism and Dense Data Representations von Koparkar, Chaitanya, Rainey, Mike, Vollmer, Michael, Kulkarni, Milind, Newton, Ryan R

Volltext bestellen

Sound, Fine-Grained Traversal Fusion for Heterogeneous Trees - Extended Version von Sakka, Laith, Sundararajah, Kirshanthan, Newton, Ryan R, Kulkarni, Milind

Volltext bestellen

Adaptive lock-free data structures in Haskell: a general method for concurrent implementation swapping von Chen, Chao-Hong, Choudhury, Vikraman, Newton, Ryan R.

Volltext

SC-Haskell: Sequential Consistency in Languages That Minimize Mutable Shared Heap von Vollmer, Michael, Scott, Ryan G., Musuvathi, Madanlal, Newton, Ryan R.

Volltext

Instruction punning: lightweight instrumentation for x86-64 von Chamith, Buddhika, Svensson, Bo Joel, Dalessandro, Luke, Newton, Ryan R.

Volltext

Taming the parallel effect zoo: extensible deterministic parallelism with LVish von Kuper, Lindsey, Todd, Aaron, Tobin-Hochstadt, Sam, Newton, Ryan R.

Volltext

Refinement Reflection: Complete Verification with SMT von Vazou, Niki, Tondwalkar, Anish, Choudhury, Vikraman, Scott, Ryan G, Newton, Ryan R, Wadler, Philip, Jhala, Ranjit

Volltext

Living on the edge: rapid-toggling probes with cross-modification on x86 von Chamith, Buddhika, Svensson, Bo Joel, Dalessandro, Luke, Newton, Ryan R.

Volltext

A meta-scheduler for the par-monad: composable scheduling for the heterogeneous cloud von Foltzer, Adam, Kulkarni, Abhishek, Swords, Rebecca, Sasidharan, Sajith, Jiang, Eric, Newton, Ryan

Volltext

Linear Haskell: practical linearity in a higher-order polymorphic language von Bernardy, Jean-Philippe, Boespflug, Mathieu, Newton, Ryan R, Simon Peyton Jones, Spiwack, Arnaud

Volltext