En octobre 2018 David Monniaux, chercheur au laboratoire Verimag du CNRS à Grenoble, évoquait sur son fil Twitter son travail de recherche sur la complexité de l’analyse du cache. Curieux du sujet, je lui demandai des détails, il me fit parvenir un article en cours de rédaction à l’époque, désormais consultable sur arXiv, On the complexity of cache analysis for different replacement policies. La lecture en était assez ardue, aussi lorsqu’il annonça, toujours sur son fil Twitter, qu’il donnerait un (...)