Fetching the paper…
Reading the bibliography…
We present a novel programming language design that attempts to combine the clarity and safety of high-level functional languages with the efficiency and parallelism of low-level numerical languages.
A Programming Language
Kenneth E. Iverson. 1962 · 1962
Earlier work this paper cites.
ADIFOR — generating derivative codes from Fortran programs
Christian Bischof, Alan Carle, George Corliss, Andreas Griewank, and Paul Hovland. 1992 · 1992
Earlier work this paper cites.
NESL: A Nested Data-Parallel Language (Version 2.6)
Guy E. Blelloch. 1993 · 1993
Earlier work this paper cites.
Lazy Functional State Threads. In
John Launchbury and Simon L. Peyton Jones. 1994 · 1994
Earlier work this paper cites.
The Definition of Standard ML
Robin Milner, Mads Tofte, and David Macqueen. 1997 · 1997
Earlier work this paper cites.
Secrets of the Glasgow Haskell Compiler Inliner
Simon Peyton Jones and Simon Marlow. 2002 · 2002
Earlier work this paper cites.
Practical Type Inference for Arbitrary-Rank Types
Simon Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, and Mark Shields. 2007a · 2007
Earlier work this paper cites.
Practical Type Inference for Arbitrary-Rank Types
Simon Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, and Mark Shields. 2007b · 2007
Earlier work this paper cites.
A Practical Automatic Polyhedral Parallelizer and Locality Optimizer. In
Uday Bondhugula, Albert Hartono, J. Ramanujam, and P. Sadayappan. 2008 · 2008
Earlier work this paper cites.
Evaluating Derivatives: Principles and Techniques of Algorithmic Differentiation (second ed.)
Andreas Griewank and Andrea Walther. 2008 · 2008
Earlier work this paper cites.
Reverse-mode AD in a functional framework: Lambda the ultimate backpropagator
Barak A Pearlmutter and Jeffrey Mark Siskind. 2008 · 2008
Earlier work this paper cites.
Harnessing the Multicores: Nested Data Parallelism in Haskell. In
Simon Peyton Jones. 2008 · 2008
Earlier work this paper cites.
Rodinia: A benchmark suite for heterogeneous computing. In
Shuai Che, Michael Boyer, Jiayuan Meng, David Tarjan, Jeremy W Sheaffer, Sang-Ha Lee, and Kevin Skadron. 2009 · 2009
Earlier work this paper cites.
Theano: a CPU and GPU math expression compiler. In
James Bergstra, Olivier Breuleux, Frédéric Bastien, Pascal Lamblin, Razvan Pascanu, Guillaume Desjardins, Joseph Turian, David Warde-Farley, and Yoshua Bengio. 2010 · 2010
Earlier work this paper cites.
Rethinking Supercompilation. In
Neil Mitchell. 2010 · 2010
Earlier work this paper cites.
Accelerating Haskell array codes with multicore GPUs. In
Manuel M T Chakravarty, Gabriele Keller, Sean Lee, Trevor L. McDonell, and Vinod Grover. 2011 · 2011
Earlier work this paper cites.
Secure Distributed Programming with Value-Dependent Types. In
Nikhil Swamy, Juan Chen, Cédric Fournet, Pierre-Yves Strub, Karthikeyan Bhargavan, and Jean Yang. 2011 · 2011
Earlier work this paper cites.
Chainer: A deep learning framework for accelerating the research cycle. In
Seiya Tokui, Ryosuke Okuta, Takuya Akiba, Yusuke Niitani, Toru Ogawa, Shunta Saito, Shuji Suzuki, Kota Uenishi, Brian Vogel, and Hiroyuki Yamazaki Vincent. 2019 · 2011
Earlier work this paper cites.
Polly - Performing Polyhedral Optimizations on a Low-Level Intermediate Representation
Tobias Grosser, Armin Größlinger, and C. Lengauer. 2012 · 2012
Cited alongside, same era.
Parboil: A Revised Benchmark Suite for Scientific and Commercial Throughput Computing
J. A. Stratton, Christopher I. Rodrigues, I-Jui Sung, Nady Obeid, Li-Wen Chang, N. Anssari, G. Liu, and W. Hwu. 2012 · 2012
Cited alongside, same era.
The Tapenade automatic differentiation tool: principles, model, and specification
Laurent Hascoet and Valérie Pascual. 2013 · 2013
Cited alongside, same era.
Optimising Purely Functional GPU Programs. In
Trevor L. McDonell, Manuel M T Chakravarty, Gabriele Keller, and Ben Lippmeier. 2013 · 2013
Cited alongside, same era.
Halide: A Language and Compiler for Optimizing Parallelism, Locality, and Recomputation in Image Processing Pipelines
Jonathan Ragan-Kelley, Connelly Barnes, Andrew Adams, Sylvain Paris, Frédo Durand, and Saman Amarasinghe. 2013 · 2013
Cited alongside, same era.
High-Performance Defunctionalisation in Futhark. In
Anders Kiel Hovgaard, Troels Henriksen, and Martin Elsman. 2018 · 2018
Later among the works it cites.
Don’t Unroll Adjoint: Differentiating SSA-Form Programs
Michael Innes. 2018 · 2018
Later among the works it cites.
Differentiable programming for image processing and deep learning in Halide
Tzu-Mao Li, Michaël Gharbi, Andrew Adams, Frédo Durand, and Jonathan Ragan-Kelley. 2018 · 2018
Later among the works it cites.
Relay: A new IR for machine learning frameworks. In
Jared Roesch, Steven Lyubomirsky, Logan Weber, Josh Pollock, Marisa Kirisame, Tianqi Chen, and Zachary Tatlock. 2018 · 2018
Later among the works it cites.
Tensor Comprehensions: Framework-Agnostic High-Performance Machine Learning Abstractions
Nicolas Vasilache, Oleksandr Zinenko, Theodoros Theodoridis, Priya Goyal, Zachary DeVito, William S. Moses, Sven Verdoolaege, Andrew Adams, and Albert Cohen. 2018 · 2018
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Koka: Programming with Row Polymorphic Effect Types
Daan Leijen. 2014 · 2014
Cited alongside, same era.
Autograd: Effortless gradients in numpy
Dougal Maclaurin, David Duvenaud, and Ryan P Adams. 2014 · 2014
Cited alongside, same era.
An Array-Oriented Language with Static Rank Polymorphism. In
Justin Slepak, Olin Shivers, and Panagiotis Manolios. 2014 · 2014
Cited alongside, same era.
TensorFlow: A System for Large-Scale Machine Learning. In
Martín Abadi, Paul Barham, Jianmin Chen, Zhifeng Chen, Andy Davis, Jeffrey Dean, Matthieu Devin, Sanjay Ghemawat, Geoffrey Irving, Michael Isard, Manjunath Kudlur, Josh Levenberg, Rajat Monga, Sherry Moore, Derek G. Murray, Benoit Steiner, Paul Tucker, Vijay Vasudevan, Pete Warden, Martin Wicke, Yuan Yu, and Xiaoqiang Zheng. 2016 · 2016
Cited alongside, same era.
Design and GPGPU Performance of Futhark’s Redomap Construct. In
Troels Henriksen, Ken Friis Larsen, and Cosmin E. Oancea. 2016 · 2016
Cited alongside, same era.
Everything Old is New Again: Quoted Domain-Specific Languages. In
Shayan Najd, Sam Lindley, Josef Svenningsson, and Philip Wadler. 2016 · 2016
Cited alongside, same era.
Automatic Differentiation in Machine Learning: A Survey
Atılım Günes Baydin, Barak A. Pearlmutter, Alexey Andreyevich Radul, and Jeffrey Mark Siskind. 2017 · 2017
Cited alongside, same era.
Taichi: A Language for High-Performance Computation on Spatially Sparse Data Structures
Yuanming Hu, Tzu-Mao Li, Luke Anderson, Jonathan Ragan-Kelley, and Frédo Durand. 2019 · 2019
Later among the works it cites.
Automatic differentiation for adjoint stencil loops. In
Jan Hückelheim, Navjot Kukreja, Sri Hari Krishna Narayanan, Fabio Luporini, Gerard Gorman, and Paul Hovland. 2019 · 2019
Later among the works it cites.
Perturbation confusion in forward automatic differentiation of higher-order functions
Oleksandr Manzyuk, Barak A. Pearlmutter, Alexey Andreyevich Radul, David R. Rush, and Jeffrey Mark Siskind. 2019 · 2019
Later among the works it cites.
PyTorch: An Imperative Style, High-Performance Deep Learning Library. In
Adam Paszke, Sam Gross, Francisco Massa, Adam Lerer, James Bradbury, Gregory Chanan, Trevor Killeen, Zeming Lin, Natalia Gimelshein, Luca Antiga, Alban Desmaison, Andreas Köpf, Edward Yang, Zachary DeVito, Martin Raison, Alykhan Tejani, Sasank Chilamkurthy, Benoit Steiner, Lu Fang, Junjie Bai, and Soumith Chintala. 2019 · 2019
Later among the works it cites.
Efficient Differentiable Programming in a Functional Array-Processing Language
Amir Shaikhha, Andrew Fitzgibbon, Dimitrios Vytiniotis, and Simon Peyton Jones. 2019 · 2019
Later among the works it cites.
Differentiating a Tensor Language
Gilbert Bernstein, Michael Mara, Tzu-Mao Li, Dougal Maclaurin, and Jonathan Ragan-Kelley. 2020 · 2020
Later among the works it cites.
Effects as Capabilities: Effect Handlers and Lightweight Effect Polymorphism
Jonathan Immanuel Brachthäuser, Philipp Schuster, and Klaus Ostermann. 2020 · 2020
Later among the works it cites.
Array programming with NumPy
Charles R. Harris, K. Jarrod Millman, St’efan J. van der Walt, Ralf Gommers, Pauli Virtanen, David Cournapeau, Eric Wieser, Julian Taylor, Sebastian Berg, Nathaniel J. Smith, Robert Kern, Matti Picus, Stephan Hoyer, Marten H. van Kerkwijk, Matthew Brett, Allan Haldane, Jaime Fern’andez del R’ıo, Mark Wiebe, Pearu Peterson, Pierre G’erard-Marchant, Kevin Sheppard, Tyler Reddy, Warren Weckesser, Hameer Abbasi, Christoph Gohlke, and Travis E. Oliphant. 2020 · 2020
Later among the works it cites.
Compiling Generalized Histograms for GPU. In
Troels Henriksen, Sune Hellfritzsch, Ponnuswamy Sadayappan, and Cosmin Oancea. 2020 · 2020
Later among the works it cites.
DiffTaichi: Differentiable Programming for Physical Simulation. In
Yuanming Hu, Luke Anderson, Tzu-Mao Li, Qi Sun, Nathan Carr, Jonathan Ragan-Kelley, and Fredo Durand. 2020 · 2020
Later among the works it cites.
Decomposing reverse-mode automatic differentiation. In
Roy Frostig, Matthew Johnson, Dougal Maclaurin, Adam Paszke, and Alexey Radul. 2021 · 2021
Closest in time.
AD on Higher Order Functions
Sam Ritchie and Gerald Jay Sussman. 2021 · 2021
Closest in time.