Program committee



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