[MLton] Workshop on ML 2010 - Call for Participation

Matthew Fluet matthew.fluet at gmail.com
Tue Aug 10 06:44:45 PDT 2010


                 The 2010 ACM SIGPLAN Workshop on ML
                  http://www.cs.rit.edu/~mtf/ml2010
                  Baltimore, Maryland, United States
                      Sunday, September 26, 2010
                      co-located with ICFP 2010

                        Call for Participation

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 format of the 2010 Workshop on ML will be different than that of
recent years, returning to a more informal model: a workshop with
presentations selected from submitted abstracts but without published
proceedings. We hope that this format will encourage the presentation
of more exciting (if unpolished) research and deliver a more lively
workshop atmosphere.


Invited Speaker
~~~~~~~~~~~~~~~

Luke Hoban (Microsoft) -- Bringing F# to Visual Studio 2010


Program
~~~~~~~

 9:00 	Invited Talk
        Visual F#: Bringing F# to Visual Studio 2010
        Luke Hoban (Microsoft Research)
10:00 	Break
10:30   Probabilistic programming using first-class stores and
        first-class continuations
        Oleg Kiselyov (FNMOC); Chung-chieh Shan (Rutgers University)
10:55 	Effective progamming in ML
        Daan Leijen (Microsoft Research); Ross Tate (University of
        California, San Diego)
11:20 	Discussion
11:30 	First-class modules and composable signatures in Objective
        Caml 3.12
        Alain Frisch (LexiFi); Jacques Garrigue (Nagoya University
        Graduate School of Mathematics)
11:55 	First-class modules: hidden power and tantalizing promises
        Jeremy Yallop (Applicative Ltd); Oleg Kiselyov (FNMOC)
12:20 	Discussion
12:30 	Lunch break
14:00 	Deriving a Typed Implementation for Coroutines in ML
        Konrad Anton (Universitat Freiburg); Peter Thiemann (Universitat
        Freiburg)
14:25 	The Design Rationale for Multi-MLton
        Suresh Jagannathan (Purdue University); Armand Navabi (Purdue
        University); KC Sivaramakrishnan (Purdue University);
        Lukasz Ziarek (Purdue University)
14:50 	Discussion
15:00 	Mirage: high-performance ML kernels in the cloud
        Anil Madhavapeddy (University of Cambridge); Thomas Gazagnaire
        (INRIA Sophia Antipolis)
15:25 	Hosting a Standard ML compiler in a Web Browser: Status Report
        Martin Elsman
15:50 	Discussion
16:00 	Break
16:30 	A simple and effective method for assigning blame for type errors
        David MacQueen (University of Chicago)
16:55 	The MetaOCaml files: Status report and research proposal
        Oleg Kiselyov (FNMOC); Chung-chieh Shan (Rutgers University)
17:20 	Discussion
17:30 	Closing


Registration and Local Arrangements
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

 * https://regmaster3.com/2010conf/ICFP10/register.php
 * http://www.icfpconference.org/icfp2010/local.html


Program Chair
~~~~~~~~~~~~~
Matthew Fluet           Rochester Institute of Technology

Program Committee
~~~~~~~~~~~~~~~~~
Kathleen Fisher         AT&T Labs Research
Adam Granicz            IntelliFactory
Daan Leijen             Microsoft Research
Johan Nordlander        Lulea University of Technology
Sungwoo Park            Pohang University of Science and Technology
Daniel Spoonhower       Google



More information about the MLton mailing list