Skip to Main content Skip to Navigation
Habilitation à diriger des recherches

Contributions to program analysis: expressivity and scalability

Laure Gonnord 1, 2, 3
1 LIP - Laboratoire de l'Informatique du Parallélisme
2 UCBL - Université Claude Bernard Lyon 1
3 ROMA - Optimisation des ressources : modèles, algorithmes et ordonnancement
Inria Grenoble - Rhône-Alpes, LIP - Laboratoire de l'Informatique du Parallélisme
Keywords : Program analysis and optimization abstract interpretation
Document type :
Habilitation à diriger des recherches
Complete list of metadatas

Cited literature [134 references]  Display  Hide  Download
https://tel.archives-ouvertes.fr/tel-01633065
Contributor : Laure Gonnord <>
Submitted on : Friday, November 17, 2017 - 5:53:43 PM
Last modification on : Tuesday, December 24, 2019 - 9:16:08 AM
Long-term archiving on: : Sunday, February 18, 2018 - 4:35:34 PM

File

Vignette du document
HDR_Gonnord-11-11-2017.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : tel-01633065, version 2

Collections

CNRS | LIP | INRIA | UNIV-LYON1 | ENS-LYON | UDL

Citation

Laure Gonnord. Contributions to program analysis: expressivity and scalability. Computation and Language [cs.CL]. Université Lyon 1 Claude Bernard, 2017. ⟨tel-01633065v2⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

354

Files downloads

425