返回会议列表

2022 年 OCaml 研讨会

斯洛文尼亚,卢布尔雅那

2022-09-16

2022 年 OCaml 研讨会于 ICFP 2022 期间在斯洛文尼亚卢布尔雅那举行。

ACM Sigplan ICFP 页面:2022 年 OCaml 研讨会

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

录像将在 Sigplan YouTube 频道Watch OCaml 上提供。

2022 年 6 月 3 日

摘要提交截止日期

2022 年 7 月 15 日

作者通知

2022 年 9 月 16 日

OCaml 研讨会

演示文稿 (15)

使用效果处理器组合调度器

作者:Deepali Ande, KC Sivaramakrishnan

使用运行时事件持续监控 OCaml 应用程序

作者:Sadiq Jaffer, Patrick Ferris

...

复制 opam 交换机 - 它应该可以正常工作™

作者:David Allsopp

用于多核 OCaml 的高效“堆外”指针

作者:Guillaume Munch-Maccagnoni

...

最高性能的流处理

作者:Oleg Kiselyov, Tomoaki Kobayashi, Aggelos Biboudis, Nick Palladinos

使用 OBuilder 和 OCaml 进行同构构建

作者:Tim McGilchrist, David Allsopp, Patrick Ferris, Antonin Décimo, Thomas Leonard, Anil Madhavapeddy, Kate Deplaix

介绍 Bindoj 库,一个以数据类型为中心的生成式编程库,用于 OCaml 中的实际编程

作者:Haochen M. Kotoi-Xie, Hirotetsu Hongo, Yuta Sato, Shinya Yamaguchi

Memo:为 Dune 提供支持的增量计算库

作者:Andrey Mokhov, Arseniy Alekseyev

Multicoretests - OCaml 5.0 的并行测试库

作者:Jan Midtgaard, Olivier Nicole, Nicolas Osborne

OCamello:使用 Learn-OCaml 的课程和暑期学校

作者:Roberto Blanco, Ricardo J. Rodríguez

OCaml 5.0 - OCaml 的并发和并行编程

作者:KC Sivaramakrishnan

OCaml 的堆栈分配

作者:Stephen Dolan, Leo White

支持 Opam 十年

作者:David Allsopp, Raja Boujbel, Kate Deplaix, Louis Gesbert

在 Learn-OCaml 中支持 FLAT 概念:眼见为实;编程即理解

作者:Artur Miguel Dias, Simão Melo de Sousa, Antonio Ravara

跟踪 OCaml 程序

作者:Darius Foo, Wei-Ngan Chin

会议详情

程序委员会

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

  • Louis Gesbert(法国 OCamlPro)

  • Oleg Kiselyov(日本东北大学)

  • Daan Leijen(美国微软研究院)

  • Andrey Mokhov(英国 Jane Street)

  • Benoît Montagu(法国 Inria)

  • Zoe Paraskevopoulou(美国东北大学)

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

  • Gabriel Radanne(法国 Inria)

  • Takafumi Saikawa(日本名古屋大学)

  • KC Sivaramakrishnan(印度马德拉斯理工学院和 Tarides)

  • Beta Ziliani(阿根廷 FAMAF, UNC 和 Manas.Tech)

部分视频

使用效果处理器组合调度器
使用运行时事件持续监控 OCaml 应用程序
复制 opam 交换机 - 它应该可以正常工作™
用于多核 OCaml 的高效“堆外”指针
最高性能的流处理
使用 OBuilder 和 OCaml 进行同构构建