1 citations · 3 across the 8 of their papers we have counts for
Showing 2022Show all
3 papers · 1 filter
cs.PL2022★ 1 cited
Denotationally Correct, Purely Functional, Efficient Reverse-mode Automatic Differentiation
Mathieu Huot, Amir Shaikhha
Reverse-mode differentiation is used for optimization, but it introduces references, which break the purity of the underlying programs, making them notoriously harder to optimize.…
cs.PL2022
Compiling Structured Tensor Algebra
Mahdi Ghorbani, Mathieu Huot, Shideh Hashemian +1
Tensor algebra is essential for data-intensive workloads in various computational domains. Computational scientists face a trade-off between the specialization degree provided by d…
cs.PL2022
Hinted Dictionaries: Efficient Functional Ordered Sets and Maps
Amir Shaikhha, Mahdi Ghorbani, Hesam Shahrokhi
This article introduces hinted dictionaries for expressing efficient ordered sets and maps functionally. As opposed to the traditional ordered dictionaries with logarithmic operati…