4 citations · 9 across the 4 of their papers we have counts for
4 papers
Tail Modulo Cons, OCaml, and Relational Separation Logic
Clément Allain, Frédéric Bour, Basile Clément +2
Common functional languages incentivize tail-recursive functions, as opposed to general recursive functions that consume stack space and may not scale to large inputs. This distinc…
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…
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…
Using Posters to Recommend Anime and Mangas in a Cold-Start Scenario
Jill-Jênn Vie, Florian Yger, Ryan Lahfa +4
Item cold-start is a classical issue in recommender systems that affects anime and manga recommendations as well. This problem can be framed as follows: how to predict whether a us…