Travelled to:1 × Ireland
2 × USA
2 × United Kingdom
Collaborated with:M.Pouzet B.Pagano O.Andrieu T.Moniot B.Canou E.Chailloux P.Wang D.Biernacki G.Hamon T.Bourke C.Pasteur P.Caspi L.Gérard P.Raymond P.Manoury
Talks about:synchron (3) object (3) languag (2) generat (2) develop (2) tool (2) code (2) caml (2) implement (1) framework (1)
Person: Jean-Louis Colaço
DBLP: Cola=ccedil=o:Jean=Louis
Contributed to:
2015
2009
20092008
2008Wrote 5 papers:
- CC-2015-BourkeCPPP #code generation #hybrid
- A Synchronous-Based Code Generator for Explicit Hybrid Systems Languages (TB, JLC, BP, CP, MP), pp. 69–88.
- ICFP-2009-PaganoAMCCWMC #case study #certification #embedded #experience #framework #ml #safety #tool support #using
- Experience report: using objective caml to develop safety-critical embedded tools in a certification framework (BP, OA, TM, BC, EC, PW, PM, JLC), pp. 215–220.
- 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.
- LCTES-2008-BiernackiCHP #code generation #composition #data flow
- Clock-directed modular code generation for synchronous data-flow languages (DB, JLC, GH, MP), pp. 121–130.
- PADL-2008-PaganoACCCMW #development #implementation #ml #tool support
- Certified Development Tools Implementation in Objective Caml (BP, OA, BC, EC, JLC, TM, PW), pp. 2–17.