Search - Archive ouverte HAL Access content directly

Filter your results

62 Results

Hirondml: Fair Threads Migrations for Objective Caml

Emmanuel Chailloux , Vivien Ravet , Julien Verlaguet
Parallel Processing Letters, 2008, 18 (1), pp.55-69. ⟨10.1142/S0129626408003223⟩
Journal articles hal-00522883v1

Couverture de code Caml pour la réalisation d'outils de développement certifiés

Bruno Pagano , Benjamin Canou , Emmanuel Chailloux , Jean-Louis Colaço , Philippe Wang
Journées Francophones des Langages Applicatifs (JFLA 2007), Jan 2007, Aix-les-Bains, France. pp.71-86
Conference papers hal-00154883v1

A portable Implementation for Objective Caml Flight

Emmanuel Chailloux , Christian Foisy
Second Workshop on High-Level Parallel Programming and Applications, Jun 2003, France
Conference papers hal-00154884v1

Typer la désérialisation sans sérialiser les types

Grégoire Henry , Michel Mauny , Emmanuel Chailloux
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2007, 26 (9), pp.1067-1090
Journal articles hal-00275358v1

Typing Unmarshalling without Marshalling Types

Grégoire Henry , Michel Mauny , Emmanuel Chailloux , Pascal Manoury
International Conference on Functional Programming, Sep 2012, Copenhagen, Denmark. pp.287-298, ⟨10.1145/2364527.2364569⟩
Conference papers hal-01282253v1
Image document

Concurrent Programming of Microcontrollers, a Virtual Machine Approach

Steven Varoumas , Benoît Vaugon , Emmanuel Chailloux
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France. pp.711-720
Conference papers hal-01292266v1

La programmation de microcontrôleurs dans des langages de haut niveau - Cours invité

Steven Varoumas , Benoît Vaugon , Emmanuel Chailloux
JFLA 2018 - Journées Francophones des Langages Applicatifs , Jan 2018, BANYULS, France
Conference papers hal-01762414v1
Image document

Macle : un langage dédié à l'accélération de programmes OCaml sur circuits FPGA

Loïc Sylvestre , Jocelyn Sérot , Emmanuel Chailloux
33èmes Journées Francophones des Langages Applicatifs, Jun 2022, Saint-Médard-d'Excideuil, France. pp.93-109
Conference papers hal-03626795v1

Efficient Abstractions for GPGPU Programming

Mathias Bourgoin , Emmanuel Chailloux , Jean-Luc Lamotte
International Journal of Parallel Programming, 2014, 42 (4), pp.583-600. ⟨10.1007/s10766-013-0261-x⟩
Journal articles hal-01146170v1

Certification de l’assemblage de composants dans le développement de logiciels critiques

Pascal Manoury , Philippe Baufreton , Jean-Louis Dufour , Etienne Prun , Emmanuel Chailloux , et al.
Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'14), Jun 2014, Paris, France. pp.109-114
Conference papers hal-01215641v1

Static Typing and JavaScript Libraries: Towards a More Considerate Relationship

Benjamin Canou , Emmanuel Chailloux , Vincent Botbol
International World Wide Web Conference, dev track, May 2013, Rio de Janeiro, Brazil. pp.15-17
Conference papers hal-01216057v1

Non-Intrusive Structural Coverage for Objective Caml

Philippe Wang , Adrien Jonquet , Emmanuel Chailloux
5th Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Mar 2010, Paphos, Cyprus. pp.59--73, ⟨10.1016/j.entcs.2011.02.006⟩
Conference papers hal-00497131v1

OCaml sur circuit FPGA

Jocelyn Sérot , Emmanuel Chailloux
JFLA 2021 - 32 èmes Journées Francophones des Langages Applicatifs, Apr 2021, en ligne, France
Conference papers hal-03437059v1

Experiments with Spoc

Mathias Bourgoin , Emmanuel Chailloux , Jean-Luc Lamotte
Workshop OpenGPU, HIPEAC 2012, Jan 2012, Paris, France
Conference papers hal-01282257v1

SPOC : GPGPU programming through Stream Processing with OCaml

Mathias Bourgoin , Emmanuel Chailloux , Jean-Luc Lamotte
HLPGPU2012 workshop, Jan 2012, Paris, France. pp.1-8
Conference papers hal-01273213v1

Profiling High Level Heterogeneous Programs

Mathias Bourgoin , Emmanuel Chailloux , Anastasios Doumoulakis
Tenth International Workshop on Programmability and Architectures for Heterogeneous Multicores (MULTIPROG 2017), Jan 2017, Stockholm, Sweden
Conference papers hal-01468891v1

O'Jacare : une interface objet entre Objective Caml et Java

Emmanuel Chailloux , Grégoire Henry
Revue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, 2004, 10 (2-3), pp.75-88
Journal articles hal-00145247v1

Efficient Abstractions for GPGPU Programming

Mathias Bourgoin , Emmanuel Chailloux , Jean-Luc Lamotte
International Symposium on High-level Parallel Programming and Applications, Jul 2013, Paris, France
Conference papers hal-01216144v1

OC4MC: Objective Caml for Multicore Architectures

Mathias Bourgoin , Benjamin Canou , Emmanuel Chailloux , Adrien Jonquet , Philippe Wang
21st Symposium on Implementation and Application of Functional Languages, Sep 2009, South Orange, United States. pp.24-41
Conference papers hal-00641009v1
Image document

A Generic Virtual Machine Approach for Programming Microcontrollers: the OMicroB Project

Steven Varoumas , Benoît Vaugon , Emmanuel Chailloux
9th European Congress on Embedded Real Time Software and Systems (ERTS 2018), Jan 2018, Toulouse, France
Conference papers hal-01705825v1

High Level Data Structures for GPGPU Programming in a Statically Typed Language

Mathias Bourgoin , Emmanuel Chailloux , Jean-Luc Lamotte
International Journal of Parallel Programming, 2016, ⟨10.1007/s10766-016-0424-7⟩
Journal articles hal-01320488v1
Image document

Memory Consumption Analysis for a Functional and Imperative Language

Jérémie Salvucci , Emmanuel Chailloux
RAC 2016 - Resource Aware Computing, Apr 2016, Eindhoven, Netherlands. pp.27 - 46, ⟨10.1016/j.entcs.2016.12.013⟩
Conference papers hal-01420298v1
Image document

Analyse de Bytecode par Raffinement

Boubacar Demba Sall , Frédéric Peschanski , Emmanuel Chailloux
Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'2017), Jun 2017, Montpellier, France
Conference papers hal-01558732v1

A declarative-friendly API for Web document manipulation

Benjamin Canou , Emmanuel Chailloux , Vincent Balat
International Symposium on Practical Aspects of Declarative Languages (PADL 2013), Jan 2013, Rome, Italy. pp.109-124, ⟨10.1007/978-3-642-45284-0_8⟩
Conference papers istex hal-00826790v1

O’Jacaré : un pont entre OCaml et Java

Béatrice Carré , Grégoire Henry , Xavier Clerc , Emmanuel Chailloux
4ème Conférence en IngénieriE du Logiciel, Jun 2015, Bordeaux, France
Conference papers hal-01213292v1
Image document

Retour d'expérience : portage d'une application haute-performance vers un langage de haut niveau

Mathias Bourgoin , Emmanuel Chailloux , Jean-Luc Lamotte
Compas'13, Jan 2013, Grenoble, France. pp.8
Conference papers hal-00838345v1

Certified development tools implementation in objective caml.

Bruno Pagano , Olivier Andrieu , Benjamin Canou , Emmanuel Chailloux , Jean-Louis Colaço , et al.
International Symposium on Practical Aspects of Declarative Languages PADL 08, Jan 2008, San Francisco, United States. pp.1--15
Conference papers hal-00319700v1

Interopérabilité avec Objective Caml

Emmanuel Chailloux , Grégoire Henry , Raphaël Montelatici
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2004, 24 (9), pp.1055-1080
Journal articles hal-00145249v1
Image document

SPOC: GPGPU PROGRAMMING THROUGH STREAM PROCESSING WITH OCAML

Mathias Bourgoin , Emmanuel Chailloux , Jean-Luc Lamotte
Parallel Processing Letters, 2012, 22 (2), pp.1240007. ⟨10.1142/S0129626412400075⟩
Journal articles hal-00697257v1

Synchronous Web Programming,

Rémy El Sibaïe , Emmanuel Chailloux
International Workshop on Reactive and Event-Based Languages and Systems (REBLS), Oct 2016, Amsterdam, Netherlands. ⟨10.1145/3001929.3001931⟩
Conference papers hal-01468888v1