ICFP 2022
Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia

The OCaml Users and Developers Workshop brings together industrial users of OCaml with academics and hackers who are working on extending the language, type system, and tools. Previous editions have been co-located with ICFP 2012 in Copenhagen, ICFP 2013 in Boston, ICFP 2014 in Gothenburg, ICFP 2015 in Vancouver, ICFP 2016 in Nara, ICFP 2017 in Oxford, ICFP 2018 in St Louis, ICFP 2019 in Berlin, and was virtual for ICFP 2020 and ICFP 2021.

OCaml 2022 will be again an in-person event, co-located with ICFP 2022 in Ljubljana. Talks will be streamed in real-time, and virtual participants will be able to chat and ask questions, but not to speak due to technical difficulties.

Plenary
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Fri 16 Sep

Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

08:00 - 09:00
RegistrationCatering & social at Foyer 2
08:00
60m
Registration
Registration
Catering & social

09:00 - 10:30
OCaml 5.0OCaml at M1
Chair(s): Matija Pretnar University of Ljubljana, Slovenia
09:00
50m
Keynote
OCaml 5.0 - Concurrent and Parallel programming for OCaml
OCaml
KC Sivaramakrishnan IIT Madras and Tarides
Media Attached
09:50
20m
Talk
Multicoretests - Parallel Testing Libraries for OCaml 5.0
OCaml
Jan Midtgaard Tarides, Olivier Nicole Tarides, Nicolas Osborne Tarides
10:10
20m
Talk
Composing Schedulers using Effect Handlers
OCaml
Deepali Ande IIT Madras, KC Sivaramakrishnan IIT Madras and Tarides
Pre-print
10:30 - 11:00
Coffee breakCatering & social at Foyer 2
10:30
30m
Coffee break
Coffee break
Catering & social

12:30 - 14:00
OCaml Industry LunchCatering & social at E2
12:30
90m
Social Event
OCaml Industry Lunch
Catering & social

12:30 - 14:00
12:30
90m
Lunch
Lunch
Catering & social

14:00 - 15:30
ToolsOCaml at Štih
Chair(s): KC Sivaramakrishnan IIT Madras and Tarides
14:00
20m
Talk
Homogeneous builds with OBuilder and OCaml
OCaml
Tim McGilchrist Tarides, David Allsopp Tarides UK, Patrick Ferris Tarides, Antonin Décimo Tarides, Thomas Leonard Tarides UK, Anil Madhavapeddy University of Cambridge, UK, Kate Deplaix Tarides UK
Pre-print Media Attached
14:20
20m
Talk
Tracing OCaml Programs
OCaml
Darius Foo , Wei-Ngan Chin National University of Singapore
Pre-print Media Attached
14:50
20m
Talk
Supporting a decade of opam
OCaml
David Allsopp Tarides UK, Raja Boujbel OCamlPro, Kate Deplaix Tarides UK, Louis Gesbert OCamlPro
15:10
20m
Talk
Copying opam switches – it should Just Work™
OCaml
David Allsopp Tarides UK
15:30 - 16:00
Coffee breakCatering & social at Foyer 2
15:30
30m
Coffee break
Coffee break
Catering & social

16:00 - 17:30
Applications & TeachingOCaml at Štih
Chair(s): Benoît Montagu Inria
16:00
20m
Talk
Highest-performance Stream Processing
OCaml
Oleg Kiselyov Tohoku University, Japan, Tomoaki Kobayashi Tohoku University, Aggelos Biboudis Oracle, Nick Palladinos Nessos Information Technologies, SA
Pre-print
16:20
20m
Talk
Introducing the Bindoj library, a datatype-centric generative programming library for real-world programming in OCaml
OCaml
Haochen M. Kotoi-Xie Kotoi-Xie Consultancy, Inc., Hirotetsu Hongo Kotoi-Xie Consultancy, Inc., Yuta Sato Kotoi-Xie Consultancy, Inc., Shinya Yamaguchi Kotoi-Xie Consultancy, Inc.
File Attached
16:50
20m
Talk
Supporting FLAT concepts in Learn-OCaml: seeing is believing, programming is understanding
OCaml
Artur Miguel Dias NOVA University of Lisbon and NOVA LINCS, Simão Melo de Sousa Universidade da Beira Interior and NOVA LINCS, Antonio Ravara NOVA LINCS & FCT, NOVA University of Lisbon
Pre-print
17:10
20m
Talk
OCamello: A Course and Summer School with Learn-OCaml
OCaml
Roberto Blanco Max Planck Institute for Security and Privacy (MPI-SP), Ricardo J. Rodríguez University of Zaragoza
File Attached

Accepted Presentations

Title
Composing Schedulers using Effect Handlers
OCaml
Pre-print
Continuous Monitoring of OCaml Applications using Runtime EventsVirtual
OCaml
Pre-print
Copying opam switches – it should Just Work™
OCaml
Efficient “out of heap” pointers for multicore OCaml
OCaml
Pre-print
Highest-performance Stream Processing
OCaml
Pre-print
Homogeneous builds with OBuilder and OCaml
OCaml
Pre-print Media Attached
Introducing the Bindoj library, a datatype-centric generative programming library for real-world programming in OCaml
OCaml
File Attached
Memo: an incremental computation library that powers Dune
OCaml
File Attached
Multicoretests - Parallel Testing Libraries for OCaml 5.0
OCaml
OCamello: A Course and Summer School with Learn-OCaml
OCaml
File Attached
OCaml 5.0 - Concurrent and Parallel programming for OCaml
OCaml
Media Attached
Stack allocation for OCaml
OCaml
Pre-print
Supporting a decade of opam
OCaml
Supporting FLAT concepts in Learn-OCaml: seeing is believing, programming is understanding
OCaml
Pre-print
Tracing OCaml Programs
OCaml
Pre-print Media Attached

Call for Presentations

Scope

Presentations and discussions focus on the OCaml programming language and its community. We aim to solicit talks on all aspects related to improving the use or development of the language and its programming environment, including, for example (but not limited to):

  • compiler developments, new backends, runtime and architectures
  • practical type system improvements, such as GADTs, first-class modules, generic programming, or dependent types
  • new library or application releases, and their design rationales
  • tools and infrastructure services, and their enhancements
  • prominent industrial or experimental uses of OCaml, or deployments in unusual situations.

Presentations

The workshop is an informal meeting with no formal proceedings. The presentation material will be available online from the workshop homepage. The presentations may be recorded and made available at a later date.

The main presentation format is a workshop talk, traditionally around 20 minutes in length, plus question time, but we also have a poster session during the workshop – this allows to present more diverse work, and gives time for discussion. The program committee will decide which presentations should be delivered as posters or talks.

Submission

To submit a presentation, please register a description of the talk (about 2 pages long) at https://ocaml2022.hotcrp.com/ providing a clear statement of what will be provided by the presentation: the problems that are addressed, the solutions or methods that are proposed.

LaTeX-produced PDFs are a common and welcome submission format. For accessibility purposes, we ask PDF submitters to also provide the sources of their submission in a textual format, such as .tex sources. Reviewers may read either the submitted PDF or the text version.

Important dates

  • Wednesday 1st June (any time zone): Abstract submission deadline
  • Friday 15th July: Author notification
  • Friday 16th September: OCaml Workshop

ML family workshop

The ML family workshop, held on the previous day, deals with general issues of the ML-style programming and type systems, focuses on more research-oriented work that is less specific to a language in particular. There is an overlap between the two workshops, and we have occasionally transferred presentations from one to the other in the past. Authors who feel their submission fits both workshops are encouraged to mention it at submission time and/or contact the Program Chairs.

Questions? Use the OCaml contact form.