Adam Chlipala |
MIT |
Aditya Kanade |
Indian Institute of Science |
Albert Cohen |
Google |
Andreas Rossberg |
Dfinity Foundation |
Andreas Zeller |
CISPA Helmholtz Center for Information Security |
Anil Madhavapeddy |
University of Cambridge |
Armando Solar-Lezama |
Massachusetts Institute of Technology |
Ayal Zaks |
Intel and Technion |
Azalea Raad |
Imperial College London |
Ben Greenman |
Northeastern University |
Ben Hardekopf |
UC Santa Barbara |
Ben Liblit |
Amazon |
Ben Titzer |
|
Ben Zorn |
Microsoft Research |
Bor-Yuh Evan Chang |
University of Colorado Boulder & Amazon |
Brandon Lucia |
Carnegie Mellon University |
Caitlin Sadowski |
Google |
Camil Demetrescu |
Sapienza University of Rome |
Charlie Curtsinger |
Grinnell College |
Cindy Rubio-González |
University of California, Davis |
Cormac Flanagan |
UC Santa Cruz |
Cristian Cadar |
Imperial College London |
Danfeng Zhang |
Penn State University |
Darko Marinov |
University of Illinois at Urbana-Champaign |
David Darais |
Galois, Inc. |
David I. August |
Princeton University |
Doug Lea |
State University of New York (SUNY) Oswego |
Eran Yahav chair |
Codota and Technion |
Eran Yahav |
Ghost account for testing HotCRP Settings |
Erez Petrank |
Technion |
Eva Darulova |
Max Planck Institute for Software Systems |
Francesco Logozzo |
Facebook |
Fredrik Kjolstad |
Stanford University |
Gagandeep Singh |
VMware Research |
Gail Kaiser |
Columbia University |
Gerwin Klein |
UNSW, CSIRO |
Görel Hedin |
Lund University |
Grigore Rosu |
University of Illinois Urbana–Champaign |
Gustavo Petri |
ARM Research, Cambridge, UK |
He Zhu |
Rutgers |
Heather Miller |
Carnegie Mellon University |
Hila Peleg |
University of California, San Diego |
Hongseok Yang |
KAIST |
Isil Dillig |
University of Texas Austin |
Jan Hoffmann |
Carnegie Melon University |
John Sarracino |
Cornell University |
José Fragoso Santos |
Instituto Superior Tecnico & INESC-ID |
Joseph Devietti |
University of Pennsylvania |
Joxan Jaffar |
National University of Singapore |
Julian Dolby |
IBM Thomas J. Watson Research Center |
Julian Shun |
Massahusetts Institute of Technology |
Kapil Vaswani |
Microsoft Research |
Ke Wang |
Visa Research |
Kwangkeun Yi |
Seoul National University |
Lindsey Kuper |
UC Santa Cruz |
Loris D'Antoni |
University of Wisconsin Madison |
Louis-Noel Pouchet |
Colorado State University |
Madan Musuvathi |
Microsoft Research |
Magnus Madsen |
Aarhus University |
Magnus Myreen |
Chalmers University of Technology |
Mahmut Taylan Kandemir |
Penn State, USA |
Marc Brockschmidt |
Microsoft Research |
Markus Püschel |
ETH Zurich |
Martin Rinard |
MIT |
Matthew Flatt |
University of Utah |
Michael Bond |
Ohio State University |
Michael Hicks |
University of Maryland |
Michael O'Boyle |
University of Edinburgh |
Michael Pradel |
University of Stuttgart |
Milind Kulkarni |
Purdue |
Na Meng |
Virginia Tech |
Nate Foster |
Cornell University |
Nathan Chong |
Amazon |
Nikhil Swamy |
MSR Redmond |
Nikos Vasilakis |
Massachusetts Institute of Technology (MIT) |
Nuno P. Lopes |
Microsoft Research |
Oded Padon |
VMware Research |
Osbert Bastani |
University of Pennsylvania |
Paul Gazzillo |
University of Central Florida |
Pavel Panchekha |
University of Utah |
Pavol Bielik |
ETH Zurich |
Rahul Sharma |
Microsoft Research |
Ranjit Jhala |
University of California, San Diego |
Ravi Chugh |
University of Chicago |
Rishabh Singh |
Google |
Roopsha Samanta |
Purdue University |
Ruzica Piskac |
Yale University |
Ryan Newton |
Facebook |
Sandeep Dasgupta |
Google, United States |
Sara Achour |
MIT |
Saswat Padhi |
Amazon Web Services |
Saumya Debray |
University of Arizona |
Saurav Muralidharan |
NVIDIA |
Sebastian Hack |
Saarland University |
Simon Peyton-Jones |
Microsoft Research Cambridge |
Sorav Bansal |
Indian Institute of Technology Delhi |
Stephen Kell |
University of Kent |
Steve Blackburn |
Australian National University |
Sukyoung Ryu |
KAIST |
Suresh Jagannathan |
Purdue University |
Swarat Chaudhuri |
UT Austin |
Tahina Ramananandro |
Microsoft Research |
Tamara Rezk |
INRIA Sophia-Antipolis |
Tatiana Shpeisman |
Google |
Thomas Reps |
University of Wisconsin |
Thomas Shull |
Oracle Labs |
Timon Gehr |
ETH Zurich |
Ting Cao |
Microsoft Research |
Tobias Wrigstad |
Uppsala |
Toby Murray |
University of Melbourne and Data61 |
Todd Millstein |
UCLA |
Tomofumi Yuki |
INRIA |
Tony Hosking |
Australian National University / Data61 |
Uri Alon |
Technion |
Vijay Ganesh |
University of Waterloo |
Viktor Kunčak |
EPFL |
Viktor Vafeiadis |
Max Planck Institute for Software Systems |
Vivek Sarkar |
Georgia Institute of Technology |
Willem Visser |
Stellenbosch University |
Woosuk Lee |
Hanyang University |
Xin Zhang |
Peking University |
Xinyu Feng |
Nanjing University |
Xinyu Wang |
University of Michigan |
Xulong Tang |
University of Pittsburgh |
Yaniv David |
Technion |
Yannis Smaragdakis |
University of Athens |
Zachary Tatlock |
University of Washington |