44 Publications (Page 1 of 2)
2021
Efficient tree-traversals: reconciling parallelism and dense data representations
Koparkar, Chaitanya⋅Koparkar, Chaitanya⋅Rainey, Mike⋅Rainey, Mike⋅Vollmer, Michael⋅Vollmer, Michael⋅Kulkarni, Milind⋅Kulkarni, Milind⋅Newton, Ryan R. and Newton, Ryan R.
Proceedings of ACM on programming languages, vol. 5, (no. ICFP), pp. 29, 2021-08-01. | Journal Article
2020
A.M.B.R.O.S.I.A
Goldstein, Jonathan⋅Abdelhamid, Ahmed⋅Barnett, Mike⋅Burckhardt, Sebastian⋅Chandramouli, Badrish⋅Gehring, Darren⋅Lebeck, Niel⋅Meiklejohn, Christopher⋅Minhas, Umar Farooq⋅Newton, Ryan⋅Peshawaria, Rahee Ghosh⋅Zaccai, Tal and Zhang, Irene
Proceedings of the VLDB Endowment, vol. 13, (no. 5), pp. 601, 2020-01-00. | Journal Article
 
ShadowGuard : Optimizing the Policy and Mechanism of Shadow Stack Instrumentation using Binary Static Analysis
Chamith, Buddhika⋅Meng, Xiaozhu and Newton, Ryan
2020-02-18. | Journal Article
2019
Sound, Fine-Grained Traversal Fusion for Heterogeneous Trees - Extended Version
Sakka, Laith⋅Sakka, Laith⋅Sundararajah, Kirshanthan⋅Sundararajah, Kirshanthan⋅Newton, Ryan R⋅Newton, Ryan R⋅Kulkarni, Milind and Kulkarni, Milind
2019-04-11. | Journal Article
2018
Ghostbuster: A tool for simplifying and converting GADTs
ZAKIAN, TIMOTHY A. K⋅Zakian, Timothy A⋅McDonell, Trevor L⋅MCDONELL, TREVOR L⋅CIMINI, MATTEO⋅Cimini, Matteo⋅Newton, Ryan R and NEWTON, RYAN R
Journal of Functional Programming, vol. 28, 2018-00-00. | Journal Article
 
Linear Haskell: practical linearity in a higher-order polymorphic language
Bernardy, Jean-Philippe⋅Boespflug, Mathieu⋅Newton, Ryan⋅Peyton Jones, Simon and Spiwack, Arnaud
Proceedings of the ACM on Programming Languages, vol. 2, (no. POPL), 2018. | Journal Article
2017
Adaptive lock-free data structures in Haskell: a general method for concurrent implementation swapping
Chen, Chao-Hong⋅Choudhury, Vikraman and Newton, Ryan R
ACM SIGPLAN Notices, vol. 52, (no. 10), pp. 211, 2017-09-07. | Journal Article
 
Adaptive lock-free data structures in Haskell: a general method for concurrent implementation swapping
Chen, Chao-Hong⋅Choudhury, Vikraman and Newton, Ryan R
Proceedings of the 10th ACM SIGPLAN International Symposium on haskell, pp. 211, 09-07-2017. | Journal Article
 
Deriving Law-Abiding Instances
Scott, Ryan⋅Choudhury, Vikraman⋅Newton, Ryan⋅Vazou, Niki and Jhala, Ranjit
2017-08-07. | Journal Article
 
Deriving Law-Abiding Instances
Scott, Ryan⋅Choudhury, Vikraman⋅Newton, Ryan⋅Vazou, Niki and Jhala, Ranjit
2017-08-07. | Journal Article
 
Deriving Law-Abiding Instances
Scott, Ryan⋅Choudhury, Vikraman⋅Newton, Ryan⋅Vazou, Niki and Jhala, Ranjit
2017-08-07. | Journal Article
 
Instruction punning: lightweight instrumentation for x86-64
Chamith, Buddhika⋅Svensson, Bo Joel⋅Dalessandro, Luke and Newton, Ryan R
ACM SIGPLAN Notices, vol. 52, (no. 6), pp. 332, 2017-06-14. | Journal Article
 
Linear Haskell: practical linearity in a higher-order polymorphic language
Bernardy, Jean-Philippe⋅Boespflug, Mathieu⋅Newton, Ryan R⋅Peyton Jones, Simon and Spiwack, Arnaud
Proceedings of the ACM on Programming Languages, vol. 2, (no. POPL), pp. 29, 12-27-2017. | Journal Article
 
Monadic composition for deterministic, parallel batch processing
Scott, Ryan G⋅Scott, Ryan G⋅Navarro Leija, Omar S⋅Navarro Leija, Omar S⋅Devietti, Joseph⋅Devietti, Joseph⋅Newton, Ryan R and Newton, Ryan R
Proceedings of the ACM on Programming Languages, vol. 1, (no. OOPSLA), pp. 26, 10-12-2017. | Journal Article
 
Refinement reflection: complete verification with SMT
Vazou, Niki⋅Vazou, Niki⋅Tondwalkar, Anish⋅Tondwalkar, Anish⋅Choudhury, Vikraman⋅Choudhury, Vikraman⋅Scott, Ryan G⋅Scott, Ryan G⋅Newton, Ryan R⋅Newton, Ryan R⋅Wadler, Philip⋅Wadler, Philip⋅Jhala, Ranjit and Jhala, Ranjit
Proceedings of the ACM on Programming Languages, vol. 2, (no. POPL), pp. 31, 12-27-2017. | Journal Article
 
SC-Haskell
Vollmer, Michael⋅Vollmer, Michael⋅Scott, Ryan⋅Scott, Ryan⋅Musuvathi, Madanlal⋅Musuvathi, Madanlal⋅Newton, Ryan and Newton, Ryan
ACM SIGPLAN Notices, vol. 52, (no. 8), pp. 298, 10-26-2017. | Journal Article
2016
A language for hierarchical data parallel design-space exploration on GPUs
SVENSSON, BO JOEL⋅NEWTON, RYAN R and SHEERAN, MARY
Journal of Functional Programming, vol. 26, 2016-00-00. | Journal Article
 
Ghostbuster: a tool for simplifying and converting GADTs
McDonell, Trevor L⋅Zakian, Timothy A. K⋅Cimini, Matteo and Newton, Ryan R
ACM SIGPLAN Notices, vol. 51, (no. 9), pp. 350, 2016-09-04. | Journal Article
 
Living on the edge: rapid-toggling probes with cross-modification on x86
Chamith, Buddhika⋅Svensson, Bo Joel⋅Dalessandro, Luke and Newton, Ryan R
ACM SIGPLAN Notices, vol. 51, (no. 6), pp. 26, 2016-06-02. | Journal Article
 
Parallel type-checking with haskell using saturating LVars and stream generators
Newton, Ryan⋅Newton, Ryan⋅Ağacan, Ömer⋅Ağacan, Ömer⋅Fogg, Peter⋅Fogg, Peter⋅Tobin Hochstadt, Sam and Tobin-Hochstadt, Sam
ACM SIGPLAN Notices, vol. 51, (no. 8), pp. 12, 11-09-2016. | Journal Article
 
SCnC: Efficient Unification of Streaming with Dynamic Task Parallelism
Sbîrlea, Dragos⋅Sbîrlea, Dragos⋅Shirako, Jun⋅Shirako, Jun⋅Newton, Ryan⋅Newton, Ryan⋅Sarkar, Vivek and Sarkar, Vivek
International Journal of Parallel Programming, vol. 44, (no. 2), pp. 233-256, Apr 2016. | Journal Article
2015
Adaptive lock-free maps: purely-functional to scalable
Newton, Ryan R⋅Fogg, Peter P and Varamesh, Ali
ACM SIGPLAN Notices, vol. 50, (no. 9), pp. 229, 2015-08-29. | Journal Article
 
Efficient communication and collection with compact normal forms
Yang, Edward Z⋅Campagna, Giovanni⋅Ağacan, Ömer S⋅El-Hassany, Ahmed⋅Kulkarni, Abhishek and Newton, Ryan R
ACM SIGPLAN Notices, vol. 50, (no. 9), pp. 374, 2015-08-29. | Journal Article
 
Type-safe runtime code generation: accelerate to LLVM
McDonell, Trevor L⋅Chakravarty, Manuel M. T⋅Grover, Vinod and Newton, Ryan R
ACM SIGPLAN Notices, vol. 50, (no. 12), pp. 212, 2015-08-30. | Journal Article
2014
Design exploration through code-generating DSLs
Svensson, Bo⋅Sheeran, Mary and Newton, Ryan
Communications of the ACM, vol. 57, (no. 6), pp. 63, 06-01-2014. | Journal Article