Search - Archive ouverte HAL Access content directly

Filter your results

180 Results
Image document

Correct and Efficient Work-Stealing for Weak Memory Models

Nhat Minh Lê , Antoniu Pop , Albert Cohen , Francesco Zappa Nardelli
PPoPP '13 - Proceedings of the 18th ACM SIGPLAN symposium on Principles and practice of parallel programming, Feb 2013, Shenzhen, China. pp.69-80, ⟨10.1145/2442516.2442524⟩
Conference papers hal-00802885v1
Image document

Leveraging Semantics Attached to Function Calls to Isolate Applications from Hardware

Sean Halle , Albert Cohen
2nd USENIX Workshop on Hot Topics in Parallelism (HotPar'10), Jun 2010, Berkeley, United States
Conference papers inria-00551514v1

The Next 700 Accelerated Layers

Nicolas Vasilache , Oleksandr Zinenko , Theodoros Theodoridis , Priya Goyal , Zachary Devito , et al.
ACM Transactions on Architecture and Code Optimization, 2019, 16 (4), pp.1-26. ⟨10.1145/3355606⟩
Journal articles hal-02458550v1
Image document

A From a Formalized Parallel Action Language to its Efficient Code Generation

Ivan Llopard , Christian Fabre , Albert Cohen
ACM Transactions on Embedded Computing Systems (TECS), 2017, ⟨10.1145/0000000.0000000⟩
Journal articles hal-01425140v1
Image document

Reduction Drawing: Language Constructs and Polyhedral Compilation for Reductions on GPUs

Chandan Reddy , Michael Kruse , Albert Cohen
PACT'16 - ACM/IEEE Conference on Parallel Architectures and Compilation Techniques, Sep 2016, Haifa, Israel. pp.87 - 97, ⟨10.1145/2967938.2967950⟩
Conference papers hal-01425750v1
Image document

Transitive Closures of Affine Integer Tuple Relations and their Overapproximations

Sven Verdoolaege , Albert Cohen , Anna Beletska
SAS 2011 - The 18th International Static Analysis Symposium, Sep 2011, Venice, Italy. pp.216-232, ⟨10.1007/978-3-642-23702-7_18⟩
Conference papers hal-00645221v1
Image document

Coarse-Grained Loop Parallelization: Iteration Space Slicing vs Affine Transformations

Anna Beletska , Wlodzirmierz Bielecki , Albert Cohen , Marek Palkowski , Krzysztof Siedlecki
The 11th International Symposium on Parallel and Distributed Computing, Jul 2009, Munich, Germany
Conference papers hal-00645329v1
Image document

In Search for a Program Generator to Implement Generic Transformations for High-performance Computing

Albert Cohen , Sébastien Donadio , María J. Garzarán , David Padua , Christoph Herrmann
1st MetaOCaml Workshop (associated with GPCE), 2004, Vancouver, British Columbia, Canada
Conference papers hal-01257304v1

Hybrid Performance Analysis to Accelerate Compiler Optimization Space Exploration for In-Order Processors

Nicolas Inglart , Smail Niar , Albert Cohen
2nd Workshop on Statistical and Machine learning approaches applied to ARchitectures and compilaTion (SMART), 2008, Gothenburg, Sweden
Conference papers hal-01257277v1

Automatic Correction of Loop Transformations

Albert Cohen
6þ Workshop of the ACES Network (Architectures and Compilers for Embedded Systems), 2006, Edegem, Belgium
Conference papers hal-01257292v1

Characterization of Legal Transformations Sequences

Nicolas Vasilache , Sylvain Girbal , Cédric Bastoul , Albert Cohen , David Parello , et al.
1st MicroGrid workshop, 2005, Amsterdam, Netherlands
Conference papers hal-01257300v1

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

David Parello , Olivier Temam , Albert Cohen , Jean-Marie Verdun
ACM Supercomputing Conference (SC), 2004, Pittsburgh, Pennsylvania, United States
Conference papers hal-01257302v1
Image document

Data Flow Analysis of Recursive Structures

Albert Cohen , Jean-François Collard , Martin Griebl
Workshop on Compilers for Parallel Computers, 1996, Aachen, Germany
Conference papers hal-01257322v1

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

Xuan Khanh Do , Stéphane Louise , Albert Cohen
IEEE 9th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC 2015), 2015, Turin, Italy
Conference papers hal-01257231v1

Energy-Aware Parallelization Flow and Toolset for C Code

Mihai Lazarescu , Albert Cohen , Adrien Guatto , Luciano Lavagno , Nhat Minh Lê , et al.
SCOPES 2014 - 17th International Workshop on Software and Compilers for Embedded Systems, Jun 2014, Saint Goar, Germany. ⟨10.1145/2609248.2609264⟩
Conference papers hal-01257245v1

Extending Loop Distribution to PS-DSWP

Feng Li , Antoniu Pop , Albert Cohen
1\st Workshop on Intermediate Representations (WIR, associated with CGO), 2011, Chamonix, France
Conference papers hal-01257265v1
Image document

Kolmogorov widths under holomorphic mappings

Albert Cohen , Ronald Devore
IMA Journal of Numerical Analysis, 2016, 36 (1), pp.1-12. ⟨10.1093/imanum/dru066⟩
Journal articles hal-01118847v2
Image document

Post-Pass Periodic Register Allocation to Minimise Loop Unrolling Degree

Mounira Bachir , Sid Touati , Albert Cohen
LCTES '08, Jun 2008, Tucson, United States. pp.141-149, ⟨10.1145/1375657.1375677⟩
Conference papers inria-00637218v1

Informatique et Sciences du Numérique - Spécialité ISN en Terminale S

Gilles Dowek , Jean-Pierre Archambault , Emmanuel Baccelli , Claudio Cimellli , Albert Cohen , et al.
Eyrolles, pp.303, 2012, 978-2-212-13543-5
Books hal-00765220v1
Image document

Hard Real Time and Mixed Time Criticality on Off-The-Shelf Embedded Multi-Cores

Albert Cohen , Valentin Perrelle , Dumitru Potop-Butucaru , Marc Pouzet , Elie Soubiran , et al.
International Conference on Embedded and Real-Time Software and Systems (ERTS2), Jan 2016, Toulouse, France
Conference papers hal-01425887v1

Synchronization of Periodic Clocks

Albert Cohen , Marc Duranton , Christine Eisenbeis , Claire Pagetti , Florence Plateau , et al.
ACM Conference on Embedded Software (EMSOFT), 2005, Jersey City, NJ, United States. 339--342 (short paper)
Conference papers hal-01257295v1
Image document

Variable Precision Floating-Point RISC-V Coprocessor Evaluation using Lightweight Software and Compiler Support

Tiago T Jost , Andrea Bocco , Yves Durand , Christian Fabre , Florent de Dinechin , et al.
CARRV 2019 - Third Workshop on Computer Architecture Research with RISC-V, Jun 2019, Phoenix, AZ, United States. pp.1-6
Conference papers hal-02161621v1

OpenStream: Expressiveness and Data-Flow Compilation of OpenMP Streaming Programs

Antoniu Pop , Albert Cohen
ACM Transactions on Architecture and Code Optimization, 2013, 9 (4), ⟨10.1145/2400682.2400712⟩
Journal articles hal-00786675v1

Polyhedral Parallel Code Generation for CUDA

Sven Verdoolaege , Juan Carlos Juega , Albert Cohen , José Ignacio Gómez , Christian Tenllado , et al.
ACM Transactions on Architecture and Code Optimization, 2013, 9 (4), pp.art. 54:1-23. ⟨10.1145/2400682.2400713⟩
Journal articles hal-00786677v1
Image document

Expressiveness and Data-Flow Compilation of OpenMP Streaming Programs

Antoniu Pop , Albert Cohen
[Research Report] RR-8001, INRIA. 2012, pp.28
Reports hal-00710409v2

A Parallel Action Language for Embedded Applications and its Compilation Flow

Ivan Llopard , Albert Cohen , Christian Fabre , Nicolas Hili
17th International Workshop on Software and Compilers for Embedded Systems, Jun 2014, Sankt Goar, Germany. pp.118-127, ⟨10.1145/2609248.2609257⟩
Conference papers hal-01001900v1
Image document

Processor Virtualization and Split Compilation for Heterogeneous Multicore Embedded Systems

Albert Cohen , Erven Rohou
47th Annual Design Automation Conference, Jun 2010, Anaheim, CA, United States
Conference papers inria-00472274v1
Image document

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

Mohamed Riyadh Baghdadi , Albert Cohen , Cédric Bastoul , Louis-Noël Pouchet , Lawrence Rauchwerger
Pespma 2010 - Workshop on Parallel Execution of Sequential Programs on Multi-core Architecture, Jun 2010, Saint Malo, France
Conference papers inria-00494305v1
Image document

Induction Variable Analysis Without Idiom Recognition: Beyond Monotonicity

Peng Wu , Albert Cohen , David Padua
Languages and Compilers for Parallel Computing, Aug 2001, Cumberland Falls, Kentucky, United States
Conference papers hal-01257311v1
Image document

Monotonic Evolution: an Alternative to Induction Variable Substitution for Dependence Analysis

Peng Wu , Albert Cohen , Jay Hoeflinger , David Padua
Intl. Conf. on Supercomputing, Jun 2001, Sorrento, Italy
Conference papers hal-01257312v1