[TYPES/announce] ML 2009: Call for Participation

Andreas Rossberg rossberg at mpi-sws.org
Fri Jul 17 07:34:14 EDT 2009


                        CALL FOR PARTICIPATION

                  The 2009 ACM SIGPLAN Workshop on ML

               To be held in conjunction with ICFP 2009
                      on Sunday, August 30, 2009
                      in Edinburgh, Scotland, UK

               http://www.mpi-sws.org/~rossberg/ml2009/


ML is a family of programming languages that includes dialects known
as Standard ML, Objective Caml, and F#.  The development of these
languages has inspired a large amount of computer science research,
both practical and theoretical.  This workshop aims to provide a forum
to encourage discussion and research on ML and related technology
(higher-order, typed, or strict languages).

The 2009 Work shop on ML will be held in conjunction with the 14th ACM
SIGPLAN International Conference on Functional Programming (ICFP 2009)
in Edinburgh, Scotland, UK.  Previous instances were ML 2005 in
Tallinn, Estonia, ML 2006 in Portland, Oregon, USA, ML 2007 in
Freiburg, Germany, and ML 2008 in Victoria, British Columbia, Canada).


PRELIMINARY PROGRAM

* Invited talk: Cédric Fournet.
  A Cryptographic Protocol Compiler for Multiparty Sessions

* Session: Type Systems
  - Claudio Russo, Dimitrios Vytiniotis.
    QML: Explicit first-class polymorphism for ML
  - Joshua Dunfield.
    Greedy Bidirectional Polymorphism
  - Demo: Vincent Rahli, Joe Wells, Steven Shiells, Fairouz Kamareddine.
    A Type Error Slicer for SML
  - Demo: Lucas Dixon.
    A GUI for Programming in PolyML: an Interface Protocol for 
Functional Languages

* Session: Reasoning and Verification
  - Jan Schwinghammer, David Sabel, Manfred Schmidt-Schauss, Joachim 
Niehren.
    Correctly Translating Concurrency Primitives
  - Johannes Kanig, Jean-Christophe Filliâtre.
    Who: A Verifier for Effectful Higher-order Programs
  - Demo: Karthikeyan Bhargavan, Cédric Fournet, Andrew Gordon.
    Modular Verification of Security Protocol Code by Typing
  - Demo: Louis Mandel, Florence, Plateau, Marc Pouzet.
    The ReactiveML Toplevel

* Session: Implementation
  - Moe Masuko, Kenichi Asai.
    Direct Implementation of Shift and Reset in the MinCaml Compiler
  - Benjamin Canou, Alexis Darrasse.
    Fast and sound random generation for automated testing and 
benchmarking in Objective Caml
  - Demo: David Rajchenbach-Teller.
    First steps with OCaml Batteries Included
  - Demo: Romain Bardou, François Bobot, Jean-Christophe Filliâtre, 
Johannes Kanig, Stéphane Lescuyer.
    Mlpost - A scientific drawing library

* Panel Discussion: Future directions for ML


REGISTRATION

Information about registration, accommodation, and travel is available on
the ICFP conference web site: http://www.icfpconference.org/icfp2009/


PROGRAM CHAIR

Andreas Rossberg         (Max Planck Institute for Software Systems)

PROGRAM COMMITTEE

Umut Acar                (Toyota Technological Institute at Chicago)
Damien Doligez           (INRIA Paris-Rocquencourt)
Neal Glew                (Intel)
Andrew Gordon            (Microsoft Research Cambridge)
Patricia Johann          (University of Strathclyde)
Oleg Kiselyov            (FNMOC)
Neelakantan Krishnaswami (Carnegie Mellon University)
David MacQueen           (University of Chicago)
Yasuhiko Minamide        (University of Tsukuba)
Norman Ramsey            (Tufts University)

STEERING COMMITTEE

See the ML Workshop series home page at:
http://www.tti-c.org/blume/ml-workshop/



More information about the Types-announce mailing list