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,印度)