Albert Cohen

ORCID

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 55

Top Venues

CoRR

ACM Trans. Archit. Code Optim.

PACT

Versailles Saint-Quentin-en-Yvelines University, France (PHD)

Education History

Versailles Saint-Quentin-en-Yvelines University, France

PHD

Publications

Arjun Pitchanathan, Albert Cohen, Oleksandr Zinenko, Tobias Grosser
Strided Difference Bound Matrices. CoRR (2024)
S. VenkataKeerthy, Siddharth Jain, Umesh Kalvakuntla, Pranav Sai Gorantla, Rajiv Shailesh Chitale, Eugene Brevdo, Albert Cohen, Mircea Trofin, Ramakrishna Upadrasta
The Next 700 ML-Enabled Compiler Optimizations. CC (2024)
Arjun Pitchanathan, Albert Cohen, Oleksandr Zinenko, Tobias Grosser
Strided Difference Bound Matrices. CAV (1) (2024)
S. VenkataKeerthy, Siddharth Jain, Anilava Kundu, Rohit Aggarwal, Albert Cohen, Ramakrishna Upadrasta
RL4ReAl: Reinforcement Learning for Register Allocation. CC (2023)
S. VenkataKeerthy, Siddharth Jain, Umesh Kalvakuntla, Pranav Sai Gorantla, Rajiv Shailesh Chitale, Eugene Brevdo, Albert Cohen, Mircea Trofin, Ramakrishna Upadrasta
The Next 700 ML-Enabled Compiler Optimizations. CoRR (2023)
Nicolas Tollenaere, Guillaume Iooss, Stéphane Pouget, Hugo Brunie, Christophe Guillon, Albert Cohen, P. Sadayappan, Fabrice Rastello
Autotuning Convolutions Is Easier Than You Think. ACM Trans. Archit. Code Optim. 20 (2) (2023)
Mohamed Essadki, Bertrand Michel, Bruno Maugars, Oleksandr Zinenko, Nicolas Vasilache, Albert Cohen
Code Generation for In-Place Stencils. CGO (2023)
Dumitru Potop-Butucaru, Albert Cohen, Gordon Plotkin, Hugo Pompougnac
Bidirectional Reactive Programming for Machine Learning. CoRR (2023)
S. VenkataKeerthy, Siddharth Jain, Rohit Aggarwal, Albert Cohen, Ramakrishna Upadrasta
RL4ReAl: Reinforcement Learning for Register Allocation. CoRR (2022)
Hugo Pompougnac, Ulysse Beaugnon, Albert Cohen, Dumitru Potop-Butucaru
Weaving Synchronous Reactions into the Fabric of SSA-form Compilers. ACM Trans. Archit. Code Optim. 19 (2) (2022)
Basile Clément, Albert Cohen
End-to-end translation validation for the halide language. Proc. ACM Program. Lang. 6 (OOPSLA) (2022)
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
Composable and Modular Code Generation in MLIR: A Structured and Retargetable Approach to Tensor Compiler Construction. CoRR (2022)
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
Structured Operations: Modular Design of Code Generators for Tensor Compilers. LCPC (2022)
Tiago Trevisan Jost, Yves Durand, Christian Fabre, Albert Cohen, Frédéric Pétrot
Seamless Compiler Integration of Variable Precision Floating-Point Arithmetic. CGO (2021)
Chris Lattner, Mehdi Amini, Uday Bondhugula, Albert Cohen, Andy Davis, Jacques A. Pienaar, River Riddle, Tatiana Shpeisman, Nicolas Vasilache, Oleksandr Zinenko
MLIR: Scaling Compiler Infrastructure for Domain Specific Computation. CGO (2021)
Lorenzo Chelini, Andi Drebes, Oleksandr Zinenko, Albert Cohen, Nicolas Vasilache, Tobias Grosser, Henk Corporaal
Progressive Raising in Multi-level IR. CGO (2021)
Son Tuan Vu, Albert Cohen, Arnaud de Grandmaison, Christophe Guillon, Karine Heydemann
Reconciling optimization with secure compilation. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Son Tuan Vu, Albert Cohen, Karine Heydemann, Arnaud de Grandmaison, Christophe Guillon
Secure Optimization Through Opaque Observations. CoRR (2021)
Aravind Acharya, Uday Bondhugula, Albert Cohen
Effective Loop Fusion in Polyhedral Compilation Using Fusion Conflict Graphs. ACM Trans. Archit. Code Optim. 17 (4) (2020)
Son Tuan Vu, Karine Heydemann, Arnaud de Grandmaison, Albert Cohen
Secure delivery of program properties through optimizing compilation. CC (2020)
Tiago T. Jost, Yves Durand, Christian Fabre, Albert Cohen, Frédéric Pétrot
VP Float: First Class Treatment for Variable Precision Floating Point Arithmetic. PACT (2020)
Chris Lattner, Jacques A. Pienaar, Mehdi Amini, Uday Bondhugula, River Riddle, Albert Cohen, Tatiana Shpeisman, Andy Davis, Nicolas Vasilache, Oleksandr Zinenko
MLIR: A Compiler Infrastructure for the End of Moore's Law. CoRR (2020)
Nicolas Vasilache, Oleksandr Zinenko, Theodoros Theodoridis, Priya Goyal, Zachary DeVito, William S. Moses, Sven Verdoolaege, Andrew Adams, Albert Cohen
The Next 700 Accelerated Layers: From Mathematical Expressions of Network Computation Graphs to Accelerated GPU Kernels, Automatically. ACM Trans. Archit. Code Optim. 16 (4) (2020)
Jie Zhao, Albert Cohen
Flextended Tiles: A Flexible Extension of Overlapped Tiles for Polyhedral Compilation. ACM Trans. Archit. Code Optim. 16 (4) (2020)
Ulysse Beaugnon, Basile Clément, Nicolas Tollenaere, Albert Cohen
On the Representation of Partially Specified Implementations and its Application to the Optimization of Linear Algebra Kernels on GPU. CoRR (2019)
Keryan Didier, Dumitru Potop-Butucaru, Guillaume Iooss, Albert Cohen, Jean Souyris, Philippe Baufreton, Amaury Graillat
Correct-by-Construction Parallelization of Hard Real-Time Avionics Applications on Off-the-Shelf Predictable Hardware. ACM Trans. Archit. Code Optim. 16 (3) (2019)
Julien Proy, Karine Heydemann, Fabien Majéric, Albert Cohen, Alexandre Berzati
Studying EM Pulse Effects on Superscalar Microarchitectures at ISA Level. CoRR (2019)
Andrea Bocco, Tiago T. Jost, Albert Cohen, Florent de Dinechin, Yves Durand, Christian Fabre
Byte-Aware Floating-point Operations through a UNUM Computing Unit. VLSI-SoC (2019)
Julien Proy, Karine Heydemann, Alexandre Berzati, Fabien Majéric, Albert Cohen
A First ISA-Level Characterization of EM Pulse Effects on Superscalar Microarchitectures: A Secure Software Perspective. ARES (2019)
Keryan Didier, Albert Cohen, Dumitru Potop-Butucaru, Adrien Gauffriau
Sheep in wolf's Clothing: Implementation Models for Dataflow Multi-Threaded Software. ACSD (2019)
Adilla Susungi, Norman A. Rink, Albert Cohen, Jerónimo Castrillón, Claude Tadonki
Meta-programming for cross-domain tensor optimizations. GPCE (2018)
Prasanth Chatarasi, Jun Shirako, Albert Cohen, Vivek Sarkar
A Unified Approach to Variable Renaming for Enhanced Vectorization. LCPC (2018)
Aravind Acharya, Uday Bondhugula, Albert Cohen
Polyhedral auto-transformation with no integer linear programming. PLDI (2018)
Xuan Khanh Do, Stéphane Louise, Albert Cohen
Design and Performance Analysis of Real-Time Dynamic Streaming Applications. LCPC (2018)
Jie Zhao, Michael Kruse, Albert Cohen
A polyhedral compilation framework for loops with dynamic data-dependent bounds. CC (2018)
Oleksandr Zinenko, Sven Verdoolaege, Chandan Reddy, Jun Shirako, Tobias Grosser, Vivek Sarkar, Albert Cohen
Modeling the conflicting demands of parallelism and Temporal/Spatial locality in affine scheduling. CC (2018)
Nicolas Vasilache, Oleksandr Zinenko, Theodoros Theodoridis, Priya Goyal, Zachary DeVito, William S. Moses, Sven Verdoolaege, Andrew Adams, Albert Cohen
Tensor Comprehensions: Framework-Agnostic High-Performance Machine Learning Abstractions. CoRR (2018)
Aravind Acharya, Uday Bondhugula, Albert Cohen
An Approach for Finding Permutations Quickly: Fusion and Dimension matching. CoRR (2018)
Adilla Susungi, Norman A. Rink, Jerónimo Castrillón, Immo Huismann, Albert Cohen, Claude Tadonki, Jörg Stiller, Jochen Fröhlich
Towards compositional and generative tensor optimizations. GPCE (2017)
Ivan Llopard, Christian Fabre, Albert Cohen
From a Formalized Parallel Action Language to Its Efficient Code Generation. ACM Trans. Embed. Comput. Syst. 16 (2) (2017)
Julien Proy, Karine Heydemann, Alexandre Berzati, Albert Cohen
Compiler-Assisted Loop Hardening Against Fault Attacks. ACM Trans. Archit. Code Optim. 14 (4) (2017)
Ulysse Beaugnon, Antoine Pouille, Marc Pouzet, Jacques A. Pienaar, Albert Cohen
Optimization space pruning without regrets. CC (2017)
François Gindraud, Fabrice Rastello, Albert Cohen, François Broquedis
A bounded memory allocator for software-defined global address spaces. ISMM (2016)
Andi Drebes, Antoniu Pop, Karine Heydemann, Nathalie Drach, Albert Cohen
NUMA-aware scheduling and memory allocation for data-flow task-parallel applications. PPOPP (2016)
Somashekaracharya G. Bhaskaracharya, Uday Bondhugula, Albert Cohen
SMO: an integrated approach to intra-array and inter-array storage optimization. POPL (2016)
Andi Drebes, Jean-Baptiste Bréjon, Antoniu Pop, Karine Heydemann, Albert Cohen
Language-Centric Performance Analysis of OpenMP Programs with Aftermath. IWOMP (2016)
Ulysse Beaugnon, Albert Cohen, Marc Pouzet
In-Place Update in a Dataflow Synchronous Language: A Retiming-Enabled Language Experiment. SCOPES (2016)
Andi Drebes, Antoniu Pop, Karine Heydemann, Albert Cohen
Interactive visualization of cross-layer performance anomalies in dynamic task-parallel applications and systems. ISPASS (2016)
XuanKhanh Do, Stéphane Louise, Albert Cohen
Transaction Parameterized Dataflow: A model for context-dependent streaming applications. DATE (2016)
Chandan Reddy, Michael Kruse, Albert Cohen
Reduction Drawing: Language Constructs and Polyhedral Compilation for Reductions on GPU. PACT (2016)
Uday Bondhugula, Aravind Acharya, Albert Cohen
The Pluto+ Algorithm: A Practical Approach for Parallelization and Locality Optimization of Affine Loop Nests. ACM Trans. Program. Lang. Syst. 38 (3) (2016)
Andi Drebes, Antoniu Pop, Karine Heydemann, Albert Cohen, Nathalie Drach
Scalable Task Parallelism for NUMA: A Uniform Abstraction for Coordinated Scheduling and Memory Management. PACT (2016)
Changwan Hong, Wenlei Bao, Albert Cohen, Sriram Krishnamoorthy, Louis-Noël Pouchet, Fabrice Rastello, J. Ramanujam, P. Sadayappan
Effective padding of multidimensional arrays to avoid cache conflict misses. PLDI (2016)
François Gindraud, Fabrice Rastello, Albert Cohen, François Broquedis
An interval constrained memory allocator for the Givy GAS runtime. PPOPP (2016)
Somashekaracharya G. Bhaskaracharya, Uday Bondhugula, Albert Cohen
Automatic Storage Optimization for Arrays. ACM Trans. Program. Lang. Syst. 38 (3) (2016)
XuanKhanh Do, Stéphane Louise, Albert Cohen
Managing the Latency of Data-Dependent Tasks in Embedded Streaming Applications. MCSoC (2015)
Jenq Kuen Lee, Albert Cohen, Roy Ju, Kuan-Ching Li
Guest Editorial: Embedded Multicore Systems and Applications. J. Signal Process. Syst. 80 (3) (2015)
XuanKhanh Do, Stéphane Louise, Albert Cohen
An Empirical Evaluation of a Programming Model for Context-Dependent Real-time Streaming Applications. ICCS (2015)
Tobias Grosser, Sven Verdoolaege, Albert Cohen
Polyhedral AST Generation Is More Than Scanning Polyhedra. ACM Trans. Program. Lang. Syst. 37 (4) (2015)
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
PENCIL: A Platform-Neutral Compute Intermediate Language for Accelerator Programming. PACT (2015)
Albert Cohen
Streaming Task Parallelism. ICS (2015)
Andi Drebes, Karine Heydemann, Antoniu Pop, Albert Cohen, Nathalie Drach
Automatic Detection of Performance Anomalies in Task-Parallel Programs. CoRR (2014)
Ivan Llopard, Albert Cohen, Christian Fabre, Nicolas Hili
A parallel action language for embedded applications and its compilation flow. SCOPES (2014)
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
Improving the design flow for parallel and heterogeneous architectures running real-time applications: The PHARAON FP7 project. Microprocess. Microsystems 38 (8) (2014)
Uday Bondhugula, Vinayaka Bandishti, Albert Cohen, Guillain Potron, Nicolas Vasilache
Tiling and optimizing time-iterated computations on periodic domains. PACT (2014)
Rainer Leupers, Norbert Wehn, Marco Roodzant, Johannes Stahl, Luca Fanucci, Albert Cohen, Bernd Janson
Technology transfer towards Horizon 2020. DATE (2014)
Tobias Grosser, Sven Verdoolaege, Albert Cohen, P. Sadayappan
The Relation Between Diamond Tiling and Hexagonal Tiling. Parallel Process. Lett. 24 (3) (2014)
Andi Drebes, Karine Heydemann, Nathalie Drach, Antoniu Pop, Albert Cohen
Topology-Aware and Dependence-Aware Scheduling and Memory Allocation for Task-Parallel Languages. ACM Trans. Archit. Code Optim. 11 (3) (2014)
Mihai T. Lazarescu, Albert Cohen, Adrien Guatto, Nhat Minh Lê, Luciano Lavagno, Antoniu Pop, Manuel Prieto, Andrei Sergeevich Terechko, Alexandru Sutii
Energy-aware parallelization flow and toolset for C code. SCOPES (2014)
Tobias Grosser, Albert Cohen, Justin Holewinski, P. Sadayappan, Sven Verdoolaege
Hybrid Hexagonal/Classical Tiling for GPUs. CGO (2014)
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
TERAFLUX: Harnessing dataflow in next generation teradevices. Microprocess. Microsystems 38 (8) (2014)
Martin Kong, Antoniu Pop, Louis-Noël Pouchet, R. Govindarajan, Albert Cohen, P. Sadayappan
Compiler/Runtime Framework for Dynamic Dataflow Parallelization of Tiled Programs. ACM Trans. Archit. Code Optim. 11 (4) (2014)
Nhat Minh Lê, Adrien Guatto, Albert Cohen, Antoniu Pop
Correct and Efficient Bounded FIFO Queues. SBAC-PAD (2013)
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
PENCIL: Towards a Platform-Neutral Compute Intermediate Language for DSLs CoRR (2013)
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
EU FP7-288307 Pharaon Project: Parallel and Heterogeneous Architecture for Real-Time Applications. DSD (2013)
Riyadh Baghdadi, Albert Cohen, Sven Verdoolaege, Konrad Trifunovic
Improved loop tiling based on the removal of spurious false dependences. ACM Trans. Archit. Code Optim. 9 (4) (2013)
Mounira Bachir, Sid Ahmed Ali Touati, Frederic Brault, David Gregg, Albert Cohen
Minimal Unroll Factor for Code Generation of Software Pipelining. Int. J. Parallel Program. 41 (1) (2013)
Tobias Grosser, Albert Cohen, Paul H. J. Kelly, J. Ramanujam, P. Sadayappan, Sven Verdoolaege
Split tiling for GPUs: automatic parallelization using trapezoidal tiles. GPGPU@ASPLOS (2013)
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
The TERAFLUX Project: Exploiting the DataFlow Paradigm in Next Generation Teradevices. DSD (2013)
Antoniu Pop, Albert Cohen
OpenStream: Expressiveness and data-flow compilation of OpenMP streaming programs. ACM Trans. Archit. Code Optim. 9 (4) (2013)
Albert Cohen, Alastair F. Donaldson, Marieke Huisman, Joost-Pieter Katoen
Correct and Efficient Accelerator Programming (Dagstuhl Seminar 13142). Dagstuhl Reports 3 (4) (2013)
Sven Verdoolaege, Juan Carlos Juega, Albert Cohen, José Ignacio Gómez, Christian Tenllado, Francky Catthoor
Polyhedral parallel code generation for CUDA. ACM Trans. Archit. Code Optim. 9 (4) (2013)
Boubacar Diouf, Albert Cohen, Fabrice Rastello
A polynomial spilling heuristic: Layered allocation. CGO (2013)
Ramakrishna Upadrasta, Albert Cohen
Sub-polyhedral scheduling using (unit-)two-variable-per-inequality polyhedra. POPL (2013)
Eunjung Park, John Cavazos, Louis-Noël Pouchet, Cédric Bastoul, Albert Cohen, P. Sadayappan
Predictive Modeling in a Polyhedral Optimization Space. Int. J. Parallel Program. 41 (5) (2013)
Nhat Minh Lê, Antoniu Pop, Albert Cohen, Francesco Zappa Nardelli
Correct and efficient work-stealing for weak memory models. PPOPP (2013)
Boubacar Diouf, Can Hantas, Albert Cohen, Özcan Özturk, Jens Palsberg
A decoupled local memory allocator. ACM Trans. Archit. Code Optim. 9 (4) (2013)
Albert Cohen, Léonard Gérard, Marc Pouzet
Programming parallelism with futures in lustre. EMSOFT (2012)
Feng Li, Antoniu Pop, Albert Cohen
Automatic Extraction of Coarse-Grained Data-Flow Threads from Imperative Programs. IEEE Micro 32 (4) (2012)
Mounira Bachir, Albert Cohen, Sid Ahmed Ali Touati
On the effectiveness of register moves to minimise post-pass unrolling in software pipelined loops. HPCS (2012)
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
ACOTES Project: Advanced Compiler Technologies for Embedded Streaming. Int. J. Parallel Program. 39 (3) (2011)
Anna Beletska, Wlodzimierz Bielecki, Albert Cohen, Marek Palkowski, Krzysztof Siedlecki
Coarse-grained loop parallelization: Iteration Space Slicing vs affine transformations. Parallel Comput. 37 (8) (2011)
Erven Rohou, Sergei Dyshel, Dorit Nuzman, Ira Rosen, Kevin Williams, Albert Cohen, Ayal Zaks
Speculatively vectorized bytecode. HiPEAC (2011)
Dorit Nuzman, Sergei Dyshel, Erven Rohou, Ira Rosen, Kevin Williams, David Yuste, Albert Cohen, Ayal Zaks
Vapor SIMD: Auto-vectorize once, run everywhere. CGO (2011)
Sean Halle, Albert Cohen
A Mutable Hardware Abstraction to Replace Threads. LCPC (2011)
Sven Verdoolaege, Albert Cohen, Anna Beletska
Transitive Closures of Affine Integer Tuple Relations and Their Overapproximations. SAS (2011)
Louis-Noël Pouchet, Uday Bondhugula, Cédric Bastoul, Albert Cohen, J. Ramanujam, P. Sadayappan, Nicolas Vasilache
Loop transformations: convexity, pruning and optimization. POPL (2011)
Antoniu Pop, Albert Cohen
A stream-computing extension to OpenMP. HiPEAC (2011)
Eunjung Park, Louis-Noël Pouchet, John Cavazos, Albert Cohen, P. Sadayappan
Predictive modeling in a polyhedral optimization space. CGO (2011)
Riyadh Baghdadi, Albert Cohen, Cédric Bastoul, Louis-Noël Pouchet, Lawrence Rauchwerger
The Potential of Synergistic Static, Dynamic and Speculative Loop Nest Optimizations for Automatic Parallelization CoRR (2011)

Albert Cohen.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Albert Cohen