Section: Dissemination

Promoting Scientific Activities

Scientific Events Organization

Member of Organizing Committees

Philippe Clauss organized the Special Session on Compiler Architecture, Design and Optimization (CADO) of the 16th International Conference on High Performance Computing & Simulation (HPCS 2018), June 2018, Orléans, France.

Cédric Bastoul co-organized HIP3ES 2018 (International Workshop on High Performance Energy Efficient Embedded Systems), in conjunction with the international conference HiPEAC 2018.

Scientific Events Selection

Member of Conference Program Committees

Cédric Bastoul and Philippe Clauss have been part of the program committee of IMPACT 2018 (International Workshop on Polyhedral Compilation Techniques), held in conjunction with the international conference HiPEAC.

Cédric Bastoul and Vincent Loechner are part of the program committee of HIP3ES (International Workshop on High Performance Energy Efficient Embedded Systems) in conjunction with the HiPEAC international conference.

Arthur Charguéraud was a member of the program committee for the Symposium on Implementation and Application of Functional Languages (IFL 2018).

Cédric Bastoul has been part of the program committee of the international conference on Compiler Construction 2018 (CC'2018).

Reviewer

Philippe Clauss has been reviewer for the following conference and workshop: the 2nd International Conference on Computer Science and Application Engineering (CSAE 2018), the International Workshop on Polyhedral Compilation Techniques (IMPACT 2018).

Jens Gustedt has been reviewer for CCGrid 2018.

Arthur Charguéraud has been reviewer for the 30th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2018).

Cédric Bastoul has been reviewer for: international conference on Compiler Construction 2018 (CC'2018), the International Workshop on Polyhedral Compilation Techniques (IMPACT 2018), the International Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES 2018).

Journals

Member of Editorial Boards

Since October 2001, J. Gustedt is Editor-in-Chief of the journal Discrete Mathematics and Theoretical Computer Science (DMTCS).

Reviewer - Reviewing Activities

Bérenger Bramas has been reviewer for the following journal: PPL (Parallel Processing Letters).

Philippe Clauss has been reviewer for the following journals: Engineering Computations, IEEE Transactions on Computers, Future Generation Computer Systems.

Jens Gustedt has been a reviewer for Discrete Applied Mathematics.

Arthur Charguéraud has been reviewer for LFMTP (Logical Frameworks and Meta Languages: Theory and Practice).

Cédric Bastoul has been reviewer for IEEE Transactions on Computers.

Invited Talks

Philippe Clauss has been invited at the Dagstuhl Seminar dedicated to Loop Optimization, March 11-16, 2018. The title of his talk was: The Polyhedral Model Beyond Static Compilation, Affine Functions and Loops.

Vincent Loechner has been invited as a speaker at the plenary session of the journées doctorales du laboratoire d'informatique de l'université de Batna (Algeria), April 25-26 2018, for a talk entitled Code Optimizations Using the Polyhedral Model.

Scientific Expertise

Standardization

Since Nov. 2014, Jens Gustedt is a member of the ISO working group SC22-WG14 for the standardization of the C programming language and serves as co-editor of the standards document. He participates actively in the clarification report processing, the planning of future versions of the standard and in an subgroup that discusses the improvement of the C memory model.

He was the one of the main forces behind the elaboration of C17, the new version of the C standard that has finally been published by ISO in 2018 [21].

This work on the C programming language also gave rise to the proposal of a language extension, Modular C. It has been used for the implementation of an efficient toolbox for higher order automatic differenciation, arbogast , see [9], and for the implentation of the work presented in [19].

Expertise

Cédric Bastoul as been an expert for the French research ministry and the French finance ministry for the research tax credit programme.

Research Administration

Jens Gustedt is head of the ICPS team for the ICube lab, and in that function a member of the directory committee of the lab. He is also a member of the local recruiting comission for phds and postdocs of the Inria Center Nancy — Grand Est.

Philippe Clauss and Cédric Bastoul are members of the Collegium Sciences of the University of Strasbourg, which is a group of representative scientists providing advice regarding the funding of projects.

Philippe Clauss is a member of the Bureau du Comité des Projets of the Nancy Grand Est Inria Center since November 2018. This group of scientists provide assistance to the Director of the Center regarding the recruitment of PhD or post-doc students and Engineers, the funding of projects and provide also some scientific expertise regarding actions of the Center.