Claire Maïza

Publication Activity (10 Years)

Years Active: 2014-2019
Publications (10 Years): 5

Top Topics

Abstract Interpretation

Quantitative Analysis

Top Venues

Proc. ACM Program. Lang.

Publications

Valentin Touzeau, Claire Maïza, David Monniaux, Jan Reineke
Fast and exact analysis for LRU caches. Proc. ACM Program. Lang. 3 (POPL) (2019)
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)
Julien Henry, Mihail Asavoae, David Monniaux, Claire Maïza
How to Compute Worst-Case Execution Time by Optimization Modulo Theory and a Clever Encoding of Program Semantics. CoRR (2014)