|
| 1 | +--- |
| 2 | +title: OCaml Workshop 2024 |
| 3 | +date: 2024-09-07 |
| 4 | +location: Milan, Italy |
| 5 | +important_dates: |
| 6 | + - date: 2024-05-30 |
| 7 | + info: Abstract submission deadline |
| 8 | + - date: 2024-07-04 |
| 9 | + info: Author notification |
| 10 | + - date: 2024-09-07 |
| 11 | + info: OCaml Workshop |
| 12 | +presentations: |
| 13 | + - title: "A Non-allocating Option" |
| 14 | + authors: |
| 15 | + - Richard A. Eisenberg |
| 16 | + link: "https://icfp24.sigplan.org/details/ocaml-2024-papers/8/A-Non-allocating-Option" |
| 17 | + youtube_video: https://www.youtube.com/watch?v=9R9RFvjXMCU&list=PLKO_ZowsIOu52jtALkYCvu_PnUTq0iBP_&index=6 |
| 18 | + - title: "B · o · B, a universal & secure file-transfer software in OCaml" |
| 19 | + authors: |
| 20 | + - Romain Calascibetta |
| 21 | + link: "https://icfp24.sigplan.org/details/ocaml-2024-papers/2/B-o-B-a-universal-secure-file-transfer-software-in-OCaml" |
| 22 | + youtube_video: https://www.youtube.com/watch?v=COmi9e7wHtI&list=PLKO_ZowsIOu52jtALkYCvu_PnUTq0iBP_&index=3 |
| 23 | + - title: "ChorCaml: Functional Choreographic Programming in OCaml" |
| 24 | + authors: |
| 25 | + - Rokas Urbonas |
| 26 | + link: "https://icfp24.sigplan.org/details/ocaml-2024-papers/13/ChorCaml-Functional-Choreographic-Programming-in-OCaml" |
| 27 | + youtube_video: https://www.youtube.com/watch?v=KEkmcXVtFi0&list=PLKO_ZowsIOu52jtALkYCvu_PnUTq0iBP_&index=9 |
| 28 | + - title: "Distributed Actors in OCaml" |
| 29 | + authors: |
| 30 | + - Wenke DU |
| 31 | + - Gabriel Radanne |
| 32 | + - Ludovic Henrio |
| 33 | + link: "https://icfp24.sigplan.org/details/ocaml-2024-papers/9/Distributed-Actors-in-OCaml" |
| 34 | + youtube_video: https://www.youtube.com/watch?v=FbsYIA38eng&list=PLKO_ZowsIOu52jtALkYCvu_PnUTq0iBP_&index=4 |
| 35 | + - title: "First-Class Windows: Building a Roadmap for OCaml on Windows" |
| 36 | + authors: |
| 37 | + - Sudha Parimala |
| 38 | + - Benjamin Canou |
| 39 | + - Pierre Boutillier |
| 40 | + - David Allsopp |
| 41 | + link: "https://icfp24.sigplan.org/details/ocaml-2024-papers/14/First-Class-Windows-Building-a-Roadmap-for-OCaml-on-Windows" |
| 42 | + youtube_video: https://www.youtube.com/watch?v=wjb63CS7fdE&list=PLKO_ZowsIOu52jtALkYCvu_PnUTq0iBP_&index=10 |
| 43 | + - title: "Flambda2 Validator" |
| 44 | + authors: |
| 45 | + - Irene Yoon |
| 46 | + - Chris Casinghino |
| 47 | + link: "https://icfp24.sigplan.org/details/ocaml-2024-papers/6/Flambda2-Validator" |
| 48 | + youtube_video: https://www.youtube.com/watch?v=phon73Ku-nM&list=PLKO_ZowsIOu52jtALkYCvu_PnUTq0iBP_&index=15 |
| 49 | + - title: "Mica: Automated Differential Testing for OCaml Modules" |
| 50 | + authors: |
| 51 | + - Ernest Ng |
| 52 | + - Harrison Goldstein |
| 53 | + - Benjamin C. Pierce |
| 54 | + link: "https://icfp24.sigplan.org/details/ocaml-2024-papers/4/Mica-Automated-Differential-Testing-for-OCaml-Modules" |
| 55 | + youtube_video: https://www.youtube.com/watch?v=dQFjZI19Jd8&list=PLKO_ZowsIOu52jtALkYCvu_PnUTq0iBP_&index=11 |
| 56 | + - title: "Mixed Blocks: Storing More Fields Flat" |
| 57 | + authors: |
| 58 | + - Nicholas Roberts |
| 59 | + link: "https://icfp24.sigplan.org/details/ocaml-2024-papers/7/Mixed-Blocks-Storing-More-Fields-Flat" |
| 60 | + youtube_video: https://www.youtube.com/watch?v=cnNe83QbZHU&list=PLKO_ZowsIOu52jtALkYCvu_PnUTq0iBP_&index=16 |
| 61 | + - title: "On the design and implementation of Modular Explicits" |
| 62 | + authors: |
| 63 | + - Samuel Vivien |
| 64 | + - Didier Rémy |
| 65 | + link: "https://icfp24.sigplan.org/details/ocaml-2024-papers/1/On-the-design-and-implementation-of-Modular-Explicits" |
| 66 | + youtube_video: https://www.youtube.com/watch?v=5AccIR_TP1A&list=PLKO_ZowsIOu52jtALkYCvu_PnUTq0iBP_&index=1 |
| 67 | + - title: "Opam 2.2 and beyond" |
| 68 | + authors: |
| 69 | + - Raja Boujbel |
| 70 | + - Kate Deplaix |
| 71 | + - David Allsopp |
| 72 | + link: "https://icfp24.sigplan.org/details/ocaml-2024-papers/10/Opam-2-2-and-beyond" |
| 73 | + youtube_video: https://www.youtube.com/watch?v=vpASgFrwKEE&list=PLKO_ZowsIOu52jtALkYCvu_PnUTq0iBP_&index=12 |
| 74 | + - title: "Picos — Interoperable effects based concurrency" |
| 75 | + authors: |
| 76 | + - Vesa Karvonen |
| 77 | + link: "https://icfp24.sigplan.org/details/ocaml-2024-papers/5/Picos-Interoperable-effects-based-concurrency" |
| 78 | + youtube_video: https://www.youtube.com/watch?v=iVpsVqd6eNE&list=PLKO_ZowsIOu52jtALkYCvu_PnUTq0iBP_&index=7 |
| 79 | + - title: "Priodomainslib: Prioritized Fine-grained Parallelism for Multicore OCaml" |
| 80 | + authors: |
| 81 | + - Stefan K. Muller |
| 82 | + link: "https://icfp24.sigplan.org/details/ocaml-2024-papers/15/Priodomainslib-Prioritized-Fine-grained-Parallelism-for-Multicore-OCaml" |
| 83 | + youtube_video: https://www.youtube.com/watch?v=7yYC6EGYg10&list=PLKO_ZowsIOu52jtALkYCvu_PnUTq0iBP_&index=8 |
| 84 | + - title: "Project-wide occurrences for OCaml, a progress report" |
| 85 | + authors: |
| 86 | + - Ulysse Gérard |
| 87 | + link: "https://icfp24.sigplan.org/details/ocaml-2024-papers/3/Project-wide-occurrences-for-OCaml-a-progress-report" |
| 88 | + youtube_video: https://www.youtube.com/watch?v=QxW1tDB88aY&list=PLKO_ZowsIOu52jtALkYCvu_PnUTq0iBP_&index=13 |
| 89 | + - title: "Recursion schemes in OCaml: An experience report" |
| 90 | + authors: |
| 91 | + - Tim Williams |
| 92 | + link: "https://icfp24.sigplan.org/details/ocaml-2024-papers/11/Recursion-schemes-in-OCaml-An-experience-report" |
| 93 | + youtube_video: https://www.youtube.com/watch?v=AWH3DTDyAII&list=PLKO_ZowsIOu52jtALkYCvu_PnUTq0iBP_&index=2 |
| 94 | + - title: "Saturn: a library of verified concurrent data structures for OCaml 5" |
| 95 | + authors: |
| 96 | + - Clément Allain |
| 97 | + - Vesa Karvonen |
| 98 | + - Carine Morel |
| 99 | + link: "https://icfp24.sigplan.org/details/ocaml-2024-papers/12/Saturn-a-library-of-verified-concurrent-data-structures-for-OCaml-5" |
| 100 | + youtube_video: https://www.youtube.com/watch?v=vanyv3ZEto8&list=PLKO_ZowsIOu52jtALkYCvu_PnUTq0iBP_&index=5 |
| 101 | + - title: "Structured diagnostics for the OCaml compiler" |
| 102 | + authors: |
| 103 | + - Florian Angeletti |
| 104 | + link: "https://icfp24.sigplan.org/details/ocaml-2024-papers/16/Structured-diagnostics-for-the-OCaml-compiler" |
| 105 | + youtube_video: https://www.youtube.com/watch?v=tjPgg7hXodE&list=PLKO_ZowsIOu52jtALkYCvu_PnUTq0iBP_&index=14 |
| 106 | +organising_committee: [] |
| 107 | +program_committee: |
| 108 | + - name: Armaël Guéneau |
| 109 | + affiliation: Inria Saclay - LMF |
| 110 | + role: co-chair |
| 111 | + - name: Sonja Heinze |
| 112 | + affiliation: Tarides |
| 113 | + role: co-chair |
| 114 | + - name: Abigael Decorne |
| 115 | + - name: Antonio Monteiro |
| 116 | + - name: Carine Morel |
| 117 | + affiliation: Tarides |
| 118 | + - name: Enrico Tassi |
| 119 | + affiliation: INRIA |
| 120 | + - name: Hugo Heuzard |
| 121 | + - name: Kate Deplaix |
| 122 | + affiliation: Consultant for the OCaml Software Foundation and Ahrefs |
| 123 | + - name: Marcello Seri |
| 124 | + affiliation: Bernoulli Institute for Mathematics, Computer Science and Artificial Intelligence, University of Groningen |
| 125 | + - name: Milla Valnet |
| 126 | + affiliation: Sorbonne Université |
| 127 | + - name: Ningning Xie |
| 128 | + affiliation: University of Toronto; Google DeepMind |
| 129 | + - name: Richard A. Eisenberg |
| 130 | + affiliation: Jane Street |
| 131 | + - name: Robert Blanco |
| 132 | + affiliation: Max Planck Institute for Security and Privacy (MPI-SP) |
| 133 | + - name: Simmo Saan |
| 134 | + affiliation: University of Tartu, Estonia |
| 135 | + - name: Takafumi Saikawa |
| 136 | + affiliation: Nagoya University |
| 137 | + - name: Troels Henriksen |
| 138 | + affiliation: University of Copenhagen |
| 139 | +--- |
| 140 | + |
| 141 | +OCaml Workshop 2024 took place during ICFP 2024, in Milan, Italy. |
| 142 | + |
| 143 | +ACM Sigplan ICFP page: [OCaml Workshop 2024](https://icfp24.sigplan.org/home/ocaml-2024) |
| 144 | + |
| 145 | +The OCaml Users and Developers Workshop brings together the OCaml community, including users of OCaml in industry, academia, hobbyists, and the free software community. |
| 146 | + |
| 147 | +Video recordings can be found on the [@OCamlWorkshops YouTube Channel](https://www.youtube.com/@OCamlWorkshops). |
| 148 | + |
0 commit comments