Skip to Main content Skip to Navigation


...
tel-02405839v1  Habilitation à diriger des recherches
Yann Regis-Gianas. About some Metamorphoses of Computer Programs
Programming Languages [cs.PL]. Université Paris Diderot, 2019
...
hal-02867413v1  Conference papers
Garip KusogluBérenger BramasStéphane Genaud. 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
Zhang ZuyuVania JoloboffXinlei ZhouClaude Helmstetter. 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
Timothy BourkePierre-Evariste DagandMarc PouzetLionel Rieg. 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
Pierre Boulet. The bouclettes loop parallelizer.
[Research Report] LIP RR-1995-40, Laboratoire de l'informatique du parallélisme. 1995, 2+13p
...
hal-02102319v1  Reports
Christian Perez. 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-02421327v1  Reports
Christophe AliasSamuel ThibaultLaure Gonnord. A Compiler Algorithm to Guide Runtime Scheduling
[Research Report] RR-9315, INRIA Grenoble; INRIA Bordeaux - Sud-Ouest. 2019
...
tel-00564899v1  Theses
Pierre Boulet. 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
Guy CuvillierGil Utard. 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
Gil Utard. 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
Florent BouchezAlain DarteChristophe GuillonFabrice Rastello. Register allocation and spill complexity under SSA
[Research Report] Laboratoire de l'informatique du parallélisme. 2005, 2+28p
...
tel-00672699v1  Theses
Mathieu Boespflug. Conception d'un noyau de vérification de preuves pour le λΠ-calcul modulo
Logique en informatique [cs.LO]. Ecole Polytechnique X, 2011. Français
...
hal-01682061v1  Documents associated with scientific events
François Pellegrini. 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
Julien ForgetFrédéric GuyomarchVlad Rusu. Programming with hardware/software functions
[Research Report] RR-8835, INRIA Lille Nord Europe. 2015, pp.18
...
hal-01169584v1  Directions of work or proceedings
Xavier BlancLaurence Duchien. 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
Laure Gonnord. Contributions to program analysis: expressivity and scalability
Computation and Language [cs.CL]. Université Lyon 1 Claude Bernard, 2017
hal-02314734v1  Journal articles
Olivier ZendraMarkku Sakkinen. 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
Sid Touati. Register Pressure in Instruction Level Parallelism
Other [cs.OH]. Université de Versailles-Saint Quentin en Yvelines, 2002. English
...
hal-01246628v1  Conference papers
Yoann CouillecManuel Serrano. 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
Floréal MorandatOlivier Zendra. 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
Olivier ZendraEric Jul. 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-02327764v1  Theses
Maxime Schmitt. Automatic Generation of Adaptive Codes
Computer Science [cs]. Université de Strasbourg, 2019. English