![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Albert Cohen 0001
Person information
- affiliation: INRIA and École Normale Supérieure, Paris, France
- affiliation: PRiSM, Université de Versailles, Versailles, France
Other persons with the same name
- Albert Cohen — disambiguation page
- Albert Cohen 0002 — Laboratoire Jacques-Louis Lions, Université Pierre et Marie Curie, Paris, France
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c103]Arjun Pitchanathan
, Albert Cohen
, Oleksandr Zinenko
, Tobias Grosser
:
Strided Difference Bound Matrices. CAV (1) 2024: 279-302 - [c102]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: 238-249 - [i17]Arjun Pitchanathan, Albert Cohen, Oleksandr Zinenko, Tobias Grosser:
Strided Difference Bound Matrices. CoRR abs/2405.11244 (2024) - 2023
- [j33]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): 20:1-20:24 (2023) - [c101]S. VenkataKeerthy, Siddharth Jain
, Anilava Kundu, Rohit Aggarwal, Albert Cohen, Ramakrishna Upadrasta:
RL4ReAl: Reinforcement Learning for Register Allocation. CC 2023: 133-144 - [c100]Mohamed Essadki, Bertrand Michel, Bruno Maugars, Oleksandr Zinenko, Nicolas Vasilache, Albert Cohen:
Code Generation for In-Place Stencils. CGO 2023: 2-13 - [i16]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 abs/2311.10800 (2023) - [i15]Dumitru Potop-Butucaru, Albert Cohen, Gordon D. Plotkin, Hugo Pompougnac:
Bidirectional Reactive Programming for Machine Learning. CoRR abs/2311.16977 (2023) - 2022
- [j32]Basile Clément
, Albert Cohen
:
End-to-end translation validation for the halide language. Proc. ACM Program. Lang. 6(OOPSLA1): 1-30 (2022) - [j31]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): 22:1-22:25 (2022) - [c99]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: 141-156 - [p1]Sebastian Pop, Albert Cohen:
Loop Tree and Induction Variables. SSA-based Compiler Design 2022: 123-133 - [i14]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 abs/2202.03293 (2022) - [i13]S. VenkataKeerthy, Siddharth Jain, Rohit Aggarwal, Albert Cohen, Ramakrishna Upadrasta:
RL4ReAl: Reinforcement Learning for Register Allocation. CoRR abs/2204.02013 (2022) - 2021
- [j30]Son Tuan Vu, Albert Cohen
, Arnaud de Grandmaison, Christophe Guillon, Karine Heydemann:
Reconciling optimization with secure compilation. Proc. ACM Program. Lang. 5(OOPSLA): 1-30 (2021) - [c98]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: 2-14 - [c97]Lorenzo Chelini, Andi Drebes, Oleksandr Zinenko, Albert Cohen, Nicolas Vasilache, Tobias Grosser
, Henk Corporaal:
Progressive Raising in Multi-level IR. CGO 2021: 15-26 - [c96]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: 65-76 - [i12]Son Tuan Vu, Albert Cohen, Karine Heydemann, Arnaud de Grandmaison, Christophe Guillon:
Secure Optimization Through Opaque Observations. CoRR abs/2101.06039 (2021) - 2020
- [j29]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): 38:1-38:26 (2020) - [j28]Jie Zhao
, Albert Cohen
:
Flextended Tiles: A Flexible Extension of Overlapped Tiles for Polyhedral Compilation. ACM Trans. Archit. Code Optim. 16(4): 47:1-47:25 (2020) - [j27]Aravind Acharya, Uday Bondhugula, Albert Cohen
:
Effective Loop Fusion in Polyhedral Compilation Using Fusion Conflict Graphs. ACM Trans. Archit. Code Optim. 17(4): 26:1-26:26 (2020) - [c95]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: 355-356 - [c94]Son Tuan Vu, Karine Heydemann, Arnaud de Grandmaison, Albert Cohen:
Secure delivery of program properties through optimizing compilation. CC 2020: 14-26 - [i11]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 abs/2002.11054 (2020)
2010 – 2019
- 2019
- [j26]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): 24:1-24:27 (2019) - [c93]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: 7:1-7:10 - [c92]Keryan Didier, Albert Cohen, Dumitru Potop-Butucaru, Adrien Gauffriau:
Sheep in wolf's Clothing: Implementation Models for Dataflow Multi-Threaded Software. ACSD 2019: 43-52 - [c91]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: 323-328 - [i10]Julien Proy, Karine Heydemann, Fabien Majéric, Albert Cohen, Alexandre Berzati:
Studying EM Pulse Effects on Superscalar Microarchitectures at ISA Level. CoRR abs/1903.02623 (2019) - [i9]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 abs/1904.03383 (2019) - 2018
- [c90]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: 3-13 - [c89]Jie Zhao
, Michael Kruse
, Albert Cohen:
A polyhedral compilation framework for loops with dynamic data-dependent bounds. CC 2018: 14-24 - [c88]Adilla Susungi, Norman A. Rink, Albert Cohen, Jerónimo Castrillón, Claude Tadonki:
Meta-programming for cross-domain tensor optimizations. GPCE 2018: 79-92 - [c87]Prasanth Chatarasi, Jun Shirako, Albert Cohen, Vivek Sarkar:
A Unified Approach to Variable Renaming for Enhanced Vectorization. LCPC 2018: 1-20 - [c86]Xuan Khanh Do, Stéphane Louise, Albert Cohen:
Design and Performance Analysis of Real-Time Dynamic Streaming Applications. LCPC 2018: 21-36 - [c85]Aravind Acharya, Uday Bondhugula, Albert Cohen:
Polyhedral auto-transformation with no integer linear programming. PLDI 2018: 529-542 - [i8]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 abs/1802.04730 (2018) - [i7]Aravind Acharya, Uday Bondhugula, Albert Cohen:
An Approach for Finding Permutations Quickly: Fusion and Dimension matching. CoRR abs/1803.10726 (2018) - 2017
- [j25]Julien Proy, Karine Heydemann, Alexandre Berzati, Albert Cohen:
Compiler-Assisted Loop Hardening Against Fault Attacks. ACM Trans. Archit. Code Optim. 14(4): 36:1-36:25 (2017) - [j24]Ivan Llopard
, Christian Fabre
, Albert Cohen:
From a Formalized Parallel Action Language to Its Efficient Code Generation. ACM Trans. Embed. Comput. Syst. 16(2): 37:1-37:28 (2017) - [c84]Ulysse Beaugnon, Antoine Pouille, Marc Pouzet, Jacques A. Pienaar, Albert Cohen:
Optimization space pruning without regrets. CC 2017: 34-44 - [c83]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: 169-175 - [e6]Albert Cohen, Martin T. Vechev:
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2017, Barcelona, Spain, June 18-23, 2017. ACM 2017, ISBN 978-1-4503-4988-8 [contents] - 2016
- [j23]Somashekaracharya G. Bhaskaracharya, Uday Bondhugula, Albert Cohen:
Automatic Storage Optimization for Arrays. ACM Trans. Program. Lang. Syst. 38(3): 11:1-11:23 (2016) - [j22]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): 12:1-12:32 (2016) - [c82]Chandan Reddy, Michael Kruse
, Albert Cohen:
Reduction Drawing: Language Constructs and Polyhedral Compilation for Reductions on GPU. PACT 2016: 87-97 - [c81]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: 125-137 - [c80]XuanKhanh Do, Stéphane Louise, Albert Cohen:
Transaction Parameterized Dataflow: A model for context-dependent streaming applications. DATE 2016: 960-965 - [c79]Andi Drebes, Antoniu Pop
, Karine Heydemann, Albert Cohen:
Interactive visualization of cross-layer performance anomalies in dynamic task-parallel applications and systems. ISPASS 2016: 274-283 - [c78]François Gindraud, Fabrice Rastello, Albert Cohen, François Broquedis
:
A bounded memory allocator for software-defined global address spaces. ISMM 2016: 78-88 - [c77]Andi Drebes, Jean-Baptiste Bréjon, Antoniu Pop
, Karine Heydemann, Albert Cohen:
Language-Centric Performance Analysis of OpenMP Programs with Aftermath. IWOMP 2016: 237-250 - [c76]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: 129-144 - [c75]Somashekaracharya G. Bhaskaracharya, Uday Bondhugula, Albert Cohen:
SMO: an integrated approach to intra-array and inter-array storage optimization. POPL 2016: 526-538 - [c74]François Gindraud, Fabrice Rastello, Albert Cohen, François Broquedis
:
An interval constrained memory allocator for the Givy GAS runtime. PPoPP 2016: 31:1-31:2 - [c73]Andi Drebes, Antoniu Pop
, Karine Heydemann, Nathalie Drach, Albert Cohen:
NUMA-aware scheduling and memory allocation for data-flow task-parallel applications. PPoPP 2016: 44:1-44:2 - [c72]Ulysse Beaugnon, Albert Cohen, Marc Pouzet:
In-Place Update in a Dataflow Synchronous Language: A Retiming-Enabled Language Experiment. SCOPES 2016: 40-49 - 2015
- [j21]Tobias Grosser
, Sven Verdoolaege, Albert Cohen:
Polyhedral AST Generation Is More Than Scanning Polyhedra. ACM Trans. Program. Lang. Syst. 37(4): 12:1-12:50 (2015) - [j20]Jenq Kuen Lee, Albert Cohen, Roy Ju, Kuan-Ching Li
:
Guest Editorial: Embedded Multicore Systems and Applications. J. Signal Process. Syst. 80(3): 241-243 (2015) - [c71]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: 138-149 - [c70]XuanKhanh Do, Stéphane Louise, Albert Cohen:
An Empirical Evaluation of a Programming Model for Context-Dependent Real-time Streaming Applications. ICCS 2015: 1423-1432 - [c69]Albert Cohen:
Streaming Task Parallelism. ICS 2015: 1 - [c68]XuanKhanh Do, Stéphane Louise, Albert Cohen:
Managing the Latency of Data-Dependent Tasks in Embedded Streaming Applications. MCSoC 2015: 9-16 - [e5]Luís Miguel Pinho, Wolfgang Karl, Albert Cohen, Uwe Brinkschulte:
Architecture of Computing Systems - ARCS 2015 - 28th International Conference, Porto, Portugal, March 24-27, 2015, Proceedings. Lecture Notes in Computer Science 9017, Springer 2015, ISBN 978-3-319-16085-6 [contents] - [e4]Albert Cohen, David Grove:
Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2015, San Francisco, CA, USA, February 7-11, 2015. ACM 2015, ISBN 978-1-4503-3205-7 [contents] - 2014
- [j19]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): 960-975 (2014) - [j18]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): 976-990 (2014) - [j17]Tobias Grosser
, Sven Verdoolaege, Albert Cohen, P. Sadayappan
:
The Relation Between Diamond Tiling and Hexagonal Tiling. Parallel Process. Lett. 24(3) (2014) - [j16]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): 30:1-30:25 (2014) - [j15]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): 61:1-61:30 (2014) - [c67]Uday Bondhugula, Vinayaka Bandishti, Albert Cohen, Guillain Potron
, Nicolas Vasilache:
Tiling and optimizing time-iterated computations on periodic domains. PACT 2014: 39-50 - [c66]Tobias Grosser, Albert Cohen, Justin Holewinski, P. Sadayappan, Sven Verdoolaege
:
Hybrid Hexagonal/Classical Tiling for GPUs. CGO 2014: 66 - [c65]Rainer Leupers, Norbert Wehn, Marco Roodzant, Johannes Stahl, Luca Fanucci, Albert Cohen, Bernd Janson:
Technology transfer towards Horizon 2020. DATE 2014: 1 - [c64]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: 79-88 - [c63]Ivan Llopard, Albert Cohen, Christian Fabre
, Nicolas Hili:
A parallel action language for embedded applications and its compilation flow. SCOPES 2014: 118-127 - [e3]Albert Cohen:
Compiler Construction - 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings. Lecture Notes in Computer Science 8409, Springer 2014, ISBN 978-3-642-54806-2 [contents] - [i6]Andi Drebes, Karine Heydemann, Antoniu Pop, Albert Cohen, Nathalie Drach:
Automatic Detection of Performance Anomalies in Task-Parallel Programs. CoRR abs/1405.2916 (2014) - 2013
- [j14]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): 1-58 (2013) - [j13]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): 704-750 (2013) - [j12]Boubacar Diouf, Can Hantas, Albert Cohen, Özcan Özturk, Jens Palsberg:
A decoupled local memory allocator. ACM Trans. Archit. Code Optim. 9(4): 34:1-34:22 (2013) - [j11]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): 52:1-52:26 (2013) - [j10]Antoniu Pop, Albert Cohen:
OpenStream: Expressiveness and data-flow compilation of OpenMP streaming programs. ACM Trans. Archit. Code Optim. 9(4): 53:1-53:25 (2013) - [j9]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): 54:1-54:23 (2013) - [c62]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: 24-31 - [c61]Boubacar Diouf, Albert Cohen, Fabrice Rastello:
A polynomial spilling heuristic: Layered allocation. CGO 2013: 10:1-10:10 - [c60]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: 272-279 - [c59]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: 371-378 - [c58]Ramakrishna Upadrasta
, Albert Cohen:
Sub-polyhedral scheduling using (unit-)two-variable-per-inequality polyhedra. POPL 2013: 483-496 - [c57]Nhat Minh Lê, Antoniu Pop, Albert Cohen, Francesco Zappa Nardelli:
Correct and efficient work-stealing for weak memory models. PPoPP 2013: 69-80 - [c56]Nhat Minh Lê, Adrien Guatto, Albert Cohen, Antoniu Pop:
Correct and Efficient Bounded FIFO Queues. SBAC-PAD 2013: 144-151 - [e2]Chenggang Wu, Albert Cohen:
Advanced Parallel Processing Technologies - 10th International Symposium, APPT 2013, Stockholm, Sweden, August 27-28, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8299, Springer 2013, ISBN 978-3-642-45292-5 [contents] - [i5]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 abs/1302.5586 (2013) - [i4]Albert Cohen, Alastair F. Donaldson, Marieke Huisman
, Joost-Pieter Katoen:
Correct and Efficient Accelerator Programming (Dagstuhl Seminar 13142). Dagstuhl Reports 3(4): 17-33 (2013) - 2012
- [j8]Feng Li, Antoniu Pop, Albert Cohen:
Automatic Extraction of Coarse-Grained Data-Flow Threads from Imperative Programs. IEEE Micro 32(4): 19-31 (2012) - [c55]Albert Cohen, Léonard Gérard, Marc Pouzet:
Programming parallelism with futures in lustre. EMSOFT 2012: 197-206 - [c54]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: 551-558 - 2011
- [j7]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): 397-450 (2011) - [j6]Anna Beletska, Wlodzimierz Bielecki, Albert Cohen, Marek Palkowski
, Krzysztof Siedlecki:
Coarse-grained loop parallelization: Iteration Space Slicing vs affine transformations. Parallel Comput. 37(8): 479-497 (2011) - [c53]Eunjung Park, Louis-Noël Pouchet, John Cavazos, Albert Cohen, P. Sadayappan:
Predictive modeling in a polyhedral optimization space. CGO 2011: 119-129 - [c52]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: 151-160 - [c51]Antoniu Pop, Albert Cohen:
A stream-computing extension to OpenMP. HiPEAC 2011: 5-14 - [c50]Erven Rohou, Sergei Dyshel, Dorit Nuzman, Ira Rosen, Kevin Williams, Albert Cohen, Ayal Zaks:
Speculatively vectorized bytecode. HiPEAC 2011: 35-44 - [c49]Mounira Bachir, Frederic Brault, Sid Ahmed Ali Touati, Albert Cohen:
Loop unrolling minimisation in the presence of multiple register types: A viable alternative to modulo variable expansion. HPCS 2011: 207-214 - [c48]Sean Halle, Albert Cohen:
A Mutable Hardware Abstraction to Replace Threads. LCPC 2011: 185-202 - [c47]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: 549-562 - [c46]Sven Verdoolaege
, Albert Cohen, Anna Beletska:
Transitive Closures of Affine Integer Tuple Relations and Their Overapproximations. SAS 2011: 216-232 - [i3]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 abs/1111.6756 (2011) - 2010
- [c45]Cupertino Miranda, Antoniu Pop, Philippe Dumont, Albert Cohen, Marc Duranton:
Erbium: a deterministic, concurrent intermediate representation to map data-flow tasks to scalable, persistent streaming processes. CASES 2010: 11-20 - [c44]Mircea Namolaru, Albert Cohen, Grigori Fursin, Ayal Zaks, Ari Freund:
Practical aggregation of semantical program properties for machine learning based optimization. CASES 2010: 197-206 - [c43]Mohamed-Walid Benabderrahmane, Louis-Noël Pouchet, Albert Cohen, Cédric Bastoul:
The Polyhedral Model Is More Widely Applicable Than You Think. CC 2010: 283-303 - [c42]Cupertino Miranda, Philippe Dumont, Albert Cohen, Marc Duranton, Antoniu Pop:
ERBIUM: a deterministic, concurrent intermediate representation for portable and scalable performance. Conf. Computing Frontiers 2010: 119-120 - [c41]Albert Cohen, Erven Rohou:
Processor virtualization and split compilation for heterogeneous multicore embedded systems. DAC 2010: 102-107 - [c40]Boubacar Diouf, Albert Cohen, Fabrice Rastello, John Cavazos:
Split Register Allocation: Linear Complexity Without the Performance Penalty. HiPEAC 2010: 66-80 - [c39]Louis-Noël Pouchet, Uday Bondhugula, Cédric Bastoul, Albert Cohen, J. Ramanujam
, P. Sadayappan:
Combined Iterative and Model-driven Optimization in an Automatic Parallelization Framework. SC 2010: 1-11
2000 – 2009
- 2009
- [c38]Konrad Trifunovic, Dorit Nuzman, Albert Cohen, Ayal Zaks, Ira Rosen:
Polyhedral-Model Guided Loop-Nest Auto-Vectorization. PACT 2009: 327-337 - [c37]Anna Beletska, Denis Barthou, Wlodzimierz Bielecki, Albert Cohen:
Computing the Transitive Closure of a Union of Affine Integer Tuple Relations. COCOA 2009: 98-109 - [c36]Mohammed Fellahi, Albert Cohen:
Software Pipelining in Nested Loops with Prolog-Epilog Merging. HiPEAC 2009: 80-94 - [c35]Albert Hartono, Muthu Manikandan Baskaran, Cédric Bastoul, Albert Cohen, Sriram Krishnamoorthy, Boyana Norris
, J. Ramanujam
, P. Sadayappan
:
Parametric multi-level tiling of imperfectly nested loops. ICS 2009: 147-157 - [c34]Anna Beletska, Wlodzimierz Bielecki, Albert Cohen, Marek Palkowski
, Krzysztof Siedlecki:
Coarse-Grained Loop Parallelization: Iteration Space Slicing vs Affine Transformations. ISPDC 2009: 73-80 - [c33]Anna Beletska, Wlodzimierz Bielecki, Albert Cohen, Marek Palkowski
:
Synchronization-Free Automatic Parallelization: Beyond Affine Iteration-Space Slicing. LCPC 2009: 233-246 - [c32]Boubacar Diouf, Ozcan Ozturk, Albert Cohen:
Optimizing Local Memory Allocation and Assignment through a Decoupled Approach. LCPC 2009: 408-415 - 2008
- [c31]Albert Cohen, Louis Mandel, Florence Plateau, Marc Pouzet:
Abstraction of Clocks in Synchronous Data-Flow Systems. APLAS 2008: 237-254 - [c30]Mounira Bachir, Sid Ahmed Ali Touati, Albert Cohen:
Post-pass periodic register allocation to minimise loop unrolling degree. LCTES 2008: 141-150 - [c29]Louis-Noël Pouchet, Cédric Bastoul, Albert Cohen, John Cavazos:
Iterative optimization in the polyhedral model: part ii, multidimensional time. PLDI 2008: 90-100 - [e1]Albert Cohen, María Jesús Garzarán, Christian Lengauer, Samuel P. Midkiff:
Programming Models for Ubiquitous Parallelism, 02.09. - 07.09.2007. Dagstuhl Seminar Proceedings 07361, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008 [contents] - 2007
- [b2]Albert Cohen:
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). University of Paris-Sud, Orsay, France, 2007 - [j5]Patrick Carribault, Stéphane Zuckerman, Albert Cohen, William Jalby:
Deep Jam: Conversion of Coarse-Grain Parallelism to Fine-Grain and Vector Parallelism. J. Instr. Level Parallelism 9 (2007) - [j4]Grigori Fursin, Albert Cohen, Michael F. P. O'Boyle, Olivier Temam:
Quick and Practical Run-Time Evaluation of Multiple Program Optimizations. Trans. High Perform. Embed. Archit. Compil. 1: 34-53 (2007) - [c28]Nicolas Vasilache, Albert Cohen, Louis-Noël Pouchet:
Automatic Correction of Loop Transformations. PACT 2007: 292-304 - [c27]Louis-Noël Pouchet, Cédric Bastoul, Albert Cohen, Nicolas Vasilache:
Iterative Optimization in the Polyhedral Model: Part I, One-Dimensional Time. CGO 2007: 144-156 - [c26]Mohammed Fellahi, Albert Cohen, Sid Ahmed Ali Touati:
Code-size conscious pipelining of imperfectly nested loops. MEDEA@PACT 2007: 49-55 - [i2]David Chi-Leung Wong, Albert Cohen, María Jesús Garzarán, Christian Lengauer, Samuel P. Midkiff:
07361 Introduction -- Programming Models for Ubiquitous Parallelism. Programming Models for Ubiquitous Parallelism 2007 - [i1]David Chi-Leung Wong, Albert Cohen, María Jesús Garzarán, Christian Lengauer, Samuel P. Midkiff:
07361 Abstracts Collection -- Programming Models for Ubiquitous Parallelism. Programming Models for Ubiquitous Parallelism 2007 - 2006
- [j3]Sylvain Girbal, Nicolas Vasilache, Cédric Bastoul, Albert Cohen, David Parello, Marc Sigler, Olivier Temam:
Semi-Automatic Composition of Loop Transformations for Deep Parallelism and Memory Hierarchies. Int. J. Parallel Program. 34(3): 261-317 (2006) - [j2]Albert Cohen, Sébastien Donadio, María Jesús Garzarán, Christoph Armin Herrmann, Oleg Kiselyov, David A. Padua:
In search of a program generator to implement generic transformations for high-performance computing. Sci. Comput. Program. 62(1): 25-46 (2006) - [c25]Nicolas Vasilache, Cédric Bastoul, Albert Cohen:
Polyhedral Code Generation in the Real World. CC 2006: 185-201 - [c24]Nicolas Vasilache, Cédric Bastoul, Albert Cohen, Sylvain Girbal:
Violated dependence analysis. ICS 2006: 335-344 - [c23]Albert Cohen, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau, Marc Pouzet:
N-synchronous Kahn networks: a relaxed model of synchrony for real-time systems. POPL 2006: 180-193 - [c22]Pierre Amiranoff, Albert Cohen, Paul Feautrier:
Beyond Iteration Vectors: Instancewise Relational Abstract Domains. SAS 2006: 161-180 - 2005
- [c21]Patrick Carribault, Albert Cohen, William Jalby:
Deep Jam: Conversion of Coarse-Grain Parallelism to Instruction-Level and Vector Parallelism for Irregular Applications. IEEE PACT 2005: 291-302 - [c20]Albert Cohen, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau, Marc Pouzet:
Synchronization of periodic clocks. EMSOFT 2005: 339-342 - [c19]Albert Cohen, Michael F. P. O'Boyle, Martin Griebl, José Moreira:
Topic 4 - Compilers for High Performance. Euro-Par 2005: 323 - [c18]Grigori Fursin, Albert Cohen, Michael F. P. O'Boyle, Olivier Temam:
A Practical Method for Quickly Evaluating Program Optimizations. HiPEAC 2005: 29-46 - [c17]Sebastian Pop, Albert Cohen, Georges-André Silber:
Induction Variable Analysis with Delayed Abstractions. HiPEAC 2005: 218-232 - [c16]Albert Cohen, Marc Sigler, Sylvain Girbal, Olivier Temam, David Parello, Nicolas Vasilache:
Facilitating the search for compositions of program transformations. ICS 2005: 151-160 - [c15]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:
A Language for the Compact Representation of Multiple Program Versions. LCPC 2005: 136-151 - 2004
- [c14]Albert Cohen, Sylvain Girbal, Olivier Temam:
A Polyhedral Approach to Ease the Composition of Program Transformations. Euro-Par 2004: 292-303 - [c13]Patrick Carribault, Albert Cohen:
Applications of storage mapping optimization to register promotion. ICS 2004: 247-256 - [c12]Patrick Carribault, Christophe Lemuet, Jean-Thomas Acquaviva, Albert Cohen, William Jalby:
Branch Strategies to Optimize Decision Trees for Wide-Issue Architectures. LCPC 2004: 439-454 - [c11]David Parello, Olivier Temam, Albert Cohen, Jean-Marie Verdun:
Towards a Systematic, Pragmatic and Architecture-Aware Program Optimization Process for Complex Processors. SC 2004: 15 - 2003
- [c10]Cédric Bastoul, Albert Cohen, Sylvain Girbal, Saurabh Sharma, Olivier Temam:
Putting Polyhedral Loop Transformations to Work. LCPC 2003: 209-225 - [c9]Sylvain Girbal, Gilles Mouchard, Albert Cohen, Olivier Temam:
DiST: a simple, reliable and scalable method to significantly reduce processor architecture simulation time. SIGMETRICS 2003: 1-12 - 2002
- [c8]Albert Cohen, Daniela Genius, Abdesselem Kortebi, Zbigniew Chamski, Marc Duranton, Paul Feautrier:
Multi-periodic Process Networks: Prototyping and Verifying Stream-Processing Systems. Euro-Par 2002: 137-146 - [c7]Albert Cohen, Olivier Temam:
Digital LC-2: from bits & gates to a little computer. WCAE 2002: 11 - 2001
- [c6]Peng Wu, Albert Cohen, Jay P. Hoeflinger, David A. Padua:
Monotonic evolution: an alternative to induction variable substitution for dependence analysis. ICS 2001: 78-91 - [c5]Peng Wu, Albert Cohen, David A. Padua:
Induction Variable Analysis without Idiom Recognition: Beyond Monotonicity. LCPC 2001: 427-441 - 2000
- [j1]Denis Barthou, Albert Cohen, Jean-Francois Collard:
Maximal Static Expansion. Int. J. Parallel Program. 28(3): 213-243 (2000)
1990 – 1999
- 1999
- [b1]Albert Cohen:
Program Analysis and Transformation: From the Polytope Model to Formal Languages. (Analyse et transformation de programmes: du modèle polyédrique aux langages formels). Versailles Saint-Quentin-en-Yvelines University, France, 1999 - [c4]Albert Cohen, Vincent Lefebvre:
Storage Mapping Optimization for Parallel Programs. Euro-Par 1999: 375-382 - [c3]Albert Cohen:
Parallelization via Constrained Storage Mapping Optimization. ISHPC 1999: 83-94 - 1998
- [c2]Albert Cohen, Jean-Francois Collard:
Instance-Wise Reaching Definition Analysis for Recursive Programs using Context-Free Transductions. IEEE PACT 1998: 332-339 - [c1]Denis Barthou, Albert Cohen, Jean-Francois Collard:
Maximal Static Expansion. POPL 1998: 98-106
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-03 20:15 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint