| Order by:
[Title],
[Author],
[Editor],
[Year] |
|---|
|
Barak A. Pearlmutter, Jeffrey Mark Siskind
Using Programming Language Theory to Make Automatic Differentiation Sound and Efficient
Advances in Automatic Differentiation, Springer,
2008 |
Theory & Techniques:
Functional Programming
|
|
|
Jeffrey Mark Siskind, Barak A. Pearlmutter
Perturbation Confusion and Referential Transparency: Correct Functional Implementation of Forward-Mode AD
Conference proceeding,
Implementation and Application of Functional Languages---17th International Workshop, IFL'05, 2005 |
Tools:
Haskell
Theory & Techniques:
Forward Mode, Functional Programming
|
|
|
Jeffrey Mark Siskind, Barak A. Pearlmutter
First-Class Nonstandard Interpretations by Opening Closures
Conference proceeding,
Proceedings of the 2007 Symposium on Principles of Programming Languages, 2007 |
Theory & Techniques:
Forward Mode, Functional Programming, General
|
|
|
Barak A. Pearlmutter, Jeffrey Mark Siskind
Lazy Multivariate Higher-Order Forward-Mode AD
Conference proceeding,
Proceedings of the 2007 Symposium on Principles of Programming Languages, 2007 |
Tools:
Scheme
Theory & Techniques:
Forward Mode, Functional Programming, Higher Order, Nesting
|
|
Jeffrey Mark Siskind, Barak A. Pearlmutter
Using Polyvariant Union-Free Flow Analysis to Compile a Higher-Order Functional-Programming Language with a First-Class Derivative Operator to Efficient Fortran-like Code
School of Electrical and Computer Engineering, Purdue University, 2008 |
Theory & Techniques:
Forward Mode, Functional Programming, Higher Order, Nesting
|
|
|
Jeffrey Mark Siskind, Barak A. Pearlmutter
Putting the Automatic Back into AD: Part I, What's Wrong
School of Electrical and Computer Engineering, Purdue University, 2008 |
Tools:
ADIC, ADIFOR, FADBAD/TADIFF, TAPENADE
Theory & Techniques:
Forward Mode, Higher Order, Nesting
|
|
|
Jeffrey Mark Siskind, Barak A. Pearlmutter
Nesting Forward-Mode AD in a Functional Framework
Article in
Higher-Order and Symbolic Computation, 2008 |
Theory & Techniques:
Forward Mode, Functional Programming, Implementation Strategies, Nesting
|
|
|
Barak A. Pearlmutter, Jeffrey Mark Siskind
Reverse-mode AD in a functional framework: Lambda the ultimate back propagator
Article in
ACM Trans. Program. Lang. Syst., ACM,
2008 |
Theory & Techniques:
Functional Programming
|
|
|
Alexey Radul, Barak A. Pearlmutter, Jeffrey Mark Siskind
AD in Fortran: Implementation via Prepreprocessor
Recent Advances in Algorithmic Differentiation, Springer,
2012 |
Tools:
Farfallen
Theory & Techniques:
Implementation Strategies
|
|
|
A. G. Baydin, B. A. Pearlmutter, A. A. Radul, J. M. Siskind
Automatic differentiation in machine learning: a survey
Article in
arXiv preprint arXiv:1502.05767, 2015 |
Tools:
DiffSharp
|
|
|
Atilim Gunes Baydin, Barak A. Pearlmutter, Jeffrey Mark Siskind
DiffSharp: Automatic Differentiation Library
arXiv, 2015 |
Tools:
DiffSharp
Theory & Techniques:
Implementation Strategies
|
|
|
Jeffrey Mark Siskind, Barak A. Pearlmutter
Binomial Checkpointing for Arbitrary Programs with No User Annotation
2016 |
Tools:
lambda calculus
Theory & Techniques:
Checkpointing, Implementation Strategies
|
|
|
Jeffrey Mark Siskind, Barak A. Pearlmutter
Efficient Implementation of a Higher-Order Language with Built-In AD
2016 |
Theory & Techniques:
Implementation Strategies, Performance
|
|
|
Atılım Güneş Baydin, Barak A. Pearlmutter, Jeffrey Mark Siskind
DiffSharp: An AD Library for .NET Languages
2016 |
Tools:
DiffSharp
|
|
|
Atılım Güneş Baydin, Barak A. Pearlmutter, Jeffrey Mark Siskind
Tricks from Deep Learning
2016 |
Application Area:
Machine Learning
|
|
|
Robert Kelly, Barak A. Pearlmutter, Jeffrey Mark Siskind
Evolving the Incremental λ Calculus into a Model of Forward AD
2016 |
Tools:
lambda calculus
Theory & Techniques:
Forward Mode, Software Engineering, Tangent
|
|
|
Jeffrey Mark Siskind, Barak A. Pearlmutter
Divide-and-conquer checkpointing for arbitrary programs with no user annotation
Article in
Special issue of Optimization Methods & Software: Advances in Algorithmic Differentiation, Taylor & Francis,
2018 |
Theory & Techniques:
Checkpointing
|
|
|
O. Manzyuk, B. A. Pearlmutter, A. A. Radul, D. R. Rush, J. M. Siskind
Perturbation confusion in forward automatic differentiation of higher-order functions
Article in
Journal of Functional Programming, Cambridge University Press,
2019 |
Theory & Techniques:
Higher Order
|
