返回研討會

OCaml 工作坊 2021

線上舉行

2021-08-27

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

OCaml 2021 將會是與 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 與文件

作者: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

歪歪斜斜的時光相機

作者:Di Long Li、Gabriel Radanne

會議詳情

程式委員會

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

  • Mehdi Bouaziz(Nomadic Labs, 法國)

  • Simon Castellan(INRIA, 法國)

  • Youyou Cong(東京工業大學,日本)

  • Kate Deplaix(OCaml 實驗室,英國)

  • Jun Furuse(DaiLambda, 日本)

  • Joris Giovannangeli(Ahrefs 研究)

  • Kihong Heo(KAIST,南韓)

  • Hugo Heuzard(Jane Street)

  • Vaivaswatha Nagaraj(Zilliqa Research,印度)

  • Hakjoo Oh(韓國大學)

  • Jonathan Protzenko(Microsoft Research Redmond,美國)

  • Cristina Rosu(Jane Street)

  • Jeffrey A. Scofield(Psellos)

  • Ryohei Tokuda(Idein)

一些影片

OCaml 的 25 年
輝煌文檔的多重宇宙
為多核心 OCaml 改編 OCaml 生態系統
二元分析平台 (BAP)。使用通用代數和無標籤最終樣式來開發與表示無關的框架
OCaml 專案的持續基準測試
真實 OCaml 程式碼的演繹驗證