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