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:

• • Oleg Kiselyov, Tohoku University, Japan (PC chair 2023)

  • Benoît Montagu, INRIA, France (PC chair 2022)

  • Troels Henriksen, University of Copenhagen, Denmark (PC chair 2024)

  • Sam Westrick, New York University, USA (PC chair 2025)

  • Matthew Fluet, Rochester Institute of Technology, USA (member-at-large since January 2026)

Members who have previously served on the Steering Committee are:

• • Jonathan Protzenko, Microsoft Research, US

  • Leo White, Jane Street, UK

  • KC Sivaramakrishnan, IIT Madras, India

  • Gabriel Scherer, INRIA Saclay, France

  • Sukyoung Ryu, KAIST, South Korea

  • Martin Elsman, University of Copenhagen, Denmark

  • Andreas Rossberg, Independent, Germany

  • 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

  • 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

  • Claudio Russo, DFINITY Foundation, Cambridge, UK

  • Chung-chieh Shan, Indiana University, USA

  • Eijiro Sumii, Tohoku University, Japan

  • Nikhil Swamy, Microsoft Research, Redmond, US

  • 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.