1.3k citations · 2.1k across the 35 of their papers we have counts for
Showing 2020 · cs.PLShow all
2 papers · 2 filters
cs.PL2020★ 6 cited
Simplifying Dependent Reductions in the Polyhedral Model
Cambridge Yang, Eric Atkinson, Michael Carbin
A Reduction -- an accumulation over a set of values, using an associative and commutative operator -- is a common computation in many numerical computations, including scientific c…
cs.PL2020★ 8 cited
: Computable Semantics for Differentiable Programming with Higher-Order Functions and Datatypes
Benjamin Sherman, Jesse Michel, Michael Carbin
Deep learning is moving towards increasingly sophisticated optimization objectives that employ higher-order functions, such as integration, continuous optimization, and root-findin…