Contributions to program analysis: expressivity and scalability

Laure Gonnord

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 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 : Wednesday, April 3, 2019 - 1:30:18 AM
Long-term archiving on : Sunday, February 18, 2018 - 4:35:34 PM

HDR_Gonnord-11-11-2017.pdf

Files produced by the author(s)

Contributions to program analysis: expressivity and scalability

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

File

Identifiers

Collections

Citation

Export

Metrics

235

211

Contact

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

235

211

Contact

Contributions to program analysis: expressivity and scalability

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