Program committee



Name Affiliation
Cristina Rosu Jane Street
Frédéric Bour chair Tarides
Hakjoo Oh Korea University
Hugo Heuzard None
Jeffrey A. Scofield Formalsim
Jonathan Protzenko Microsoft Research
Joris Giovannangeli Ahrefs Research
Jun Furuse DaiLambda Inc.
Kate Deplaix OCaml Labs & OCaml Software Foundation
Kihong Heo KAIST
Mehdi Bouaziz Nomadic Labs Paris
Ryohei Tokuda Idein
Simon Castellan Inria
Vaivaswatha Nagaraj Zilliqa Research
Youyou Cong Tokyo Institute of Technology