Albert Cohen

According to our database, Albert Cohen authored at least 153 papers between 1998 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

The MLIR Transform Dialect. Your compiler is more powerful than you think.

Martin Paul Lücke, Oleksandr Zinenko, William S. Moses, Michel Steuwer, Albert Cohen

CoRR, 2024

The Next 700 ML-Enabled Compiler Optimizations.

S. VenkataKeerthy, Siddharth Jain, Umesh Kalvakuntla, Pranav Sai Gorantla, Rajiv Shailesh Chitale, Eugene Brevdo, Albert Cohen, Mircea Trofin, Ramakrishna Upadrasta

Proceedings of the 33rd ACM SIGPLAN International Conference on Compiler Construction, 2024

Strided Difference Bound Matrices.

Arjun Pitchanathan, Albert Cohen, Oleksandr Zinenko, Tobias Grosser

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

Autotuning Convolutions Is Easier Than You Think.

Nicolas Tollenaere, Guillaume Iooss, Stéphane Pouget, Hugo Brunie, Christophe Guillon, Albert Cohen, P. Sadayappan, Fabrice Rastello

ACM Trans. Archit. Code Optim., June, 2023

Bidirectional Reactive Programming for Machine Learning.

Dumitru Potop-Butucaru, Albert Cohen, Gordon D. Plotkin, Hugo Pompougnac

CoRR, 2023

Code Generation for In-Place Stencils.

Mohamed Essadki, Bertrand Michel, Bruno Maugars, Oleksandr Zinenko, Nicolas Vasilache, Albert Cohen

Proceedings of the 21st ACM/IEEE International Symposium on Code Generation and Optimization, 2023

RL4ReAl: Reinforcement Learning for Register Allocation.

S. VenkataKeerthy, Siddharth Jain, Anilava Kundu, Rohit Aggarwal, Albert Cohen, Ramakrishna Upadrasta

Proceedings of the 32nd ACM SIGPLAN International Conference on Compiler Construction, 2023

2022

Weaving Synchronous Reactions into the Fabric of SSA-form Compilers.

Hugo Pompougnac, Ulysse Beaugnon, Albert Cohen, Dumitru Potop-Butucaru

ACM Trans. Archit. Code Optim., 2022

End-to-end translation validation for the halide language.

Basile Clément, Albert Cohen

Proc. ACM Program. Lang., 2022

RL4ReAl: Reinforcement Learning for Register Allocation.

S. VenkataKeerthy, Siddharth Jain, Rohit Aggarwal, Albert Cohen, Ramakrishna Upadrasta

CoRR, 2022

Composable and Modular Code Generation in MLIR: A Structured and Retargetable Approach to Tensor Compiler Construction.

Nicolas Vasilache, Oleksandr Zinenko, Aart J. C. Bik, Mahesh Ravishankar, Thomas Raoux, Alexander Belyaev, Matthias Springer, Tobias Gysi, Diego Caballero, Stephan Herhut, Stella Laurenzo, Albert Cohen

CoRR, 2022

Structured Operations: Modular Design of Code Generators for Tensor Compilers.

Nicolas Vasilache, Oleksandr Zinenko, Aart J. C. Bik, Mahesh Ravishankar, Thomas Raoux, Alexander Belyaev, Matthias Springer, Tobias Gysi, Diego Caballero, Stephan Herhut, Stella Laurenzo, Albert Cohen

Proceedings of the Languages and Compilers for Parallel Computing, 2022

Loop Tree and Induction Variables.

Sebastian Pop, Albert Cohen

Proceedings of the SSA-based Compiler Design, 2022

2021

Reconciling optimization with secure compilation.

Son Tuan Vu, Albert Cohen, Arnaud de Grandmaison, Christophe Guillon, Karine Heydemann

Proc. ACM Program. Lang., 2021

Secure Optimization Through Opaque Observations.

Son Tuan Vu, Albert Cohen, Karine Heydemann, Arnaud de Grandmaison, Christophe Guillon

CoRR, 2021

MLIR: Scaling Compiler Infrastructure for Domain Specific Computation.

Chris Lattner, Mehdi Amini, Uday Bondhugula, Albert Cohen, Andy Davis, Jacques A. Pienaar, River Riddle, Tatiana Shpeisman, Nicolas Vasilache, Oleksandr Zinenko

Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2021

Seamless Compiler Integration of Variable Precision Floating-Point Arithmetic.

Tiago Trevisan Jost, Yves Durand, Christian Fabre, Albert Cohen, Frédéric Pétrot

Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2021

Progressive Raising in Multi-level IR.

Lorenzo Chelini, Andi Drebes, Oleksandr Zinenko, Albert Cohen, Nicolas Vasilache, Tobias Grosser, Henk Corporaal

Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2021

2020

The Next 700 Accelerated Layers: From Mathematical Expressions of Network Computation Graphs to Accelerated GPU Kernels, Automatically.

Nicolas Vasilache, Oleksandr Zinenko, Theodoros Theodoridis, Priya Goyal, Zachary DeVito, William S. Moses, Sven Verdoolaege, Andrew Adams, Albert Cohen

ACM Trans. Archit. Code Optim., 2020

Effective Loop Fusion in Polyhedral Compilation Using Fusion Conflict Graphs.

Aravind Acharya, Uday Bondhugula, Albert Cohen

ACM Trans. Archit. Code Optim., 2020

Flextended Tiles: A Flexible Extension of Overlapped Tiles for Polyhedral Compilation.

Jie Zhao, Albert Cohen

ACM Trans. Archit. Code Optim., 2020

MLIR: A Compiler Infrastructure for the End of Moore's Law.

Chris Lattner, Jacques A. Pienaar, Mehdi Amini, Uday Bondhugula, River Riddle, Albert Cohen, Tatiana Shpeisman, Andy Davis, Nicolas Vasilache, Oleksandr Zinenko

CoRR, 2020

Secure delivery of program properties through optimizing compilation.

Son Tuan Vu, Karine Heydemann, Arnaud de Grandmaison, Albert Cohen

Proceedings of the CC '20: 29th International Conference on Compiler Construction, 2020

VP Float: First Class Treatment for Variable Precision Floating Point Arithmetic.

Tiago T. Jost, Yves Durand, Christian Fabre, Albert Cohen, Frédéric Pétrot

Proceedings of the PACT '20: International Conference on Parallel Architectures and Compilation Techniques, 2020

2019

Correct-by-Construction Parallelization of Hard Real-Time Avionics Applications on Off-the-Shelf Predictable Hardware.

Keryan Didier, Dumitru Potop-Butucaru, Guillaume Iooss, Albert Cohen, Jean Souyris, Philippe Baufreton, Amaury Graillat

ACM Trans. Archit. Code Optim., 2019

On the Representation of Partially Specified Implementations and its Application to the Optimization of Linear Algebra Kernels on GPU.

Ulysse Beaugnon, Basile Clément, Nicolas Tollenaere, Albert Cohen

CoRR, 2019

Studying EM Pulse Effects on Superscalar Microarchitectures at ISA Level.

Julien Proy, Karine Heydemann, Fabien Majéric, Albert Cohen, Alexandre Berzati

CoRR, 2019

Byte-Aware Floating-point Operations through a UNUM Computing Unit.

Andrea Bocco, Tiago T. Jost, Albert Cohen, Florent de Dinechin, Yves Durand, Christian Fabre

Proceedings of the 27th IFIP/IEEE International Conference on Very Large Scale Integration, 2019

Sheep in wolf's Clothing: Implementation Models for Dataflow Multi-Threaded Software.

Keryan Didier, Albert Cohen, Dumitru Potop-Butucaru, Adrien Gauffriau

Proceedings of the 19th International Conference on Application of Concurrency to System Design, 2019

A First ISA-Level Characterization of EM Pulse Effects on Superscalar Microarchitectures: A Secure Software Perspective.

Julien Proy, Karine Heydemann, Alexandre Berzati, Fabien Majéric, Albert Cohen

Proceedings of the 14th International Conference on Availability, Reliability and Security, 2019

2018

An Approach for Finding Permutations Quickly: Fusion and Dimension matching.

Aravind Acharya, Uday Bondhugula, Albert Cohen

CoRR, 2018

Tensor Comprehensions: Framework-Agnostic High-Performance Machine Learning Abstractions.

Nicolas Vasilache, Oleksandr Zinenko, Theodoros Theodoridis, Priya Goyal, Zachary DeVito, William S. Moses, Sven Verdoolaege, Andrew Adams, Albert Cohen

CoRR, 2018

Polyhedral auto-transformation with no integer linear programming.

Aravind Acharya, Uday Bondhugula, Albert Cohen

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Design and Performance Analysis of Real-Time Dynamic Streaming Applications.

Xuan Khanh Do, Stéphane Louise, Albert Cohen

Proceedings of the Languages and Compilers for Parallel Computing, 2018

A Unified Approach to Variable Renaming for Enhanced Vectorization.

Prasanth Chatarasi, Jun Shirako, Albert Cohen, Vivek Sarkar

Proceedings of the Languages and Compilers for Parallel Computing, 2018

Meta-programming for cross-domain tensor optimizations.

Adilla Susungi, Norman A. Rink, Albert Cohen, Jerónimo Castrillón, Claude Tadonki

Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2018

Modeling the conflicting demands of parallelism and Temporal/Spatial locality in affine scheduling.

Oleksandr Zinenko, Sven Verdoolaege, Chandan Reddy, Jun Shirako, Tobias Grosser, Vivek Sarkar, Albert Cohen

Proceedings of the 27th International Conference on Compiler Construction, 2018

A polyhedral compilation framework for loops with dynamic data-dependent bounds.

Jie Zhao, Michael Kruse, Albert Cohen

Proceedings of the 27th International Conference on Compiler Construction, 2018

2017

From a Formalized Parallel Action Language to Its Efficient Code Generation.

Ivan Llopard, Christian Fabre, Albert Cohen

ACM Trans. Embed. Comput. Syst., 2017

Compiler-Assisted Loop Hardening Against Fault Attacks.

Julien Proy, Karine Heydemann, Alexandre Berzati, Albert Cohen

ACM Trans. Archit. Code Optim., 2017

Towards compositional and generative tensor optimizations.

Adilla Susungi, Norman A. Rink, Jerónimo Castrillón, Immo Huismann, Albert Cohen, Claude Tadonki, Jörg Stiller, Jochen Fröhlich

Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2017

Optimization space pruning without regrets.

Ulysse Beaugnon, Antoine Pouille, Marc Pouzet, Jacques A. Pienaar, Albert Cohen

Proceedings of the 26th International Conference on Compiler Construction, 2017

2016

The Pluto+ Algorithm: A Practical Approach for Parallelization and Locality Optimization of Affine Loop Nests.

Uday Bondhugula, Aravind Acharya, Albert Cohen

ACM Trans. Program. Lang. Syst., 2016

Automatic Storage Optimization for Arrays.

Somashekaracharya G. Bhaskaracharya, Uday Bondhugula, Albert Cohen

ACM Trans. Program. Lang. Syst., 2016

In-Place Update in a Dataflow Synchronous Language: A Retiming-Enabled Language Experiment.

Ulysse Beaugnon, Albert Cohen, Marc Pouzet

Proceedings of the 19th International Workshop on Software and Compilers for Embedded Systems, 2016

An interval constrained memory allocator for the Givy GAS runtime.

François Gindraud, Fabrice Rastello, Albert Cohen, François Broquedis

Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2016

NUMA-aware scheduling and memory allocation for data-flow task-parallel applications.

Andi Drebes, Antoniu Pop, Karine Heydemann, Nathalie Drach, Albert Cohen

Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2016

SMO: an integrated approach to intra-array and inter-array storage optimization.

Somashekaracharya G. Bhaskaracharya, Uday Bondhugula, Albert Cohen

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

Effective padding of multidimensional arrays to avoid cache conflict misses.

Changwan Hong, Wenlei Bao, Albert Cohen, Sriram Krishnamoorthy, Louis-Noël Pouchet, Fabrice Rastello, J. Ramanujam, P. Sadayappan

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

Language-Centric Performance Analysis of OpenMP Programs with Aftermath.

Andi Drebes, Jean-Baptiste Bréjon, Antoniu Pop, Karine Heydemann, Albert Cohen

Proceedings of the OpenMP: Memory, Devices, and Tasks, 2016

A bounded memory allocator for software-defined global address spaces.

François Gindraud, Fabrice Rastello, Albert Cohen, François Broquedis

Proceedings of the 2016 ACM SIGPLAN International Symposium on Memory Management, Santa Barbara, CA, USA, June 14, 2016

Interactive visualization of cross-layer performance anomalies in dynamic task-parallel applications and systems.

Andi Drebes, Antoniu Pop, Karine Heydemann, Albert Cohen

Proceedings of the 2016 IEEE International Symposium on Performance Analysis of Systems and Software, 2016

Transaction Parameterized Dataflow: A model for context-dependent streaming applications.

XuanKhanh Do, Stéphane Louise, Albert Cohen

Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

Reduction Drawing: Language Constructs and Polyhedral Compilation for Reductions on GPU.

Chandan Reddy, Michael Kruse, Albert Cohen

Proceedings of the 2016 International Conference on Parallel Architectures and Compilation, 2016

Scalable Task Parallelism for NUMA: A Uniform Abstraction for Coordinated Scheduling and Memory Management.

Andi Drebes, Antoniu Pop, Karine Heydemann, Albert Cohen, Nathalie Drach

Proceedings of the 2016 International Conference on Parallel Architectures and Compilation, 2016

2015

Guest Editorial: Embedded Multicore Systems and Applications.

Jenq Kuen Lee, Albert Cohen, Roy Ju, Kuan-Ching Li

J. Signal Process. Syst., 2015

Polyhedral AST Generation Is More Than Scanning Polyhedra.

Tobias Grosser, Sven Verdoolaege, Albert Cohen

ACM Trans. Program. Lang. Syst., 2015

Managing the Latency of Data-Dependent Tasks in Embedded Streaming Applications.

XuanKhanh Do, Stéphane Louise, Albert Cohen

Proceedings of the IEEE 9th International Symposium on Embedded Multicore/Many-core Systems-on-Chip, 2015

Streaming Task Parallelism.

Albert Cohen

Proceedings of the 29th ACM on International Conference on Supercomputing, 2015

An Empirical Evaluation of a Programming Model for Context-Dependent Real-time Streaming Applications.

XuanKhanh Do, Stéphane Louise, Albert Cohen

Proceedings of the International Conference on Computational Science, 2015

PENCIL: A Platform-Neutral Compute Intermediate Language for Accelerator Programming.

Riyadh Baghdadi, Ulysse Beaugnon, Albert Cohen, Tobias Grosser, Michael Kruse, Chandan Reddy, Sven Verdoolaege, Adam Betts, Alastair F. Donaldson, Jeroen Ketema, Javed Absar, Sven van Haastregt, Alexey Kravets, Anton Lokhmotov, Robert David, Elnar Hajiyev

Proceedings of the 2015 International Conference on Parallel Architectures and Compilation, 2015

2014

Compiler/Runtime Framework for Dynamic Dataflow Parallelization of Tiled Programs.

Martin Kong, Antoniu Pop, Louis-Noël Pouchet, R. Govindarajan, Albert Cohen, P. Sadayappan

ACM Trans. Archit. Code Optim., 2014

Topology-Aware and Dependence-Aware Scheduling and Memory Allocation for Task-Parallel Languages.

Andi Drebes, Karine Heydemann, Nathalie Drach, Antoniu Pop, Albert Cohen

ACM Trans. Archit. Code Optim., 2014

The Relation Between Diamond Tiling and Hexagonal Tiling.

Tobias Grosser, Sven Verdoolaege, Albert Cohen, P. Sadayappan

Parallel Process. Lett., 2014

Improving the design flow for parallel and heterogeneous architectures running real-time applications: The PHARAON FP7 project.

Héctor Posadas, Alejandro Nicolás, Pablo Peñil, Eugenio Villar, Florian Broekaert, Michel Bourdellès, Albert Cohen, Mihai T. Lazarescu, Luciano Lavagno, Andrei Sergeevich Terechko, Miguel Glassee, Manuel Prieto

Microprocess. Microsystems, 2014

TERAFLUX: Harnessing dataflow in next generation teradevices.

Roberto Giorgi, Rosa M. Badia, François Bodin, Albert Cohen, Paraskevas Evripidou, Paolo Faraboschi, Bernhard Fechner, Guang R. Gao, Arne Garbade, Rahulkumar Gayatri, Sylvain Girbal, Daniel Goodman, Behram Khan, Souad Koliai, Joshua Landwehr, Nhat Minh Lê, 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

Microprocess. Microsystems, 2014

Automatic Detection of Performance Anomalies in Task-Parallel Programs.

Andi Drebes, Karine Heydemann, Antoniu Pop, Albert Cohen, Nathalie Drach

CoRR, 2014

A parallel action language for embedded applications and its compilation flow.

Ivan Llopard, Albert Cohen, Christian Fabre, Nicolas Hili

Proceedings of the 17th International Workshop on Software and Compilers for Embedded Systems, 2014

Energy-aware parallelization flow and toolset for C code.

Mihai T. Lazarescu, Albert Cohen, Adrien Guatto, Nhat Minh Lê, Luciano Lavagno, Antoniu Pop, Manuel Prieto, Andrei Sergeevich Terechko, Alexandru Sutii

Proceedings of the 17th International Workshop on Software and Compilers for Embedded Systems, 2014

Technology transfer towards Horizon 2020.

Rainer Leupers, Norbert Wehn, Marco Roodzant, Johannes Stahl, Luca Fanucci, Albert Cohen, Bernd Janson

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

Hybrid Hexagonal/Classical Tiling for GPUs.

Tobias Grosser, Albert Cohen, Justin Holewinski, P. Sadayappan, Sven Verdoolaege

Proceedings of the 12th Annual IEEE/ACM International Symposium on Code Generation and Optimization, 2014

Tiling and optimizing time-iterated computations on periodic domains.

Uday Bondhugula, Vinayaka Bandishti, Albert Cohen, Guillain Potron, Nicolas Vasilache

Proceedings of the International Conference on Parallel Architectures and Compilation, 2014

2013

Polyhedral parallel code generation for CUDA.

Sven Verdoolaege, Juan Carlos Juega, Albert Cohen, José Ignacio Gómez, Christian Tenllado, Francky Catthoor

ACM Trans. Archit. Code Optim., 2013

OpenStream: Expressiveness and data-flow compilation of OpenMP streaming programs.

Antoniu Pop, Albert Cohen

ACM Trans. Archit. Code Optim., 2013

A decoupled local memory allocator.

Boubacar Diouf, Can Hantas, Albert Cohen, Özcan Özturk, Jens Palsberg

ACM Trans. Archit. Code Optim., 2013

Improved loop tiling based on the removal of spurious false dependences.

Riyadh Baghdadi, Albert Cohen, Sven Verdoolaege, Konrad Trifunovic

ACM Trans. Archit. Code Optim., 2013

Predictive Modeling in a Polyhedral Optimization Space.

Eunjung Park, John Cavazos, Louis-Noël Pouchet, Cédric Bastoul, Albert Cohen, P. Sadayappan

Int. J. Parallel Program., 2013

Minimal Unroll Factor for Code Generation of Software Pipelining.

Mounira Bachir, Sid Ahmed Ali Touati, Frederic Brault, David Gregg, Albert Cohen

Int. J. Parallel Program., 2013

Correct and Efficient Accelerator Programming (Dagstuhl Seminar 13142).

Albert Cohen, Alastair F. Donaldson, Marieke Huisman, Joost-Pieter Katoen

Dagstuhl Reports, 2013

PENCIL: Towards a Platform-Neutral Compute Intermediate Language for DSLs

Riyadh Baghdadi, Albert Cohen, Serge Guelton, Sven Verdoolaege, Jun Inoue, Tobias Grosser, Georgia Kouveli, Alexey Kravets, Anton Lokhmotov, Cedric Nugteren, Fraser Waters, Alastair F. Donaldson

CoRR, 2013

Correct and Efficient Bounded FIFO Queues.

Nhat Minh Lê, Adrien Guatto, Albert Cohen, Antoniu Pop

Proceedings of the 25th International Symposium on Computer Architecture and High Performance Computing, 2013

Correct and efficient work-stealing for weak memory models.

Nhat Minh Lê, Antoniu Pop, Albert Cohen, Francesco Zappa Nardelli

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2013

Sub-polyhedral scheduling using (unit-)two-variable-per-inequality polyhedra.

Ramakrishna Upadrasta, Albert Cohen

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

The TERAFLUX Project: Exploiting the DataFlow Paradigm in Next Generation Teradevices.

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

Proceedings of the 2013 Euromicro Conference on Digital System Design, 2013

EU FP7-288307 Pharaon Project: Parallel and Heterogeneous Architecture for Real-Time Applications.

Hector Posadas, Eugenio Villar, Florian Broekaert, Michel Bourdellès, Albert Cohen, Antoniu Pop, Nhat Minh Lê, Adrien Guatto, Mihai T. Lazarescu, Luciano Lavagno, Andrei Sergeevich Terechko, Miguel Glassee, Daniel Calvo, Eduardo de las Heras

Proceedings of the 2013 Euromicro Conference on Digital System Design, 2013

A polynomial spilling heuristic: Layered allocation.

Boubacar Diouf, Albert Cohen, Fabrice Rastello

Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation and Optimization, 2013

Split tiling for GPUs: automatic parallelization using trapezoidal tiles.

Tobias Grosser, Albert Cohen, Paul H. J. Kelly, J. Ramanujam, P. Sadayappan, Sven Verdoolaege

Proceedings of the 6th Workshop on General Purpose Processor Using Graphics Processing Units, 2013

2012

Automatic Extraction of Coarse-Grained Data-Flow Threads from Imperative Programs.

Feng Li, Antoniu Pop, Albert Cohen

IEEE Micro, 2012

On the effectiveness of register moves to minimise post-pass unrolling in software pipelined loops.

Mounira Bachir, Albert Cohen, Sid Ahmed Ali Touati

Proceedings of the 2012 International Conference on High Performance Computing & Simulation, 2012

Programming parallelism with futures in lustre.

Albert Cohen, Léonard Gérard, Marc Pouzet

Proceedings of the 12th International Conference on Embedded Software, 2012

2011

Coarse-grained loop parallelization: Iteration Space Slicing vs affine transformations.

Anna Beletska, Wlodzimierz Bielecki, Albert Cohen, Marek Palkowski, Krzysztof Siedlecki

Parallel Comput., 2011

ACOTES Project: Advanced Compiler Technologies for Embedded Streaming.

Harm Munk, Eduard Ayguadé, Cédric Bastoul, Paul M. Carpenter, Zbigniew Chamski, Albert Cohen, Marco Cornero, Philippe Dumont, Marc Duranton, Mohammed Fellahi, Roger Ferrer, Razya Ladelsky, Menno Lindwer, Xavier Martorell, Cupertino Miranda, Dorit Nuzman, Andrea C. Ornstein, Antoniu Pop, Sebastian Pop, Louis-Noël Pouchet, Alex Ramírez, David Ródenas, Erven Rohou, Ira Rosen, Uzi Shvadron, Konrad Trifunovic, Ayal Zaks

Int. J. Parallel Program., 2011

The Potential of Synergistic Static, Dynamic and Speculative Loop Nest Optimizations for Automatic Parallelization

Riyadh Baghdadi, Albert Cohen, Cédric Bastoul, Louis-Noël Pouchet, Lawrence Rauchwerger

CoRR, 2011

Transitive Closures of Affine Integer Tuple Relations and Their Overapproximations.

Sven Verdoolaege, Albert Cohen, Anna Beletska

Proceedings of the Static Analysis - 18th International Symposium, 2011

Loop transformations: convexity, pruning and optimization.

Louis-Noël Pouchet, Uday Bondhugula, Cédric Bastoul, Albert Cohen, J. Ramanujam, P. Sadayappan, Nicolas Vasilache

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

A Mutable Hardware Abstraction to Replace Threads.

Sean Halle, Albert Cohen

Proceedings of the Languages and Compilers for Parallel Computing, 2011

Loop unrolling minimisation in the presence of multiple register types: A viable alternative to modulo variable expansion.

Mounira Bachir, Frederic Brault, Sid Ahmed Ali Touati, Albert Cohen

Proceedings of the 2011 International Conference on High Performance Computing & Simulation, 2011

Speculatively vectorized bytecode.

Erven Rohou, Sergei Dyshel, Dorit Nuzman, Ira Rosen, Kevin Williams, Albert Cohen, Ayal Zaks

Proceedings of the High Performance Embedded Architectures and Compilers, 2011

A stream-computing extension to OpenMP.

Antoniu Pop, Albert Cohen

Proceedings of the High Performance Embedded Architectures and Compilers, 2011

Predictive modeling in a polyhedral optimization space.

Eunjung Park, Louis-Noël Pouchet, John Cavazos, Albert Cohen, P. Sadayappan

Proceedings of the CGO 2011, 2011

Vapor SIMD: Auto-vectorize once, run everywhere.

Dorit Nuzman, Sergei Dyshel, Erven Rohou, Ira Rosen, Kevin Williams, David Yuste, Albert Cohen, Ayal Zaks

Proceedings of the CGO 2011, 2011

2010

Combined Iterative and Model-driven Optimization in an Automatic Parallelization Framework.

Louis-Noël Pouchet, Uday Bondhugula, Cédric Bastoul, Albert Cohen, J. Ramanujam, P. Sadayappan

Proceedings of the Conference on High Performance Computing Networking, 2010

Split Register Allocation: Linear Complexity Without the Performance Penalty.

Boubacar Diouf, Albert Cohen, Fabrice Rastello, John Cavazos

Proceedings of the High Performance Embedded Architectures and Compilers, 2010

Processor virtualization and split compilation for heterogeneous multicore embedded systems.

Albert Cohen, Erven Rohou

Proceedings of the 47th Design Automation Conference, 2010

ERBIUM: a deterministic, concurrent intermediate representation for portable and scalable performance.

Cupertino Miranda, Philippe Dumont, Albert Cohen, Marc Duranton, Antoniu Pop

Proceedings of the 7th Conference on Computing Frontiers, 2010

The Polyhedral Model Is More Widely Applicable Than You Think.

Mohamed-Walid Benabderrahmane, Louis-Noël Pouchet, Albert Cohen, Cédric Bastoul

Proceedings of the Compiler Construction, 19th International Conference, 2010

Practical aggregation of semantical program properties for machine learning based optimization.

Mircea Namolaru, Albert Cohen, Grigori Fursin, Ayal Zaks, Ari Freund

Proceedings of the 2010 International Conference on Compilers, 2010

Erbium: a deterministic, concurrent intermediate representation to map data-flow tasks to scalable, persistent streaming processes.

Cupertino Miranda, Antoniu Pop, Philippe Dumont, Albert Cohen, Marc Duranton

Proceedings of the 2010 International Conference on Compilers, 2010

2009

Optimizing Local Memory Allocation and Assignment through a Decoupled Approach.

Boubacar Diouf, Ozcan Ozturk, Albert Cohen

Proceedings of the Languages and Compilers for Parallel Computing, 2009

Synchronization-Free Automatic Parallelization: Beyond Affine Iteration-Space Slicing.

Anna Beletska, Wlodzimierz Bielecki, Albert Cohen, Marek Palkowski

Proceedings of the Languages and Compilers for Parallel Computing, 2009

Parametric multi-level tiling of imperfectly nested loops.

Albert Hartono, Muthu Manikandan Baskaran, Cédric Bastoul, Albert Cohen, Sriram Krishnamoorthy, Boyana Norris, J. Ramanujam, P. Sadayappan

Proceedings of the 23rd international conference on Supercomputing, 2009

Software Pipelining in Nested Loops with Prolog-Epilog Merging.

Mohammed Fellahi, Albert Cohen

Proceedings of the High Performance Embedded Architectures and Compilers, 2009

Computing the Transitive Closure of a Union of Affine Integer Tuple Relations.

Anna Beletska, Denis Barthou, Wlodzimierz Bielecki, Albert Cohen

Proceedings of the Combinatorial Optimization and Applications, 2009

Polyhedral-Model Guided Loop-Nest Auto-Vectorization.

Konrad Trifunovic, Dorit Nuzman, Albert Cohen, Ayal Zaks, Ira Rosen

Proceedings of the PACT 2009, 2009

2008

Iterative optimization in the polyhedral model: part ii, multidimensional time.

Louis-Noël Pouchet, Cédric Bastoul, Albert Cohen, John Cavazos

Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008

Post-pass periodic register allocation to minimise loop unrolling degree.

Mounira Bachir, Sid Ahmed Ali Touati, Albert Cohen

Proceedings of the 2008 ACM SIGPLAN/SIGBED Conference on Languages, 2008

Abstraction of Clocks in Synchronous Data-Flow Systems.

Albert Cohen, Louis Mandel, Florence Plateau, Marc Pouzet

Proceedings of the Programming Languages and Systems, 6th Asian Symposium, 2008

2007

Quick and Practical Run-Time Evaluation of Multiple Program Optimizations.

Grigori Fursin, Albert Cohen, Michael F. P. O'Boyle, Olivier Temam

Trans. High Perform. Embed. Archit. Compil., 2007

Deep Jam: Conversion of Coarse-Grain Parallelism to Fine-Grain and Vector Parallelism.

Patrick Carribault, Stéphane Zuckerman, Albert Cohen, William Jalby

J. Instr. Level Parallelism, 2007

Code-size conscious pipelining of imperfectly nested loops.

Mohammed Fellahi, Albert Cohen, Sid Ahmed Ali Touati

Proceedings of the 2007 workshop on MEmory performance, 2007

07361 Abstracts Collection -- Programming Models for Ubiquitous Parallelism.

David Chi-Leung Wong, Albert Cohen, María Jesús Garzarán, Christian Lengauer, Samuel P. Midkiff

Proceedings of the Programming Models for Ubiquitous Parallelism, 02.09. - 07.09.2007, 2007

07361 Introduction -- Programming Models for Ubiquitous Parallelism.

David Chi-Leung Wong, Albert Cohen, María Jesús Garzarán, Christian Lengauer, Samuel P. Midkiff

Proceedings of the Programming Models for Ubiquitous Parallelism, 02.09. - 07.09.2007, 2007

Iterative Optimization in the Polyhedral Model: Part I, One-Dimensional Time.

Louis-Noël Pouchet, Cédric Bastoul, Albert Cohen, Nicolas Vasilache

Proceedings of the Fifth International Symposium on Code Generation and Optimization (CGO 2007), 2007

Automatic Correction of Loop Transformations.

Nicolas Vasilache, Albert Cohen, Louis-Noël Pouchet

Proceedings of the 16th International Conference on Parallel Architectures and Compilation Techniques (PACT 2007), 2007

Contributions to the Design of Reliable and Programmable High-Performance Systems: Principles, Interfaces, Algorithms and Tools. (Contributions à la conception de systèmes à hautes performances, programmables et sûrs: principes, interfaces, algorithmes et outils).

Albert Cohen

, 2007

2006

In search of a program generator to implement generic transformations for high-performance computing.

Albert Cohen, Sébastien Donadio, María Jesús Garzarán, Christoph Armin Herrmann, Oleg Kiselyov, David A. Padua

Sci. Comput. Program., 2006

Semi-Automatic Composition of Loop Transformations for Deep Parallelism and Memory Hierarchies.

Sylvain Girbal, Nicolas Vasilache, Cédric Bastoul, Albert Cohen, David Parello, Marc Sigler, Olivier Temam

Int. J. Parallel Program., 2006

Beyond Iteration Vectors: Instancewise Relational Abstract Domains.

Pierre Amiranoff, Albert Cohen, Paul Feautrier

Proceedings of the Static Analysis, 13th International Symposium, 2006

<i>N</i>-synchronous Kahn networks: a relaxed model of synchrony for real-time systems.

Albert Cohen, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau, Marc Pouzet

Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2006

Violated dependence analysis.

Nicolas Vasilache, Cédric Bastoul, Albert Cohen, Sylvain Girbal

Proceedings of the 20th Annual International Conference on Supercomputing, 2006

Polyhedral Code Generation in the Real World.

Nicolas Vasilache, Cédric Bastoul, Albert Cohen

Proceedings of the Compiler Construction, 15th International Conference, 2006

2005

A Language for the Compact Representation of Multiple Program Versions.

Sébastien Donadio, James C. Brodman, Thomas Roeder, Kamen Yotov, Denis Barthou, Albert Cohen, María Jesús Garzarán, David A. Padua, Keshav Pingali

Proceedings of the Languages and Compilers for Parallel Computing, 2005

Facilitating the search for compositions of program transformations.

Albert Cohen, Marc Sigler, Sylvain Girbal, Olivier Temam, David Parello, Nicolas Vasilache

Proceedings of the 19th Annual International Conference on Supercomputing, 2005

Induction Variable Analysis with Delayed Abstractions.

Sebastian Pop, Albert Cohen, Georges-André Silber

Proceedings of the High Performance Embedded Architectures and Compilers, 2005

A Practical Method for Quickly Evaluating Program Optimizations.

Grigori Fursin, Albert Cohen, Michael F. P. O'Boyle, Olivier Temam

Proceedings of the High Performance Embedded Architectures and Compilers, 2005

Topic 4 - Compilers for High Performance.

Albert Cohen, Michael F. P. O'Boyle, Martin Griebl, José Moreira

Proceedings of the Euro-Par 2005, Parallel Processing, 11th International Euro-Par Conference, Lisbon, Portugal, August 30, 2005

Synchronization of periodic clocks.

Albert Cohen, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau, Marc Pouzet

Proceedings of the EMSOFT 2005, 2005

Deep Jam: Conversion of Coarse-Grain Parallelism to Instruction-Level and Vector Parallelism for Irregular Applications.

Patrick Carribault, Albert Cohen, William Jalby

Proceedings of the 14th International Conference on Parallel Architectures and Compilation Techniques (PACT 2005), 2005

2004

Towards a Systematic, Pragmatic and Architecture-Aware Program Optimization Process for Complex Processors.

David Parello, Olivier Temam, Albert Cohen, Jean-Marie Verdun

Proceedings of the ACM/IEEE SC2004 Conference on High Performance Networking and Computing, 2004

Branch Strategies to Optimize Decision Trees for Wide-Issue Architectures.

Patrick Carribault, Christophe Lemuet, Jean-Thomas Acquaviva, Albert Cohen, William Jalby

Proceedings of the Languages and Compilers for High Performance Computing, 2004

Applications of storage mapping optimization to register promotion.

Patrick Carribault, Albert Cohen

Proceedings of the 18th Annual International Conference on Supercomputing, 2004

A Polyhedral Approach to Ease the Composition of Program Transformations.

Albert Cohen, Sylvain Girbal, Olivier Temam

Proceedings of the Euro-Par 2004 Parallel Processing, 2004

2003

DiST: a simple, reliable and scalable method to significantly reduce processor architecture simulation time.

Sylvain Girbal, Gilles Mouchard, Albert Cohen, Olivier Temam

Proceedings of the International Conference on Measurements and Modeling of Computer Systems, 2003

Putting Polyhedral Loop Transformations to Work.

Cédric Bastoul, Albert Cohen, Sylvain Girbal, Saurabh Sharma, Olivier Temam

Proceedings of the Languages and Compilers for Parallel Computing, 2003

2002

Digital LC-2: from bits & gates to a little computer.

Albert Cohen, Olivier Temam

Proceedings of the 2002 workshop on Computer architecture education, 2002

Multi-periodic Process Networks: Prototyping and Verifying Stream-Processing Systems.

Albert Cohen, Daniela Genius, Abdesselem Kortebi, Zbigniew Chamski, Marc Duranton, Paul Feautrier

Proceedings of the Euro-Par 2002, 2002

2001

Induction Variable Analysis without Idiom Recognition: Beyond Monotonicity.

Peng Wu, Albert Cohen, David A. Padua

Proceedings of the Languages and Compilers for Parallel Computing, 2001

Monotonic evolution: an alternative to induction variable substitution for dependence analysis.

Peng Wu, Albert Cohen, Jay P. Hoeflinger, David A. Padua

Proceedings of the 15th international conference on Supercomputing, 2001

2000

Maximal Static Expansion.

Denis Barthou, Albert Cohen, Jean-Francois Collard

Int. J. Parallel Program., 2000

1999

Program Analysis and Transformation: From the Polytope Model to Formal Languages. (Analyse et transformation de programmes: du modèle polyédrique aux langages formels).

Albert Cohen

PhD thesis, 1999

Parallelization via Constrained Storage Mapping Optimization.

Albert Cohen

Proceedings of the High Performance Computing, Second International Symposium, 1999

Storage Mapping Optimization for Parallel Programs.

Albert Cohen, Vincent Lefebvre

Proceedings of the Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31, 1999

1998

Instance-Wise Reaching Definition Analysis for Recursive Programs using Context-Free Transductions.

Albert Cohen, Jean-Francois Collard

Proceedings of the 1998 International Conference on Parallel Architectures and Compilation Techniques, 1998