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