Sites Inria

English version

Equipe de recherche PARKAS

Publications de l'équipe PARKAS

2017

Article dans une revue

titre
A Type-based Analysis of Causality Loops in Hybrid Systems Modelers
auteur
Albert Benveniste, Timothy Bourke, Benoît Caillaud, Bruno Pagano, Marc Pouzet
article
Nonlinear Analysis: Hybrid Systems, Elsevier, 2017, 26, pp.168-189. 〈10.1016/j.nahs.2017.04.004〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01549183/file/paper.pdf BibTex
titre
A From a Formalized Parallel Action Language to its Efficient Code Generation
auteur
Ivan Llopard, Christian Fabre, Albert Cohen
article
ACM Transactions on Embedded Computing Systems (TECS), ACM, 2017, 〈10.1145/0000000.0000000〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01425140/file/tecs16.pdf BibTex

Communication dans un congrès

titre
A Synchronous Look at the Simulink Standard Library
auteur
Timothy Bourke, Francois Carcenac, Jean-Louis Colaço, Bruno Pagano, Cédric Pasteur, Marc Pouzet
article
EMSOFT 2017 - 17th International Conference on Embedded Software, Oct 2017, Seoul, South Korea. ACM Press, pp.23, 〈http://esweek.org/emsoft/〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01575631/file/emsoft2017.pdf BibTex
titre
Real-Time Ticks for Synchronous Programming
auteur
Reinhard Von Hanxleden, Timothy Bourke, Alain Girault
article
FDL 2017 - 12th Forum on Specification and Design Languages, Sep 2017, Vérone, Italy. 2017, 〈http://ecsi.org/fdl/fdl-2017-advance-program〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01575629/file/PID4935757.pdf BibTex
titre
Symbolic Simulation of Dataflow Synchronous Programs with Timers
auteur
Guillaume Baudart, Timothy Bourke, Marc Pouzet
article
12th Forum on Specification and Design Languages (FDL 2017), Sep 2017, Vérone, Italy. 2017, 〈http://ecsi.org/fdl/fdl-2017-advance-program〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01575621/file/paper.pdf BibTex
titre
A Formally Verified Compiler for Lustre
auteur
Timothy Bourke, Lélio Brun, Pierre-Evariste Dagand, Xavier Leroy, Marc Pouzet, Lionel Rieg
article
PLDI 2017 - 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, Jun 2017, Barcelone, Spain. Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017, 〈http://pldi17.sigplan.og〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01512286/file/velus-pldi17.pdf BibTex
titre
Structural Analysis of Multi-Mode DAE Systems
auteur
Albert Benveniste, Benoît Caillaud, Hilding Elmqvist, Khalil Ghorbal, Martin Otter, Marc Pouzet
article
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017, Apr 2017, Pittsburgh, PA, United States. 2017, 〈http://hscc2017.ece.illinois.edu〉. 〈10.1145/3049797.3049806〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01521918/file/paper-author-version.pdf BibTex
titre
Partially Redundant Fence Elimination for x86, ARM and Power processors
auteur
Robin Morisset, Francesco Zappa Nardelli
article
International Conference on Compiler Construction (CC), Feb 2017, Austin, United States. 〈http://conf.researchr.org/home/CC-2017〉
Accès au bibtex
BibTex
titre
Optimization Space Pruning without Regrets
auteur
Ulysse Beaugnon, Antoine Pouille, Marc Pouzet, Jacques Pienaar, Albert Cohen
article
CC 2017 - 26th International Conference on Compiler Construction, Feb 2017, Austin, TX, United States. ACM Press, Compiler Construction 2017, pp.34-44, 2017, Proceedings of the International Conference on Compiler Construction. 〈https://conf.researchr.org/home/CC-2017〉. 〈10.1145/3033019.3033023〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01655602/file/paper.pdf BibTex
titre
More Data Locality for Static Control Programs on NUMA Architectures
auteur
Adilla Susungi, Albert Cohen, Claude Tadonki
article
IMPACT 2017 - 7th International Workshop on Polyhedral Compilation Techniques IMPACT 2017, Jan 2017, Stockholm, Sweden. pp.11
Accès au texte intégral et bibtex
https://hal-mines-paristech.archives-ouvertes.fr/hal-01529354/file/A-649.pdf BibTex
titre
A general compilation algorithm to parallelize and optimize counted loops with dynamic data-dependent bounds
auteur
Jie Zhao, Albert Cohen
article
IMPACT 2017 - 7th International Workshop on Polyhedral Compilation Techniques, Jan 2017, Stockholm, Sweden. 2017, 〈http://impact.gforge.inria.fr/impact2017/〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01657608/file/impact-17-a-general-compilation-algorithm-to-parallelize-and-optimize-counted-loops-with-dynamic-data-dependences.pdf BibTex
titre
Vérification de la génération modulaire du code impératif pour Lustre
auteur
Timothy Bourke, Pierre-Evariste Dagand, Marc Pouzet, Lionel Rieg
article
JFLA 2017 - Vingt-huitième Journées Francophones des Langages Applicatifs, Jan 2017, Gourette, France. 〈http://jfla.inria.fr/2017/index.html〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01403830/file/bourke%20%281%29.pdf BibTex

Rapport

titre
Unified Polyhedral Modeling of Temporal and Spatial Locality
auteur
Oleksandr Zinenko, Sven Verdoolaege, Chandan Reddy, Jun Shirako, Tobias Grosser, Vivek Sarkar, Albert Cohen
article
[Research Report] RR-9110, Inria Paris. 2017, pp.41
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01628798/file/RR-9110.pdf BibTex
titre
Sheep in wolf's clothing: Implementation models for data-flow multi-threaded software
auteur
Keryan Didier, Albert Cohen, Adrien Gauffriau, Amaury Graillat, Dumitru Potop-Butucaru
article
[Research Report] RR-9057, Inria Paris. 2017, pp.31
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01509314/file/RR-9057.pdf BibTex

Thèse

titre
A Synchronous Approach to Quasi-Periodic Systems
auteur
Guillaume Baudart
article
Embedded Systems. Ecole normale supérieure - ENS PARIS, 2017. English
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-01507595/file/baudart-thesis.pdf BibTex

2016

Article dans une revue

titre
Loosely Time-Triggered Architectures
auteur
Guillaume Baudart, Albert Benveniste, Timothy Bourke
article
ACM Transactions on Embedded Computing Systems (TECS), ACM, 2016, 15, pp.Article 71. 〈10.1145/2932189〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01408224/file/ltta.pdf BibTex
titre
The Pluto+ Algorithm: A Practical Approach for Parallelization and Locality Optimization of Affine Loop Nests
auteur
Uday Bondhugula, Aravind Acharya, Albert Cohen
article
ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2016, 38 (3), 〈10.1145/2896389〉
Accès au bibtex
BibTex
titre
Mechanizing a Process Algebra for Network Protocols
auteur
Timothy Bourke, Robert Van Glabbeek, Peter Höfner
article
Journal of Automated Reasoning, Springer Verlag, 2016, 56, pp.309-341. 〈10.1007/s10817-015-9358-9〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01408217/file/final.pdf BibTex
titre
Automatic Storage Optimization for Arrays
auteur
Somashekaracharya Bhaskaracharya, Uday Bondhugula, Albert Cohen
article
ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2016, 38, pp.1 - 23. 〈10.1145/2845078〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01425564/file/paper.pdf BibTex

Communication dans un congrès

titre
Language-Centric Performance Analysis of OpenMP Programs with Aftermath
auteur
Andi Drebes, Jean-Baptiste Bréjon, Antoniu Pop, Karine Heydemann, Albert Cohen
article
IWOMP 2016 - 12th International Workshop on OpenMP, Oct 2016, Nara, Japan. Springer, 9903, pp.237-250, Lecture Notes in Computer Science. 〈10.1007/978-3-319-45550-1_17〉
Accès au texte intégral et bibtex
http://hal.upmc.fr/hal-01343686/file/iwomp2016.pdf BibTex
titre
Soundness of the Quasi-Synchronous Abstraction
auteur
Guillaume Baudart, Timothy Bourke, Marc Pouzet
article
Formal Methods in Computer-Aided Design (FMCAD), Oct 2016, Mountain View, CA, United States. pp.9-16, 2016, Proceedings of the 16th International Conference on Formal Methods in Computer-Aided Design. 〈http://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD16/index.html〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01408208/file/final-extended.pdf BibTex
titre
Reduction Drawing: Language Constructs and Polyhedral Compilation for Reductions on GPUs
auteur
Chandan Reddy, Michael Kruse, Albert Cohen
article
PACT'16 - ACM/IEEE Conference on Parallel Architectures and Compilation Techniques, Sep 2016, Haifa, Israel. pp.87 - 97, 2016, 〈10.1145/2967938.2967950〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01425750/file/paper.pdf BibTex
titre
Scalable Task Parallelism for NUMA: A Uniform Abstraction for Coordinated Scheduling and Memory Management
auteur
Andi Drebes, Antoniu Pop, Karine Heydemann, Albert Cohen, Nathalie Drach
article
PACT'16 - ACM/IEEE Conference on Parallel Architectures and Compilation Techniques, Sep 2016, Haifa, Israel. pp.125 - 137, 2016, 〈10.1145/2967938.2967946〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01425743/file/paper.pdf BibTex
titre
A bounded memory allocator for software-defined global address spaces
auteur
François Gindraud, Fabrice Rastello, Albert Cohen, François Broquedis
article
ISMM 2016 - 2016 ACM SIGPLAN International Symposium on Memory Management, Jun 2016, Santa Barbara, United States. 2016
Accès au bibtex
BibTex
titre
Effective padding of multidimensional arrays to avoid cache conflict misses
auteur
Changwan Hong, Wenlei Bao, Albert Cohen, Sriram Krishnamoorthy, Louis-Noël Pouchet, Fabrice Rastello, J. Ramanujam, Sadayappan Ponnuswany
article
PLDI 2016: Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, Jun 2016, Santa Barbara, United States
Accès au bibtex
BibTex
titre
Interactive visualization of cross-layer performance anomalies in dynamic task-parallel applications and systems
auteur
Andi Drebes, Antoniu Pop, Karine Heydemann, Albert Cohen
article
IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS), Apr 2016, Uppsala, Sweden. pp.274 - 283, 2016, 〈10.1109/ISPASS.2016.7482102〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01425892/file/paper.pdf BibTex
titre
Transaction Parameterized Dataflow: A Model for Context-Dependent Streaming Applications
auteur
Xuan Do, Stephane Louise, Albert Cohen
article
Design, Automation & Test in Europe Conference & Exhibition (DATE), Mar 2016, Dresden, Germany
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01425902/file/date2016.pdf BibTex
titre
Static Analysis of OpenStream Programs
auteur
Albert Cohen, Alain Darte, Paul Feautrier
article
6th International Workshop on Polyhedral Compilation Techniques (IMPACT'16), held with HIPEAC'16, Jan 2016, Prague, Czech Republic. Available as http://impact.gforge.inria.fr/impact2016/papers/impact2016-cohen.pdf, Proceedings of the IMPACT series. 〈http://impact.gforge.inria.fr/impact2016〉
Accès au bibtex
BibTex
titre
SMO: An Integrated Approach to Intra-array and Inter-array Storage Optimization
auteur
Somashekaracharya Bhaskaracharya, Uday Bondhugula, Albert Cohen
article
POPL 2016 - ACM Symposium on Principles of Programming Languages, Jan 2016, Saint Petersburg, United States. pp.526-538, 〈10.1145/2837614.2837636〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01425888/file/paper.pdf BibTex
titre
Hard Real Time and Mixed Time Criticality on Off-The-Shelf Embedded Multi-Cores
auteur
Albert Cohen, Valentin Perrelle, Dumitru Potop-Butucaru, Marc Pouzet, Elie Soubiran, Zhen Zhang
article
International Conference on Embedded and Real-Time Software and Systems (ERTS2), Jan 2016, Toulouse, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01425887/file/main.pdf BibTex
titre
Live Range Reordering
auteur
Sven Verdoolaege, Albert Cohen
article
6þ Workshop on Polyhedral Compilation Techniques (IMPACT, associated with HiPEAC), 2016, Prag, Czech Republic. 2016
Accès au bibtex
BibTex

Chapitre d'ouvrage

titre
SSA-based Compiler Design
auteur
Sebastian Pop, Albert Cohen
article
Fabrice Rastello. SSA-based Compiler Design, Loop tree and induction variables, springer, 2016
Accès au bibtex
BibTex

Poster

titre
NUMA-aware scheduling and memory allocation for data-flow task-parallel applications
auteur
Andi Drebes, Antoniu Pop, Karine Heydemann, Nathalie Drach, Albert Cohen
article
ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Mar 2016, Barcelona, Spain. ACM New York, NY, USA, Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pp.44:1-44:2, 2016, 〈10.1145/2851141.2851193〉
Accès au bibtex
BibTex

Document associé à des manifestations scientifiques

titre
Sundials/ML: interfacing with numerical solvers
auteur
Timothy Bourke, Jun Inoue, Marc Pouzet
article
ACM Workshop on ML, Sep 2016, Nara, Japan. 2016, 〈http://www.mlworkshop.org〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01408230/file/paper.pdf BibTex

Rapport

titre
Automated Code Generation for Lattice QCD Simulation
auteur
Denis Barthou, Gilbert Grosdidier, Konstantin Petrov, Michael Kruse, Christine Eisenbeis, Olivier Pène, Olivier Brand-Foissac, Claude Tadonki, Romain Dolbeau
article
[Research Report] University of Bordeaux, University of Paris Sud, INRIA, University of Paris Sud, Mines ParisTech, CAPS Entreprise. 2016
Accès au texte intégral et bibtex
https://hal-mines-paristech.archives-ouvertes.fr/hal-01433302/file/E-395.pdf BibTex
titre
Static Analysis of OpenStream Programs
auteur
Albert Cohen, Alain Darte, Paul Feautrier
article
[Research Report] RR-8764, CNRS; Inria; ENS Lyon. 2016, pp.26
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01184408/file/RR-8764.pdf BibTex

2015

Article dans une revue

titre
Time Refinement in a Functional Synchronous Language
auteur
Marc Pouzet, Cédric Pasteur, Louis Mandel
article
Science of Computer Programming, Elsevier, 2015
Accès au bibtex
BibTex
titre
Polyhedral AST generation is more than scanning polyhedra
auteur
Sven Verdoolaege, Tobias Grosser, Albert Cohen
article
ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2015, 37 (4)
Accès au bibtex
BibTex

Communication dans un congrès

titre
Loosely Time-Triggered Architectures: Improvements and Comparisons
auteur
Guillaume Baudart, Timothy Bourke, Albert Benveniste
article
Proceedings of the 12th International Conference on Embedded Software (EMSOFT '15), Oct 2015, Amsterdam, Netherlands. Proceedings of the 12th International Conference on Embedded Software (EMSOFT '15), 2015, 〈10.1109/EMSOFT.2015.7318263〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01243005/file/emsoft15.pdf BibTex
titre
ReactiveML, ten years later
auteur
Louis Mandel, Cédric Pasteur, Marc Pouzet
article
17th International Symposium on Principles and Practice of Declarative Programming (PPDP'15), Jul 2015, Siena, Italy. Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming (PPDP'15), pp.6 - 17, 2015, 〈http://costa.ls.fi.upm.es/ppdp15/〉. 〈10.1145/2790449.2790509〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01508179/file/ppdp15.pdf BibTex
titre
A Synchronous-based Code Generator For Explicit Hybrid Systems Languages
auteur
Timothy Bourke, Jean-Louis Colaço, Bruno Pagano, Cédric Pasteur, Marc Pouzet
article
International Conference on Compiler Construction (CC), Jul 2015, London, United Kingdom. 2015, LNCS
Accès au bibtex
BibTex
titre
Concrete Types for TypeScript
auteur
Gregor Richards, Francesco Zappa Nardelli, Vitek Jan
article
29th European Conference on Object-Oriented Programming (ECOOP 2015), Jul 2015, Prague, Czech Republic. 〈http://2015.ecoop.org〉. 〈10.4230/LIPIcs.ECOOP.2015.76〉
Accès au bibtex
BibTex
titre
Common compiler optimisations are invalid in the C11 memory model and what we can do about it
auteur
Viktor Vafeiadis, Thibaut Balabonski, Soham Chakraborty, Robin Morisset, Francesco Zappa Nardelli
article
POPL 2015 - 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 2015, Mumbai, India
Accès au bibtex
BibTex
titre
An Empirical Evaluation of a Programming Model for Context-Dependent Real-time Streaming Applications
auteur
Xuan Khanh Do, Stéphane Louise, Albert Cohen, Paul Dubrulle, Thierry Goubier, Loïc Cudennec, Philippe Doré
article
Workshop on Architecture, Languages, Compilation and Hardware support for Emerging ManYcore systems (ALCHEMY 2015, associated with ICCS), 2015, Reykjavik, Iceland. 2015
Accès au bibtex
BibTex
titre
Managing the Latency of Data-Dependent Tasks in Embedded Streaming Applications
auteur
Xuan Khanh Do, Stéphane Louise, Albert Cohen
article
IEEE 9th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC 2015), 2015, Turin, Italy. 2015
Accès au bibtex
BibTex
titre
Streaming Task Parallelism
auteur
Albert Cohen
article
Intl. Conf. on Supercomputing (ICS), 2015, Newport Beach, California, United States. 2015
Accès au bibtex
BibTex
titre
Challenges in Correct-by-Construction Multiprocessor Programming
auteur
Albert Cohen
article
EPFL-INRIA Workshop, 2015, Lausanne, Switzerland. 2015
Accès au bibtex
BibTex
titre
PENCIL: a Platform-Neutral Compute Intermediate Language for Accelerator Programming
auteur
Riyadh Baghdadi, Ulysse Beaugnon, Albert Cohen, Tobias Grosser, Michael Kruse, Chandan Reddy, Sven Verdoolaege, Adam Betts, Alastair F. Donaldson, Jeroen Ketema, Javed Absar, Róbert Dávid, Sven Van Haastregt, Alexey Kravets, Anton Lokhmotov, Elnar Hajiyev
article
Parallel Architectures and Compilation Techniques (PACT), 2015, San Francisco, California, United States. 2015
Accès au bibtex
BibTex

Direction d'ouvrage, Proceedings, Dossier

titre
28th International Conference on the Architecture of Computing Systems (ARCS)
auteur
Albert Cohen
article
Albert Cohen. Porto, Portugal. Springer, 2015, LNCS
Accès au bibtex
BibTex
titre
Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP)
auteur
Albert Cohen, David Grove
article
Albert Cohen and David Grove. Burlingame, California, United States. ACM, 2015, 978-1-4503-3205-7
Accès au bibtex
BibTex
titre
Pencil A Platform-Neutral Compute Intermediate Language for DSL Compilers
auteur
Riyadh Baghdadi, Javed Absar, Ulysse Beaugnon, Adam Betts, Albert Cohen, Róbert Dávid, Alastair Donaldson, Tobias Grosser, Sven Van Haastregt, Elnar Hajiyev, Jeroen Ketema, Alexey Kravets, Michael Kruse, Anton Lokhmotov, Chandan Reddy, Sven Verdoolaege
article
10th International Conference on High Performance and Embedded Architectures and Compilers - HIPEAC 2015, Jan 2015, Amsterdam, Netherlands. 2015
Accès au bibtex
BibTex

Rapport

titre
Soundness of the Quasi-Synchronous Abstraction
auteur
Guillaume Baudart, Timothy Bourke, Marc Pouzet
article
[Research Report] RR-8755, INRIA Paris-Rocquencourt; INRIA. 2015, pp.19
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01175571/file/RR-8755-2.pdf BibTex
titre
PENCIL Language Specification
auteur
Riyadh Baghdadi, Albert Cohen, Tobias Grosser, Sven Verdoolaege, Anton Lokhmotov, Javed Absar, Sven Van Haastregt, Alexey Kravets, Alastair Donaldson
article
[Research Report] RR-8706, INRIA. 2015, pp.37
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01154812/file/RR-8706.pdf BibTex
titre
PENCIL support in pet and PPCG
auteur
Sven Verdoolaege
article
[Technical Report] RT-0457, INRIA Paris-Rocquencourt; INRIA. 2015
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01133962/file/ppcg-pencil-v2.pdf BibTex

2014

Article dans une revue

titre
Topology-Aware and Dependence-Aware Scheduling and Memory Allocation for Task-Parallel Languages
auteur
Andi Drebes, Karine Heydemann, Nathalie Drach, Antoniu Pop, Albert Cohen
article
ACM Transactions on Architecture and Code Optimization, Association for Computing Machinery, 2014, 11 (3), pp.30. 〈10.1145/2641764〉
Accès au bibtex
BibTex
titre
The relation between diamond tiling and hexagonal tiling
auteur
Tobias Grosser, Sven Verdoolaege, Albert Cohen, P. Sadayappan
article
Parallel Processing Letters, World Scientific Publishing, 2014, 24 (3)
Accès au bibtex
BibTex
titre
On-the-Field Test and Configuration Infrastructure for 2-D-Mesh NoCs in Shared-Memory Many-Core Architectures
auteur
Zhen Zhang, Dimitri Refauvelet, Alain Greiner, Mounir Benabdenbi, François Pecheux
article
IEEE Transactions on Very Large Scale Integration (VLSI) Systems, IEEE, 2014, 22 (6), pp.1364 - 1376. 〈10.1109/TVLSI.2013.2271697〉
Accès au bibtex
BibTex
titre
Improving the Design Flow for Parallel and Heterogeneous Architectures running Real-Time applications: The PHARAON FP7 project
auteur
Hector Posadas, Eugenio Villar, Florian Broekaert, Michel Bourdellès, Albert Cohen, Léonard Gérard, Adrien Guatto, Mihai T. Lazarescu, Luciano Lavagno, Nhat Minh Lê, Andrei Terechko, Miguel Glassee, Manuel Prieto, Antoniu Pop
article
Microprocessors and Microsystems: Embedded Hardware Design (MICPRO), Elsevier, 2014, MICPRO2141
Accès au bibtex
BibTex
titre
Compiler/Run-Time Framework for Dynamic Data-Flow Parallelization of Tiled Programs
auteur
Martin Kong, Antoniu Pop, Louis-Noël Pouchet, R. Govindarajan, Albert Cohen, P. Sadayappan
article
taco # (TACO), 2014
Accès au bibtex
BibTex
titre
TERAFLUX: Harnessing dataflow in next generation teradevices
auteur
Roberto Giorgi, Rosa M. Badia, François Bodin, Albert Cohen, Paraskevas Evripidou, Paolo Faraboschi, Bernhard Fechner, Guang R. Gao, Arne Garbade, Rahul Gayatri, Sylvain Girbal, Daniel Goodman, Behran Khan, Souad Koliaï, Joshua Landwehr, Nhat Minh, Feng Li, Mikel Lujàn, Avi Mendelson, Laurent Morin, Nacho Navarro, Tomasz Patejko, Antoniu Pop, Pedro Trancoso, Theo Ungerer, Ian Watson, Sebastian Weis, Stéphane Zuckerman, Mateo Valero
article
Microprocessors and Microsystems: Embedded Hardware Design (MICPRO), Elsevier, 2014, 38 (8), pp. 976-990. 〈10.1016/j.micpro.2014.04.001〉
Accès au bibtex
BibTex

Communication dans un congrès

titre
A Mechanized Proof of Loop Freedom of the (Untimed) AODV Routing Protocol
auteur
Timothy Bourke, Robert J. Van Glabbeek, Peter Höfner
article
ATVA 2014: Automated Technology for Verification and Analysis, Nov 2014, Sydney, Australia. Springer, Proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis, 8837, pp.17, 2014, Lecture Notes in Computer Science. 〈http://atva-conferences.org/〉. 〈10.1007/978-3-319-11936-6_5〉
Accès au bibtex
BibTex
titre
Model-Based Platform Composition for Embedded System Design
auteur
Nicolas Hili, Christian Fabre, Sophie Dupuy-Chessa, Dominique Rieu, Ivan Llopard
article
2014 IEEE 8th International Symposium on Embedded Multicore/Manycore SoCs, Sep 2014, Aizu-Wakamatsu, Japan. 2014
Accès au bibtex
BibTex
titre
Reactivity of Cooperative Systems
auteur
Louis Mandel, Cédric Pasteur
article
Static Analysis (SAS), Sep 2014, Munich, Germany. Springer, 21st International Symposium on Static Analysis (SAS 2014), 8723, pp.17, 2014, Lecture Notes in Computer Science. 〈http://cs.uni-muenster.de/sev/sas14/〉. 〈10.1007/978-3-319-10936-7_14〉
Accès au bibtex
BibTex
titre
Showing Invariance Compositionally for a Process Algebra for Network Protocols
auteur
Timothy Bourke, Robert J. Van Glabbeek, Peter Höfner
article
ITP 2014: Interactive Theorem Proving, Jul 2014, Vienna, Austria. Springer, Proceedings of the 5th International Conference on Interactive Theorem Proving (ITP 2014), 8558, pp.16, 2014, Lecture Notes in Computer Science. 〈http://www.cs.uwyo.edu/~ruben/itp-2014/〉. 〈10.1007/978-3-319-08970-6_10〉
Accès au bibtex
BibTex
titre
VOBLA: a vehicle for optimized basic linear algebra
auteur
Ulysse Beaugnon, Alexey Kravets, Sven Van Haastregt, Riyadh Baghdadi, David Tweed, Javed Absar, Anton Lokhmotov
article
Proceedings of the 2014 SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems (LCTES'14), Jun 2014, Edinburgh, United Kingdom. pp.115-124, 2014, Proceedings of the 2014 SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems (LCTES'14). 〈http://www.ittc.ku.edu/lctes14/〉. 〈10.1145/2666357.2597818〉
Accès au bibtex
BibTex
titre
A Parallel Action Language for Embedded Applications and its Compilation Flow
auteur
Ivan Llopard, Albert Cohen, Christian Fabre, Nicolas Hili
article
17th International Workshop on Software and Compilers for Embedded Systems, Jun 2014, Sankt Goar, Germany. pp.118-127, 2014, Proceedings of the 17th International Workshop on Software and Compilers for Embedded Systems. 〈http://dl.acm.org/citation.cfm?doid=2609248.2609257〉. 〈10.1145/2609248.2609257〉
Accès au bibtex
BibTex
titre
Energy-Aware Parallelization Flow and Toolset for C Code
auteur
Mihai Lazarescu, Albert Cohen, Adrien Guatto, Luciano Lavagno, Nhat Minh Lê, Antoniu Pop, Manuel Prieto, Andrei Terechko, Alexandru Sutii
article
SCOPES 2014 - 17th International Workshop on Software and Compilers for Embedded Systems, Jun 2014, Saint Goar, Germany. 2014, 〈10.1145/2609248.2609264〉
Accès au bibtex
BibTex
titre
A Framework for Enhancing Data Reuse via Associative Reordering
auteur
Kevin Stock, Martin Kong, Tobias Grosser, Louis-Noël Pouchet, Fabrice Rastello, Jagannathan Ramanujam, Ponnuswamy Sadayappan
article
PLDI '14 - 35th ACM SIGPLAN Conference on Programming Language Design and Implementation, Jun 2014, Edinburgh, United Kingdom. ACM, pp.65-76, 2014, 〈10.1145/2594291.2594342〉
Accès au bibtex
BibTex
titre
Automatic Detection of Performance Anomalies in Task-Parallel Programs
auteur
Andi Drebes, Karine Heydemann, Antoniu Pop, Albert Cohen, Nathalie Drach
article
1st Workshop on Resource Awareness and Adaptivity in Multi-Core Computing (Racing 2014), May 2014, Paderborn, Germany. 2015, 〈https://www12.informatik.uni-erlangen.de/racing2014/〉
Accès au bibtex
https://arxiv.org/pdf/1405.2281 BibTex
titre
A Type-Based Analysis of Causality Loops in Hybrid Modelers
auteur
Albert Benveniste, Benoît Caillaud, Bruno Pagano, Marc Pouzet
article
HSCC '14: International Conference on Hybrid Systems: Computation and Control, Apr 2014, Berlin, Germany. ACM Press, Proceedings of the 17th international conference on Hybrid systems: computation and control (HSCC 2014), pp.13, 2014, Proceedings of the 17th international conference on Hybrid systems: computation and control (HSCC '14). 〈http://2014.hscc-conference.org/〉. 〈10.1145/2562059.2562125〉
Accès au bibtex
BibTex
titre
Hybrid Hexagonal/Classical Tiling for GPUs
auteur
Tobias Grosser, Albert Cohen, Justin Holewinski, Ponnuswamy Sadayappan, Sven Verdoolaege
article
Intl. Symp. on Code Generation and Optimization (CGO), Feb 2014, Orlando, FL, United States. 2014
Accès au bibtex
BibTex
titre
Aftermath: A graphical tool for performance analysis and debugging of fine-grained task-parallel programs and run-time systems
auteur
Andi Drebes, Antoniu Pop, Karine Heydemann, Albert Cohen, Nathalie Drach
article
Seventh Workshop on Programmability Issues for Heterogeneous Multicores (MULTIPROG-2014), Jan 2014, Vienna, Austria. 2014
Accès au bibtex
BibTex
titre
Schedule Trees
auteur
Sven Verdoolaege, Serge Guelton, Tobias Grosser, Albert Cohen
article
IMPACT - 4th Workshop on Polyhedral Compilation Techniques, associated with HiPEAC, Jan 2014, Vienna, Austria. ACM, 2014
Accès au bibtex
BibTex
titre
Exécution efficace de programmes ReactiveML
auteur
Louis Mandel, Cédric Pasteur
article
JFLA 2014 - Vingt-cinquièmes Journées Francophones des Langages Applicatifs, Jan 2014, Fréjus, France. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00919271/file/MandelPasteur-JFLA-2014.pdf BibTex
titre
Réseaux de Kahn à rafales et horloges entières
auteur
Adrien Guatto, Louis Mandel
article
JFLA 2014 - Vingt-cinquièmes Journées Francophones des Langages Applicatifs, Jan 2014, Fréjus, France. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00919281/file/GuattoMandel-JFLA-2014.pdf BibTex
titre
Comparing the StreamIt and ΣC Languages for Manycore Processors
auteur
Xuan Khanh Do, Stéphane Louise, Albert Cohen
article
Fourth International workshop on Data-Flow Models for extreme scale computing (DFM 2014, associated with PACT), 2014, Edmonton, Canada. 2014
Accès au bibtex
BibTex
titre
Mixed-criticality in Railway Systems: A Case Study on Signaling Application
auteur
Albert Cohen, Valentin Perrelle, Dumitru Potop-Butucaru, Elie Soubiran, Zhen Zhang
article
Workshop on Mixed Criticality for Industrial Systems (WMCIS, associated with Ada-Europe), 2014, Paris, France. 2014
Accès au bibtex
BibTex
titre
The relation between diamond tiling and hexagonal tiling
auteur
Tobias Grosser, Sven Verdoolaege, Albert Cohen, P. Sadayappan
article
1\st International Workshop on High-Performance Stencil Computations (HiStencils, associated with HiPEAC), 2014, Vienna, Austria. 2014
Accès au bibtex
BibTex
titre
Tiling and Optimizing Time-Iterated Computations on Periodic Domains
auteur
Uday Bondhugula, Vinayaka Bandishti, Albert Cohen, Guillain Potron, Nicolas Vasilache
article
Parallel Architectures and Compilation Techniques (PACT), 2014, Edmonton, Alberta, Canada. 2014
Accès au bibtex
BibTex
titre
PENCIL: A platform-neutral intermediate language for the parallelizing compilation of DSLs
auteur
Ulysse Beaugnon, Riyadh Baghdadi, Javed Absar, Adam Betts, Albert Cohen, Alastair Donaldson, Tobias Grosser, Sven Haastregt, Yabin Hu, Jeroen Ketema, Alexey Kravets, Anton Lokhmotov, Sven Verdoolaege
article
Domain-Specific Language Design and Implementation (DSLDI, associated with SPLASH/OOPSLA), 2014, Portland, Oregon, Unknown or Invalid Region. 2014
Accès au bibtex
BibTex
titre
Technology transfer towards Horizon 2020
auteur
Rainer Leupers, Norbert Wehn, Marco Roodzant, Johannes Stahl, Luca Fanucci, Albert Cohen, Bernd Janson
article
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2014, Dresden, Germany. 2014, 〈10.7873/DATE.2014.049〉
Accès au bibtex
BibTex

Direction d'ouvrage, Proceedings, Dossier

titre
17þ International Conference on Compiler Construction (CC)
auteur
Albert Cohen
article
Albert Cohen. Grenoble, France. springer, 2014, lncs
Accès au bibtex
BibTex

HDR

titre
Reasoning between Programming Languages and Architectures
auteur
Francesco Zappa Nardelli
article
Computer Science [cs]. ENS Paris - Ecole Normale Supérieure de Paris, 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-01110117/file/main.pdf BibTex

Cours

titre
Systeme digital : de l'algorithme au circuit
auteur
Jean Vuillemin
article
Licence. Systeme Digital : de l'algorithme au circuit, DI/ENS Paris, France. 2014, pp.275
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/cel-01239701/file/ENS2015Vuillemin.pdf BibTex

Autre publication

titre
Loop freedom of the (untimed) AODV routing protocol
auteur
Timothy Bourke, Peter Höfner
article
Entry in the Archive of Formal Proofs (ISSN: 2150-914x). 2014, pp.496
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01104033/file/document-2.pdf BibTex
titre
Mechanization of the Algebra for Wireless Networks (AWN)
auteur
Timothy Bourke
article
Entry in the Archive of Formal Proofs (ISSN: 2150-914x). 2014, pp.186
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01104031/file/document.pdf BibTex

Poster

titre
Aftermath: Performance analysis of task-parallel applications on many-core NUMA systems
auteur
Andi Drebes, Karine Heydemann, Nathalie Drach, Pop Antoniu, Albert Cohen
article
Tenth International Summer School on Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems, Jul 2014, Fiuggi, Italy. 2014
Accès au bibtex
BibTex

Rapport

titre
On the index of multi-mode DAE Systems (also called Hybrid DAE Systems)
auteur
Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet
article
[Research Report] RR-8630, Inria. 2014, pp.30
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01084069/file/RR-8630.pdf BibTex
titre
Reactivity of Cooperative Systems: Application to ReactiveML -- extended version
auteur
Louis Mandel, Cédric Pasteur
article
[Research Report] RR-8549, INRIA. 2014, pp.29
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01010349/file/RR-8549.pdf BibTex
titre
A Unifying View of Loosely Time-Triggered Architectures
auteur
Guillaume Baudart, Albert Benveniste, Anne Bouillard, Paul Caspi
article
[Research Report] RR-8494, INRIA. 2014, pp.14
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00955496/file/RR-8494.pdf BibTex

Thèse

titre
A decoupled approach to high-level loop optimization : tile shapes, polyhedral building blocks and low-level compilers
auteur
Tobias Grosser
article
Programming Languages [cs.PL]. Université Pierre et Marie Curie - Paris VI, 2014. English. 〈NNT : 2014PA066270〉
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01144563/file/pdf2star-1417100348-these_archivage_3160267.pdf BibTex
titre
Compiling for a multithreaded dataflow architecture : algorithms, tools, and experience
auteur
Feng Li
article
Other [cs.OH]. Université Pierre et Marie Curie - Paris VI, 2014. English. 〈NNT : 2014PA066102〉
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00992753/file/these_archivage_3072164.pdf BibTex

Pré-publication, Document de travail

titre
Shared Integer Dichotomy
auteur
Jean Vuillemin
article
2014
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01239120/file/VuilleminSharedDichotomy.pdf BibTex

2013

Article dans une revue

titre
Analyzing an Embedded Sensor with Timed Automata in Uppaal
auteur
Timothy Bourke, Arcot Sowmya
article
ACM Transactions on Embedded Computing Systems (TECS), ACM, 2013, 13 (3), pp.44-1--44-26. 〈10.1145/2539036.2539040〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00909062/file/tecs2012-accepted.pdf BibTex
titre
Improved Loop Tiling based on the Removal of Spurious False Dependences
auteur
Riyadh Baghdadi, Albert Cohen, Sven Verdoolaege, Konrad Trifunović
article
ACM Transactions on Architecture and Code Optimization, Association for Computing Machinery, 2013, 9 (4), 〈10.1145/2400682.2400711〉
Accès au bibtex
BibTex
titre
OpenStream: Expressiveness and Data-Flow Compilation of OpenMP Streaming Programs
auteur
Antoniu Pop, Albert Cohen
article
ACM Transactions on Architecture and Code Optimization, Association for Computing Machinery, 2013, 9 (4), 〈10.1145/2400682.2400712〉
Accès au bibtex
BibTex
titre
Polyhedral Parallel Code Generation for CUDA
auteur
Sven Verdoolaege, Juan Carlos Juega, Albert Cohen, José Ignacio Gómez, Christian Tenllado, Francky Catthoor
article
ACM Transactions on Architecture and Code Optimization, Association for Computing Machinery, 2013, 9 (4), 〈10.1145/2400682.2400713〉
Accès au bibtex
BibTex
titre
A Decoupled Local Memory Allocator
auteur
Boubacar Diouf, Can Hantaş, Albert Cohen, Özcan Özturk, Jens Palsberg
article
ACM Transactions on Architecture and Code Optimization, Association for Computing Machinery, 2013, 9 (4), 〈10.1145/2400682.2400693〉
Accès au bibtex
BibTex
titre
CompCertTSO: A Verified Compiler for Relaxed-Memory Concurrency
auteur
Jaroslav Sevcik, Viktor Vafeiadis, Francesco Zappa Nardelli, Suresh Jagannathan, Peter Sewell
article
Journal of the ACM (JACM), Association for Computing Machinery, 2013, 60 (3), pp.22. 〈10.1145/2487241.2487248〉
Accès au bibtex
BibTex
titre
Predictive Modeling in a Polyhedral Optimization Space
auteur
Eunjung Park, John Cavazos, Louis-Noël Pouchet, Cédric Bastoul, Albert Cohen, P. Sadayappan
article
International Journal of Parallel Programming, Springer Verlag, 2013, 41 (5), pp.704--750. 〈10.1007/s10766-013-0241-1〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00918653/file/ijpp-article.13_3.pdf BibTex

Communication dans un congrès

titre
Flexible access control for JavaScript
auteur
Gregor Richards, Christian Hammer, Francesco Zappa Nardelli, Suresh Jagannathan, Jan Vitek
article
OOPSLA'13 - CM SIGPLAN international conference on Object oriented programming systems languages & applications, Oct 2013, Indianapolis, IN, United States. ACM, pp.305-322, 2013, 〈10.1145/2509136.2509542〉
Accès au bibtex
BibTex
titre
Correct and Efficient Bounded FIFO Queues
auteur
Nhat Minh Lê, Adrien Guatto, Albert Cohen, Antoniu Pop
article
SBAC-PAD 2013 : International Symposium on Computer Architecture and High Performance Computing, Oct 2013, Porto de Galinhas, Brazil. IEEE, 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00911893/file/sbac13.pdf BibTex
titre
A Synchronous Embedding of Antescofo, a Domain-Specific Language for Interactive Mixed Music
auteur
Guillaume Baudart, Louis Mandel, Florent Jacquemard, Marc Pouzet
article
EMSOFT 2013 - 13th International Conference on Embedded Software, Sep 2013, Montreal, Canada. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00850299/file/BaudartJacquemardMandelPouzet-EMSOFT-2013.pdf BibTex
titre
Programming Mixed Music in ReactiveML
auteur
Guillaume Baudart, Louis Mandel, Marc Pouzet
article
FARM '13 - ACM SIGPLAN Workshop on Functional Art, Music, Modeling and Design, Sep 2013, Boston, United States. ACM, pp.11-22, 2013, 〈10.1145/2505341.2505344〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00850294/file/BaudartMandelPouzet-FARM-2013.pdf BibTex
titre
Time Refinement in a Functional Synchronous Language
auteur
Louis Mandel, Cédric Pasteur, Marc Pouzet
article
PPDP '13 - 15th ACM SIGPLAN International Symposium on Principles and Practice of Declarative Programming, Sep 2013, Madrid, Spain. ACM, pp.169-180, 2013, 〈10.1145/2505879.2505904〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00850290/file/MandelPasteurPouzet-PPDP-2013.pdf BibTex
titre
The TERAFLUX Project: Exploiting the DataFlow Paradigm in Next Generation Teradevices
auteur
Marco Solinas, Rosa M. Badia, François Bodin, Albert Cohen, Paraskevas Evripidou, Paolo Faraboschi, Bernhard Fechner, Guang R. Gao, Arne Garbade, Sylvain Girbal, Daniel Goodman, Behram Khan, Souad Koliai, Feng Li, Mikel Luján, Laurent Morin, Avi Mendelson, Nacho Navarro, Antoniu Pop, Pedro Trancoso, Theo Ungerer, Mateo Valero, Sebastian Weis, Ian Watson, Stéphane Zuckerman, Roberto Giorgi
article
DSD, Sep 2013, Los Alamitos, United States. pp.272-279, 2013
Accès au bibtex
BibTex
titre
Compiler testing via a theory of sound optimisations in the C11/C++11 memory model
auteur
Robin Morisset, Pankaj Pawan, Francesco Zappa Nardelli
article
PLDI'13 - 34th ACM SIGPLAN conference on Programming language design and implementation, Jun 2013, Seattle, WA, United States. ACM, pp.187-196, 2013, 〈10.1145/2491956.2491967〉
Accès au bibtex
BibTex
titre
Zélus: A Synchronous Language with ODEs
auteur
Timothy Bourke, Marc Pouzet
article
Calin Belta and Franjo Ivančić. HSCC - 16th International Conference on Hybrid systems: computation and control, Apr 2013, Philadelphia, United States. ACM, pp.113-118, 2013, Proceedings of the 16th International Conference on Hybrid systems: computation and control. 〈10.1145/2461328.2461348〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00909029/file/paper.pdf BibTex
titre
Two-layer Run-Time Power Management for embedded heterogeneous multi-core platforms
auteur
Chantal Couvreur, Prabhat Avasare, Florian Broekaert, Albert Cohen
article
DATE 13 - Workshop on Designing for Embedded Parallel Computing Platforms: Architectures, Design Tools, and Applications, Mar 2013, Grenoble, France. 2013
Accès au bibtex
BibTex
titre
Split Tiling for GPUs: Automatic Parallelization Using Trapezoidal Tiles to Reconcile Parallelism and Locality, avoiding Divergence and Load Imbalance
auteur
Albert Cohen, Tobias Grosser, Paul H. J. Kelly, J. Ramanujam, P. Sadayappan, Sven Verdoolaege
article
GPGPU 6 - Sixth Workshop on General Purpose Processing Using GPUs, Mar 2013, Houston, United States. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00786812/file/paper.pdf BibTex
titre
A Polynomial Spilling Heuristic: Layered Allocation
auteur
Boubacar Diouf, Albert Cohen, Fabrice Rastello
article
CGO 2013 - International Symposium on Code Generation and Optimization, Feb 2013, Shenzhen, China. IEEE, 2013, 〈10.1109/CGO.2013.6495005〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00911887/file/57_Diouf.pdf BibTex
titre
Code Generation for an Application-Specific VLIW Processor With Clustered, Addressable Register Files
auteur
Ivan Llopard, Albert Cohen, Christian Fabre, Jérôme Martin, Henri-Pierre Charles, Christian Bernard
article
ODES'13 - 10th Workshop on Optimizations for DSP and Embedded Systems, associated with CGO, Feb 2013, Shenzhen, China. ACM, pp.11-19, 2013, 〈10.1145/2443608.2443612〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00911896/file/meph_llvm.pdf BibTex
titre
Réactivité des systèmes coopératifs : le cas de ReactiveML
auteur
Louis Mandel, Cédric Pasteur
article
Damien Pous and Christine Tasson. JFLA - Journées francophones des langages applicatifs, Feb 2013, Aussois, France. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00779789/file/jfla2013-11.pdf BibTex
titre
Correct and Efficient Work-Stealing for Weak Memory Models
auteur
Nhat Minh Lê, Antoniu Pop, Albert Cohen, Francesco Zappa Nardelli
article
PPoPP '13 - Proceedings of the 18th ACM SIGPLAN symposium on Principles and practice of parallel programming, Feb 2013, Shenzhen, China. pp.69-80, 2013, 〈10.1145/2442516.2442524〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00802885/file/ppopp207-le.pdf BibTex
titre
Sub-polyhedral scheduling using (unit-)two-variable-per-inequality polyhedra
auteur
Ramakrishna Upadrasta, Albert Cohen
article
POPL'13 - 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Jan 2013, Rome, Italy. ACM, pp.483-496, 2013, 〈10.1145/2429069.2429127〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00911888/file/popl070-upadrasta.pdf BibTex
titre
Bridging the Exascale Programming Gap with Dataflow-Based Technologies
auteur
Roberto Giorgi, Albert Cohen, Avi Mendelson, Nacho Navarro, Theo Ungerer, Stéphane Zuckerman
article
6þ Workshop on Programmability Issues for Heterogeneous Multicores (MULTIPROG, associated with HiPEAC), 2013, Berlin, Germany. 2013
Accès au bibtex
BibTex
titre
The PHARAON project: Parallel and Heterogeneous Architecture for Real-Time Applications
auteur
Hector Posadas, Eugenio Villar, Florian Broekaert, Michel Bourdellès, Albert Cohen, Antoniu Pop, Nhat Minh Lê, Adrien Guatto, Mihai T. Lazarescu, Luciano Lavagno, Andrei Terechko, Miguel Glassee, Daniel Calvo, Edouardo Heras
article
Euromicro Conference on Digital System Design (DSD), 2013, Santander, Spain. 2013
Accès au bibtex
BibTex
titre
Correct and Efficient Manycore Processor Programming
auteur
Albert Cohen
article
Roundtable on ``IT systems in the industry: how to ensure software reliability?'', India-France Technology Summit, 2013, New Delhi, India. 2013
Accès au bibtex
BibTex
titre
Who wants to adopt a polyhedral compiler?
auteur
Albert Cohen
article
3\rd Workshop on Polyhedral Compilation Techniques (IMPACT, associated with HiPEAC), 2013, Unknown, Unknown or Invalid Region. 2013
Accès au bibtex
BibTex

Chapitre d'ouvrage

titre
Patterns for parallel programming on GPUs
auteur
Juan Carlos Juega, Sven Verdoolaege, Albert Cohen, José Ignacio Gómez, Christian Tenllado, Francky Catthoor
article
Frédéric Magoulès. Patterns for parallel programming on s, Evaluation of State-of-the-Art Parallelizing Compilers Generating CUDA Code for Heterogeneous CPU/GPU Computing, Saxe-Cobourg, 2013
Accès au bibtex
BibTex

Direction d'ouvrage, Proceedings, Dossier

titre
10th International Symposium on Advanced Parallel Processing Technologies (APPT)
auteur
Albert Cohen, Chenggang Wu
article
Albert Cohen and Chenggang Wu. Stockholm, Sweden. Springer, 2013, LNCS
Accès au bibtex
BibTex
titre
Dagstuhl Seminar 13142 on Correct and Efficient Accelerator Programming
auteur
Albert Cohen, Alastair F. Donaldson, Marieke Huisman, Joost-Pieter Katoen
article
Albert Cohen and Alastair F. Donaldson and Marieke Huisman and Joost-Pieter Katoen. 1 (1), Dagstuhl Publishing, 2013, Dagstuhl Reports
Accès au bibtex
BibTex

Autre publication

titre
A Type-Based Analysis of Causality Loops In Hybrid Systems Modelers
auteur
Albert Benveniste, Timothy Bourke, Benoît Caillaud, Bruno Pagano, Marc Pouzet
article
Deliverable D3.1_1 v 1.0 of the Sys2soft collaborative project "Physics Aware Software". 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00938866/file/Sys2soft_WP3.1_D3.1_1_Causality_in_Hybrid_Systems_Modelers_V_1.0.pdf BibTex
titre
Semantics of multi-mode DAE systems
auteur
Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet
article
Deliverable D.4.1.1 of the ITEA2 Modrio collaborative project. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00938891/file/MODRIO_PublicReport_D411.pdf BibTex

Ouvrage (y compris édition critique et traduction)

titre
Informatique et sciences du numérique : Édition spéciale Python
auteur
Gilles Dowek, Jean-Pierre Archambault, Emmanuel Baccelli, Claudio Cimellli, Albert Cohen, Christine Eisenbeis, Thierry Viéville, Benjamin Wack, Hugues Bersini, Guillaume Le Blanc
article
Eyrolles, pp.352, 2013, 978-2212136760
Accès au bibtex
BibTex

Rapport

titre
Correct and Efficient Bounded FIFO Queues
auteur
Nhat Minh Lê, Adrien Guatto, Albert Cohen, Antoniu Pop
article
[Research Report] RR-8365, INRIA. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00862450/file/RR-8365.pdf BibTex
titre
The Promises of Hybrid Hexagonal/Classical Tiling for GPU
auteur
Tobias Grosser, Sven Verdoolaege, Albert Cohen, P. Sadayappan
article
[Research Report] RR-8339, INRIA. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00848691/file/RR-8339.pdf BibTex

Thèse

titre
Raffinement temporel et exécution parallèle dans un langage synchrone fonctionnel
auteur
Cédric Pasteur
article
Langage de programmation [cs.PL]. Université Pierre et Marie Curie - Paris VI, 2013. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00934919/file/Pasteur-These.pdf BibTex

2012

Article dans une revue

titre
Minimal Unroll Factor for Code Generation of Software Pipelining
auteur
Mounira Bachir, Sid Touati, Brault Frédéric, David Gregg, Albert Cohen
article
International Journal of Parallel Programming, Springer Verlag, 2012, 〈10.1007/s10766-012-0203-z〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00764521/file/mainSubmitMinPPCMJounal.pdf BibTex
titre
Efficient Liveness Computation Using Merge Sets and DJ-Graphs
auteur
Dibyendu Das, Ramakrishna Upadrasta, Benoît Dupont de Dinechin
article
ACM Transactions on Architecture and Code Optimization, Association for Computing Machinery, 2012, ACM TACO Special Issue on "High-Performance and Embedded Architectures and Compilers", 8 (4), 〈10.1145/2086696.2086706〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00647369/file/ramakrishna_taco.pdf BibTex
titre
Automatic Extraction of Coarse-Grained Data-Flow Threads from Imperative Programs
auteur
Feng Li, Antoniu Pop, Albert Cohen
article
IEEE Micro, Institute of Electrical and Electronics Engineers, 2012, 32 (4), pp.19-31. 〈10.1109/MM.2012.49〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00906099/file/paper.pdf BibTex
titre
Non-standard semantics of hybrid systems modelers
auteur
Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet
article
Journal of Computer and System Sciences, Elsevier, 2012, In Commemoration of Amir Pnueli, 78 (3), pp.877-910. 〈10.1016/j.jcss.2011.08.009〉
Accès au bibtex
BibTex

Communication dans un congrès

titre
PENCIL: Towards a Platform-Neutral Compute Intermediate Language for DSLs
auteur
Riyadh Baghdadi, Albert Cohen, Serge Guelton, Sven Verdoolaege, Jun Inoue, Tobias Grosser, Georgia Kouveli, Alexey Kravets, Anton Lokhmotov, Cedric Nugteren, Fraser Waters, Alastair Donaldson
article
WOLFHPC 2012 - 2nd Workshop on Domain-Specific Languages and High-Level Frameworks for High Performance Computing, Nov 2012, Salt Lake City, Utah, United States. 2012
Accès au bibtex
BibTex
titre
Constrained Types - Future Directions
auteur
Vijay Saraswat, David Cunningham, Liana Hadarean, Louis Mandel, Avraham Shinnar, Olivier Tardieu
article
CP - 18th International Conference on Principles and Practice of Constraint Programming - 2012, Oct 2012, Québec, Canada. 2012
Accès au bibtex
BibTex
titre
Programming Parallelism with Futures in Lustre
auteur
Albert Cohen, Léonard Gérard, Marc Pouzet
article
EMSOFT '12 Proceedings of the tenth ACM international conference on Embedded software, Oct 2012, Tampere, Finland, Finland. ACM, pp.197-206, 2012, 〈10.1145/2380356.2380394〉
Accès au bibtex
BibTex
titre
On the Effectiveness of Register Moves to Minimise Post-Pass Unrolling in Software Pipelined Loops
auteur
Mounira Bachir, Albert Cohen, Sid Touati
article
IEEE, ACM. HPCS 2012 : International Conference on High Performance Computing & Simulation, Jul 2012, Madrid, Spain. 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00716183/file/Touati_hpcs_2012.pdf BibTex
titre
Scheduling and Buffer Sizing of n-Synchronous Systems
auteur
Louis Mandel, Florence Plateau
article
Eleventh International Conference on Mathematics of Program Construction , Jun 2012, Madrid, Spain. Eleventh International Conference on Mathematics of Program Construction , 2012, 〈http://babel.ls.fi.upm.es/mpc2012/〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01508142/file/MandelPlateau-MPC-2012.pdf https://hal.inria.fr/hal-01508142/file/mpc12-extended.pdf BibTex
titre
A modular memory optimization for synchronous data-flow languages: application to arrays in a lustre compiler
auteur
Léonard Gérard, Adrien Guatto, Cédric Pasteur, Marc Pouzet
article
Proceedings of the 13th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems, Jun 2012, Beijing, China. ACM, pp.51--60, 2012, 〈10.1145/2248418.2248426〉
Accès au bibtex
BibTex
titre
Work-Streaming Compilation of Futures
auteur
Antoniu Pop, Albert Cohen
article
PLACES'12 - 5th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, Mar 2012, Tallin, Estonia. 2012
Accès au bibtex
BibTex
titre
A Case for Strongly Polynomial Time Sub-Polyhedral Scheduling Using Two-Variable-Per-Inequality Polyhedra
auteur
Ramakrishna Upadrasta, Albert Cohen
article
IMPACT 2012 - 2nd Workshop on Polyhedral Compilation Techniques (associated with HiPEAC), Jan 2012, Paris, France. 2012
Accès au bibtex
BibTex
titre
A Compiler and Runtime System Perspective to Scalable Data-Flow Computing
auteur
Feng Li, Boris Arnoux, Albert Cohen
article
5th Workshop on Programmability Issues for Heterogeneous Multicores (MULTIPROG), Jan 2012, Paris, France. 2012
Accès au bibtex
BibTex
titre
Multigrain Affinity for Heterogeneous Work Stealing
auteur
Jean-Yves Vet, Patrick Carribault, Albert Cohen
article
Programmability Issues for Heterogeneous Multicores, Jan 2012, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00875338/file/multigrain.pdf BibTex
titre
Defensive Leakage Camouflage
auteur
Jean Vuillemin
article
Stefan Mangard. Smart Card Research and Advanced Applications - 11th International Conference, CARDIS , 2012, Graz, Austria, Austria. Smart Card Research and Advanced Applications - 11th International Conference, CARDIS 2012, Graz, Austria, November 28-30, 2012 Lecture Notes in Computer Science 7771, Springer 2013, ISBN 978-3-642-37287-2, 7771, 2013, Lecture Notes in Computer Science 〈http://dblp.uni-trier.de/pers/hd/m/Mangard:Stefan〉
Accès au bibtex
BibTex

Mémoire d'étudiant

titre
Antescofo : vers une programmation synchrone
auteur
Guillaume Baudart
article
Informatique et langage [cs.CL]. 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01156601/file/index.pdf BibTex

Ouvrage (y compris édition critique et traduction)

titre
Informatique et Sciences du Numérique - Spécialité ISN en Terminale S
auteur
Gilles Dowek, Jean-Pierre Archambault, Emmanuel Baccelli, Claudio Cimellli, Albert Cohen, Christine Eisenbeis, Thierry Viéville, Benjamin Wack
article
Eyrolles, pp.303, 2012, ISBN 978-2-212-13543-5
Accès au bibtex
BibTex
titre
Informatique et sciences du numérique ― Spécialité ISN en terminale S, avec des exercices corrigés et des idées de projets
auteur
Gilles Dowek, Jean-Pierre Archambault, Emmanuel Baccelli, Claudio Cimelli, Albert Cohen, Christine Eisenbeis, Thierry Viéville, Benjamin Wack, Gérard Berry (préface)
article
Eyrolles, 2012
Accès au bibtex
BibTex

Rapport

titre
A Polynomial Spilling Heuristic: Layered Allocation
auteur
Boubacar Diouf, Albert Cohen, Fabrice Rastello
article
[Research Report] RR-8007, INRIA. 2012, pp.23
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00713693/file/RR-8007.pdf BibTex
titre
Control-Driven Data Flow
auteur
Antoniu Pop, Albert Cohen
article
[Research Report] RR-8015, INRIA. 2012, pp.48
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00717906/file/RR-8015.pdf BibTex
titre
Expressiveness and Data-Flow Compilation of OpenMP Streaming Programs
auteur
Antoniu Pop, Albert Cohen
article
[Research Report] RR-8001, INRIA. 2012, pp.28
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00710409/file/RR-8001.pdf BibTex

2011

Communication dans un congrès

titre
Static Scheduling of Latency Insensitive Designs with Lucy-n
auteur
Louis Mandel, Florence Plateau, Marc Pouzet
article
FMCAD 2011 - Formal Methods in Computer Aided Design, Oct 2011, Austin, TX, United States. 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00654843/file/MandelPlateauPouzet-FMCAD-2011.pdf BibTex
titre
A hybrid synchronous language with hierarchical automata: Static typing and translation to synchronous code
auteur
Albert Benveniste, Timothy Bourke, Benoit Caillaud, Marc Pouzet
article
Embedded Software (EMSOFT), 2011, Oct 2011, Taipei, Taiwan. 2011, 〈10.1145/2038642.2038664〉
Accès au bibtex
BibTex
titre
Transitive Closures of Affine Integer Tuple Relations and their Overapproximations
auteur
Sven Verdoolaege, Albert Cohen, Anna Beletska
article
Eran Yahav. SAS 2011 - The 18th International Static Analysis Symposium, Sep 2011, Venice, Italy. Springer, 6887, pp.216-232, 2011, LNCS. 〈10.1007/978-3-642-23702-7_18〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00645221/file/sas.pdf BibTex
titre
A Mutable Hardware Abstraction to Replace Threads
auteur
Sean Halle, Albert Cohen
article
LCPC'11 - The 24th International Workshop on Languages and Compilers for Parallel Computing, Sep 2011, Fort Collins, United States. 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00645220/file/lcpc11.pdf BibTex
titre
Elimination of memory-based dependences for loop-nest optimization and parallelization
auteur
Konrad Trifunovic, Albert Cohen, Ladelski Razya, Feng Li
article
GROW 2011 : 3rd Workshop on GCC Research Opportunities, Jun 2011, Chamonix, France. 2011, 〈http://grow2011.inria.fr/index.php?option=com_content&view=article&id=57&Itemid=61〉
Accès au bibtex
BibTex
titre
Support of Collective Effort Towards Performance Portability
auteur
Sean Halle, Albert Cohen
article
HotPar'11 - 3rd USENIX Workshop on Hot Topics in Parallelism, May 2011, Berkeley, United States. 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00645226/file/Jan_2011_Hotpar_Port_Perf_final.pdf BibTex
titre
Divide and recycle: types and compilation for a hybrid synchronous language
auteur
Albert Benveniste, Timothy Bourke, Benoit Caillaud, Marc Pouzet
article
Proceedings of the ACM SIGPLAN/SIGBED 2011 conference on Languages, compilers, and tools for embedded systems, LCTES 2011, Apr 2011, Chicago, IL, United States. 2011, 〈10.1145/1967677.1967687〉
Accès au bibtex
BibTex
titre
Advances in Parallel-Stage Decoupled Software Pipelining
auteur
Feng Li, Pop Antoniu, Albert Cohen
article
WIR, Apr 2011, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00870687/file/A-462.pdf BibTex
titre
Advances in Parallel-Stage Decoupled Software Pipelining Leveraging Loop Distribution, Stream-Computing and the SSA Form
auteur
Feng Li, Antoniu Pop, Albert Cohen
article
WIR 2011: Workshop on Intermediate Representations, Apr 2011, Chamonix, France. Florent Bouchez and Sebastian Hack and Eelco Visser, pp.29-36, 2011
Accès au texte intégral et bibtex
https://hal-mines-paristech.archives-ouvertes.fr/hal-00744090/file/A-462.pdf BibTex
titre
Relaxed-memory concurrency and verified compilation
auteur
Jaroslav Sevcik, Viktor Vafeiadis, Francesco Zappa Nardelli, Suresh Jagannathan, Peter Sewell
article
POPL, Jan 2011, Austin, TX, United States. 2011
Accès au bibtex
BibTex
titre
Elimination of Memory-Based Dependences for Loop-Nest Optimization and Parallelization: Evaluation of a Revised Violated Dependence Analysis Method on a Three-Address Code Polyhedral Compiler
auteur
Konrad Trifunović, Albert Cohen, Razya Ladelski, Feng Li
article
3\rd GCC Research Opportunities Workshop (GROW, associated with CGO), 2011, Chamonix, France. 2011
Accès au bibtex
BibTex
titre
Exploring the use of Sub-Polyhedra in the Polyhedral Model: A TVPI Based Approach
auteur
Ramakrishna Upadrasta, Albert Cohen
article
1\st Workshop on Polyhedral Compilation Techniques (IMPACT, associated with CGO), 2011, Chamonix, France. 2011
Accès au bibtex
BibTex
titre
Vapor SIMD ― Auto-Vectorize Once, Run Everywhere
auteur
Dorit Nuzman, Sergei Dyshel, Erven Rohou, Ira Rosen, Kevin Williams, David Yuste, Albert Cohen, Ayal Zaks
article
cgo # (CGO), 2011, Chamonix, France. 2011
Accès au bibtex
BibTex
titre
Extending Loop Distribution to PS-DSWP
auteur
Feng Li, Antoniu Pop, Albert Cohen
article
1\st Workshop on Intermediate Representations (WIR, associated with CGO), 2011, Chamonix, France. 2011
Accès au bibtex
BibTex

Chapitre d'ouvrage

titre
Polyhedral Techniques for Parametric Memory Requirement Estimation
auteur
Philippe Clauss, Diego Garbervetsky, Vincent Loechner, Sven Verdoolaege
article
Balasa, F. and Pradhan, D. Energy-Aware Memory Management for Embedded Multimedia Systems: A Computer-Aided Design Approach, Taylor and Francis, 2011, Chapman & Hall/Crc Computer and Information Science, 9781439814000
Accès au bibtex
BibTex

Thèse

titre
Decoupled approaches to register and software controlled memory allocations
auteur
Boubacar Diouf
article
Other [cs.OH]. Université Paris Sud - Paris XI, 2011. English. 〈NNT : 2011PA112349〉
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00769403/file/VD2_DIOUF_BOUBACAR_15122011.pdf BibTex
titre
Efficient search-based strategies for polyhedral compilation : algorithms and experience in a production compiler
auteur
Konrad Trifunovic
article
Other [cs.OH]. Université Paris Sud - Paris XI, 2011. English. 〈NNT : 2011PA112096〉
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00661334/file/VA_TRIFUNOVIC_KONRAD_04072011.pdf BibTex

2009

Chapitre d'ouvrage

titre
eBooks Informatique Eyrolles
auteur
Frédéric Brault, Cohen Albert, Zundel Jean
article
Hackez Google Android ― Introduction à la programmation système, Eyrolles, 2009
Accès au bibtex
BibTex

2008

Article dans une revue

titre
Deep Jam: Conversion of Coarse-Grain Parallelism to Fine-Grain and Vector Parallelism
auteur
Patrick Carribault, Stéphane Zuckerman, Albert Cohen, William Jalby
article
Journal of Instruction-Level Parallelism, 2008, 9, pp.1--26
Accès au bibtex
BibTex

Communication dans un congrès

titre
Iterative Optimization in the Polyhedral Model: Part II, Multidimensional Time
auteur
Louis-Noël Pouchet, Cédric Bastoul, Albert Cohen, John Cavazos
article
ACM Conference on Programming Language Design and Implementation (PLDI), 2008, Tucson, Arizona, Unknown or Invalid Region. 2008
Accès au bibtex
BibTex
titre
A Note on the Performance Distribution of Affine Schedules
auteur
Louis-Noël Pouchet, Cédric Bastoul, John Cavazos, Albert Cohen
article
2\nd Workshop on Statistical and Machine learning approaches applied to ARchitectures and compilaTion (SMART), 2008, Gothenburg, Sweden. 2008
Accès au bibtex
BibTex
titre
Abstraction of Clocks in Synchronous Data-flow Systems
auteur
Albert Cohen, Louis Mandel, Florence Plateau, Marc Pouzet
article
6th Asian Symposium on Programming Languages and Systems (APLAS), 2008, Unknown, Unknown or Invalid Region. 2008
Accès au bibtex
BibTex
titre
Hybrid Performance Analysis to Accelerate Compiler Optimization Space Exploration for In-Order Processors
auteur
Nicolas Inglart, Smail Niar, Albert Cohen
article
2\nd Workshop on Statistical and Machine learning approaches applied to ARchitectures and compilaTion (SMART), 2008, Gothenburg, Sweden. 2008
Accès au bibtex
BibTex

2007

Communication dans un congrès

titre
Split Compilation: an Application to Just-in-Time Vectorization
auteur
Piotr Lesnicki, Albert Cohen, Marco Cornero, Grigori Fursin, Andrea Ornstein, Erven Rohou
article
Workshop on GCC for Research in Embedded and Parallel Systems (GREPS), 2007, Brasov, Romania. 2007
Accès au bibtex
BibTex
titre
Building a Practical Iterative Compiler
auteur
Grigori Fursin, Albert Cohen
article
1\st Workshop on Statistical and Machine learning approaches applied to ARchitectures and compilaTion (SMART), 2007, Ghent, Belgium. 2007
Accès au bibtex
BibTex
titre
Practical Run-time Adaptation with Procedure Cloning to Enable Continuous Collective Compilation
auteur
Grigori Fursin, Cupertino Miranda, Sebastian Pop, Albert Cohen, Olivier Temam
article
Proc. of the 5þ GCC Developper's Summit, 2007, Ottawa, Ontario, Unknown or Invalid Region. 2007
Accès au bibtex
BibTex
titre
Automatic Correction of Loop Transformations
auteur
Nicolas Vasilache, Albert Cohen, Louis-Noël Pouchet
article
pact # (PACT), 2007, Brasov, Romania. 2007
Accès au bibtex
BibTex

Direction d'ouvrage, Proceedings, Dossier

titre
Dagstuhl Seminar 13142 on Programming Models for Ubiquitous Parallelism
auteur
David Chi-Leung Wong, Albert Cohen, María J. Garzarán, Christian Lengauer, Samuel P. Midkiff
article
David Chi-Leung Wong and Albert Cohen and Mar\'ıa J. Garzarán and Christian Lengauer and Samuel P. Midkiff. 1 (1), Dagstuhl Publishing, 2007, Dagstuhl Reports
Accès au bibtex
BibTex

2006

Article dans une revue

titre
In Search of a Program Generator to Implement Generic Transformations for High-Performance Computing
auteur
Albert Cohen, Sébastien Donadio, María J. Garzarán, Christoph Herrmann, Oleg Kiselyov, David Padua
article
Science of Computer Programming, Elsevier, 2006, 62 (1), pp.25--46
Accès au bibtex
BibTex
titre
Semi-Automatic Composition of Loop Transformations for Deep Parallelism and Memory Hierarchies
auteur
Sylvain Girbal, Nicolas Vasilache, Cédric Bastoul, Albert Cohen, David Parello, Marc Sigler, Olivier Temam
article
ijpp, 2006, 34 (3), pp.261--317
Accès au bibtex
BibTex

Communication dans un congrès

titre
Iterative Optimization in the Polyhedral Model: One-Dimensional Scheduling Case
auteur
Louis-Noël Pouchet, Cédric Bastoul, Albert Cohen
article
2\nd HiPEAC Industrial Workshop, 2006, Eindhoven, The, Netherlands. 2006
Accès au bibtex
BibTex
titre
Violated Dependence Analysis
auteur
Nicolas Vasilache, Albert Cohen, Cédric Bastoul, Sylvain Girbal
article
ics # (ICS), 2006, Cairns, Australia. 2006
Accès au bibtex
BibTex
titre
GRAPHITE: Loop Optimizations Based on the Polyhedral Model for GCC
auteur
Sebastian Pop, Albert Cohen, Cédric Bastoul, Sylvain Girbal, Geogres-André Silber, Nicolas Vasilache
article
Proc. of the 4þ GCC Developper's Summit, 2006, Ottawa, Ontario, Unknown or Invalid Region. 2006
Accès au bibtex
BibTex
titre
Beyond Iteration Vectors: Instancewise Relational Abstract Domains
auteur
Pierre Amiranoff, Albert Cohen, Paul Feautrier
article
Static Analysis Symposium (SAS), 2006, Seoul, Korea, Unknown or Invalid Region. 2006
Accès au bibtex
BibTex
titre
N-Synchronous Kahn Networks
auteur
Albert Cohen, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau, Marc Pouzet
article
33þ # popl # (POPL), 2006, Charleston, South Carolina, Unknown or Invalid Region. pp.180--193, 2006
Accès au bibtex
BibTex
titre
Automatic Correction of Loop Transformations
auteur
Albert Cohen
article
6þ Workshop of the ACES Network (Architectures and Compilers for Embedded Systems), 2006, Edegem, Belgium. 2006
Accès au bibtex
BibTex

2005

Communication dans un congrès

titre
Facilitating the Search for Compositions of Program Transformations
auteur
Albert Cohen, Sylvain Girbal, David Parello, Marc Sigler, Olivier Temam, Nicolas Vasilache
article
ics # (ICS), 2005, Boston, Massachusetts, Unknown or Invalid Region. pp.151--160, 2005
Accès au bibtex
BibTex
titre
Induction Variable Analysis with Delayed Abstractions
auteur
Sebastian Pop, Albert Cohen, Georges-André Silber
article
hipeac # (HiPEAC), 2005, Barcelona, Spain. springer, pp.218--232, 2005, lncs
Accès au bibtex
BibTex
titre
Synchronization of Periodic Clocks
auteur
Albert Cohen, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau, Marc Pouzet
article
ACM Conference on Embedded Software (EMSOFT), 2005, Jersey City, New York, Unknown or Invalid Region. 339--342 (short paper), 2005
Accès au bibtex
BibTex
titre
Towards a High-Productivity and High-Performance Marshaling Library for Compound Data
auteur
Albert Cohen, Christoph Herrmann
article
2\nd MetaOCaml Workshop (associated with GPCE), 2005, Tallinn, Estonia. 2005
Accès au bibtex
BibTex
titre
Deep Jam: Conversion of Coarse-Grain Parallelism to Instruction-Level and Vector Parallelism for Irregular Applications
auteur
Patrick Carribault, Albert Cohen, William Jalby
article
pact # (PACT), 2005, St-Louis, Missouri, Unknown or Invalid Region. pp.291--300, 2005
Accès au bibtex
BibTex

1974

Chapitre d'ouvrage

titre
Algorithms for equivalence and reduction to minimal form for a class of simple recursive equations
auteur
Bruno Courcelle, Gilles Kahn, Jean Vuillemin
article
From Semantics to Computer Science Essays in Honour of Gilles Kahn, 1974, From Semantics to Computer Science Essays in Honour of Gilles Kahn, 9780521518253. 〈10.1017/CBO9780511770524.009〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01239749/file/From%20Semantics%20to%20Computer%20Science_%20Essays%20in%20Honour%20of%20Gilles%20Kahn.pdf BibTex

Suivez Inria tout au long de son 50e anniversaire et au-delà !