Registered user since Fri 25 Jan 2019

Name: Valentin Touzeau

Affiliation: Univ. Grenoble Alpes

Contributions

POPL 2019Author of Fast and exact analysis for LRU caches within the Research Papers-track