Visits
Olivier and Manuel in Sophia in July 2024.
In this photograph, Olivier and Manuel are sketching the first algorithm
to be used to implement the lambda versioning the follow up of
the basic block versioning. More to come in the next months...Olivier and, and Marc in Sophia in July 2024.
During this visit, we completed the work of float self tagging which
is a novel technique for implementing efficiently floating point numbers
in dynamic and functional language. It relies on an encoding of floats
that do not require heap allocation.Aghilas, Erven, Manuel, and Marc in Sophia in July 2024.
The objective of
this visit was to study the impact of micro-architecure details on the
performance of user applications. For that we designed several tools
that monitor executions in order to reveal hardware idiosyncrasies
that are commonly never observed. For instance, the following graph
generated by our cpufreqtool, shows the peak frequency the core of an AMD Ryzen 7955WX can reach.
The second graph shows the impact of the external temperature on
CPU performance.
Manuel visting Marc and Olivier in Montreal in November 2024.
The objective of
this visit was to explore dynamic code modification of optimized C
generated code and to explore the possibility of using WebAssembly as
a future target for the team. As it sometime happens with research,
serendipity showed up and an unexpected discovery as been made about
the optimization of numbers in high level languages. During that
visit, a new optimization has been implemented and a new paper has
been written, which is currently under revision. A draft we uploaded
on the arxiv web site received
some traction.Marc, Olivier, and Erven visiting Manuel in Sophia in July in 2024.
This was the first
in-person meeting of the Cold project during which the members presented
their current research and proposal for the first actions to be
conducted in the team.