From : Damien Doligez <damien.doligez AT inria.fr>

: Damien Doligez <damien.doligez AT inria.fr> To : caml users <caml-list AT inria.fr>

: caml users <caml-list AT inria.fr> Subject : [Caml-list] OCaml Users and Developers Workshop: call for participation

: [Caml-list] OCaml Users and Developers Workshop: call for participation Date: Fri, 31 Jul 2015 17:15:48 +0200

[Caml-list] OCaml Users and Developers Workshop: call for participation, Damien Doligez, 07/31/2015

==============================================================================OCAML 2015The OCaml Users and Developers WorkshopVancouver, British Columbia, CanadaSeptember 4, 2015CALL FOR PARTICIPATIONCo-located with ICFP 2015Sponsored by SIGPLANEarly 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 ofOCaml 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 afterICFP and ML 2015.Programme=========8:40 - 8:45 Welcome8:45 - 10:00 Session 1: debugging and profiling- Towards A Debugger for Native-Code OCamlFabrice Le Fessant, Pierre Chambart- Operf: Benchmarking the OCaml CompilerPierre Chambart, Fabrice Le Fessant, Vincent Bernardoff- Core.Time_stamp_counter: A fast high resolution time sourceRoshan James, Christopher Hardin10:00 - 10:30 coffee10:30 - 11:20 Session 2: Low-level concerns- Specialization of Generic Array Accesses After InliningRyohei Tokuda, Eijiro Sumii, Akinori Abe- Inline Assembly in OCamlVladimir Brankov11:20 - 11:40 break11:40 : 12:30 Session 3: OCaml news- The State of OCaml (invited talk)Xavier Leroy- The State of the OCaml Platform: September 2015Anil Madhavapeddy, Amir Chaudhry, Thomas Gazagnaire, Jeremy Yallop,David Sheets12:30 - 14:00 lunch14:00 - 14:50 Session 4: Front-end- Modular macrosJeremy Yallop, Leo White- Typeful PPX and Value ImplicitsJun Furuse14:50 - 15:10 break15:10 - 16:00 Session 5: semantics and language features- Global Semantic Analysis on OCaml programsThomas Blanc, Pierre Chambart, Michel Mauny, Fabrice Le Fessant- Effective Concurrency through Algebraic EffectsStephen Dolan, Leo White, Kc Sivaramakrishnan, Jeremy Yallop, AnilMadhavapeddy16:00 - 16:30 tea16:30 - 18:10 Session 6: Community and uses of OCaml- A review of the growth of the OCaml communityAmir Chaudhry- Persistent Networking with Irmin and MirageOSMindy Preston, Magnus Skjegstad, Thomas Gazagnaire, Richard Mortier,Anil Madhavapeddy- Ketrew and BiokepiSebastien Mondet- Four years of OCaml in productionAnders Fugmann, Jonas B. Jensen, Mads Hartmann JensenProgramme 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