BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
V.Touzeau D.Monniaux J.Reineke
Talks about:
analysi (2) exact (2) cach (2) uncertainti (1) ascertain (1) effici (1) fast (1) lru (1)

Person: Claire Maïza

DBLP DBLP: Ma=iuml=za:Claire

Contributed to:

POPL 20192019
CAV (2) 20172017

Wrote 2 papers:

POPL-2019-TouzeauMMR #analysis #performance
Fast and exact analysis for LRU caches (VT, CM, DM, JR), p. 29.
CAV-2017-TouzeauMMR #analysis #nondeterminism #performance
Ascertaining Uncertainty for Efficient Exact Cache Analysis (VT, CM, DM, JR), pp. 22–40.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.