Section: Dissemination

Promoting Scientific Activities

Scientific Events Selection

Member of the Conference Program Committees

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

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

Cédric Bastoul and Vincent Loechner have been part of the program committee of the HIP3ES workshop 2017 and 2018 (International Workshop on High Performance Energy Efficient Embedded Systems), co-organized by Cédric Bastoul in conjunction with the international conference HiPEAC.

Arthur Charguéraud has been part of the program committee for the Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2017).

Reviewer

Philippe Clauss has been reviewer for the following conferences and workshops: IMPACT 2017 and 2018 (International Workshop on Polyhedral Compilation Techniques), CC 2017 (International Conference on Compiler Construction).

Cédric Bastoul has been reviewer for the following international conferences and workshops: CC 2017 and 2018 (International Conference on Compiler Construction), PARMA 2017 (International Workshop on Parallel Programming and Run-Time Management Techniques for Many-core Architectures), IMPACT 2017 and 2018 (International Workshop on Polyhedral Compilation Techniques), HIP3ES 2017 and 2018 (International Workshop on High Performance Energy Efficient Embedded Systems).

Journal

Member of the Editorial Boards

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

Reviewer - Reviewing Activities

Philippe Clauss has been reviewer for the following journals: Journal of Computer and System Sciences, Journal of Software: Practice and Experience, IEEE Transactions on Computers.

Cédric Bastoul has been reviewer for the following journals: Journal of Parallel, Emergent and Distributed Systems, and IEEE Transactions on Computers.

Arthur Charguéraud has been reviewer for JAR (Journal of Automated Reasoning), DMTCS (journal of Discrete Mathematics and Theoretical Computer Science), and JFP (Journal of Functional Programming).

Vincent Loechner has been reviewer for: JAR (Journal of Automated Reasoning, Springer), STTT (Int. J. on Software Tools for Technology Transfer, Springer), ComCom (Computer Communications, Elsevier).

Invited Talks

Philippe Clauss has been invited to give a talk at a seminar dedicated to Jean-Luc Gaudiot, organized by the French Computer Science Engineering school ENSIEE, Paris, September the 21st 2017. The topic of his talk was: Le modèle polyédrique au delà de la compilation statique, des fonctions affines et des boucles.

Arthur Charguéraud has been invited to give a talk at ENS Rennes, on November 21st, 2017, to present the CFML interactive program verification tool.

Scientific Expertise

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

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 defect report processing, the planning of future versions of the standard, and publishes an ongoing document to track inconsistencies and improvements of the C threads interface.

In 2017, he was the one of the main forces behind the elaboration of C17, the new version of the C standard that is expected to go into ballot in the member states end of 2017.