Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss

[Caml-list] Workshop on ML 2010 - Call for Participation

3 views
Skip to first unread message

Matthew Fluet

unread,
Aug 10, 2010, 9:41:57 AM8/10/10
to caml...@inria.fr

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

_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

0 new messages