The main purpose of the ML Workshop Steering Committee is to provide
continuity of the workshop and to offer help and advice to the current
organizer(s) of the workshop.
The responsibilities of the steering committee are:
To provide continuity of the ML Workshop,
serve the greater ML community by providing a link between
the individual constituent language communities,
and maintain the vision and vigor of the workshop.
To officially represent the ML Workshop with the sponsoring
organization, ACM SIGPLAN, and consult with the SIGPLAN chair
and vice chair on matters of policy and planning.
To appoint the ML Workshop Program Chair each year in consultation
with the SIGPLAN chair and vice chair, and approve the Program
Chair's choice of Program Committee.
To provide help and guidance to the ML Workshop Program Chair in the
overall technical organization of the workshop, as well with budget
preparation and the cooperation with affiliated conferences and workshops.
The membership of the steering committee is determined by the following by-laws:
The ML Workshop Steering Committee maintains a count of 7 members.
The initial Steering Committee, established late 2007,
consists of the organizers and program chairs of the previous three
workshops (2005, 2006, 2007)
The Steering Committee will consist of the three previous ML
Workshop Program Chairs, the current ML Workshop Program Chair, and
three appointed Members-at-Large.
Each year, around the date of the ML Workshop, the Steering
Committee, in consultation with the SIGPLAN chair and vice chair,
appoints the Program Chair for the next ML Workshop. The steering
appoints a new Member-At-Large to succeed the currently longest serving
Member-At-Large. The new ML Workshop Program Chair and the newly
appointed Member-At-Large then join the Steering Committee, while
the longest serving former Program Chair and Member-At-Large step down.
The chair of the Steering Committee is the longest
serving former Program Chair.
Should there be vacancies within the Steering Committee, e.g. due to a
member stepping down early, the Steering Committee appoints members to fill
the vacancies and, if necessary, decides on the succession ordering.
The present members of the Steering Committee are:
- Sam Lindley, The University of Edinburgh, UK (PC chair 2017)
- Kenichi Asai, Ochanomizu University, Japan (PC chair 2016)
- Jeremy Yallop, Docker, UK (PC chair 2015)
- Oleg Kiselyov (chair), Tohoku University, Japan (PC chair 2014)
- Didier Remy, INRIA, France (member-at-large since Nov. 2015)
- Jacques Garrigue, Nagoya University, Japan (member-at-large since Nov. 2014)
- John Reppy, University of Chicago, USA (member-at-large since Aug. 2014)
Members who have previously served on the Steering Committee are:
Microsoft Research, Cambridge, UK
- Matthias Blume, Toyota Technological Institute at Chicago, USA
- Derek Dreyer, Max Planck Institute for Software Systems, Saarbrücken, Germany
- Matthew Fluet, Rochester Institute of Technology, USA
- Alain Frisch , LexiFi, France
- Robert Harper, Carnegie Mellon University, USA
- Andrew Kennedy, Microsoft Research, Cambridge, UK
- Daan Leijen Microsoft Research, Redmond, USA
- Xavier Leroy, INRIA Rocquencourt, France
- Anil Madhavapeddy, Cambridge University, UK
- Yaron Minsky, Jane Street, USA
- François Pottier, INRIA Rocquencourt, France
- Andreas Rossberg, Google, Germany
- Claudio Russo, Microsoft Research, Cambridge, UK
- Eijiro Sumii, Tohoku University, Japan
- Greg Morrisett, Harvard University, USA
- Chung-chieh Shan, Indiana University, USA
The Programme Committee is responsible for the technical content of the
ML Workshop. The ML Workshop Program Chair, with the approval
of the Steering Committee, appoints the Program Committee and leads its work.