BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × United Kingdom
Collaborated with:
D.Monniaux N.Halbwachs M.Moy M.Asavoae C.Maiza
Talks about:
experiment (1) represent (1) interpret (1) algorithm (1) succinct (1) abstract (1) sequenc (1) program (1) decreas (1) analysi (1)

Person: Julien Henry

DBLP DBLP: Henry:Julien

Contributed to:

LCTES 20142014
SAS 20122012

Wrote 3 papers:

LCTES-2014-HenryAMM #encoding #execution #how #modulo theories #optimisation #semantics #worst-case
How to compute worst-case execution time by optimization modulo theory and a clever encoding of program semantics (JH, MA, DM, CM), pp. 43–52.
SAS-2012-HalbwachsH #sequence
When the Decreasing Sequence Fails (NH, JH), pp. 198–213.
SAS-2012-HenryMM #abstract interpretation #algorithm #analysis #evaluation
Succinct Representations for Abstract Interpretation — Combined Analysis Algorithms and Experimental Evaluation (JH, DM, MM), pp. 283–299.
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.