返回会议

2015 年 OCaml 用户和开发者研讨会

加拿大不列颠哥伦比亚省温哥华

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 的调试器

作者(s):Fabrice Le Fessant,Pierre Chambart

Operf:OCaml 编译器基准测试

作者(s):Pierre Chambart,Fabrice Le Fessant,Vincent Bernardoff

Core.Time_stamp_counter:一个快速的高分辨率时间源

作者(s):Roshan James,Christopher Hardin

内联后泛型数组访问的专门化

作者(s):Ryohei Tokuda,Eijiro Sumii,Akinori Abe

OCaml 中的内联汇编

作者(s):Vladimir Brankov

OCaml 的现状(邀请演讲)

作者(s):Xavier Leroy

OCaml 平台的现状:2015 年 9 月

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

模块化宏

作者(s):Jeremy Yallop,Leo White

类型化 PPX 和值隐式

作者(s):Jun Furuse

OCaml 程序的全局语义分析

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

通过代数效应实现有效并发

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

OCaml 社区发展回顾

作者(s):Amir Chaudhry

使用 Irmin 和 MirageOS 进行持久网络

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

Ketrew 和 Biokepi

作者(s):Sebastien Mondet

四年生产环境中的 OCaml

作者(s):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,美国和法国国家信息与自动化研究所 (主席))

  • Martin JAMBON(Esper,美国)

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

  • Julien VERLAGUET(Facebook,美国)

  • Markus WEISSMAN(慕尼黑工业大学,德国)

  • Jeremy YALLOP(OCaml Labs,英国)

一些视频

走向原生代码 OCaml 的调试器
Operf:OCaml 编译器基准测试
Core.Time_stamp_counter:一个快速的高分辨率时间源
内联后泛型数组访问的专门化
OCaml 中的内联汇编
OCaml 的现状(邀请演讲)