Adam Chlipala |
MIT |
Aditya Kanade |
Indian Institute of Science |
Alastair Reid |
Arm Limited |
Alessandra Gorla |
IMDEA Software Institute |
Alexandra (Sasha) Fedorova |
University of British Columbia |
Andreas Rossberg |
Google |
Arjun Guha |
University of Massachusetts Amherst |
Arthur Azevedo de Amorim |
Carnegie Mellon University |
Avik Chaudhuri |
Facebook |
Azadeh Farzan |
University of Toronto |
Ben Hermann |
University of Paderborn |
Ben Livshits |
Imperial College London |
Ben L. Titzer |
Google |
Benjamin Zorn |
Microsoft Research |
Chinawat Isradisaikul |
Cornell University |
Christian Wimmer |
Oracle Labs |
Dan Grossman chair |
University of Washington |
David Menendez |
Rutgers University |
David J. Pearce |
Victoria University of Wellington |
Deian Stefan |
University of California San Diego |
Dimitrios Vytiniotis |
Microsoft Research |
Doug Lea |
State University of New York at Oswego |
Emina Torlak |
University of Washington |
Erez Petrank |
Technion |
Eva Darulova |
Max Planck Institute for Software Systems |
Fan Long |
MIT |
Grigore Rosu |
University of Illinois at Urbana-Champaign |
Hans-J. Boehm |
Google |
Harry Xu |
UCLA |
Heather Miller |
Ecole Polytechnique Federale de Lausanne & Northeastern University |
Isil Dillig |
University of Texas at Austin |
Iulian Neamtiu |
New Jersey Institute of Technology |
Jason Mars |
University of Michigan |
Jean-Baptiste Tristan |
Oracle Labs |
Jeffrey Foster |
University of Maryland, College Park |
Jennifer B. Sartor |
Vrije Universiteit Brussel |
Jens Palsberg |
University of California, Los Angeles |
Jeremy G. Siek |
Indiana University |
Jingling Xue |
UNSW Australia |
Jonathan Ragan-Kelley |
UC Berkeley |
Joxan Jaffar |
National University of Singapore |
Julian Dolby |
IBM Thomas J. Watson Research Center |
Kapil Vaswani |
Microsoft Research |
Kathleen Fisher chair |
Tufts University |
Kathryn S McKinley |
Google |
Klaus Ostermann |
University of Tuebingen |
Koushik Sen |
University of California, Berkeley |
Lindsey Kuper |
Intel Labs |
Loris D'Antoni |
University of Wisconsin-Madison |
Maria Christakis |
Max Planck Institute for Software Systems |
Martin Maas |
UC Berkeley |
Mary Hall |
University of Utah |
Matteo Cimini |
University of Massachusetts Lowell |
Matthew Fluet |
Rochester Institute of Technology |
Matthew Hammer |
University of Colorado Boulder |
Matthias Hauswirth |
Universit… della Svizzera italiana |
Michael Bond |
Ohio State University |
Michael Greenberg |
Pomona College |
Michelle Mills Strout |
University of Arizona |
Milind Kulkarni |
Purdue University |
Miltiadis Allamanis |
Microsoft Research |
Mira Mezini |
TU Darmstadt |
Mooly Sagiv |
Tel Aviv University |
Nada Amin |
University of Cambridge |
Nadia Polikarpova |
University of California, San Diego |
Osbert Bastani |
Massachusetts Institute of Technology |
Patrick Lam |
University of Waterloo |
Philippa Gardner |
Imperial College London |
Phitchaya Mangpo Phothilimthana |
University of California, Berkeley |
Qirun Zhang |
University of California, Davis |
Rahul Sharma |
Microsoft Research |
Rajeev Alur |
University of Pennsylvania |
Ronghui Gu |
Columbia University |
Ross Tate |
Cornell University |
Ruzica Piskac |
Yale University |
Ryan Beckett |
Princeton University |
Ryan Newton |
Indiana University |
Samuel Z. Guyer |
Tufts University |
Satish Chandra |
Facebook |
Scott Owens |
University of Kent |
Sean Treichler |
NVIDIA |
Sebastian Hack |
Saarland University |
Shachar Itzhaky |
Technion |
Sheng Chen |
University of Louisiana at Lafayette |
Shoaib Kamil |
Adobe |
Simon Peyton Jones |
Microsoft Research |
Sorin Lerner |
University of California, San Diego |
Sriram Krishnamoorthy |
Pacific Northwest National Laboratory |
Stephen Freund |
Williams College |
Steve Zdancewic |
University of Pennsylvania |
Sukyoung Ryu |
KAIST |
Tamara Rezk |
Inria |
Tatiana Shpeisman |
Google |
ThanhVu Nguyen |
University of Nebraska, Lincoln |
Thomas Wuerthinger |
Oracle Labs |
Tiark Rompf |
Purdue University |
Tobias Wrigstad |
Uppsala University |
Todd Mytkowicz |
Microsoft |
Tony Hosking |
Australian National University / Data61 |
Tyler Sorensen |
Imperial College London |
Umut Acar |
Carnegie Mellon University |
Vijay Menon |
Google |
Vikram Adve |
University of Illinois at Urbana-Champaign |
Vincent St-Amour |
Northwestern University |
Xavier Rival |
INRIA |
Xi Wang |
University of Washington |
Xiaokang Qiu |
Purdue University |
Xin Zhang |
Massachusetts Institute of Technology |
Xipeng Shen |
North Carolina State University |
Yaniv David |
Technion |
Yannis Smaragdakis |
University of Athens |
Yu David Liu |
State University of New York (SUNY) Binghamton |