Jonathan Sterling |
Aarhus University |
Patricia Johann |
Appalachian State University |
Malavika Samak |
Apple Inc. |
Corina Pasareanu |
Carnegie Mellon University |
Stephanie Balzer |
Carnegie Mellon University |
Koen Claessen |
Chalmers University of Technology |
Giuseppe Castagna |
CNRS - Université Paris Cité |
Xavier Leroy |
Collège de France and Inria |
Constantin Enea |
Ecole Polytechnique |
Damien Pous |
ENS Lyon |
Clément Pit-Claudel |
EPFL |
Andreas Abel |
Gothenburg University |
Nada Amin |
Harvard University |
Ekaterina Komendantskaya |
Heriot-Watt University |
Aleksandar Nanevski |
IMDEA Software Institute |
Azalea Raad |
Imperial College London |
Alastair Donaldson |
Imperial College London / Google |
Amr Sabry |
Indiana University |
Sam Tobin-Hochstadt |
Indiana University |
Arthur Chargueraud |
Inria |
Francois Pottier |
Inria |
Hugo Herbelin |
INRIA |
Karthikeyan Bhargavan |
INRIA |
Nicolas Tabareau |
Inria |
Michele Pagani |
IRIF, Université de Paris Cité |
Ralf Jung |
Massachusetts Institute of Technology |
Deepak Garg |
Max Planck Institute for Software Systems |
Brigitte Pientka |
McGill University |
David Pichardie |
Meta |
Francesco Zappa Nardelli |
Meta |
Josh Berdine |
Meta |
Akash Lal |
Microsoft Research |
Théo Winterhalter |
MPI-SP |
Ichiro Hasuo |
National Institute of Informatics |
Taro Sekiyama |
National Institute of Informatics |
Umang Mathur |
National University of Singapore |
Amal Ahmed chair |
Northeastern University (USA) |
Robby Findler |
Northwestern University, U.S.A. |
Joseph Tassarotti |
NYU |
Zhenjiang Hu |
Peking University |
Andrew Tolmach |
Portland State University |
David Walker |
Princeton University |
Benjamin Delaware |
Purdue University |
Suresh Jagannathan |
Purdue University |
Robbert Krebbers |
Radboud University Nijmegen |
Alan Jeffrey |
Roblox |
Santosh Nagarakatte |
Rutgers University |
Joost-Pieter Katoen |
RWTH-Aachen University, Germany |
David Naumann |
Stevens Institute of Technology |
Michael Greenberg |
Stevens Institute of Technology |
Christoph Matheja |
Technical University of Denmark |
Noam Rinetzky |
Tel Aviv University |
Aaron Stump |
The University of Iowa |
Eijiro Sumii |
Tohoku University |
Laura Kovacs |
TU Wien |
Matteo Maffei |
TU Wien |
Richard Eisenberg |
Tweag |
Todd Millstein |
UCLA |
Lindsey Kuper |
UC Santa Cruz |
Ugo Dal Lago |
University of Bologna & INRIA Sophia Antipolis |
Nadia Polikarpova |
University of California, San Diego |
Christopher Pulte |
University of Cambridge |
Conrad Watt |
University of Cambridge |
Ningning Xie |
University of Cambridge |
Robert Rand |
University of Chicago |
Éric Tanter |
University of Chile |
Ohad Kammar |
University of Edinburgh |
Andreas Podelski |
University of Freiburg |
Elena Zucca |
University of Genova |
Ornela Dardha |
University of Glasgow |
Dominic Orchard |
University of Kent |
Andrzej Murawski |
University of Oxford |
Benjamin C. Pierce |
University of Pennsylvania |
Marco Patrignani |
University of Trento |
Klaus Ostermann |
University of Tuebingen |
Isabella Mastroeni |
University of Verona |
Mila Dalla Preda |
University of Verona |
Loris D'Antoni |
University of Wisconsin Madison |
Jacques-Henri Jourdan |
Université Paris-Saclay, CNRS, ENS Paris-Saclay, Laboratoire des méthodes formelles, 91190, Gif-sur-Yvette, France. |
Mohsen Lesani |
Univsersity of California, Riverside |
Marco Vassena |
Utrecht University |
Oded Padon |
VMware Research |
Tej Chajed |
VMware Research |
Dan Licata |
Wesleyan University |