返回会议列表

2021 年 OCaml 研讨会

线上举行

2021-08-27

OCaml 用户和开发者研讨会汇集了 OCaml 社区,包括来自工业界、学术界、业余爱好者和自由软件社区的 OCaml 用户。

2021 年 OCaml 研讨会将是一个线上研讨会,与 ICFP 2021 共同举办。

2021 年 5 月 20 日

摘要提交截止日期

2021 年 7 月 18 日

作者通知日期

2021 年 8 月 27 日

OCaml 研讨会

演示文稿 (20)

OCaml 的 25 年

作者:Xavier Leroy

精彩文档的多元宇宙

作者:Lucas Pluvinage, Jonathan Ludlam

使 OCaml 生态系统适应多核 OCaml

作者:Sudha Parimala, Enguerrand Decorne, Sadiq Jaffer, Tom Kelly, KC Sivaramakrishnan

二进制分析平台 (BAP)。使用泛代数和无标签最终风格开发表示无关的框架

作者:Ivan Gotovchits, David Brumley

OCaml 项目的持续基准测试

作者:Gargi Sharma, Rizo Isrof, Magnus Skjegstad

对现实 OCaml 代码的演绎验证

作者:Carlos Pinto, Mário Pereira, Simão Melo de Sousa

Digodoc 和 Docs

作者:Mohamed Hernouf, Fabrice Le Fessant, Thomas Blanc, Louis Gesbert

效果体验

作者:Thomas Leonard, Craig Ferguson, Patrick Ferris, Sadiq Jaffer, Tom Kelly, KC Sivaramakrishnan, Anil Madhavapeddy

从 2n+1 到 n

作者:Nandor Licker, Timothy M. Jones

GopCaml:OCaml 的结构化编辑器

作者:Kiran Gopinathan

利用形式规范生成模糊测试套件

作者:Nicolas Osborne, Clément Pascutto

Love:一种由区块链解释的可读语言

作者:Steven de Oliveira, David Declerck

OCaml 和 Python:两全其美

作者:Laurent Mazare

Opam-bin:使用 Opam 的二进制包

作者:Fabrice Le Fessant

Parafuzz:多核 OCaml 程序的覆盖引导属性模糊测试

作者:Sumit Padhiyar, Adharsh Kamath, KC Sivaramakrishnan

概率性资源限制,或者:在 OCaml 中使用中断进行编程

作者:Guillaume Munch-Maccagnoni

通过 Coq 对 OCaml 进行基于属性的测试

作者:Paaras Bhandari, Leonidas Lampropoulos

通过命题逻辑进行安全的协议更新

作者:Michael O'Connor

Semgrep,一个快速、轻量级、多语言的静态分析工具,用于查找错误

作者:Yoann Padioleau

Wibbily Wobbly Timey Camly (时间混乱的 Camly?)

作者:Di Long Li, Gabriel Radanne

会议详情

程序委员会

  • Frédéric Bour(Tarides, 法国)

  • Mehdi Bouaziz(Nomadic Labs, 法国)

  • Simon Castellan(INRIA, 法国)

  • Youyou Cong(东京工业大学, 日本)

  • Kate Deplaix(OCaml Labs, 英国)

  • 古瀬 淳 (Jun Furuse)(日本 DaiLambda)

  • Joris Giovannangeli(Ahrefs Research)

  • 허기홍 (Kihong Heo)(韩国 KAIST)

  • Hugo Heuzard(Jane Street)

  • Vaivaswatha Nagaraj(印度 Zilliqa Research)

  • 오학주 (Hakjoo Oh)(高丽大学)

  • Jonathan Protzenko(美国微软雷德蒙研究院)

  • Cristina Rosu(Jane Street)

  • Jeffrey A. Scofield(Psellos)

  • 徳田 涼平 (Ryohei Tokuda)(Idein)

一些视频

OCaml 的 25 年
精彩文档的多元宇宙
使 OCaml 生态系统适应多核 OCaml
二进制分析平台 (BAP)。使用泛代数和无标签最终风格开发表示无关的框架
OCaml 项目的持续基准测试
对现实 OCaml 代码的演绎验证