返回研討會

OCaml 工作坊 2022

斯洛維尼亞,盧布亞納

2022-09-16

OCaml 工作坊 2022 在斯洛維尼亞盧布亞納的 ICFP 2022 期間舉行

ACM Sigplan ICFP 頁面: OCaml 工作坊 2022

OCaml 用戶和開發者工作坊匯集了 OCaml 社群,包括業界 OCaml 用戶、學術界、業餘愛好者和自由軟體社群。

影片錄製將在 Sigplan YouTube 頻道Watch OCaml 上提供。

2022 年 6 月 3 日

摘要提交截止日期

2022 年 7 月 15 日

作者通知

2022 年 9 月 16 日

OCaml 工作坊

簡報 (15)

使用 Effect Handlers 組成排程器

作者:Deepali Ande, KC Sivaramakrishnan

使用執行階段事件持續監控 OCaml 應用程式

作者:Sadiq Jaffer, Patrick Ferris

複製 opam Switch - 它應該要能直接運作™

作者:David Allsopp

Multicore 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

備忘錄:為 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, 阿根廷)

一些影片

使用 Effect Handlers 組成排程器
使用執行階段事件持續監控 OCaml 應用程式
複製 opam Switch - 它應該要能直接運作™
Multicore OCaml 的高效「堆積外」指標
最高效能的串流處理
使用 OBuilder 和 OCaml 的同質建構