Centre de recherche en informatique
Mathématiques et systèmes
- A/534/CRI :
- Recognizing Textual Entailment by Generality using Informative Asymmetric Measures and Multiword Unit Identification to Summarize Ephemeral Clusters
- IN: International Conference on Web Intelligence and Intelligent Agent Technology, Lyon, france, 22-27/08/2011
Journal : IEEE/WIC/ACM , Vol.1, pp. 284-287- HAL = hal-00916353
- 2011-07
- Gael Dias (HULTIG, Univ. of Beira Interior, Covilha, Portugal), Sebastiao Pais (HULTIG), Katarzyna Wegrzyn-Wolska (ESIGETEL), Robert Mahl (MINES-ParisTech CRI)
- A/493/CRI :
- Synchronous Programming in Audio Processing: A Lookup Table Oscillator Case Study
- 2011 :International Workshop on Synchonous Programming (SYNCHRON 2011)
2012 :Submitted to: ACM Computing Surveys Journal
(SLIDES disponibles en téléchargeant A-493-slides.pdf)
Publied to : Vol. 46 (Issue 2, Article N°24), pp.Pages 1-35, 2013
DOI = 10.1145/2543581.2543591- HAL = hal-00751490
- Novembre 2011
- Karim Barkati (MINES-ParisTech CRI, IRCAM) ; Pierre Jouvelot (MINES-ParisTech CRI)
- A/485/CRI :
- A Maturity Model for the Deployment of Systems Engineering processes
- IN: 2012 IEEE International Systems Conference (SysCon 2012), 19-22 March 2012, Vancouver, Canada, 2012, pp. 550-556
DOI=10.1109/SysCon.2012.6189535
- HAL = hal-00743207
- 23 novembre 2011
- Clémentine Cornu (Eurocopter/ETZR, MINES-ParisTech CRI) ; Jean-Marc Quiot (Eurocopter/ETZR) ; Vincent Chapurlat (Ecole des Mines d'Alès/LGI2P) ; François Irigoin (MINES-ParisTech CRI)
- A/484/CRI :
- En route for the Automatic Code Generation for Lattice QCD
- IN: International Symposium on Lattice Field Theory (LATTICE 2011), July 10-16, 2011 , Squaw Valley, Lake Tahoe, California (USA).
(non disponible)- novembre 2011
- Denis Barthou (University of Bordeau), Gilbert Grosdidier (LAL/IN2P3/CNRS), Christine Eisenbeis (INRIA), Pierre Guichon (IRFU/CEA-Saclay), Michael Kruse (INRIA), Olivier Pene (LPT/CNRS), Claude Tadonki (MINES-ParisTech CRI)
- A/480/CRI :
- POSTER : PyPs, a programmable pass manager.
- IN: The 24th International Workshop on Languages and Compilers for Parallel Computing, Fort Collins, Colorado, USA, September 10, 2011
- HAL = hal-01087303
- 30 septembre 2011
- Serge Guelton (Telecom Bretagne) ; Mehdi Amini (MINES-ParisTech CRI, HPC Project) ; Ronan Keryell (HPC Project) ; Beatrice Creusillet (HPC Project, UPMC/LIP6)
- A/479/CRI :
- SLIDES : Convex Invariant Refinement by Control Node Splitting: a Heuristic Approach.
- IN: The Third International Workshop on Numerical and Symbolic Abstract Domain (NSAD 2011), Venice, Italy, 13 september 2011.
- Septembre 2011
- Vivien Maisonneuve
- A/477/CRI :
- Large scale Kronecker product on supercomputers.
- IN: 23rd International Symposium on Computer Architecture and High Performance Computing - SBAC-PAD 2011 - WAMCA 2011, Victoria, Espirito Santo, Brazil, October 26-29 Octobre 2011.
(non disponible)- HAL = in2p3-00702588
- septembre 2011
- Claude Tadonki
- A/476/CRI :
- Static Compilation Analysis for Host-Accelerator Communication Optimization.
- IN: The 24th International Workshop on Languages and Compilers for Parallel Computing (LCPC 2011). Colorado State University, Fort Collins, Colorado, USA, September 8-10, 2011
- HAL = hal-00743496
- 30 août 2011
- Mehdi Amini, Fabien Coelho, François Irigoin (MINES-ParisTech CRI) ; Ronan Keryell (HPC Project)
- A/474/CRI :
- ABSTRACT & SLIDES : A complete industrial multi-target graphical tool-chain for parallel implementations of signal and image applications.
- IN: Workshop multi-processor systems on a chip (MPSoCs), Map2MPSoC 2011, SCOPES 2011, St. Goar, Germany, June 27-28, 2011.&
- HAL = hal-00743506
- mai 2011
- Corinne Ancourt, François Irigoin (MINES-ParisTech CRI) ; Teodora Petrisor, Eric Lenormand (Thales Research and Technologies/LSE)
- A/472/CRI :
- Convex Invariant Rafinement by Control Node Splitting : a Heuristic Approach.
- IN: The Third International Workshop on Numerical and Symbolic Abstract Domain (NSAD 2011), Venice, Italy, 13 september 2011.
ENTCS Vol. 288, pages 49-59, Springer (2012)
DOI : 10.1016/j.entcs.2012.10.007- HAL = hal-00833344
- 19 juin 2011
- Vivien Maisonneuve
- A/470/CRI :
- SLIDES : Polyèdres et Compilation.
- IN: Rencontres francophones du Parallélisme (RenPar'20), 10 au 13 mai 2011, Saint-Malo, France
- HAL = hal-00743713
- mai 2011
- François Irigoin, Mehdi Amini, Corinne Ancourt, Fabien Coelho (MINES-ParisTech CRI) ; Béatrice Creusillet, Ronan Keryell (HPC Project)
- A/469/CRI :
- SLIDES : Compilation et optimisation statique des communications hôte-accélérateur.
- IN: Rencontres francophones du Parallélisme (RenPar'20), 10 au 13 mai 2011, Saint-Malo, France
- HAL = hal-00744259 + slides
- mai 2011
- Mehdi Amini, Fabien Coelho, François Irigoin (MINES-ParisTech CRI) ; Ronan Keryell (HPC Project)
- A/468/CRI :
- SLIDES : Compilation pour cibles hétérogènes : automatisation des analyses, transformations, et décisions nécessaires.
- IN: Rencontres francophones du Parallélismes (RenPar 20), 10-13 mai 2011, Saint-Malo, France
- HAL = hal-00744284 + slides
- mai 2011
- Serge Guelton (Télécom Bretagne) ; Ronan Keryell (HPC Project) ; François Irigoin (MINES-ParisTech CRI)
- A/467/CRI :
- SLIDES : A complete industrial multi-target graphical tool-chain for parallel implementations of signal/image applications.
- IN: 4th Workshop on Mapping of Applications to MPSoCs, June 28th, 2011, Rheinfels Castle, St. Goar, Germany.
(non disponible)- mai 2011
- Theodora Petrisor, Eric Lenormand (Thales) ; Corinne Ancourt, François Irigoin (MINES-ParisTech CRI)
- A/466/CRI :
- SLIDES: Data and Process Abstraction in PIPS Internal Representation
- IN: Troisièmes Rencontres de la Communauté Française de Compilation, 27-29 avril 2011, Manoir de la Vicomte, Dinard, France.
(Nouvelle version des transparents présentés à WIR'2011 par Fabien Coelho)- HAL = hal-00744294
- 28 avril 2011
- Fabien Coelho, Pierre Jouvelot, Corinne Ancourt, François Irigoin
- A/465/CRI :
- Mixing Systems Engineering and Enterprise Modelling principles to formalize a SE processes deployment approach in industry.
- IN: Complex Systems Design & Management (CSDM 2011), 7-9 décembre 2011, Paris, France
- HAL = hal-00750854
- 22 avril 2011
- Clémentine Cornu (Eurocopter) ; Vincent Chapurlat (LG12P - Site EERIE de l'EMA) ; Bernard Chiavassa (Eurocopter) ; François Irigoin (MINES-ParisTech CRI)
- A/464/CRI :
- Polyèdres et Compilation.
- IN: Rencontres francophones du Parallélisme (RenPar'20), 10 au 13 mai 2011, Saint-Malo, France
- HAL = hal-00743713
- 14 avril 2011
- François Irigoin, Mehdi Amini, Corinne Ancourt, Fabien Coelho (MINES-ParisTech CRI) ; Béatrice Creusillet, Ronan Keryell (HPC Project)
- A/463/CRI :
- SLIDES : OpenMP and Work-Streaming Compilation in GCC
- IN: 3rd International Workshop on GCC Research Opportunities (GROW 2011), April 3, 2011, Chamonix, France.
- 3 avril 2011
- Antoniu Pop
- A/462/CRI :
- Advances in Parallel-Stage Decoupled Software Pipelining
- IN: Proceedings of the Workshop on Intermediate Representations (WIR 2011), April 2, 2011, Chamonix, France, pp. 29-36
- HAL = hal-00744090
- 2 avril 2011
- Feng Li (INRIA) ; Antoniu Pop (MINES-ParisTech CRI) ; Albert Cohen (INRIA)
- A/461/CRI :
- Compiling for a Heterogeneous Vector Image Processor.
- IN: Troisièmes Journées Nationales du GDR Génie de la Programmation et du Logiciel (GDR GPL 2011), 8-10 juin 2011, Lille, France
- HAL = hal-00744076
- 11 avril 2011
- Fabien Coelho, François Irigoin
- A/460/CRI :
- A model based systems engineering processes deployment framework.
- IN: 6th International Conference on Software and Data Technologies (ICSOFT 2011), 18-21, July, Seville, Spain.
- HAL = hal-00659357
- 11 avril 2011
- Clémentine Cornu, Bernard Chiavassa (Eurocopter) ; Vincent Chapurlat (LG12P - Site EERIE de l'EMA) ; François Irigoin (MINES-ParisTech CRI)
- A/459/CRI :
- SLIDES : Data and Process Abstraction in PIPS Internal Representation.
- IN: First Workshop on Intermediate Representations (WIR 2011), April 2011, Chamonix, France.
- 7 avril 2011
- Fabien Coelho, Pierre Jouvelot, Corinne Ancourt, François Irigoin
- A/458/CRI :
- SLIDES : PIPS An interprodedural, extensible, source-to-source compiler infrastructure for code transformations and instrumentations.
- IN: PIPS tutorial, International Symposium on Code Generation and Optimization (CGO 2011), 3 April 2011, Chamonix, France.
- 3 avril 2011
- Corinne Ancourt (MINES-ParisTech CRI) ; Frédérique Chaussumier-Silber (Télécom Paris-Sud) ; Serge Guelton (Télécom Bretagne) ; Ronan Keryell (HPC Project)
- A/457/CRI :
- SLIDES : Dependencies between Analyses and Transformations in the Middle-End
- IN: Worksop Analyse to compile, compile to analyse (ACCA 2011), 3 avril 2011, Chamonix, France.
- 3 avril 2011
- François Irigoin, Fabien Coelho (MINES-ParisTech CRI) ; Béatrice Creusillet (HPC-project)
- A/453/CRI :
- PIPS Is not (just) Polyhedral Software.
- IN: 1st International Workshop on Polyhedral Compilation Techniques, (Impact 2011), April 3, Chamonix, France. (in conjunction with CGO 2011)
- HAL = hal-00744312
- 10 février 2011
- Mehdi Amini, Corinne Ancourt, Fabien Coelho, François Irigoin, Pierre Jouvelot (MINES-ParisTech CRI) ; Ronan Keryell, Pierre Villalon, Béatrice Creusillet (HPC Project) ; Serge Guelton (Télécom Bretagne)
- A/452/CRI :
- A pilot Usability Study of MINWii, a Music Therapy Game for Demented Patients.
- IN: Technology and Health Care, publié par IOS Press, Volume 19, Number 4, 2011, pp.233-246.
DOI=10.3233/THC-2011-0628- HAL = hal-00628624
- janvier 2011
- Mélodie Boulay, Sandra Boespflug, Anne-Sophie Rigaud (Assistance Publique-Hôpitaux de Paris, Hôpital Broca & Université Paris Descartes, Faculté de Médecine) ; Samuel Benveniste, Pierre Jouvelot (MINES-ParisTech CRI)
- A/451/CRI :
- Compilation et optimisation statique des communications hôte-accélérateur
- IN: Rencontres francophones du Parallélisme (RenPar'20), 10 au 13 mai 2011, Saint-Malo, France
- HAL = hal-00744259 + slides
- 7 février 2011
- Mehdi Amini, Fabien Coelho, François Irigoin (MINES-ParisTech CRI) ; Ronan Keryell (HPC Project)
- A/449/CRI :
- Compilation pour cibles hétérogènes : automatisation des analyses, transformations, et décisions nécessaires.
- IN: Rencontres francophones du Parallélismes (RenPar 20), 10-13 mai 2011, Saint-Malo, France
- HAL = hal-00744284 + slides
- 7 février 2011
- Serge Guelton (Télécom Bretagne) ; Ronan Keryell (HPC Project) ; François Irigoin (MINES-ParisTech CRI)
Articles soumis :
- A/447/CRI :
- Data and Process Abstraction in PIPS Internal Representation.
- IN: First Workshop on Intermediate Representations (WIR 2011), April 2011, Chamonix, France.
- HAL = hal-00744291
- 21 janvier 2011
- Fabien Coelho, Pierre Jouvelot, François Irigoin, Corinne Ancourt
Autres articles et rapports techniques :
- A/536/CRI :
- SLIDES : Hashcash Parallelization on GPGPU using OpenCL
- 49th International Scientific Student Conference (ISSC),
Novosibirsk State University, Russia. 19 avril 2011
Best presentation award.
Largest hashcash stamp found-48 then 52 bits- 19 avril 2011
- Etienne Servais (MINES-ParisTech CRI), encadré par Fabien Coelho (MINES-ParisTech CRI)
- A/482/CRI :
- SLIDES : Leveraging Streaming for Deterministic Parallelization - an Integrated Language, Compiler and Runtime Approach
- 30 septembre 2011
- Antoniu Pop
- A/478/CRI :
- A Field Analysis of Relational Database Schemas in Open-source Software (Extended)
- HAL = hal-00903676
- 8 septembre 2011
- Fabien Coelho ; Alexandre Aillos ; Samuel Pilot ; Shamil Valeev
- A/475/CRI :
- PyPs, a programmable pass manager.
- 30 août 2011
- Serge Guelton (Telecom Bretagne) ; Mehdi Amini (MINES-ParisTechCRI, HPC Project) ; Ronan Keryell (HPC Project) ; Beatrice Creusillet (HPC Project, UPMC/LIP6)
- A/473/CRI :
- Affine Loop Invariants Detection with Transformer Lists*
- (non disponible)
- 5 juillet 2011
- Corinne Ancourt, François Irigoin, Vivien Maisonneuve
- A/471/CRI :
- Development of a WEB Interface for PIPS Compilation Framework.
- (non disponible)
- 12 juillet 2011
- Maria Szymczak
- A/456/CRI :
- POSTER : MINWii : A music Game for Demented Patients.
- 30 mars 2011
- Samuel Benveniste, Pierre Jouvelot, Benoît Pin (MINES-ParisTech CRI) ; Renaud Pequignot (Hopital Saint-Maurice) ; Mélodie Boulay, Sandra Boefsplug, Anne-Sophie Rigaud (Broca, la rochefoucauld, la collegiale, Groupement hospitalier universitaire Ouest).
- A/455/CRI :
- Building Retargetable and Efficient Compilers for Multimedia Instruction Sets.
- Submitted to: PACT 2011
(non disponible)- Mars 2011
- Ronan Keyrell (HPC Project) ; Adrien Guinet ; Serge Guelton (Télécom Bretagne)
- A/454/CRI :
- Towards a method to deploy systems engineering processes within compagnies.
- 21 mars 2011
- Clémentine Cornu, Bernard Chiavassa (Eurocopter) ; Vincent Chapurlat (LGI2P - Site EERIE, EMA) ; François Irigoin (MINES-ParisTech CRI)
- A/450/CRI :
- Compilation for heteregenous Computing : Automatic analyses, Transformations and Decisions
- HAL = hal-00881217
- 7 février 2011
- Serge Guelton (Télécom Bretagne) ; Ronan Keryell (HPC Project) ; François Irigoin (MINES-ParisTech CRI)
Rapports internes :
- A/448/CRI :
- Towards Automatic C programs optimization and parallelization using the PIPS-PoCC integration.
- 7 février 2011
- Dounia Khaldi, Corinne Ancourt, François Irigoin
- E/310/CRI :
- Modélisation et estimation des temps d'exécution des instructions d'un programme C.
- Mémoire de mastère de recherche en Génie du Logiciel et en Traitement de l'Information Multimédia.
- (non disponible)
- 25 mai 2011
- Molka Becher