OCaml Users and Developers Workshop 2012
The OCaml Users and Developers Workshop will bring together industrial users of OCaml with academics and hackers who are working on extending the language, type system and tools. Discussion will focus on the practical aspects of OCaml programming and the nitty gritty of the tool-chain and upcoming improvements and changes. Thus, we aim to solicit talks on all aspects related to improving the use or development of the language, including, for example:
compiler developments; new backends, runtime and architectures.
practical type system improvements, such as (but not exhaustively) GADTs, first-class modules, generic programming, or dependent types.
new library or application releases, and their design rationales.
tool enhancements by commercial consultants.
prominent industrial uses of OCaml, or deployments in unusual situations.
It will be an informal meeting, with an online scribe report of the meeting, but no formal proceedings for this year. Slides of presentations will be available online from the workshop homepage.
Questions and contact
If you have any queries or suggestions for the workshop, please contact Didier Remy (email@example.com) or Anil Madhavapeddy (firstname.lastname@example.org).
There is also an ASCII version of this information available, suitable for dissemination on mailing lists. Please help spread the word about this meeting!
|Welcome||Didier Remy, Anil Madhavapeddy|
|Presenting Core||Yaron Minsky||Link|
|Ocsigen/Eliom: The state of the art, and the prospects||Benedikt Becker, Vincent Balat||Link|
|Experiments in Generic Programming||Pierre Chambart, Grégoire Henry||Link|
|Async||Mark Shinwell, David House||Link|
|OCamlCC -- Raising Low-Level Bytecode to High-Level C||Michel Mauny, Benoit Vaugon||Link|
|The State of OCaml||Xavier Leroy||Link|
|OCamlPro: promoting OCaml use in industry||Fabrice le Fessant||Link|
|Towards an OCaml Platform||Yaron Minsky||Link|
|OPAM: an OCaml Package Manager||Frederic Tuong, Fabrice le Fessant, Thomas Gazagnaire||Link|
|An LLVM Backend for OCaml||Colin Benner||Link|
|DragonKit: an extensible language oriented compiler||Wojciech Meyer|
|Programming the Xen cloud using OCaml||David Scott, Richard Mortier, Anil Madhavapeddy||Link|
|Arakoon: a consistent distributed key value store||Romain Slootmaekers, Nicolas Trangez||Link|
|gloc: Metaprogramming WebGL Shaders with OCaml||David Sheets||Link|
|Real-world debugging in OCaml||Mark Shinwell||Link|
|OCaml Companion Tools||Xavier Clerc||Link|
|Study of OCaml programs' memory behavior||Çagdas Bozman, Thomas Gazagnaire, Fabrice Le Fessant, Michel Mauny||Link|
|Implementing an interval computation library for OCaml||Jean-Marc Alliot, Charlie Vanaret, Jean-Baptiste Gotteland, Nicolas Durand, David Gianazza||Link|
|Automatic Analysis of Industrial Robot Programs||Markus Weißmann||Link|
|Biocaml: The OCaml Bioinformatics Library||Ashish Agarwal, Sebastien Mondet, Philippe Veber, Christophe Troestler, Francois Berenger||Link|