Concepedia

Valentin Touzeau

VT

Statistics

Publications

2

Citations

278

H-Index

2

Active since

2017

Affiliations

Saarland University(Current)

Valentin Touzeau is an author at Saarland University specializing in formal methods, caching, and system software.

Top concepts

CachingEngineeringVerificationFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationComputer Engineering

Publications per year

2017–2019

2

Publications

2

Ascertaining Uncertainty for Efficient Exact Cache Analysis

Valentin Touzeau, Claire Maïza, David Monniaux et al. · arXiv (Cornell University) · 2017 · 252 citations · Full text

Engineering, Verification, Computer Architecture +25

Fast and exact analysis for LRU caches

Valentin Touzeau, Claire Maïza, David Monniaux et al. · Proceedings of the ACM on Programming Languages · 2019 · 26 citations · Full text

Engineering, Verification, Computer Architecture +21

1–2 of 2