Léonard Gérard

Publication Activity (10 Years)

Years Active: 2009-2015
Publications (10 Years): 2

Top Topics

Database Machine

High Level Language

Functional Verification

Geographically Distributed

Top Venues

University of Paris-Sud, Orsay, France (PHD)

Education History

University of Paris-Sud, Orsay, France

PHD

Publications

Bowen Zheng, Wenchao Li, Peng Deng, Léonard Gérard, Qi Zhu, Natarajan Shankar
Design and verification for transportation system security. DAC (2015)
Wenchao Li, Léonard Gérard, Natarajan Shankar
Design and verification of multi-rate distributed systems. MEMOCODE (2015)
Albert Cohen, Léonard Gérard, Marc Pouzet
Programming parallelism with futures in lustre. EMSOFT (2012)
Léonard Gérard, Adrien Guatto, Cédric Pasteur, Marc Pouzet
A modular memory optimization for synchronous data-flow languages: application to arrays in a lustre compiler. LCTES (2012)
Paul Caspi, Jean-Louis Colaço, Léonard Gérard, Marc Pouzet, Pascal Raymond
Synchronous objects with scheduling policies: introducing safe shared memory in lustre. LCTES (2009)