BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Cola=ccedil=o:Jean=Louis

Contributed to:

CC 20152015
ICFP 20092009
LCTES 20092009
LCTES 20082008
PADL 20082008

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.