Travelled to:1 × China
1 × Ireland
1 × USA
Collaborated with:M.Pouzet A.Guatto C.Pasteur P.Caspi J.Colaço P.Raymond B.Zheng W.Li P.Deng Q.Zhu N.Shankar
Talks about:synchron (2) memori (2) lustr (2) transport (1) introduc (1) schedul (1) modular (1) languag (1) system (1) polici (1)
Person: Léonard Gérard
DBLP: G=eacute=rard:L=eacute=onard
Contributed to:
2015
20122009Wrote 3 papers:
- DAC-2015-ZhengLDGZS #design #security #verification
- Design and verification for transportation system security (BZ, WL, PD, LG, QZ, NS), p. 6.
- LCTES-2012-GerardGPP #array #compilation #composition #data flow #memory management #optimisation
- A modular memory optimization for synchronous data-flow languages: application to arrays in a lustre compiler (LG, AG, CP, MP), pp. 51–60.
- LCTES-2009-CaspiCGPR #memory management #policy #scheduling
- Synchronous objects with scheduling policies: introducing safe shared memory in lustre (PC, JLC, LG, MP, PR), pp. 11–20.