Hello

Here is the latest OCaml Weekly News, for the week of July 28 to August 04, 2015.

I will be offline for the next two weeks, so the next CWN will be on the 25th of August.

1. Camlp5 6.14 compatible with OCaml 4.02.3 released
2. OCaml Users and Developers Workshop: call for participation
3. Other OCaml News

Archive: https://sympa.inria.fr/sympa/arc/caml-list/2015-07/msg00134.html

Camlp5 6.14 released, compatible with all versions of OCaml up to 4.02.4.
Has been tested with coq v8.5.

Download sources at
  http://camlp5.gforge.inria.fr/
      

Archive: https://sympa.inria.fr/sympa/arc/caml-list/2015-07/msg00143.html

                              OCAML 2015
               The  OCaml Users and Developers Workshop
                http://ocaml.org/meetings/ocaml/2015/
                 Vancouver, British Columbia, Canada
                         September 4, 2015

                        CALL FOR PARTICIPATION

                      Co-located with ICFP 2015
                         Sponsored by SIGPLAN

          Early registration deadline: Monday 3 August 2015

==============================================================================

Register online: https://regmaster4.com/2015conf/ICFP15/register.php

The OCaml Users and Developers Workshop brings together industrial users of
OCaml with academics and hackers who are working on extending the language,
type system and tools.

OUD 2015 will be held in Vancouver on 4 September, immediately after
ICFP and ML 2015.


Programme
=========

8:40 - 8:45 Welcome

8:45 - 10:00 Session 1: debugging and profiling
  - Towards A Debugger for Native-Code OCaml
      Fabrice Le Fessant, Pierre Chambart
  - Operf: Benchmarking the OCaml Compiler
      Pierre Chambart, Fabrice Le Fessant, Vincent Bernardoff
  - Core.Time_stamp_counter: A fast high resolution time source
      Roshan James, Christopher Hardin

10:00 - 10:30 coffee

10:30 - 11:20 Session 2: Low-level concerns
  - Specialization of Generic Array Accesses After Inlining
      Ryohei Tokuda, Eijiro Sumii, Akinori Abe
  - Inline Assembly in OCaml
      Vladimir Brankov

11:20 - 11:40 break

11:40 : 12:30 Session 3: OCaml news
  - The State of OCaml (invited talk)
      Xavier Leroy
  - The State of the OCaml Platform: September 2015
      Anil Madhavapeddy, Amir Chaudhry, Thomas Gazagnaire, Jeremy Yallop, David Sheets

12:30 - 14:00 lunch

14:00 - 14:50 Session 4: Front-end
  - Modular macros
      Jeremy Yallop, Leo White
  - Typeful PPX and Value Implicits
      Jun Furuse

14:50 - 15:10 break

15:10 - 16:00 Session 5: semantics and language features
  - Global Semantic Analysis on OCaml programs
      Thomas Blanc, Pierre Chambart, Michel Mauny, Fabrice Le Fessant
  - Effective Concurrency through Algebraic Effects
      Stephen Dolan, Leo White, Kc Sivaramakrishnan, Jeremy Yallop, Anil Madhavapeddy

16:00 - 16:30 tea

16:30 - 18:10 Session 6: Community and uses of OCaml
  - A review of the growth of the OCaml community
      Amir Chaudhry
  - Persistent Networking with Irmin and MirageOS
      Mindy Preston, Magnus Skjegstad, Thomas Gazagnaire, Richard Mortier, Anil Madhavapeddy
  - Ketrew and Biokepi
      Sebastien Mondet
  - Four years of OCaml in production
      Anders Fugmann, Jonas B. Jensen, Mads Hartmann Jensen


Programme Committee
===================

* Ashish Agarwal, Solvuu LLC, USA
* Sandrine Blazy, Universite Rennes 1, France
* Cristiano Calcagno, Facebook, USA
* Emmanuel Chailloux, Universite Paris 6, France
* Pierre Chambart, OCamlPro, France
* Damien Doligez, Jane Street, USA / Inria, France  (chair)
* Martin Jambon, Esper, France
* Keigo Imai, IT Planning Inc, Japan
* Julien Verlaguet, Facebook, USA
* Markus Weissman, TU Muenchen, Germany
* Jeremy Yallop, University of Cambridge, UK
      

Thanks to Alp Mestan, we now include in the OCaml Weekly News the links to the
recent posts from the ocamlcore planet blog at http://planet.ocaml.org/.

Functional Jobs: Software Engineer at Pegged Software (Full-time)
  http://functionaljobs.com/jobs/8854-software-engineer-at-pegged-software

Github OCaml jobs: Full Time: Software Developer (Functional Programming) at Jane Street in New York, NY; London, UK; Hong Kong
  http://jobs.github.com/positions/0a9333c4-71da-11e0-9ac7-692793c00b45

GaGallium: Formally verifying the complexity of OCaml programs with CFML -- part 3
  http://gallium.inria.fr/blog/formally-verified-complexity-with-cfml-part-3

Andrej Bauer: Intermediate truth values
  http://math.andrej.com/2015/07/30/intermediate-truth-values/

GaGallium: Formally verifying the complexity of OCaml programs with CFML -- interlude
  http://gallium.inria.fr/blog/formally-verified-complexity-with-cfml-part-2
      

Old cwn

If you happen to miss a CWN, you can send me a message and I'll mail it to you, or go take a look at the archive or the RSS feed of the archives.

If you also wish to receive it every week by mail, you may subscribe online.

Alan Schmitt