Steering Committee

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 committee additionally 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 second 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:

• • Jonathan Protzenko, Microsoft Research, US (PC chair 2021)

  • Leo White, Jane Street, UK (PC chair 2020)

  • KC Sivaramakrishnan, IIT Madras, India (PC chair 2019)

  • Gabriel Scherer (chair), INRIA Saclay, France (PC chair 2018)

  • Sukyoung Ryu, KAIST, South Korea (member-at-large since November 2020)

  • Martin Elsman, University of Copenhagen, Denmark (member-at-large since October 2019)

  • Andreas Rossberg, DFINITY Foundation, Germany (member-at-large since October 2018)

Members who have previously served on the Steering Committee are:

• • Kenichi Asai, Ochanomizu University, Japan

  • Nick Benton Facebook, London, UK

  • Matthias Blume, Google, Chicago, USA

  • Derek Dreyer, Max Planck Institute for Software Systems, Saarbrücken, Germany

  • Matthew Fluet, Rochester Institute of Technology, USA

  • Alain Frisch, LexiFi, France

  • Jacques Garrigue, Nagoya University, Japan

  • Robert Harper, Carnegie Mellon University, USA

  • Andrew Kennedy, Facebook, London, UK

  • Oleg Kiselyov, Tohoku University, Japan

  • Daan Leijen Microsoft Research, Redmond, USA

  • Xavier Leroy, INRIA Paris, France

  • Sam Lindley, The University of Edinburgh, UK (PC chair 2017)

  • Greg Morrisett, Cornell University, USA

  • Anil Madhavapeddy, University of Cambridge, UK

  • Yaron Minsky, Jane Street, USA

  • François Pottier, INRIA Paris, France

  • Didier Remy, INRIA Paris, France

  • John Reppy, University of Chicago, USA

  • Andreas Rossberg, DFINITY Foundation, Germany

  • Claudio Russo, DFINITY Foundation, Cambridge, UK

  • Chung-chieh Shan, Indiana University, USA

  • Eijiro Sumii, Tohoku University, Japan

  • Nikhil Swamy, Microsoft Research, Redmond, US (member-at-large since October 2017)

  • Jeremy Yallop, University of Cambridge, UK

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.