Compas 2025 (Slides Available)

I presented my work at the Compas 2025 conference in Bordeaux, France.

The slide deck used can be downloaded here.

Those slides were based on a paper submitted to ACM Taco. The preprint is available on HAL and arXiv.