回到研討會

OCaml 工作坊 2023

美國，華盛頓州，西雅圖

2023-09-09

OCaml 工作坊 2023 在美國華盛頓州西雅圖的 ICFP 2023 期間舉行。

ACM Sigplan ICFP 頁面：OCaml Workskop 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：基於 Iris 的 OCaml 程式邏輯

作者：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 Stub 的定向靜態分析：消除程式碼中的小精靈

作者：Edwin Török

詳細資訊

Wasocaml：從 OCaml 到 WebAssembly 的編譯器

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

詳細資訊

研討會詳細資訊

程式委員會

  • •淺井 健一(御茶水女子大學)

  • •Jonah Beckford(Diskuv)

  • •Raja Boujbel(OCamlPro)

  • •Chris Casinghino(Jane Street)

  • •Nathanaëlle Courant(OCamlPro)

  • •賈桂士(名古屋大學)

  • •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)