Articles citing this article

The Citing articles tool gives a list of articles citing the current article.
The citing articles come from EDP Sciences database, as well as other publishers participating in CrossRef Cited-by Linking Program. You can set up your personal account to receive an email alert each time this article is cited by a new article (see the menu on the right-hand side of the abstract page).

Cited article:

Parametric WCET as a function of procedure arguments: Analysis and applications

Sandro Grebant, Clément Ballabriga, Julien Forget and Giuseppe Lipari
Journal of Systems Architecture 148 103086 (2024)
https://doi.org/10.1016/j.sysarc.2024.103086

End-to-end translation validation for the halide language

Basile Clément and Albert Cohen
Proceedings of the ACM on Programming Languages 6 (OOPSLA1) 1 (2022)
https://doi.org/10.1145/3527328

Pattern Recognition and Information Processing

Alexander Chemeris, Sergii Sushko and Svetlana Reznikova
Communications in Computer and Information Science, Pattern Recognition and Information Processing 1562 12 (2022)
https://doi.org/10.1007/978-3-030-98883-8_2

On the Impact of Affine Loop Transformations in Qubit Allocation

Martin Kong
ACM Transactions on Quantum Computing 2 (3) 1 (2021)
https://doi.org/10.1145/3465409

The Deep Learning Compiler: A Comprehensive Survey

Mingzhen Li, Yi Liu, Xiaoyan Liu, et al.
IEEE Transactions on Parallel and Distributed Systems 32 (3) 708 (2021)
https://doi.org/10.1109/TPDS.2020.3030548

FPL: fast Presburger arithmetic through transprecision

Arjun Pitchanathan, Christian Ulmann, Michel Weber, Torsten Hoefler and Tobias Grosser
Proceedings of the ACM on Programming Languages 5 (OOPSLA) 1 (2021)
https://doi.org/10.1145/3485539

Representing Integer Sequences Using Piecewise-Affine Loops

Gabriel Rodríguez, Louis-Noël Pouchet and Juan Touriño
Mathematics 9 (19) 2368 (2021)
https://doi.org/10.3390/math9192368

A sparse iteration space transformation framework for sparse tensor algebra

Ryan Senanayake, Changwan Hong, Ziheng Wang, et al.
Proceedings of the ACM on Programming Languages 4 (OOPSLA) 1 (2020)
https://doi.org/10.1145/3428226

LLOV

Utpal Bora, Santanu Das, Pankaj Kukreja, et al.
ACM Transactions on Architecture and Code Optimization 17 (4) 1 (2020)
https://doi.org/10.1145/3418597

Maple in Mathematics Education and Research

Rui-Juan Jing and Marc Moreno Maza
Communications in Computer and Information Science, Maple in Mathematics Education and Research 1125 132 (2020)
https://doi.org/10.1007/978-3-030-41258-6_10

Effective Loop Fusion in Polyhedral Compilation Using Fusion Conflict Graphs

Aravind Acharya, Uday Bondhugula and Albert Cohen
ACM Transactions on Architecture and Code Optimization 17 (4) 1 (2020)
https://doi.org/10.1145/3416510

Fast linear programming through transprecision computing on small and sparse data

Tobias Grosser, Theodoros Theodoridis, Maximilian Falkenstein, et al.
Proceedings of the ACM on Programming Languages 4 (OOPSLA) 1 (2020)
https://doi.org/10.1145/3428263

Program transformations as the base for optimizing parallelizing compilers

Борис Яковлевич Штейнберг, Олег Борисович Штейнберг and Sergey Anatoljevich Romanenko
Program Systems: Theory and Applications 12 (1) 21 (2020)
https://doi.org/10.25209/2079-3316-2021-12-1-21-113

Building a Polyhedral Representation from an Instrumented Execution

Manuel Selva, Fabian Gruber, Diogo Sampaio, et al.
ACM Transactions on Architecture and Code Optimization 16 (4) 1 (2019)
https://doi.org/10.1145/3363785

Parametric Scheduler Characterization

Joost Van Pinxten, Marc Geilen and Twan Basten
ACM Transactions on Embedded Computing Systems 18 (5s) 1 (2019)
https://doi.org/10.1145/3358226

A Survey on Compiler Autotuning using Machine Learning

Amir H. Ashouri, William Killian, John Cavazos, Gianluca Palermo and Cristina Silvano
ACM Computing Surveys 51 (5) 1 (2019)
https://doi.org/10.1145/3197978

Symbolic WCET Computation

Clément Ballabriga, Julien Forget and Giuseppe Lipari
ACM Transactions on Embedded Computing Systems 17 (2) 1 (2018)
https://doi.org/10.1145/3147413

Speeding up Iterative Polyhedral Schedule Optimization with Surrogate Performance Models

Stefan Ganser, Armin Größlinger, Norbert Siegmund, Sven Apel and Christian Lengauer
ACM Transactions on Architecture and Code Optimization 15 (4) 1 (2018)
https://doi.org/10.1145/3291773

Iterative Schedule Optimization for Parallelization in the Polyhedron Model

Stefan Ganser, Armin Grösslinger, Norbert Siegmund, Sven Apel and Christian Lengauer
ACM Transactions on Architecture and Code Optimization 14 (3) 1 (2017)
https://doi.org/10.1145/3109482

The Pluto+ Algorithm

Uday Bondhugula, Aravind Acharya and Albert Cohen
ACM Transactions on Programming Languages and Systems 38 (3) 1 (2016)
https://doi.org/10.1145/2896389

Verification, Model Checking, and Abstract Interpretation

Alexandre Maréchal, Alexis Fouilhé, Tim King, David Monniaux and Michael Périn
Lecture Notes in Computer Science, Verification, Model Checking, and Abstract Interpretation 9583 166 (2016)
https://doi.org/10.1007/978-3-662-49122-5_8

An approach for code generation in the Sparse Polyhedral Framework

Michelle Mills Strout, Alan LaMielle, Larry Carter, Jeanne Ferrante, Barbara Kreaseck and Catherine Olschanowsky
Parallel Computing 53 32 (2016)
https://doi.org/10.1016/j.parco.2016.02.004

On Characterizing the Data Access Complexity of Programs

Venmugil Elango, Fabrice Rastello, Louis-Noël Pouchet, J. Ramanujam and P. Sadayappan
ACM SIGPLAN Notices 50 (1) 567 (2015)
https://doi.org/10.1145/2775051.2677010

PLUTO+: near-complete modeling of affine transformations for parallelism and locality

Aravind Acharya and Uday Bondhugula
ACM SIGPLAN Notices 50 (8) 54 (2015)
https://doi.org/10.1145/2858788.2688512

Parallel Computing Technologies

Boris Ya. Steinberg, Denis V. Dubrov, Yury Mikhailuts, Alexander S. Roshal and Roman B. Steinberg
Lecture Notes in Computer Science, Parallel Computing Technologies 9251 474 (2015)
https://doi.org/10.1007/978-3-319-21909-7_46

Polyhedral AST Generation Is More Than Scanning Polyhedra

Tobias Grosser, Sven Verdoolaege and Albert Cohen
ACM Transactions on Programming Languages and Systems 37 (4) 1 (2015)
https://doi.org/10.1145/2743016

Languages and Compilers for Parallel Computing

Cosmin E. Oancea and Lawrence Rauchwerger
Lecture Notes in Computer Science, Languages and Compilers for Parallel Computing 7146 61 (2013)
https://doi.org/10.1007/978-3-642-36036-7_5

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

Ramakrishna Upadrasta and Albert Cohen
ACM SIGPLAN Notices 48 (1) 483 (2013)
https://doi.org/10.1145/2480359.2429127

Automated generation of polyhedral process networks from affine nested-loop programs with dynamic loop bounds

Dmitry Nadezhkin, Hristo Nikolov and Todor Stefanov
ACM Transactions on Embedded Computing Systems 13 (1s) 1 (2013)
https://doi.org/10.1145/2536747.2536750

Languages and Compilers for Parallel Computing

Mehdi Amini, Fabien Coelho, François Irigoin and Ronan Keryell
Lecture Notes in Computer Science, Languages and Compilers for Parallel Computing 7146 237 (2013)
https://doi.org/10.1007/978-3-642-36036-7_16

Polyhedral Bubble Insertion: A Method to Improve Nested Loop Pipelining for High-Level Synthesis

Antoine Morvan, Steven Derrien and Patrice Quinton
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 32 (3) 339 (2013)
https://doi.org/10.1109/TCAD.2012.2228270

Affine Transformations for Communication and Reconfiguration Optimization of Mapping Loop Nests on CGRAs

Shouyi YIN, Dajiang LIU, Leibo LIU and Shaojun WEI
IEICE Transactions on Information and Systems E96.D (8) 1582 (2013)
https://doi.org/10.1587/transinf.E96.D.1582

On the Inference of Resource Usage Upper and Lower Bounds

Elvira Albert, Samir Genaim and Abu Naser Masud
ACM Transactions on Computational Logic 14 (3) 1 (2013)
https://doi.org/10.1145/2499937.2499943

Array dataflow analysis for polyhedral X10 programs

Tomofumi Yuki, Paul Feautrier, Sanjay Rajopadhye and Vijay Saraswat
ACM SIGPLAN Notices 48 (8) 23 (2013)
https://doi.org/10.1145/2517327.2442520

Mapping Optimization of Affine Loop Nests for Reconfigurable Computing Architecture

Dajiang LIU, Shouyi YIN, Chongyong YIN, Leibo LIU and Shaojun WEI
IEICE Transactions on Information and Systems E95.D (12) 2898 (2012)
https://doi.org/10.1587/transinf.E95.D.2898

Polyhedral parallelization of binary code

Benoit Pradelle, Alain Ketterlin and Philippe Clauss
ACM Transactions on Architecture and Code Optimization 8 (4) 1 (2012)
https://doi.org/10.1145/2086696.2086718

Integer affine transformations of parametric ℤ-polytopes and applications to loop nest optimization

Rachid Seghir, Vincent Loechner and Benoît Meister
ACM Transactions on Architecture and Code Optimization 9 (2) 1 (2012)
https://doi.org/10.1145/2207222.2207224

Loop transformations

Louis-Noël Pouchet, Uday Bondhugula, Cédric Bastoul, Albert Cohen, J. Ramanujam, P. Sadayappan and Nicolas Vasilache
ACM SIGPLAN Notices 46 (1) 549 (2011)
https://doi.org/10.1145/1925844.1926449

Design of Image Processing Embedded Systems Using Multidimensional Data Flow

Joachim Keinert and Jürgen Teich
Design of Image Processing Embedded Systems Using Multidimensional Data Flow 209 (2011)
https://doi.org/10.1007/978-1-4419-7182-1_8

Energy-Aware Memory Management for Embedded Multimedia Systems

Florin Balasa, Hongwei Zhu and Ilie Luican
Chapman & Hall/CRC Computer & Information Science Series, Energy-Aware Memory Management for Embedded Multimedia Systems 20111381 67 (2011)
https://doi.org/10.1201/b11418-4

FADAlib: an open source C++ library for fuzzy array dataflow analysis

Marouane Belaoucha, Denis Barthou, Adrien Eliche and Sid-Ahmed-Ali Touati
Procedia Computer Science 1 (1) 2075 (2010)
https://doi.org/10.1016/j.procs.2010.04.232

A practical automatic polyhedral parallelizer and locality optimizer

Uday Bondhugula, Albert Hartono, J. Ramanujam and P. Sadayappan
ACM SIGPLAN Notices 43 (6) 101 (2008)
https://doi.org/10.1145/1379022.1375595

Architecture of Computing Systems – ARCS 2008

Joachim Keinert, Christian Haubelt and Jürgen Teich
Lecture Notes in Computer Science, Architecture of Computing Systems – ARCS 2008 4934 130 (2008)
https://doi.org/10.1007/978-3-540-78153-0_11

Systematic and Automated Multiprocessor System Design, Programming, and Implementation

H. Nikolov, T. Stefanov and E. Deprettere
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 27 (3) 542 (2008)
https://doi.org/10.1109/TCAD.2007.911337