Program committee



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