OCaml Forge


From OCaml Meeting (deprecated) Wiki

Revision as of 12:31, 29 March 2011 by Gildor-admin (Talk | contribs)
Jump to: navigation, search

Date: Friday 15th April 2011
Location: Telecom ParisTech, Paris, France

This event will take place in Paris. The venue is in Telecom ParisTech (former ENST, the place of the first OCaml Meeting).

The OCaml Meeting is the a place where OCaml enthusiasts can meet and discuss various subjects ranging from webservers to parser/lexer of natural languages in OCaml. Most of the topics focus on practical OCaml subjects (libraries or applications) but broadening the field is allowed.

Register here before 8th April, max number of participants 70



Sylvain Le Gall will arrive early (~08:00). So there should be someone starting at 8AM.

  • 09:00 - 09:30: Participant arrival with coffee
  • 09:30 - 10:30: Foreword by a member of the INRIA's OCaml team
  • 10:30 - 10:45: OCamlCore.org news and projects by Sylvain Le Gall
  • 10:45 - 11:15: Talks
  • 11:15 - 11:30: Break
  • 11:30 - 12:00: Talks
  • 12:00 - 12:30: MirageOS
  • 12:30 - 13:00: Talks
  • 13:00 - 13:05: Meeting photo
  • 13:00 - 14:30: Lunch
  • 14:30 - 15:00: Talks
  • 15:00 - 15:30: Talks
  • 15:30 - 16:00: Talks
  • 16:00 - 16:30: Break
  • 16:30 - 17:00: Talks
  • 17:00 - 17:30: Talks
  • 17:30 - 18:00: Talks
  • 18:00 - 19:00: Demonstration and discussion time


Each talk should take between 20 and 25 minutes, plus 10 to 5 minutes of questions. Feel free to submit your talks directly to the organizer (gildor @nospam@ ocamlcore.org) so that we can discuss it and add it the list below. Before the meeting, you should send a copy of your slides to be linked on this page. The deadline for talks submission is 6th April.

The core Caml system: status report and challenges, by Xavier Leroy

Xavier Leroy, senior research scientist at INRIA Paris-Rocquencourt, leads the development team for the core Caml system.

This talk will briefly review ongoing work on the core Caml system and discuss some medium to long-term challenges, both technical and organizational.

OASIS-DB: a CPAN for OCaml, by Sylvain Le Gall

OASIS-DB is a set of tools and a webserver that helps to manage OASIS enabled softwares and libraries to live together. It uses OASIS data to build a database and to understand the link between each packages. It also provides a backup site for tarball. The webserver is built on top of Ocsigen and Lwt.

This talk will show the architecture of OASIS and OASIS-DB and demonstrate some of its low paperwork publication scheme: upload your tarball to the website and let all others download, compile and install it using only 2 commands.

Sylvain Le Gall is an OCaml consultant working at OCamlCore SARL


js_of_ocaml: Compiling Ocaml bytecode to Javascript
Client server Web programming with Eliom
Using OCaml to generate 198,278 lines of C, by Richard Jones

We use OCaml in the libguestfs project to generate large amounts of boilerplate C code. This short talk (10 mins) will explain what the problem that existing projects such as libvirt suffered from and how we successfully solved it, and what difficulties remain.

MirageOS, by Anil Madhavapeddy
Developping Frama-C Plug-ins in OCaml, by Julien Signoles

Frama-C is an extensible and collaborative platform dedicated to source-code analysis of C software. It is fully developed in OCaml. Any OCaml developer can extend the platform with a new plug-in in order to add new analyzers or functionalities.

This talk will show the Frama-C architecture and main services and how Ocaml is used to implement them. It also explains specificities of Frama-C plug-in development and their raisons d'être.

Jocaml, by Luc Maranget
The eternal Solution for Memoisation: Ephemerons, by François Bobot


The meeting will take place 2011/04/15 from 9am to 6pm at Telecom ParisTech site Barrault.

To go to Telecom ParisTech, you can consult the access page.

You must have an identity document (French ID card, passport). It will be kept at the entrance and returned when you leave.


The meeting is kindly sponsored by the CAML consortium, so the lunch and the coffee breaks are free.

The lunch will take place inside Telecom ParisTech at the cafeteria. A plate with desert and entry will be ready at the Telecom ParisTech cafeteria, you will have to pick the main course in the cafeteria. You will also get a token for coffee.


Telecom ParisTech has had a list of some place where you can book a room:

  • Ibis (**), 177 rue de Tolbiac 75013 Paris, tel. +33(0)
  • Verlaine (**), 51 rue Bobillot 75013 Paris, tel. +33(0)
  • Timhôtel (**), 22 rue Barrault 75013 Paris, tel. +33(0)
  • Saint-Charles (***), 6 rue de l'Espérance 75013 Paris, tel. +33(0)
  • Hotel de la Manufacture (***), 8 rue Philippe de Champagne 75013 Paris

These addresses are from 2006, so they should have changed. It doesn't include breakfast.


During the conference, you can use your laptop and internet through Telecom ParisTech network. In order to do this, you will have two to connect using an ethernet cable. Unfortunately, no wifi connection will be available. Since the number of ethernet plug is limited people are invited to come with some ethernet switches to be able to offer more plugs.

Type E (French) Power plug will also be available, if your laptop doesn't have enough power to stay on battery a whole day. Just as for ethernet plug, people are invited to come with their national adapter for type E power plug and with power strip to be able to offer more plugs.


The list of participants is maintained here and you can register through this link. You need to have a valid login on the OCaml Forge to register.

There is enough room for 70 people in the room booked and the list of participants will be closed on 8th April.

Organization team

Team list:

  • Sylvain Le Gall, main contact
  • Dario Teixeira who has contributed a large part of the registration website
  • If you wish to help, add your name to the list.

We need help for: video (camrecorder), sound (microphone) and general guidance of people during the day (e.g. welcome stand)