Team, Visitors, External Collaborators
Overall Objectives
Research Program
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub


Publications of the year

Doctoral Dissertations and Habilitation Theses

C. Alias.
Contributions to Program Optimization and High-Level Synthesis, ENS de Lyon, May 2019, Habilitation à diriger des recherches.

Articles in International Peer-Reviewed Journals

W. Ahrendt, L. Henrio, W. Oortwijn.
Who is to Blame? Runtime Verification of Distributed Objects with Active Monitors, in: Electronic Proceedings in Theoretical Computer Science, August 2019, vol. 302, pp. 32-46, - In Proceedings VORTEX 2018, arXiv:1908.09302. [ DOI : 10.4204/EPTCS.302.3 ]
L. Henrio, C. Kessler, L. Li.
Leveraging access mode declarations in a model for memory consistency in heterogeneous systems, in: Journal of Logical and Algebraic Methods in Programming, January 2020, vol. 110, pp. 1-17, 100498, [ DOI : 10.1016/j.jlamp.2019.100498 ]

International Conferences with Proceedings

C. Alias.
fkcc: the Farkas Calculator, in: 10th Workshop on Tools for Automatic Program Analysis, Porto, Portugal, Lecture Notes in Computer Science, Springer, December 2019.
Best Paper
C. Ballabriga, J. Forget, L. Gonnord, G. Lipari, J. Ruiz.
Static Analysis Of Binary Code With Memory Indirections Using Polyhedra, in: VMCAI'19 - International Conference on Verification, Model Checking, and Abstract Interpretation, Cascais, Portugal, LNCS, Springer, January 2019, vol. 11388, pp. 114-135. [ DOI : 10.1007/978-3-030-11245-5_6 ]
S. Bliudze, L. Henrio, E. Madelaine.
Verification of concurrent design patterns with data, in: 21th International Conference on Coordination Languages and Models (COORDINATION), Kongens Lyngby, Denmark, H. R. Nielson, E. Tuosto (editors), Coordination Models and Languages, Springer International Publishing, 2019, vol. LNCS-11533, pp. 161-181, t Part 4: Coordination Patterns. [ DOI : 10.1007/978-3-030-22397-7_10 ]
G. Busnot, T. Sassolas, N. Ventroux, M. Moy.
Standard-compliant Parallel SystemC simulation of Loosely-Timed Transaction Level Models, in: 25th Asia and South Pacific Design Automation Conference (ASP-DAC 2020), Beijing, China, January 2020.
Best Paper
A. Charif, G. Busnot, R. Mameesh, T. Sassolas, N. Ventroux.
Fast Virtual Prototyping for Embedded Computing Systems Design and Exploration, in: RAPIDO2019 - 11th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, Valence, Spain, January 2019, pp. 1-8. [ DOI : 10.1145/3300189.3300192 ]
M. Dupont De Dinechin, M. Schuh, M. Moy, C. Maïza.
Scaling Up the Memory Interference Analysis for Hard Real-Time Many-Core Systems, in: Design, Automation and Test in Europe Conference (DATE), Grenoble, France, March 2020.
K. Fernandez-Reyes, D. Clarke, L. Henrio, E. Broch Johnsen, T. Wrigstad.
Godot: All the Benefits of Implicit and Explicit Futures, in: ECOOP 2019 - 33rd European Conference on Object-Oriented Programming, London, Royume-Uni, Leibniz International Proceedings in Informatics (LIPIcs), 2019, pp. 1-28.
Z. Ganjei, A. Rezine, L. Henrio, P. Eles, Z. Peng.
On Reachability in Parameterized Phaser Programs, in: TACAS 2019 - 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Prague, Czech Republic, LNCS, Springer, April 2019, vol. 11427, pp. 299-315, [ DOI : 10.1007/978-3-030-17462-0_17 ]
P. Leca, L. Henrio, F. Baude, W. Suijlen.
Distributed futures for efficient data transfer between parallel processes, in: The 35th ACM/SIGAPP Symposium On Applied Computing, Brno, Czech Republic, March 2020. [ DOI : 10.1145/3341105.3373932 ]

Conferences without Proceedings

C. Alias.
Farkas Lemma made easy, in: IMPACT 2020 - 10th International Workshop on Polyhedral Compilation Techniques, Bologna, Italy, December 2019, pp. 1-6.
A. Graillat, C. Maiza, M. Moy, P. Raymond, B. Dupont De Dinechin.
Response Time Analysis of Dataflow Applications on a Many-Core Processor with Shared-Memory and Network-on-Chip, in: RTNS 2019 - 27th International Conference on Real-Time Networks and Systems, Toulouse, France, ACM, November 2019, pp. 61-69. [ DOI : 10.1145/3356401.3356416 ]

Internal Reports

C. Alias, J. Rudeau.
Pipeline-aware Scheduling of Polyhedral Process Networks, Inria Grenoble - Rhone-Alpes, December 2019, no RR-9314.
C. Alias, S. Thibault, L. Gonnord.
A Compiler Algorithm to Guide Runtime Scheduling, Inria Grenoble ; Inria Bordeaux - Sud-Ouest, December 2019, no RR-9315.

Scientific Popularization

L. Henrio.
Pourquoi créer des nouveaux langages de programmation ?, in: Interstices, January 2019.

Other Publications

C. Alias.
On Channel Restructuring for Complete FIFO Recovery, November 2019, ICCD 2019 - 37th IEEE International Conference on Computer Design, Poster.
References in notes
IEEE 1666 Standard: SystemC Language Reference Manual, Open SystemC Initiative, 2011.
OSCI TLM-2.0 Language Reference Manual, Open SystemC Initiative (OSCI), June 2008.
C. Alias, A. Darte, P. Feautrier, L. Gonnord.
Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs, in: International Static Analysis Symposium (SAS'10), 2010.
C. Alias, A. Plesco.
Method of Automatic Synthesis of Circuits, Device and Computer Program associated therewith, April 2014, Patent FR1453308.
C. Alias, A. Plesco.
Data-aware Process Networks, Inria - Research Centre Grenoble – Rhône-Alpes, June 2015, no RR-8735, 32 p.
C. Alias, A. Plesco.
Optimizing Affine Control with Semantic Factorizations, in: ACM Transactions on Architecture and Code Optimization (TACO) , December 2017, vol. 14, no 4, 27 p.
I. Amer, C. Lucarz, G. Roquier, M. Mattavelli, M. Raulet, J.-F. Nezan, O. Deforges.
Reconfigurable video coding on multicore, in: Signal Processing Magazine, IEEE, 2009, vol. 26, no 6, pp. 113–123.
S. Ananian.
The Static Single Information Form, MIT, September 1999.
C. B. Aoun, L. Andrade, T. Maehne, F. Pêcheux, M.-M. Louërat, A. Vachouxy.
Pre-simulation elaboration of heterogeneous systems: The SystemC multi-disciplinary virtual prototyping approach, in: Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS), 2015 International Conference on, IEEE, 2015, pp. 278–285.
D. Becker, M. Moy, J. Cornet.
Parallel Simulation of Loosely Timed SystemC/TLM Programs: Challenges Raised by an Industrial Case Study, in: MDPI Electronics, 2016, vol. 5, no 2, 22 p. [ DOI : 10.3390/electronics5020022 ]
N. Bjørner, K. McMillan, A. Rybalchenko.
On Solving Universally Quantified Horn Clauses, in: Static Analysis: 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings, Berlin, Heidelberg, F. Logozzo, M. Fähndrich (editors), Springer Berlin Heidelberg, 2013, pp. 105–125.
D. Caromel, L. Henrio.
A Theory of Distributed Objects, Springer-Verlag, 2004.
P. Cousot, R. Cousot.
Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints, in: 4th ACM Symposium on Principles of Programming Languages (POPL'77), Los Angeles, January 1977, pp. 238-252.
F. De Boer, V. Serbanescu, R. Hähnle, L. Henrio, J. Rochas, C. C. Din, E. Broch Johnsen, M. Sirjani, E. Khamespanah, K. Fernandez-Reyes, A. M. Yang.
A Survey of Active Object Languages, in: ACM Comput. Surv., October 2017, vol. 50, no 5, pp. 76:1–76:39.
M. Duranton, D. Black-Schaffer, K. De Bosschere, J. Maebe.
P. Feautrier.
Scalable and Structured Scheduling, in: International Journal of Parallel Programming, October 2006, vol. 34, no 5, pp. 459–487.
P. Feautrier.
Dataflow analysis of array and scalar references, in: International Journal of Parallel Programming, 1991, vol. 20, no 1, pp. 23–53.
P. Feautrier, A. Gamatié, L. Gonnord.
Enhancing the Compilation of Synchronous Dataflow Programs with a Combined Numerical-Boolean Abstraction, in: CSI Journal of Computing, 2012, vol. 1, no 4, pp. 8:86–8:99.
K. Fernandez-Reyes, D. Clarke, E. Castegren, H.-P. Vo.
Forward to a Promising Future, in: Conference proceedings COORDINATION 2018, 2018.
R. Fontaine, L. Gonnord, L. Morel.
Polyhedral Dataflow Programming: a Case Study, in: SBAC-PAD 2018 - 30th International Symposium on Computer Architecture and High-Performance Computing, Lyon, France, IEEE, September 2018, pp. 1-9.
L. Gonnord, P. Iannetta, L. Morel.
Semantic Polyhedral Model for Arrays and Lists, Inria Grenoble Rhône-Alpes ; UCBL ; LIP - ENS Lyon ; CEA List, June 2018, no RR-9183.
M. I. Gordon.
Compiler techniques for scalable performance of stream programs on multicore architectures, Massachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science, 2010.
O. Hakjoo, L. Wonchan, H. Kihong, Y. Hongseok, Y. Kwangkeun.
Selective context-sensitivity guided by impact pre-analysis, in: ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '14, Edinburgh, United Kingdom - June 09 - 11, 2014, ACM, 2014, 49 p.
N. Halbwachs, P. Caspi, P. Raymond, D. Pilaud.
The synchronous data flow programming language LUSTRE, in: Proceedings of the IEEE, Sep 1991, vol. 79, no 9, pp. 1305-1320.
L. Henrio.
Data-flow Explicit Futures, I3S, Université Côte d'Azur, April 2018.
P. Iannetta, L. Gonnord, L. Morel, T. Yuki.
Semantic Array Dataflow Analysis, Inria Grenoble Rhône-Alpes, December 2018, no RR-9232, pp. 1-22.
G. Kahn.
The semantics of a simple language for parallel programming, in: Information processing, North-Holland, 1974.
M. Maalej, V. Paisante, P. Ramos, L. Gonnord, F. Pereira.
Pointer Disambiguation via Strict Inequalities, in: Code Generation and Optimisation, Austin, United States, February 2017.
M. Maalej Kammoun.
Low-cost memory analyses for efficient compilers, Université Lyon 1, 2017, Thèse de doctorat, Université Lyon1.
D. Monniaux, L. Gonnord.
Cell morphing: from array programs to array-free Horn clauses, in: 23rd Static Analysis Symposium (SAS 2016), Edimbourg, United Kingdom, X. Rival (editor), Static Analysis Symposium, September 2016.
M. Moy.
Parallel Programming with SystemC for Loosely Timed Models: A Non-Intrusive Approach, in: DATE, Grenoble, France, March 2013, 9 p.
V. Paisante, M. Maalej, L. Barbosa, L. Gonnord, F. M. Q. Pereira.
Symbolic Range Analysis of Pointers, in: International Symposium of Code Generation and Optmization, Barcelon, Spain, March 2016, pp. 791-809.
A. Plesco.
Program Transformations and Memory Architecture Optimizations for High-Level Synthesis of Hardware Accelerators, Ecole normale supérieure de lyon - ENS LYON, September 2010.
P. Quinton.
Automatic synthesis of systolic arrays from uniform recurrent equations, in: ACM SIGARCH Computer Architecture News, 1984, vol. 12, no 3, pp. 208–214.
H. Rihani, M. Moy, C. Maïza, R. I. Davis, S. Altmeyer.
Response Time Analysis of Synchronous Data Flow Programs on a Many-Core Processor, in: Proceedings of the 24th International Conference on Real-Time Networks and Systems, New York, NY, USA, RTNS '16, ACM, 2016, pp. 67–76.
H. N. W. Santos, I. Maffra, L. Oliveira, F. Pereira, L. Gonnord.
Validation of Memory Accesses Through Symbolic Analyses, in: Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages And Applications (OOPSLA'14), Portland, Oregon, United States, October 2014.
W. Thies.
Language and compiler support for stream programs, Massachusetts Institute of Technology, 2009.
A. Turjan.
Compiling Nested Loop Programs to Process Networks, Universiteit Leiden, 2007.
N. Ventroux, T. Sassolas.
A new parallel SystemC kernel leveraging manycore architectures, in: Design, Automation & Test in Europe Conference & Exhibition (DATE), 2016, IEEE, 2016, pp. 487–492.
S. Verdoolaege.
Polyhedral Process Networks, Handbook of Signal Processing Systems, Springer, 2010, pp. 931–965.
S. Williams, A. Waterman, D. Patterson.
Roofline: an insightful visual performance model for multicore architectures, in: Communications of the ACM, 2009, vol. 52, no 4, pp. 65–76.
B. da Silva, A. Braeken, E. H. D'Hollander, A. Touhafi.
Performance modeling for FPGAs: extending the roofline model with high-level synthesis tools, in: International Journal of Reconfigurable Computing, 2013, vol. 2013, 7 p.