4 citations · 5 across the 3 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2021★ 1 cited
Tail Modulo Cons
Frédéric Bour, Basile Clément, Gabriel Scherer
OCaml function calls consume space on the system stack. Operating systems set default limits on the stack space which are much lower than the available memory. If a program runs ou…
cs.PL2019★ 4 cited
On the Representation of Partially Specified Implementations and its Application to the Optimization of Linear Algebra Kernels on GPU
Ulysse Beaugnon, Basile Clément, Nicolas Tollenaere +1
Traditional optimizing compilers rely on rewrite rules to iteratively apply program transformations. This iterative approach hides optimization opportunities behind intermediate tr…