Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
Thu 27 Sep 2018 11:40 - 12:00 at Frisco - Session 3 Chair(s): KC Sivaramakrishnan

The OCaml system enjoys excellent support for a wide variety of hardware systems, and is not hard to port to new platforms, as long as Unix-like OS facilities (notably a libc) are available.

This talk discusses the issues that arise when trying to port instead to a platform without such general purpose OS facilities and tackles the resulting tricky cross-compilation issues. Interfacing directly with the hardware and via a ported MirageOS layer is also discussed, as well as cross-compilation of user libraries and strategies for reducing code size.

Running OCaml in new platforms is always fun, and the technical aspects will be interesting to anyone working in a cross-compilation setting.

Thu 27 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

11:20 - 12:00
Session 3OCaml at Frisco
Chair(s): KC Sivaramakrishnan University of Cambridge
11:20
20m
Talk
The Vecosek Ecosystem
OCaml
Sebastien Mondet Mount Sinai - Hammer Lab
11:40
20m
Talk
OCaml on the ESP32 chip: Well Typed Lightbulbs Await
OCaml
Lucas Pluvinage ENS Paris, Sadiq Jaffer Opsian, Anil Madhavapeddy OCaml Labs