, Salix Babylonica ? advices about relational database schemas Open source software, version 1.0, 2008.
, Transformations de programme automatiques et source-` a-source pour accélérateurs matériels de type GPU. ? Source-to-Source Automatic Program Transformations for GPU-like Hardware Accelerators, Thèse co-encadrée par Fabien Coelho, 2012.
, Compilation et optimisation statique des communications h??te-acc??l??rateur, Rencontres francophones du Parallélisme (Ren- Par'20), 2011.
DOI : 10.3166/tsi.31.1205-1232
, Static Compilation Analysis for Host-Accelerator Communication Optimization, 24th Int. Workshop on Languages and Compilers for Parallel Computing (LCPC), Fort Collins, 2011.
DOI : 10.1007/978-3-642-36036-7_16
URL : https://hal.archives-ouvertes.fr/hal-00743496
, Compilation et optimisation statique des communications h??te-acc??l??rateur, Techniques et sciences informatiques, vol.31, issue.8-10, pp.1205-1232, 2012.
DOI : 10.3166/tsi.31.1205-1232
, A Modular Static Analysis Approach to Affine Loop Invariants Detection, NSAD: Numerical and Symbolic Abstract Domains Elsivier. 2nd International Workshop, pp.3-16, 2010.
DOI : 10.1016/j.entcs.2010.09.002
URL : https://hal.archives-ouvertes.fr/hal-00586338
, François Irigoin, and Ronan Keryell. A Linear Algebra Framework for Static HPF Code Distribution, Workshop on Compilers for Parallel Computers, 1993.
, A linear algebra framework for static HPF code distribution, Scientific Programming, pp.3-27, 1997.
URL : https://hal.archives-ouvertes.fr/hal-00752595
, Optimisation des transferts de données pour le traitement du signal : pavage, fusion et réallocation des tableaux, Thèse co-encadrée par Fabien Coelho et François Irigoin, 2002.
, Réutilisation de la mémoire pour le pavage, 14ème rencontres francophones du parallélisme (RENPAR), 2002.
, Pavage pour une séquence de nids de boucles, Technique et Science Informatiques (TSI), pp.579-603, 2002.
, Tiling and Memory Reuse for Sequences of Nested Loops, 8th Int. Euro-Par Conference, pp.255-264, 2002.
DOI : 10.1007/3-540-45706-2_34
URL : https://hal.archives-ouvertes.fr/hal-00752850
, Buffer and register allocation for memory space optimization. The Journal of VLSI Signal Processing, pp.128-138, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00752941
, El Mostapha Aboulhamid, and Fabien Coelho Buffer and register allocation for memory space optimization, Application-Specific Systems, Architecture and Processors (ASAP), pp.283-290, 2006.
, Etude de la compilation du High Performance Fortran, 1992.
, Présentation du High Performance Fortran, Journée Paradigme sur HPF. ´ Ecole des mines de Paris, 1993.
, Etude de la compilation du High Performance Fortran Master's thesis, p.178, 1993.
, Etude et réalisation d'un compilateur pour le High Performance Fortran Rapport de stage d'optionÉcoleoption´optionÉcole des mines de Paris CRI, 1993.
, Experiments with HPF compilation for a network of workstations, High- Performance Computing and Networking, pp.423-428, 1994.
DOI : 10.1007/3-540-57981-8_154
, Présentation du langage HPF. Invitation séminaire de l'IDRIS, 1994.
, Compilation of I/O communications for HPF, Proceedings Frontiers '95. The Fifth Symposium on the Frontiers of Massively Parallel Computation, pp.102-109, 1995.
DOI : 10.1109/FMPC.1995.380458
, Présentation du High Performance Fortran, Tutoriel HPF ? Transparents, issue.7, 1995.
, Compilation des communications HPF. Invitation séminaire Rumeur, 1996.
, Contributions to High Performance Fortran Compilation, 1996.
, Discussing HPF design issues, Euro-Par'96, 1996.
DOI : 10.1007/3-540-61626-8_77
, Init-time Shadow Width Computation through Compile-time Conventions, 1996.
, Présentation de HPF. Invitation Ateliers d'automne PRISM, 1996.
, Présentation de HPF,probì emes et perspectives Invitation Séminaire A3 de l'INRIAà INRIAà Rocquencourt, 1996.
, Compiling Dynamic Mappings with Array Copies, Symposium on Principles and Practice of Parallel Programming (PPoPP), volume 32-7 of ACM Sigplan, pp.168-179, 1997.
URL : https://hal.archives-ouvertes.fr/hal-00752639
, Macro module for apache For Apache HTTP server 1.3, 2.0, 2.2 and 2.4. Latest version is 1.2.1 in, 1998.
, Optimizing Expression Evaluation for ILP Instruction-Level Parallelism and Parallelizing Compilation, Ch. Lengauer (Passau), K. Pingali (Ithaca), R. Schreiber (HP, 1999.
, Tutoriels Perl, bases et avancé. Conférence Autour du libre, invité par Télécom Bretagne, 2000.
, pg comparator: network and time efficient PostgreSQL, MySQL and SQLite table content comparison Open source software, version 2.2, 2004.
, PGXS: Extension framework for PostgreSQL, 2004.
, pg-advisor ? proof of concept relational schema analyser. Mail to PostgreSQL development list, 2004.
, tuplock: Lock Tuple PostgreSQL Extension. http://people.apache.org Open source software, 2004.
, Exponential memory-bound functions for proof of work protocols, Also IACR report, vol.370356, issue.3, 2005.
, RCS to SVN repository conversion, 2005.
, Correction automatique des TP avec Corrector, 2006.
, Corrector, a web interface for practice session with immediate feedback, 2006.
, Corrector, a web interface for practice sessions, 2006.
, Infrastructure pour newgen, linear/c3 et pips, 2006.
, Merge svn repositories into one, in date order. http://www.coelho.net/ svn-merge-repos.html Open source software developed for merging CRI system repositories, 2006.
, Remote comparison of database tables, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00916669
, Spam ! spam ! spam ! Séminaire DSI de Réseau ferré de France (RFF), 2006.
, Spam ! spam ! spam ! Diffusion interne aux membres Séminaire de l'association nationale des directeurs de systèmes d'information (ANDSI), 2006.
, Diffusion de cours sur paristech libres savoirs cours diffusés : systèmes d'information, introduction aux réseaux, 2006.
, Cryptographie et 'pataphysique, Séminaire DSI de Réseau ferré de France (RFF), 2007.
, Quelques idées sur la sécurité des réseaux, Conférence de vulgarisation. DSI Réseau ferré de France (RFF), 2007.
, Spam ! spam ! spam ! Séminaire le goût du savoir, 2007.
, SVN for the System Administrator: Sharing and Deploying Configurations, 2007.
, An (Almost) Constant-Effort Solution-Verification Proof-of-Work Protocol Based on Merkle Trees, number 5023 in LNCS, pp.80-93, 2008.
DOI : 10.1007/978-3-540-68164-9_6
, La cryptographie est-elle une sous-discipline de la 'pataphysique ? Séminaire le goût du savoir, 2008.
, La cryptographie est-elle une sous-discipline de la 'pataphysique ? La Lettre numéro 135, pp.11-1284, 2008.
, Comparaison de tablesàtablesà distance, 2009.
, svn-pre-commit: Configuration Pre-commit Hook for SVN, 2009.
, Conférence FedISA (Fédération de l'ILM, du stockage et de l'archivage), 2010.
, Spam ! spam ! spam ! Séminaire DSI de l'Institut national de la santé et de la recherche médicale (INSERM), 2010.
, Remote Comparison of Database Tables, IARIA, editor, 3rd Int. Conf. on Advances in Databases, Knowledge, and Data Applications, DBKDA, pp.23-28, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00916669
, A Field Analysis of Relational Database Schemas in Open-source Software, IARIA, editor, 3rd Int. Conf. on Advances in Databases, Knowledge, and Data Applications, DBKDA, pp.9-15, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00903676
, On the Quality of Relational Database Schemas in Open-Source Software, International Journal on Advances in Software, issue.3&4, pp.2011-4378, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00742605
, Optimal Compilation of HPF Remappings, Journal of Parallel and Distributed Computing, vol.38, issue.2, pp.229-236, 1996.
DOI : 10.1006/jpdc.1996.0143
URL : https://hal.archives-ouvertes.fr/hal-00752603
, Optimal Compilation of HPF Remappings. Talk at PRS day at LIP, 1996.
URL : https://hal.archives-ouvertes.fr/hal-00752603
, State of the Art in Compiling HPF The Data Parallel Programming Model, Proceedings of the PRS Spring School, Les Ménuires, pp.104-133, 1996.
, Traduction des messages de subversion en français. Contributionà Contributionà Subversion, avec d'autres traducteurs, 2005.
, Compiling for a heterogeneous vector image processor. http:// pips4u.org/doc/meetings/2010-pips-developer-day-25-october-2010, MINES, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00744076
, Compiling for a heterogeneous vector image processor, Workhop on Optimizations for DSP and Embedded Systems (ODES'9), 2011.
URL : https://hal.archives-ouvertes.fr/hal-00744076
, API compilation for image hardware accelerators, ACM Transactions on Architecture and Code Optimization, vol.9, issue.4, 2012.
DOI : 10.1145/2400682.2400708
URL : https://hal.archives-ouvertes.fr/hal-00829650
, API compilation for image hardware accelerators, ACM Transactions on Architecture and Code Optimization, vol.9, issue.4, pp.1-49, 2013.
DOI : 10.1145/2400682.2400708
URL : https://hal.archives-ouvertes.fr/hal-00829650
, API compilation for image hardware accelerators, HIPEAC ? 8th Int. Conf. on High Performance and Embedded Architectures and Compilers, p.25, 2013.
DOI : 10.1145/2400682.2400708
URL : https://hal.archives-ouvertes.fr/hal-00829650
, Corinne Ancourt, and François Irigoin. Data and Process Abstraction in PIPS Internal Representation, Workshop on Internal Representations (WIR), 2011.
, François Irigoin, and Corinne Ancourt. Data and Process Abstraction in PIPS Internal Representation.Troisì eme rencontres de la communauté française de compilation, 2011.
, ASSUME directive proposal, 1996.
, Les modèles d'affaire, coproduction de valeur et systèmes d'information Pre-published as http, Fondation CIGREF, pp.33-40, 2012.
, Interface graphique java pour PIPS, 1998.
, Poly??dres et compilation, Rencontres francophones du Parallélisme (RenPar'20), 2011.
DOI : 10.3166/tsi.31.987-1019
, Poly??dres et compilation, Techniques et sciences informatiques, vol.31, issue.8-10, pp.31-39, 2012.
DOI : 10.3166/tsi.31.987-1019
, Gestion durable des données : point sur les enjeux et proposition d'une démarche de pilotage de la performance appuyée sur un balanced scorecard thématique, Colloque de l'Association Information & Management, number 15 in Colloque AIM. AIM, 2010.
, Automatic detection of uninitialized variables, 12th Int. Conf. on Compiler Construction (CC), volume 2622 of Lecture Notes in Computer Science, pp.217-231, 2003.
, Held as Part of the Joint European Conferences on Theory and Practice of Software, 2003.
, Acropolis -un précompilateur de spécification pour l'exploration du transfert et du stockage des données en conception de systèmes embarquésembarquésà Haut Débit, 2001.
, Low-Power Electronics Design, chapter 37 ? Recent Advances in Low-Power Design and Functional Coverification Automation from the Earliest System-Level Design Stages, Computer Engineering, 2004.
, Hashcash parallelization on GPGPU using OpenCL Best presentation award. Largest hashcash stamp found ? 48 then 52 bits, 49th Int. Scientific Student Conference (ISSC), 2011.
, Typage etéliminationetélimination des sous-expressions communes (contributionàbutionà l'optimisation de programmes scientifiques), 2000.
, ContributionsàContributionsà l'optimisation de programmes scientifiques, Thèse co-encadrée par Fabien Coelho et François Irigoin, 1999.
, Using algebraic transformations to optimize expression evaluation in scientific code, Proceedings. 1998 International Conference on Parallel Architectures and Compilation Techniques (Cat. No.98EX192), pp.376-384, 1998.
DOI : 10.1109/PACT.1998.727284