[cwn] Attn: Development Editor, Latest OCaml Weekly News
Alan Schmitt
alan.schmitt at polytechnique.org
Mon Aug 3 23:48:07 PDT 2015
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
========================================================================
1) Camlp5 6.14 compatible with OCaml 4.02.3 released
Archive: <https://sympa.inria.fr/sympa/arc/caml-list/2015-07/msg00134.html>
------------------------------------------------------------------------
** Daniel de Rauglaudre announced:
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/>
========================================================================
2) OCaml Users and Developers Workshop: call for participation
Archive: <https://sympa.inria.fr/sympa/arc/caml-list/2015-07/msg00143.html>
------------------------------------------------------------------------
** Damien Doligez announced:
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
========================================================================
3) Other OCaml News
------------------------------------------------------------------------
** From the ocamlcore planet blog:
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
(alan.schmitt at polytechnique.org) and I'll mail it to you, or go take a look at
the archive (<http://alan.petitepomme.net/cwn/>) or the RSS feed of the
archives (<http://alan.petitepomme.net/cwn/cwn.rss>). If you also wish
to receive it every week by mail, you may subscribe online at
<http://lists.idyll.org/listinfo/caml-news-weekly/> .
========================================================================
--
OpenPGP Key ID : 040D0A3B4ED2E5C7
Last week athmospheric CO₂ average (Updated July 26, 2015, Mauna Loa Obs.):
401.25 ppm
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 472 bytes
Desc: not available
URL: <http://lists.idyll.org/pipermail/caml-news-weekly/attachments/20150804/b3a30255/attachment.pgp>
More information about the caml-news-weekly
mailing list