Valentin Touzeau

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 9

Top Topics

Top Venues

Proc. ACM Program. Lang.

Grenoble Alpes University, France (PHD)

Education History

Grenoble Alpes University, France

PHD

Publications

Valentin Touzeau, Jan Reineke
Leveraging LLVM's ScalarEvolution for Symbolic Data Cache Analysis. RTSS (2023)
Valentin Touzeau, Jan Reineke
Leveraging LLVM's ScalarEvolution for Symbolic Data Cache Analysis. CoRR (2023)
David Monniaux, Valentin Touzeau
On the Complexity of Cache Analysis for Different Replacement Policies. J. ACM 66 (6) (2019)
Valentin Touzeau, Claire Maïza, David Monniaux, Jan Reineke
Fast and exact analysis for LRU caches. Proc. ACM Program. Lang. 3 (POPL) (2019)
David Monniaux, Valentin Touzeau
On the complexity of cache analysis for different replacement policies. CoRR (2018)
Claire Maïza, Valentin Touzeau, David Monniaux, Jan Reineke
Fast and exact analysis for LRU caches. CoRR (2018)
Valentin Touzeau, Claire Maïza, David Monniaux, Jan Reineke
Ascertaining Uncertainty for Efficient Exact Cache Analysis. CoRR (2017)
Valentin Touzeau, Claire Maïza, David Monniaux
Model Checking of Cache for WCET Analysis Refinement. CoRR (2017)
Valentin Touzeau, Claire Maïza, David Monniaux, Jan Reineke
Ascertaining Uncertainty for Efficient Exact Cache Analysis. CAV (2) (2017)