Registered user since Fri 25 Jan 2019

Name:Valentin Touzeau
Affiliation:Univ. Grenoble Alpes

Contributions

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