Skip to Main content Skip to Navigation
Theses

Code optimization based on source to source transformations using profile guided metrics

Abstract : Our goal is to develop a framework allowing the definition of source code transformations based on dynamic metrics.This framework be integrated to the MAQAO tool suite developed at the UVSQ / ECR.We present a set of source-to-source transformations guidable by the end user and by the dynamic metrics coming from the various MAQAO tools in order to work at source and binary levels.This framework can also be used as a pre-processor to simplify the development by enabling to perform cleanly and automatically some simple but time-consuming and error-prone transformations (i.e .: loop/function specialization, ...).
Complete list of metadatas

Cited literature [127 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-02443231
Contributor : Abes Star :  Contact
Submitted on : Friday, January 17, 2020 - 8:35:29 AM
Last modification on : Friday, October 9, 2020 - 9:51:54 AM

File

84582_LEBRAS_2019_archivage.pd...
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-02443231, version 1

Collections

Citation

Youenn Lebras. Code optimization based on source to source transformations using profile guided metrics. Automatic Control Engineering. Université Paris-Saclay, 2019. English. ⟨NNT : 2019SACLV037⟩. ⟨tel-02443231⟩

Share

Metrics

Record views

93

Files downloads

283