logo EDITE Emmanuel CHAILLOUX
Identité
Emmanuel CHAILLOUX
État académique
Thèse soutenue
Titulaire d'une HDR (ou équivalent) 2003-12-19
Laboratoire: personnel permanent
Direction de thèses (depuis 2007)
2.5
Voisinage
Ellipse bleue: doctorant, ellipse jaune: docteur, rectangle vert: permanent, rectangle jaune: HDR. Trait vert: encadrant de thèse, trait bleu: directeur de thèse, pointillé: jury d'évaluation à mi-parcours ou jury de thèse.
Productions scientifiques
oai:hal.archives-ouvertes.fr:hal-00564404
Les microcontrôleurs PIC programmés en Objective Caml
Actes des vingt-deuxièmes Journées Francophones des Langages Applicatifs Vingt-deuxièmes Journées Francophones des Langages Applicatifs (JFLA 2011)proceeding with peer review 2011-01-28
oai:hal.archives-ouvertes.fr:hal-00497131
Non-Intrusive Structural Coverage for Objective Caml
5th Workshop on Bytecode Semantics, Verification, Analysis and Transformation 5th Workshop on Bytecode Semantics, Verification, Analysis and Transformationconference proceeding 2011
oai:hal.archives-ouvertes.fr:hal-00641009
OC4MC: Objective Caml for Multicore Architectures
Objective Caml is a famous dialect of the ML family languages. It is well-known for its performance as a compiled programming language, notably thanks to its incremental generational automatic memory collection. However, for historical reasons, the latter was built for monocore processors. One consequence is the runtime library assumes there is effectively no more than one thread running at a time, which allows many optimisations for monocore architectures: very few thread mutexes are sufficient to prevent more than a single thread to run at a time. This makes memory allocation and collection quite easier. The way it was built makes it not possible to take advantage of now widespread multicore CPU architectures. This paper presents our feedback on removing Objective Caml's garbage collector and designing a "Stop-The-World Stop&Copy" garbage collector to permit threads to take advantage of multicore architectures.
Draft Proceedings of the 21st Symposium on Implementation and Application of Functional Languages. 21st Symposium on Implementation and Application of Functional Languagesconference proceeding 2009-09-23
oai:hal.archives-ouvertes.fr:hal-00396371
Experience Report: Using Objective Caml to develop safety-critical embedded tool in a certificaiton framework
International Conference of Functional Programming ICFP 09 International Conference of Functional Programming ICFP 09conference proceeding 2009-09