Contributions to program analysis: expressivity and scalability

Laure Gonnord

Habilitation à diriger des recherches

Contributions to program analysis: expressivity and scalability

Contributions aux analyses de programmes, expressivité, passage à l'échelle

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

Domain :

Computer Science [cs] / Computation and Language [cs.CL]

Computer Science [cs] / Embedded Systems

Computer Science [cs] / Data Structures and Algorithms [cs.DS]

Complete list of metadata

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 : Saturday, September 11, 2021 - 3:18:52 AM
Long-term archiving on: : Sunday, February 18, 2018 - 4:35:34 PM

Contributions to program analysis: expressivity and scalability

Contributions aux analyses de programmes, expressivité, passage à l'échelle

File

Identifiers

Collections

Citation

Export

Metrics

386

538

en fr Contributions to program analysis: expressivity and scalability Contributions aux analyses de programmes, expressivité, passage à l'échelle

File

Identifiers

Collections

Citation

Export

Share

Metrics

386

538

Contributions to program analysis: expressivity and scalability

Contributions aux analyses de programmes, expressivité, passage à l'échelle