12 citations · 17 across the 2 of their papers we have counts for
2 papers
cs.PL2020★ 5 cited
Differentiating a Tensor Language
Gilbert Bernstein, Michael Mara, Tzu-Mao Li +2
How does one compile derivatives of tensor programs, such that the resulting code is purely functional (hence easier to optimize and parallelize) and provably efficient relative to…
cs.GR2016★ 12 cited
Opt: A Domain Specific Language for Non-linear Least Squares Optimization in Graphics and Imaging
Zachary DeVito, Michael Mara, Michael Zollhöfer +6
Many graphics and vision problems can be expressed as non-linear least squares optimizations of objective functions over visual data, such as images and meshes. The mathematical de…