返回会议

OCaml 工作坊 2019

德国柏林

2019-08-23

OCaml 用户和开发者研讨会汇集了 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(美国卡内基梅隆大学)

  • Hannes Mehnert(robur.io,德国)

  • Igor Pikovets(Ahrefs,新加坡)

  • Thomas Refis(英国 Jane Street Europe)

  • KC Sivaramakrishan(印度马德拉斯理工学院)