返回会议

OCaml 研讨会 2023

美国华盛顿州西雅图

2023-09-09

OCaml 研讨会 2023 在美国华盛顿州西雅图举办的 ICFP 2023 期间举行。

ACM Sigplan ICFP 页面：OCaml 研讨会 2023

OCaml 用户和开发者研讨会汇集了 OCaml 社区，包括行业、学术界、爱好者和自由软件社区的 OCaml 用户。

2023 年 6 月 1 日

摘要提交截止日期

2023 年 7 月 6 日

作者通知

2023 年 9 月 9 日

OCaml 研讨会

演示文稿 (16)

面向 OCaml 用户和开发者的 Buck2

作者：Shayne Fletcher, Neil Mitchell

细节

为 OCaml 构建一个无锁 STM

作者：Vesa Karvonen, Bartosz Modelski, Carine Morel, Thomas Leonard, KC Sivaramakrishnan, YSS Narasimha Naidu, Sudha Parimala

细节

使用 Flambda 2 进行高效的 OCaml 编译

作者：Pierre Chambart, Vincent LAVIRON, Mark Shinwell

细节

Eio 1.0 - 面向 OCaml 5 的基于效果的 I/O

作者：Thomas Leonard, Patrick Ferris, Christiano Haesbaert, Lucas Pluvinage, Vesa Karvonen, Sudha Parimala, KC Sivaramakrishnan, Vincent Balat, Anil Madhavapeddy

细节

Flambda 2 类型：用于功能程序静态分析的抽象域

作者：Vincent LAVIRON, Pierre Chambart, Mark Shinwell

细节

更少的权力，更多学习：限制 OCaml 特性以有效教学

作者：Max Lang, Nico Petzendorfer

细节

MetaOCaml 理论与实现

作者：Oleg Kiselyov

细节

OCaml 中的现代 DSL 编译器架构 我们使用 Catala 的经验

作者：Louis Gesbert, Denis Merigoux

细节

Osiris：面向 OCaml 的基于 Iris 的程序逻辑

作者：Arnaud Daby-Seesaram, François Pottier, Armaël Guéneau

细节

Owi：用 OCaml 编写的 WebAssembly 解释器和工具包

作者：Léo Andrès, Pierre Chambart, Eric Patrizio, Dario Pinto

细节

多核 OCaml 中的并行序列

作者：Andrew Tao

细节

使用 ThreadSanitizer 在 OCaml 中运行时检测数据竞争

作者：Olivier Nicole, Fabrice Buoro

细节

使用 MacoCaml 安全高效地实现泛型函数

作者：Dmitrij Szamozvancev, Leo White, Ningning Xie, Jeremy Yallop

细节

2023 年 OCaml 平台现状

作者：Thibaut Mattio, Anil Madhavapeddy, Thomas Gazagnaire, David Allsopp

细节

面向 OCaml C 存根的目标静态分析：消除代码中的错误

作者：Edwin Török

细节

Wasocaml：从 OCaml 到 WebAssembly 的编译器

作者：Léo Andrès, Pierre Chambart

细节

会议详情

程序委员会

  • •Kenichi Asai(お茶の水女子大学)

  • •Jonah Beckford(Diskuv)

  • •Raja Boujbel(OCamlPro)

  • •Chris Casinghino(Jane Street)

  • •Nathanaëlle Courant(OCamlPro)

  • •Jacques Garrigue(名古屋大学)

  • •Kiran Gopinathan(新加坡国立大学)

  • •Oleg Kiselyov(东北大学)

  • •Andrey Mokhov(Jane Street)

  • •Benoît Montagu(Inria)

  • •Sudha Parimala(Tarides)

  • •Matija Pretnar(斯洛文尼亚卢布尔雅那大学)

  • •Jonathan Protzenko(微软研究院，雷德蒙德)

  • •Claude Rubinson(休斯顿大学城分校)

  • •Gabriel Scherer(INRIA Saclay)