Cédric Pasteur

According to our database, Cédric Pasteur authored at least 11 papers between 2010 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Building a Hybrid Systems Modeler on Synchronous Languages Principles.

Albert Benveniste, Timothy Bourke, Benoît Caillaud, Jean-Louis Colaço, Cédric Pasteur, Marc Pouzet

Proc. IEEE, 2018

Scade 6: From a Kahn Semantics to a Kahn Implementation for Multicore.

Jean-Louis Colaço, Bruno Pagano, Cédric Pasteur, Marc Pouzet

Proceedings of the 2018 Forum on Specification & Design Languages, 2018

2017

A Synchronous Look at the Simulink Standard Library.

Timothy Bourke, Francois Carcenac, Jean-Louis Colaço, Bruno Pagano, Cédric Pasteur, Marc Pouzet

ACM Trans. Embed. Comput. Syst., 2017

2015

ReactiveML, ten years later.

Louis Mandel, Cédric Pasteur, Marc Pouzet

Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, 2015

A Synchronous-Based Code Generator for Explicit Hybrid Systems Languages.

Timothy Bourke, Jean-Louis Colaço, Bruno Pagano, Cédric Pasteur, Marc Pouzet

Proceedings of the Compiler Construction - 24th International Conference, 2015

2014

Reactivity of Cooperative Systems - Application to ReactiveML.

Louis Mandel, Cédric Pasteur

Proceedings of the Static Analysis - 21st International Symposium, 2014

Exécution efficace de programmes ReactiveML.

Louis Mandel, Cédric Pasteur

Proceedings of the 25. Journées francophones des langages applicatifs, 2014

2013

Raffinement temporel et exécution parallèle dans un langage synchrone fonctionnel.

Cédric Pasteur

PhD thesis, 2013

Time refinement in a functional synchronous language.

Louis Mandel, Cédric Pasteur, Marc Pouzet

Proceedings of the 15th International Symposium on Principles and Practice of Declarative Programming, 2013

2012

A modular memory optimization for synchronous data-flow languages: application to arrays in a lustre compiler.

Léonard Gérard, Adrien Guatto, Cédric Pasteur, Marc Pouzet

Proceedings of the SIGPLAN/SIGBED Conference on Languages, 2012

2010

GenoM3: Building middleware-independent robotic components.

Anthony Mallet, Cédric Pasteur, Matthieu Herrb, Séverin Lemaignan, François Felix Ingrand

Proceedings of the IEEE International Conference on Robotics and Automation, 2010