32 citations · 34 across the 4 of their papers we have counts for
4 papers
Coarsening Optimization for Differentiable Programming
Xipeng Shen, Guoqiang Zhang, Irene Dea +10
This paper presents a novel optimization for differentiable programming named coarsening optimization. It offers a systematic way to synergize symbolic differentiation and algorith…
Introduction to Rank-polymorphic Programming in Remora (Draft)
Olin Shivers, Justin Slepak, Panagiotis Manolios
Remora is a higher-order, rank-polymorphic array-processing programming language, in the same general class of languages as APL and J. It is intended for writing programs to be exe…
The Semantics of Rank Polymorphism
Justin Slepak, Olin Shivers, Panagiotis Manolios
Iverson's APL and its descendants (such as J, K and FISh) are examples of the family of "rank-polymorphic" programming languages. The principal control mechanism of such languages…
CFA2: a Context-Free Approach to Control-Flow Analysis
Dimitrios Vardoulakis, Olin Shivers
In a functional language, the dominant control-flow mechanism is function call and return. Most higher-order flow analyses, including k-CFA, do not handle call and return well: the…