返回會議

OCaml 使用者與開發者研討會 2015

加拿大,不列顛哥倫比亞省,溫哥華

2015-09-08

徵求發表(過去)

範圍

討論將著重於 OCaml 程式設計的實務層面,以及工具鏈的細節、即將到來的改進和變更。因此,我們的目標是徵求關於改進語言及其程式設計環境之使用或開發的各個方面的演講,包括例如:

  • 編譯器開發、新的後端、執行時間和架構

  • 實用的型別系統改進,例如(但不限於)GADTs、一級模組、泛型程式設計或相依型別

  • 新的函式庫或應用程式發布,及其設計原理

  • 工具和基礎架構服務,及其增強

  • OCaml 在工業或實驗上的顯著應用,或在不尋常情況下的部署。

提交

這將是一次非正式的會議,會議將有線上筆記員報告,但沒有正式的會議記錄。簡報的投影片將可在研討會首頁上線上取得。簡報可能會被錄製,並在稍後時間提供。

若要提交演講,請在 https://easychair.org/conferences/?conf=ocaml2015 註冊演講的說明(約 2 頁長),清楚說明演講將帶來的內容:解決的問題、提出的技術解決方案或方法。如果您希望進行演示或需要任何特殊設定,我們將盡力滿足您的需求。

ML 家族研討會與會後論文集

前一天舉行的 ML 家族研討會,處理 ML 風格程式設計和型別系統的一般議題,並且被視為更偏向研究導向。然而,它與 OCaml 研討會有重疊之處,我們很樂意探索,例如舉辦共同的會議。作者如果覺得他們提交的內容適合這兩個研討會,鼓勵在提交時提及和/或聯絡程式委員會主席。

問題與聯絡方式

如果您有任何問題,請發送電子郵件至:Damien Doligez

2015 年 9 月 19 日

演講影片已上線

2015 年 7 月 31 日

計畫和徵求參與

簡報 (15)

針對原生碼 OCaml 的除錯器

作者:Fabrice Le Fessant, Pierre Chambart

Operf:基準測試 OCaml 編譯器

作者:Pierre Chambart, Fabrice Le Fessant, Vincent Bernardoff

Core.Time_stamp_counter:快速的高解析度時間來源

作者:Roshan James, Christopher Hardin

內聯後泛型陣列存取的特化

作者:Ryohei Tokuda, Eijiro Sumii, Akinori Abe

OCaml 中的內嵌組語

作者:Vladimir Brankov

OCaml 的現況(邀請演講)

作者:Xavier Leroy

OCaml 平台現況:2015 年 9 月

作者:Anil Madhavapeddy, Amir Chaudhry, Thomas Gazagnaire, Jeremy Yallop, David Sheets

模組化巨集

作者:Jeremy Yallop, Leo White

具型別的 PPX 和數值隱含

作者:Jun Furuse

OCaml 程式的整體語義分析

作者:Thomas Blanc, Pierre Chambart, Michel Mauny, Fabrice Le Fessant

透過代數效應實現有效並行

作者:Stephen Dolan, Leo White, Kc Sivaramakrishnan, Jeremy Yallop, Anil Madhavapeddy

OCaml 社群成長回顧

作者:Amir Chaudhry

使用 Irmin 和 MirageOS 的持久網路

作者:Mindy Preston, Magnus Skjegstad, Thomas Gazagnaire, Richard Mortier, Anil Madhavapeddy

Ketrew 和 Biokepi

作者:Sebastien Mondet

OCaml 在生產環境中四年的經驗

作者:Anders Fugmann, Jonas B. Jensen, Mads Hartmann Jensen

會議詳細資訊

程式委員會

  • Ashish AGARWAL(Solvuu, 美國)

  • Sandrine BLAZY(雷恩第一大學,法國)

  • Cristiano CALCAGNO(Facebook,美國)

  • Emmanuel CHAILLOUX(巴黎第六大學,法國)

  • Pierre CHAMBART(OCamlPro,法國)

  • Damien DOLIGEZ(Jane Street,美國與 Inria,法國(主席))

  • Martin JAMBON(Esper,美國)

  • Keigo IMAI(京都大學,日本)

  • Julien VERLAGUET(Facebook,美國)

  • Markus WEISSMAN(慕尼黑工業大學,德國)

  • Jeremy YALLOP(OCaml Labs,英國)

一些影片

針對原生碼 OCaml 的除錯器
Operf:基準測試 OCaml 編譯器
Core.Time_stamp_counter:快速的高解析度時間來源
內聯後泛型陣列存取的特化
OCaml 中的內嵌組語
OCaml 的現況(邀請演講)