Valentin Touzeau

According to our database, Valentin Touzeau authored at least 6 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Leveraging LLVM's ScalarEvolution for Symbolic Data Cache Analysis.

Valentin Touzeau, Jan Reineke

Proceedings of the IEEE Real-Time Systems Symposium, 2023

2019

Static analysis of least recently used caches: complexity, optimal analysis, and applications to worst-case execution time and security. (Analyse statique de caches LRU : complexité, analyse optimale, et applications au calcul de pire temps d'exécution et à la sécurité).

Valentin Touzeau

PhD thesis, 2019

Fast and exact analysis for LRU caches.

Valentin Touzeau, Claire Maïza, David Monniaux, Jan Reineke

Proc. ACM Program. Lang., 2019

On the Complexity of Cache Analysis for Different Replacement Policies.

David Monniaux, Valentin Touzeau

J. ACM, 2019

2017

Model Checking of Cache for WCET Analysis Refinement.

Valentin Touzeau, Claire Maïza, David Monniaux

CoRR, 2017

Ascertaining Uncertainty for Efficient Exact Cache Analysis.

Valentin Touzeau, Claire Maïza, David Monniaux, Jan Reineke

Proceedings of the Computer Aided Verification - 29th International Conference, 2017