Léonard Gérard

According to our database, Léonard Gérard authored at least 6 papers between 2009 and 2015.

Collaborative distances:

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

2015

Design and verification of multi-rate distributed systems.

Wenchao Li, Léonard Gérard, Natarajan Shankar

Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015

Design and verification for transportation system security.

Bowen Zheng, Wenchao Li, Peng Deng, Léonard Gérard, Qi Zhu, Natarajan Shankar

Proceedings of the 52nd Annual Design Automation Conference, 2015

2013

Programmer le paralle'lisme avec des futures en Heptagon un langage synchrone flot de donne'es et e'tude des re'seaux de Kahn en vue d'une compilation synchrone. (Programming parallelism with futures in Heptagon a synchronous functional language, and, study of Kahn networks aiming synchronous compilation).

Léonard Gérard

PhD thesis, 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

Programming parallelism with futures in lustre.

Albert Cohen, Léonard Gérard, Marc Pouzet

Proceedings of the 12th International Conference on Embedded Software, 2012

2009

Synchronous objects with scheduling policies: introducing safe shared memory in lustre.

Paul Caspi, Jean-Louis Colaço, Léonard Gérard, Marc Pouzet, Pascal Raymond

Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, 2009