回到研討會

OCaml 工作坊 2019

德國,柏林

2019-08-23

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

這個會議是一個非正式的社群聚會,參與者包括語言使用者、函式庫作者以及以新方式使用和擴展 OCaml 的開發人員。

2019 年 5 月 17 日

摘要提交截止日期 (任何時區)

2019 年 6 月 30 日

作者通知

2019 年 8 月 23 日

OCaml 工作坊

簡報 (10)

Codept,一個適用於 OCaml 的全專案依賴分析器

作者:Florian Angeletti

MirageOS 4:異國目標實用建置系統的曙光

作者:Lucas Pluvinage、Romain Calascibetta、Rudi Grinberg、Anil Madhavapeddy

Makecloud:現代化的簡單、快速、穩健的 CI/CD

作者:Adam Ringwood、Hezekiah Carty

OCaml PPX 的未來:朝向統一且更穩健的生態系統

作者:Nathan Rebours、Jeremie Dimino、Xavier Clerc、Carl Eastlund

CausalRPC:可追蹤的分散式計算

作者:Craig Ferguson

2019 年的 OCaml 平台

作者:Anil Madhavapeddy、Gemma Gordon

使用 OCaml 建構簡潔區塊鏈的經驗教訓

作者:Nathan Holland

OwlDE:使 ODE 成為一流的 Owl 成員

作者:Marcello Seri、Ta-Chu Kao

OCaml 編譯器的效能基準測試:我們的經驗

作者:Tom Kelly

在 GPU 和 TPU 上執行 Owl 計算

作者:Jianxin Zhao

研討會詳細資訊

程式委員會

  • David Allsopp(英國劍橋大學)

  • Raja Boujbel(OCamlPro,法國)

  • Timothy Bourke(INRIA,法國)

  • Simon Cruanes(Imandra,美國)

  • Emilio Jésus Gallego Arias(MINES ParisTech,法國)

  • Thomas Gazagnaire(Tarides,法國)

  • Ivan Gotovchits(CMU,美國)

  • Hannes Mehnert(robur.io,德國)

  • Igor Pikovets(Ahrefs,新加坡)

  • Thomas Refis(Jane Street Europe,英國)

  • KC Sivaramakrishan(IIT Madras,印度)