Add data for ESOP 2016-2024.

data/ESOP/2016/esop2016-pc.txt

@@ -0,0 +1,25 @@
+P: Peter Thiemann
+Andreas Abel
+Elvira Albert
+Arthur Charguéraud
+Dominique Devriese
+Sophia Drossopoulou
+Joshua Dunfield
+Matthew Fluet
+Christian Hammer
+Atsushi Igarashi
+Ranjit Jhala
+Ivan Lanese
+Anders Møller
+Keiko Nakata
+James Noble
+Nate Nystrom
+Klaus Ostermann
+Matthew Parkinson
+Francesco Ranzato
+Didier Rémy
+Ilya Sergey
+Jeremy Siek
+Wouter Swierstra
+Vasco Vasconcelos
+Jan Vitek

data/ESOP/2017/esop2017-pc.txt

@@ -0,0 +1,24 @@
+P: Hongseok Yang
+Robert Atkey
+Gavin Bierman
+Xinyu Feng
+Alexey Gotsman
+Martin Hofmann
+Neelakantan Krishnaswami
+Bruno C. D. S. Oliveira
+Scott Owens
+David Pichardie
+Ruzica Piskac
+Ganesan Ramalingam
+Xavier Rival
+Sukyoung Ryu
+Tom Schrijvers
+Chung-chieh Shan
+Alexandra Silva
+Sam Staton
+Alexander J. Summers
+Tachio Terauchi
+Viktor Vafeiadis
+Dimitrios Vytiniotis
+Stephanie Weirich
+Nobuko Yoshida

data/ESOP/2018/esop2018-pc.txt

@@ -0,0 +1,24 @@
+P: Amal Ahmed
+Nick Benton
+Josh Berdine
+Viviana Bono
+Dominique Devriese
+Marco Gaboardi
+Roberto Giacobazzi
+Philipp Haller
+Matthew Hammer
+Fritz Henglein
+Jan Hoffmann
+Catalin Hritcu
+Suresh Jagannathan
+Limin Jia
+Naoki Kobayashi
+Xavier Leroy
+Aleksandar Nanevski
+Michael Norrish
+Andreas Rossberg
+Davide Sangiorgi
+Peter Sewell
+Éric Tanter
+Niki Vazou
+Steve Zdancewic

data/ESOP/2019/esop2019-pc.txt

@@ -0,0 +1,23 @@
+P: Luís Caires
+Nada Amin
+Stephanie Balzer
+Véronique Benzaken
+Lars Birkedal
+Johannes Borgström
+Ugo Dal Lago
+Constantin Enea
+Deepak Garg
+Simon Gay
+Alexey Gotsman
+Martin Hofmann
+Atsushi Igarashi
+Bart Jacobs
+Isabella Mastroeni
+J. Garrett Morris
+Markus Müller-Olm
+Tim Nelson
+Scott Owens
+Luca Padovani
+Briggitte Pientka
+Zhong Shao
+Alexandra Silva

data/ESOP/2020/esop2020-pc.txt

@@ -0,0 +1,24 @@
+P: Peter Müller 
+Elvira Albert
+Sophia Drossopoulou
+Jean-Christophe Filliâtre
+Arie Gurfinkel
+Jan Hoffmann
+Ranjit Jhala
+Woosuk Lee
+K. Rustan M. Leino
+Rupak Majumdar
+Roland Meyer
+Antoine Miné
+Sasa Misailovic
+Toby Murray
+David Naumann
+Zvonimir Rakamaric
+Francesco Ranzato
+Sukyoung Ryu
+Ilya Sergey
+Alexandra Silva
+Nikhil Swamy
+Sam Tobin-Hochstadt
+Caterina Urban
+Viktor Vafeiadis

data/ESOP/2021/esop2021-pc.txt

@@ -0,0 +1,26 @@
+P: Nobuko Yoshida
+Stephanie Balzer
+Viviana Bono
+Sandrine Blazy
+Marco Gaboardi
+Dan R. Ghica
+Brijesh Dongol
+Patrick Eugster
+Justin Hsu
+Zhenjiang Hu
+Hongjin Liang
+Yu David Liu
+Robbert Krebbers
+Étienne Lozes
+Corina Pasareanu
+Alex Potanin
+Guido Salvaneschi
+Taro Sekiyama
+Zhong Shao
+Alan Schmitt
+Sam Staton
+Alexander J. Summers
+Vasco T. Vasconcelos
+Tobias Wrigstad
+Nicolas Wu
+Damien Zufferey

data/ESOP/2022/esop2022-pc.txt

@@ -0,0 +1,34 @@
+P: Ilya Sergey
+Michael D. Adams
+Danel Ahman
+Aws Albarghouthi
+Zena M. Ariola
+Ahmed Bouajjani
+Giuseppe Castagna
+Cristina David
+Mariangiola Dezani-Ciancaglini
+Rayna Dimitrova
+Jana Dunfield
+Aquinas Hobor
+Guilhem Jaber
+Jeehoon Kang
+Ekaterina Komendantskaya
+Burcu Kulahcioglu Ozkan
+Ori Lahav
+Ivan Lanese
+Dan Licata
+Sam Lindley
+Andreas Lochbihler
+Cristina Videira Lopes
+Stefan Marr
+James Noble
+Vincent Rahli
+Robert Rand
+Alejandro Russo
+Madhusudan Parthasarathy
+Andreas Pavlogiannis
+Christine Rizkallah
+Gagandeep Singh
+Gordon Stewart
+Joseph Tassarotti
+Bernardo Toninho

data/ESOP/2023/esop2023-pc.txt

@@ -0,0 +1,31 @@
+P: Thomas Wies
+Parosh Abdulla
+Elvira Albert
+Timos Antonopoulos
+Suguman Bansal
+Josh Berdine
+Annette Bieniusa
+Sandrine Blazy
+Johannes Borgström
+Georgiana Caltais
+Ankush Das
+Cezara Drăgoi
+Michael Emmi
+Simon Gay
+Silvia Ghilezan
+Jan Hoffman
+Shachar Itzhaky
+Benjamin Kaminski
+Robbert Krebbers
+Viktor Kuncak
+Roland Meyer
+David Monniaux
+Jorge Pérez
+Andrei Popescu
+Jonathan Protzenko
+Graeme Smith
+Ana Sokolova
+Alexander Summers
+Tachio Terauchi
+Caterina Urban
+Niki Vazou