 |
 |
 |
|
|
||
|---|---|---|
| tel-02405839v1
Habilitation à diriger des recherches
About some Metamorphoses of Computer Programs Programming Languages [cs.PL]. Université Paris Diderot, 2019 |
||
| hal-02867413v1
Conference papers
Automatic task-based parallelization of C++ applications by source-to-source transformations Compas 2020 - Conférence francophone en informatique, Jun 2020, Lyon, France |
||
| hal-00777156v1
Conference papers
Fast Dynamic Translation Using LLVM On Multi-Core Hosts 5th Workshop on Architectural and Microarchitectural Support for Binary Translation (AMAS-BT), Intel Corporation, Jun 2012, Portland, Oregon, United States |
||
| hal-01403830v1
Conference papers
Vérification de la génération modulaire du code impératif pour Lustre JFLA 2017 - Vingt-huitième Journées Francophones des Langages Applicatifs, Jan 2017, Gourette, France |
||
| hal-02102082v1
Reports
The bouclettes loop parallelizer. [Research Report] LIP RR-1995-40, Laboratoire de l'informatique du parallélisme. 1995, 2+13p |
||
| hal-02102319v1
Reports
Utilisation de processus légers pour l'exécution de programmes a parallélisme de données : étude expérimentale. [Rapport de recherche] LIP RR-96-09, Laboratoire de l'informatique du parallélisme. 1996, 2+22p |
||
| hal-00764521v1
Journal articles
Minimal Unroll Factor for Code Generation of Software Pipelining International Journal of Parallel Programming, Springer Verlag, 2012, ⟨10.1007/s10766-012-0203-z⟩ |
||
| inria-00452695v3
Reports
Ensuring Lexicographic-Positive Data Dependence Graphs in the SIRA Framework [Research Report] 2010 |
||
| hal-00979359v1
Reports
Antescofo Intermediate Representation [Research Report] RR-8520, INRIA. 2014, pp.13 |
||
| hal-02421327v1
Reports
A Compiler Algorithm to Guide Runtime Scheduling [Research Report] RR-9315, INRIA Grenoble; INRIA Bordeaux - Sud-Ouest. 2019 |
||
| tel-00564899v1
Theses
Outils pour la parallélisation automatique Génie logiciel [cs.SE]. Ecole normale supérieure de lyon - ENS LYON, 1996. Français |
||
| hal-02101836v1
Reports
Compilation of data-parallel program for a network of workstations [Research Report] LIP RR-1994-31, Laboratoire de l'informatique du parallélisme. 1994, 2+24p |
||
| hal-02101986v1
Reports
Validation of the compilation of Data-Parallel C ``while'' loops for shared memory architectures [Research Report] LIP RR-1994-13, Laboratoire de l'informatique du parallélisme. 1994, 2+21p |
||
| hal-02102197v1
Reports
Register allocation and spill complexity under SSA [Research Report] Laboratoire de l'informatique du parallélisme. 2005, 2+28p |
||
| tel-00672699v1
Theses
Conception d'un noyau de vérification de preuves pour le λΠ-calcul modulo Logique en informatique [cs.LO]. Ecole Polytechnique X, 2011. Français |
||
| tel-01144563v1
Theses
A decoupled approach to high-level loop optimization : tile shapes, polyhedral building blocks and low-level compilers Programming Languages [cs.PL]. Université Pierre et Marie Curie - Paris VI, 2014. English. ⟨NNT : 2014PA066270⟩ |
||
| hal-01682061v1
Documents associated with scientific events
Regard de l'informaticien sur ses œuvres et leur originalité Journée de l'AFDIT - Contrefaçon de logiciel et fonds commun de l’informatique, Oct 2016, Paris, France. 2016 |
||
| hal-01248163v1
Reports
Programming with hardware/software functions [Research Report] RR-8835, INRIA Lille Nord Europe. 2015, pp.18 |
||
| hal-01169584v1
Directions of work or proceedings
Actes des Septièmes journées nationales du GDR Génie de la Programmation et du Logiciel 7eme journées du GDR Génie de la Programmation et du Logiciel, Jun 2015, Bordeaux, France. 2015 |
||
| |
||
| tel-01633065v2
Habilitation à diriger des recherches
Contributions to program analysis: expressivity and scalability Computation and Language [cs.CL]. Université Lyon 1 Claude Bernard, 2017 |
||
| hal-02314734v1
Journal articles
ICOOLPS 2010 and MASPEGHI 2010. The Journal of Object Technology, Chair of Software Engineering, 2012, 11 (3), ⟨10.5381/jot.2012.11.3.e2⟩ |
||
| tel-00007405v1
Theses
Register Pressure in Instruction Level Parallelism Other [cs.OH]. Université de Versailles-Saint Quentin en Yvelines, 2002. English |
||
| hal-01246628v1
Conference papers
Requesting Heterogeneous Data Sources with Array Comprehensions in Hop.js 15th Symposium on Database Programming Languages,, ACM, Oct 2015, Pittsburgh, United States. pp.4, ⟨10.1145/2815072.2815077⟩ |
||
| hal-01546055v1
Directions of work or proceedings
Proceedings of the 10th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, ICOOOLPS 2015, Prague, Czech Republic, July 6, 2015 Floréal Morandat; Olivier Zendra. 10th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, ICOOOLPS 2015, Jul 2015, Prague, Czech Republic. ACM, 2015, 978-1-4503-3657-4. ⟨10.1145/2843915⟩  |
||
| hal-01546070v1
Directions of work or proceedings
Proceedings of the 8th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, ICOOOLPS 2013, Montpellier, France, July 2, 2013 Olivier Zendra; Eric Jul. 8th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, ICOOOLPS 2013, Jul 2013, Montpellier, France. ACM, 2013, 978-1-4503-2045-0. ⟨10.1145/2491404⟩ |
||
| tel-01865395v1
Theses
Vers la compilation vérifiée de Sea of Nodes : propriétés et raisonnement sémantiques Génie logiciel [cs.SE]. Université Rennes 1, 2018. Français. ⟨NNT : 2018REN1S020⟩ |
||
| tel-01981380v2
Theses
Secure, fast and verified cryptographic applications : a scalable approach Cryptography and Security [cs.CR]. PSL Research University, 2018. English. ⟨NNT : 2018PSLEE052⟩ |
||
| tel-01067477v1
Theses
Formal verification of a synchronous data-flow compiler : from Signal to C Software Engineering [cs.SE]. Université Rennes 1, 2014. English. ⟨NNT : 2014REN1S034⟩ |
||
| tel-02327764v1
Theses
Automatic Generation of Adaptive Codes Computer Science [cs]. Université de Strasbourg, 2019. English |
||
|
|
||