Systems: Programming Languages

Rank Name Affiliation Total (A) (Rel)19-23(A5)(Rel5)2322212019181716151413121110987654<=3
1 Simon L. Peyton Jones Microsoft Research 59 4 18.73 8 4 1.821113232125221132223218
1 Alexander Aiken Stanford University 59 3 18.59 6 4 1.4631112235333511314116
3 Derek Dreyer Max Planck Society 48 4 13.85 17 6 3.302744332324222212111
4 Martin T. Vechev ETH Zurich 45 4 12.15 11 4 2.7314336244223511211
4 Martin C. Rinard Massachusetts Institute of Technology 45 3 17.63 7 3 2.3722312231421112117
6 Shmuel Sagiv Tel Aviv University 42 4 9.76 5 4 1.0411214122224531128
6 Matthias Felleisen Northeastern University 42 3 15.93 5 3 1.501121112113221111218
8 Sumit Gulwani Microsoft Research 41 3 14.22 7 7 1.221321233221544311111
8 Kathryn S. McKinley University of Texas at Austin 41 3 12.33 1 3 0.3311124153424229
10 Benjamin C. Pierce University of Pennsylvania 39 3 12.78 7 5 1.49223321211332113
11 Thomas W. Reps University of Wisconsin - Madison 38 3 13.48 11 3 3.2524322332215
12 Rastislav Bodík University of Washington 37 3 12.16 4 4 1.151122311211223159
13 Isil Dillig University of Texas at Austin 36 4 9.85 12 4 2.75243364331112111
14 Zhong Shao Yale University 35 3 13.23 10 4 2.76132221221111221110
14 Ranjit Jhala Univ. of California - San Diego 35 4 9.05 9 7 1.36111331331141233121
16 Viktor Vafeiadis Max Planck Society 34 4 9.47 15 3 4.462223622241311111
16 Zhendong Su 0001 ETH Zurich 34 3 10.58 11 3 3.331262232224111113
18 Robert Harper 0001 Carnegie Mellon University 33 3 12.42 3 2 1.25121311111219
18 Jan Vitek Northeastern University 33 5 7.96 10 5 2.47143232132131115
20 David Walker Princeton University 32 4 9.84 6 4 1.751131212212212326
21 Suresh Jagannathan Purdue University 31 3 9.90 5 4 1.2523313121421116
22 Lars Birkedal Aarhus University 30 4 8.17 14 4 3.682161412113221111
22 Dan Grossman University of Washington 30 4 8.73 5 5 1.153111221322123312
22 Michael Hicks 0001 University of Maryland 30 4 7.76 7 4 1.701123113221312115
22 Eran Yahav Technion 30 3 10.15 5 3 1.504111231351131111
26 Stephanie Weirich University of Pennsylvania 28 3 9.73 6 4 2.08113111131222216
26 Peter Sewell University of Cambridge 28 6 6.57 5 7 0.6712211512312124
26 Umut A. Acar Carnegie Mellon University 28 3 7.80 8 4 1.90223121212312222
26 Craig Chambers University of Washington 28 3 9.16 112123
30 Steve Zdancewic University of Pennsylvania 27 4 7.94 9 5 2.352132121122111111112
30 Yannis Smaragdakis University of Athens 27 4 8.58 5 5 1.0223331241221111
30 Martin Odersky EPFL 27 3 10.25 2 4 0.4511111133211110
30 Armando Solar-Lezama Massachusetts Institute of Technology 27 3 7.57 10 4 2.262213222412111111
34 Jens Palsberg Univ. of California - Los Angeles 26 2 11.42 5 2 2.091211211221219
34 Rupak Majumdar Max Planck Society 26 3 8.13 8 4 2.23121312111111113122
34 Adam Chlipala Massachusetts Institute of Technology 26 2 15.23 8 4 2.5813211131411121111
34 Robert Bruce Findler Northwestern University 26 4 8.10 2 4 0.45111121222221134
38 Philip Wadler University of Edinburgh 25 2 12.63 1 8 0.121221111115
38 Cormac Flanagan Univ. of California - Santa Cruz 25 2 10.21 1 2 0.5011112311111110
40 Gilles Barthe Max Planck Society 24 5 5.15 14 5 2.94124432311111
40 Matthew Flatt University of Utah 24 3 9.02 2 5 0.62112212211137
40 Todd D. Millstein Univ. of California - Los Angeles 24 4 7.47 3 3 0.9221121112112216
40 Andrew C. Myers Cornell University 24 3 10.18 5 3 1.622111111311112214
44 Dimitrios Vytiniotis 22 4 5.63 3 4 0.6211112342111112
44 Robbert Krebbers Radboud University 22 4 5.90 15 5 3.54263314111
44 Jeffrey S. Foster Tufts University 22 3 6.85 4 4 1.0122111122112114
44 Saman P. Amarasinghe Massachusetts Institute of Technology 22 4 6.02 6 4 1.4721213121117
44 J. Gregory Morrisett Cornell University 22 3 6.83 2 5 0.401111111211119
49 Éric Tanter University of Chile 21 3 6.38 8 4 2.1421142121211111
49 Nobuko Yoshida Imperial College London 21 3 8.03 10 4 3.1424411211212
49 Klaus Ostermann University of Tübingen 21 3 6.63 5 4 1.372322121211112
49 Chung-Kil Hur Seoul National University 21 5 4.53 8 6 1.4711231231211111
49 Frank Tip Northeastern University 21 3 6.54 1 3 0.3312211112118
49 Mayur Naik University of Pennsylvania 21 4 5.93 3 5 0.621112122112121111
49 Sorin Lerner Univ. of California - San Diego 21 4 5.88 3 5 0.5721111111232113
49 Andrew W. Appel Princeton University 21 2 9.12 3 2 1.33211111113
57 Ondrej Lhoták University of Waterloo 20 3 7.10 5 2 2.0341421121211
57 Rajiv Gupta 0001 Univ. of California - Riverside 20 3 8.42 1 3 0.331111111112
57 Sam Tobin-Hochstadt Indiana University 20 4 5.63 5 4 1.16113111225111
57 David Van Horn University of Maryland - College Park 20 3 6.71 4 4 1.03222123112211
57 Tiark Rompf Purdue University 20 4 6.05 6 4 1.5011422223111
57 Neelakantan R. Krishnaswami University of Cambridge 20 2 8.60 9 2 3.242112311132111
57 Nate Foster Cornell University 20 5 4.21 5 6 0.8121111231112121
57 Shaz Qadeer Microsoft Research 20 3 7.06 2 6 0.332112112221122
57 Zachary Tatlock University of Washington 20 5 4.50 6 6 1.091121141221121
57 Emery D. Berger University of Massachusetts Amherst 20 3 7.45 3 4 0.951221311211212
57 J. Eliot B. Moss University of Massachusetts Amherst 20 3 6.87 1 5 0.20121313
68 Ori Lahav 0001 Tel Aviv University 19 4 5.81 13 3 4.492143312111
68 Amal Ahmed 0001 Northeastern University 19 3 6.62 4 3 1.42112421112121
68 Mira Mezini TU Darmstadt 19 4 6.38 3 5 0.6212212111125
68 Jan Hoffmann 0002 Carnegie Mellon University 19 3 6.32 10 3 3.531522321111
68 Manu Sridharan Univ. of California - Riverside 19 4 5.18 3 4 0.8311121141121111
68 Matthew Might University of Utah 19 3 7.18 331213213
68 Mitchell Wand Northeastern University 19 2 11.92 11111113
68 Keshav Pingali 19 3 6.12 1 3 0.33111113119
68 Karl Crary Carnegie Mellon University 19 2 11.67 1 1 1.001121113
68 Hans-Juergen Boehm Google 19 1 13.07 1 1 1.001111111111
68 Guy E. Blelloch Carnegie Mellon University 19 3 6.57 5 3 1.4521111111118
79 Deepak Garg 0001 Max Planck Society 18 5 4.14 12 6 2.63133141311
79 François Pottier 18 2 11.00 5 3 2.001112111111124
79 Sebastian Erdweg University of Mainz 18 3 5.40 7 3 2.1713123121112
79 Bruno C. d. S. Oliveira University of Hong Kong 18 3 6.20 8 3 2.67313111122111
79 Krishnendu Chatterjee IST Austria 18 4 4.58 10 4 2.304243122
79 Nikhil Swamy 18 6 3.25 4 6 0.5811111211221211
79 Hongseok Yang KAIST 18 4 4.90 2 4 0.58111121421211
79 Peter Thiemann 0001 University of Freiburg 18 2 8.42 4 2 2.17112112118
79 Vivek Sarkar Georgia Institute of Technology 18 3 7.26 111121119
79 Michael D. Bond Ohio State University 18 4 5.32 4 4 1.041211111222112
79 Viktor Kuncak EPFL 18 3 6.17 2 3 0.671111312212111
79 Xavier Leroy INRIA 18 2 10.53 1 2 0.501111111119
79 John C. Mitchell Stanford University 18 2 9.25 117
92 Erez Petrank Technion 17 3 6.27 3 5 0.73111111121115
92 Nicolas Wu Imperial College London 17 3 5.78 10 4 3.202521211111
92 Marco Gaboardi Boston University 17 5 4.23 7 4 1.702231312111
92 Ryan Newton Indiana University 17 4 4.02 4 6 0.76222222311
92 P. Madhusudan Univ. of Illinois at Urbana-Champaign 17 3 5.18 5 5 1.401112212112111
92 Aleksandar Nanevski IMDEA Software Institute 17 3 5.99 5 4 1.591211111311112
92 Jeremy G. Siek Indiana University 17 4 5.29 2 4 0.582412111212
92 Alastair F. Donaldson Imperial College London 17 4 4.69 6 5 1.48132233111
92 Thomas R. Gross ETH Zurich 17 2 7.67 21111110
92 Daan Leijen Microsoft Research 17 3 8.40 6 2 2.28212112121112
92 Martín Abadi University of California 17 3 6.92 1 2 0.501111112
92 Swarat Chaudhuri University of Texas at Austin 17 4 5.50 2 4 0.45111114122111
92 Laurie J. Hendren McGill University 17 3 5.79 1111229
92 David M. Ungar 17 2 7.78 116
92 Paul Hudak Yale University 17 2 7.67 1115
107 Kathleen Fisher Tufts University 16 4 4.58 2 5 0.42112111311121
107 Justin Hsu Cornell University 16 5 3.94 9 5 2.0921332212
107 Zhenjiang Hu Peking University 16 4 4.17 3 4 0.70121112125
107 Loris D'Antoni University of Wisconsin - Madison 16 4 5.12 7 4 2.0011131522
107 Xiangyu Zhang 0001 Purdue University 16 4 4.54 4 5 0.82131211121111
107 Giuseppe Castagna Université de Paris 16 3 6.50 3 4 1.50111111111214
107 Michael D. Ernst University of Washington 16 4 4.74 1 4 0.25111211311121
107 Amr Sabry Indiana University 16 3 6.33 2 2 0.83111111118
107 James R. Larus EPFL 16 3 6.58 11113
107 Cédric Fournet Microsoft Research 16 4 4.43 111121111114
107 Rahul Sharma 0001 Microsoft Research 16 4 4.48 3 4 0.8312224221
107 Sriram K. Rajamani Microsoft Research 16 4 4.11 2 6 0.34111112121113
107 G. Ramalingam Microsoft Research 16 3 6.90 121219
107 Ken Kennedy Rice University 16 2 7.00 16
121 Constantin Enea 15 4 4.66 8 4 2.24143111211
121 Ilya Sergey National University of Singapore 15 4 4.88 7 4 1.98133221111
121 Richard A. Eisenberg 15 4 4.28 8 4 2.032231322
121 Guoqing Harry Xu Univ. of California - Los Angeles 15 5 4.85 7 7 1.3722211111121
121 Milind Kulkarni 0001 Purdue University 15 5 3.93 6 4 1.5733121131
121 R. Kent Dybvig Indiana University 15 3 6.21 2 5 0.621111111116
121 Olin Shivers Northeastern University 15 2 7.70 3 8 0.53111124113
121 Andreas Podelski University of Freiburg 15 3 5.20 2 3 0.67111111122112
121 Rajeev Alur University of Pennsylvania 15 4 4.35 6 4 1.482112111111111
121 Madan Musuvathi Microsoft Research 15 4 4.36 3 6 0.621221113211
121 P. Sadayappan University of Utah 15 6 2.74 2 6 0.37112212111111
121 Naoki Kobayashi 0001 University of Tokyo 15 3 6.45 2 4 0.5821311115
121 John H. Reppy University of Chicago 15 3 6.60 2 2 0.83111211215
121 William R. Cook University of Texas at Austin 15 3 6.75 111211116
121 Manuel Fähndrich Microsoft Research 15 3 5.45 1111110
121 Toshio Nakatani 15 4 3.98 21228
121 David F. Bacon Google 15 4 4.27 2112216
121 Steve Blackburn 15 5 3.73 2 6 0.4621211111113
121 Monica S. Lam Stanford University 15 2 7.45 2 4 0.451111110
121 George C. Necula Univ. of California - Berkeley 15 2 6.78 121128
141 Ugo Dal Lago Università degli Studi di Bologna 14 3 5.00 8 3 2.8343121111
141 Tom Schrijvers KU Leuven 14 4 4.20 6 4 1.8311221121111
141 Patrick Cousot New York University 14 2 6.54 1 3 0.33112118
141 Ross Tate 14 3 5.70 3 5 0.8721211111121
141 Dominique Devriese KU Leuven 14 3 4.52 6 3 1.71132112121
141 Zachary Kincaid Princeton University 14 3 4.62 5 4 1.581112211311
141 Nadia Polikarpova Univ. of California - San Diego 14 5 3.20 13 5 2.87123521
141 Matthew J. Parkinson Microsoft Research 14 3 4.53 2111111222
141 Atsushi Igarashi Kyoto University 14 3 5.58 2 3 0.671131111113
141 Xipeng Shen North Carolina State University 14 4 3.38 3 4 0.652121211121
141 Norman Ramsey Tufts University 14 2 8.33 1 1 1.001111111115
141 Shriram Krishnamurthi Brown University 14 4 4.28 2 3 0.751121111213
141 David I. August Princeton University 14 5 3.12 2 6 0.3711123231
141 Andrew D. Gordon 0001 Microsoft Research 14 3 4.79 1 3 0.331211216
141 Matthew Arnold 14 4 3.77 2221313
141 Amer Diwan University of Colorado 14 3 4.63 1211126
141 Thomas A. Henzinger IST Austria 14 4 3.97 1 5 0.20111122123
158 Anders Møller Aarhus University 13 3 4.90 3 3 1.08211312111
158 Andreas Pavlogiannis Aarhus University 13 3 4.73 8 3 3.372312212
158 Eelco Visser Delft University of Technology 13 3 4.40 2 4 0.531122211111
158 Azadeh Farzan University of Toronto 13 3 5.33 6 2 2.5012111111211
158 Frank Pfenning Carnegie Mellon University 13 2 5.58 111118
158 Eric Koskinen Stevens Institute of Technology 13 3 4.37 4 4 0.9521111112111
158 Michael Carbin Massachusetts Institute of Technology 13 3 3.77 8 3 2.4013311112
158 Jonathan Aldrich Carnegie Mellon University 13 3 4.48 3 4 0.673111121111
158 Brandon Lucia Carnegie Mellon University 13 3 4.95 6 2 2.5012311311
158 Christos Dimoulas Northwestern University 13 4 3.28 5 4 1.371111122121
158 Koushik Sen Univ. of California - Berkeley 13 4 4.35 4 5 0.85131122111
158 Santosh Nagarakatte Rutgers University 13 4 4.33 6 2 2.42221111221
158 Louis-Noël Pouchet Colorado State University 13 5 2.70 3 4 0.951222111111
158 Mahmut T. Kandemir Pennsylvania State University 13 5 3.61 4 4 0.84311111122
158 Atsushi Ohori 13 2 6.14 111217
158 Grigore Rosu Univ. of Illinois at Urbana-Champaign 13 3 5.35 3 5 0.90211312111
158 Veselin Raychev 13 4 3.62 3 4 0.751212322
158 Amir Pnueli 13 3 5.00 13
158 Andrey Rybalchenko Max Planck Institute for Informatics 13 3 4.02 211211311
177 Sebastian Burckhardt 12 4 3.10 1 6 0.171111111311
177 Sasa Misailovic Univ. of Illinois at Urbana-Champaign 12 4 2.88 5 4 1.1812211131
177 Sharon Shoham Tel Aviv University 12 4 2.67 5 4 1.2321221211
177 Deian Stefan Univ. of California - San Diego 12 6 1.88 11 6 1.72112341
177 Azalea Raad Imperial College London 12 3 3.70 11 3 3.20122241
177 Peter W. O'Hearn Facebook Research 12 3 4.53 3 3 1.581111112112
177 Jeehoon Kang KAIST 12 5 2.49 7 5 1.6321311211
177 Arjun Radhakrishna 12 6 2.34 9 7 1.4811223111
177 Qirun Zhang Georgia Institute of Technology 12 3 3.78 6 3 2.0821121221
177 Frank Piessens KU Leuven 12 3 4.23 1 3 0.3311221221
177 Ralf Hinze TU Kaiserslautern 12 1 8.92 11121114
177 Michael Greenberg 0002 Stevens Institute of Technology 12 3 4.43 6 3 2.08112211121
177 Vikram S. Adve Univ. of Illinois at Urbana-Champaign 12 3 3.58 4 5 0.83221111112
177 Matthew Fluet Rochester Institute of Technology 12 3 4.23 1 4 0.251111131111
177 Satish Chandra 0001 Google 12 4 3.40 2 4 0.4522111113
177 Aditya V. Nori Microsoft Research 12 4 3.38 1122111111
177 Scott Owens University of Kent 12 5 2.86 1 4 0.25111231111
177 Charles Zhang HKUST 12 4 3.82 3 4 0.8331121211
177 Peter F. Sweeney 12 2 4.53 11118
177 Robert Cartwright Rice University 12 2 6.67 1110
177 Ali-Reza Adl-Tabatabai Carnegie Mellon University 12 4 3.29 21216
177 Luca Cardelli University of Oxford 12 2 6.12 111
199 Michael Emmi University of California 11 3 3.89 2 3 0.751111211111
199 Meng Wang 0002 University of Bristol 11 4 3.33 7 4 1.9223111111
199 Peter Müller 0001 ETH Zurich 11 4 3.16 6 5 1.3322211111
199 Susmit Sarkar University of St Andrews 11 6 1.98 11212211
199 Philippa Gardner Imperial College London 11 4 2.98 3 4 0.751211111111
199 Pierre-Yves Strub 11 6 1.99 1 5 0.20112112111
199 Amin Timany Aarhus University 11 5 2.66 8 5 1.95142121
199 Arthur Charguéraud 11 3 5.07 2 2 1.3311211212
199 Nada Amin Harvard University 11 2 4.25 2 4 0.6411222111
199 Guido Salvaneschi TU Darmstadt 11 5 2.55 4 4 0.95223112
199 Aseem Rastogi 11 7 1.72 4 6 0.581111121111
199 Hakjoo Oh Korea University 11 4 3.23 4 3 1.4212122111
199 Oded Padon 11 5 2.23 5 4 1.1221112121
199 Simon Marlow Facebook UK Ltd. 11 4 3.32 1 4 0.251211114
199 Benjamin G. Zorn Microsoft Research 11 3 3.92 111116
199 Stephen Chong Harvard University 11 3 3.95 2 3 0.6711131211
199 Emina Torlak Amazon Web Services 11 3 3.83 1 4 0.25122411
199 David A. Padua Univ. of Illinois at Urbana-Champaign 11 3 3.64 1118
199 Guy L. Steele Jr. 11 3 4.80 3 4 0.881111115
199 Xinyu Feng 0001 Nanjing University 11 2 4.82 3 3 1.0311111111111
199 Stéphane Ducasse CRIStAL 11 3 4.08 1 3 0.33121115
199 Luis Ceze University of Washington 11 4 2.73 1 5 0.2011131121
199 Barbara G. Ryder Virginia Tech 11 2 5.03 110
199 Barbara Liskov Massachusetts Institute of Technology 11 3 3.85 119
199 Omer Tripp Amazon Web Services 11 4 2.95 12111311
199 David Grove 11 4 2.75 119
199 Perry Cheng 11 3 3.32 21125
199 James Noble 0001 Creative Research & Programming 11 4 3.04 22133
199 Oege de Moor University of Oxford 11 3 3.09 122222
199 Benjamin Livshits Imperial College 11 5 2.68 1 6 0.171223111
199 Peter Lee 0001 Microsoft Research 11 2 4.25 110
199 Harry G. Mairson Brandeis University 11 2 6.75 11117
199 Saumya K. Debray University of Arizona 11 3 4.89 119
199 Susan Horwitz University of Wisconsin-Madison 11 3 5.00 11
199 John Launchbury Galois Inc. 11 2 5.28 119
199 Trishul M. Chilimbi 11 3 4.70 111125
235 Ronald Garcia University of British Columbia 10 3 3.87 3 3 0.92111112111
235 James R. Wilcox University of Washington 10 6 1.99 5 5 0.9721232
235 Keith D. Cooper Rice University 10 2 4.45 19
235 Niki Vazou IMDEA Software Institute 10 4 2.63 6 4 1.62222211
235 James Cheney University of Edinburgh 10 4 4.12 3 4 0.781111111111
235 Atanas Rountev Ohio State University 10 5 2.63 2 6 0.3711112112
235 Ralf Jung 0002 ETH Zurich 10 6 1.85 5 7 0.91212311
235 Brian Demsky Univ. of California - Irvine 10 2 4.28 2 4 0.53111211111
235 Vu Le 0002 Microsoft Corporation 10 4 2.68 5 7 0.9312111121
235 Sheng Chen 0008 University of Louisiana - Lafayette 10 2 3.95 2 4 0.701122121
235 John Regehr University of Utah 10 4 2.38 3 4 0.78121111111
235 Nicolas Tabareau 10 3 3.45 8 4 2.781212211
235 Xinyu Wang 0006 University of Michigan 10 4 2.65 5 5 1.071222111
235 Ravi Chugh University of Chicago 10 4 2.75 3 4 0.67111112111
235 Aws Albarghouthi University of Wisconsin - Madison 10 3 3.45 4 3 1.4211211211
235 John Wickerson Imperial College London 10 4 2.56 6 4 1.3913111111
235 Pavel Panchekha University of Utah 10 4 2.59 3 4 0.921113121
235 Anindya Banerjee 0001 IMDEA Software Institute 10 4 3.53 2 4 0.4511111113
235 Sam Lindley University of Edinburgh 10 4 3.03 4 4 1.031212112
235 Jeremy Gibbons University of Oxford 10 3 3.83 21112111
235 Catalin Hritcu Max Planck Society 10 7 1.53 2 6 0.3911131111
235 Samuel Z. Guyer Tufts University 10 3 3.20 1 2 0.5011121121
235 Benjamin Delaware Purdue University 10 4 2.78 6 4 1.621122121
235 C.-H. Luke Ong University of Oxford 10 3 3.83 3 3 1.17211111111
235 J. Garrett Morris University of Iowa 10 2 4.58 5 3 1.752121121
235 Magnus O. Myreen Chalmers/GU 10 5 3.12 2 6 0.341111111111
235 Tachio Terauchi Waseda University 10 3 4.37 1 4 0.25111111112
235 Koen Claessen Chalmers/GU 10 3 3.43 1 8 0.1211323
235 Francesco Zappa Nardelli INRIA 10 5 2.04 1 3 0.33111211111
235 Bor-Yuh Evan Chang University of Colorado Boulder 10 3 3.58 3 4 0.831111111111
235 Stephen N. Freund Williams College 10 2 4.50 1 2 0.501111114
235 Didier Rémy INRIA Paris 10 2 6.50 1111114
235 Mark Batty University of Kent 10 5 2.17 1 6 0.171221121
235 Satish Narayanasamy University of Michigan 10 4 2.31 1 4 0.2511221111
235 Ralph E. Johnson University of Illinois 10 2 5.33 19
235 Radhia Cousot ENS Paris 10 2 4.21 2116
235 Joseph Gil Technion 10 2 5.17 1117
235 Rachid Guerraoui EPFL 10 4 3.00 1112212
235 Aaron Turon Max Planck Institute for Software Systems 10 3 4.01 12223
235 Hideaki Komatsu 10 4 2.50 127
235 Lieven Eeckhout 10 4 2.81 111112111
235 Cristiano Calcagno Imperial College London 10 3 4.17 11211121
235 Thomas Ball Microsoft Research 10 3 3.33 1216
235 Alan J. Demers 10 3 4.17 10
235 Todd A. Proebsting University of Arizona 10 2 6.20 10
235 Susan L. Graham University of California at Berkeley 10 2 4.25 10
235 Albert R. Meyer Massachusetts Institute of Technology 10 2 4.42 10
282 Magnus Madsen Aarhus University 9 3 3.50 5 2 2.251131111
282 Margus Veanes 9 4 2.65 2 4 0.50112221
282 Jonathan Immanuel Brachthäuser University of Tübingen 9 3 2.62 6 4 1.62123111
282 Jana Dunfield Queen's University 9 2 4.73 1 2 0.501121211
282 Michael Pradel University of Stuttgart 9 3 3.08 2 3 0.751122111
282 Roberto Giacobazzi University of Verona 9 3 2.78 4 4 1.12211212
282 Hiroshi Unno 0001 University of Tsukuba 9 3 3.12 4 2 1.583111111
282 Arjun Guha Northeastern University 9 4 2.24 3 4 0.83111111111
282 Conal Elliott Target 9 1 8.00 2 1 2.001112112
282 Mingsheng Ying Tsinghua University 9 3 2.57 6 5 1.401122111
282 Scott F. Smith 0001 Johns Hopkins University 9 3 3.50 1 4 0.25111114
282 Shuvendu K. Lahiri Microsoft Research 9 3 3.12 1 5 0.2012111111
282 Mike Rainey 9 5 2.08 3 6 0.512111112
282 Di Wang 0017 Peking University 9 3 2.95 7 3 2.28122211
282 Sarfraz Khurshid University of Texas at Austin 9 4 2.39 2 6 0.3321111111
282 Fernando Magno Quintão Pereira UFMG 9 4 2.89 4 2 1.5812111111
282 Ben Greenman University of Utah 9 3 3.37 4 4 1.8311112111
282 Shachar Itzhaky Technion 9 5 1.75 4 5 0.82121221
282 Michael D. Adams 0001 University of Michigan 9 2 4.53 1 2 0.501131111
282 Sriram Krishnamoorthy 9 5 2.23 2121111
282 Gordon D. Plotkin University of Edinburgh 9 2 3.41 1 2 0.50111114
282 Wei-Ngan Chin National University of Singapore 9 3 3.00 1111113
282 Thomas Dillig Stanford University 9 3 2.62 11112111
282 Iulian Neamtiu NJIT 9 3 2.95 1 4 0.25111111111
282 Ronghui Gu Columbia University 9 6 1.60 4 6 0.631121121
282 Albert Cohen 0001 Ecole Normale Superieure 9 4 2.38 1 5 0.2011211111
282 Gabriele Keller Utrecht University 9 4 2.63 1 7 0.141111122
282 Santosh Pande Georgia Institute of Technology 9 2 3.48 2 4 0.4511112111
282 K. C. Sivaramakrishnan IIT Madras 9 4 2.36 4 5 0.7811112111
282 Martin Hirzel 9 5 2.43 1 5 0.201121112
282 Akimasa Morihata 9 2 4.48 2 2 1.5011112111
282 Ahmed Bouajjani University Paris Diderot (Paris 7) 9 4 2.70 1 5 0.2011111112
282 Urs Hölzle University of California 9 2 4.00 9
282 Daniel P. Friedman Indiana University 9 2 4.08 18
282 Tamiya Onodera 9 4 3.14 11115
282 Andrew Lumsdaine 9 3 2.82 11232
282 Jeff Huang 0001 Texas A&M University 9 2 4.33 1 6 0.171121112
282 Andrew Kennedy Microsoft Research 9 2 4.83 21114
282 John Field Google Research 9 4 3.24 11115
282 Jong-Deok Choi 9 3 2.70 18
282 Julian Dolby 9 3 3.61 1 9 0.11121113
282 Vijay A. Saraswat 9 3 3.46 11115
282 Gavin M. Bierman 9 4 2.66 11111121
282 Kwangkeun Yi Seoul National University 9 4 2.36 1 4 0.2511112111
282 David Gay 9 2 3.50 111114
282 Ben Liblit University of Wisconsin-Madison 9 4 2.43 1112112
282 Mary Lou Soffa University of Virginia 9 3 3.50 9
282 Olivier Danvy National University of Singapore 9 2 6.00 117
282 Nick Benton Microsoft Research 9 3 4.17 11111112
282 Patrice Godefroid 9 2 5.25 1111122
282 Jeffrey D. Ullman Stanford University 9 3 3.67 9
282 Byron Cook 9 3 2.90 111411
282 Barry K. Rosen 9 2 5.20 9
282 Manuel M. T. Chakravarty University of New South Wales 9 4 2.73 1111122
282 John Hughes 0001 Chalmers/GU 9 3 2.87 11115
337 Joseph Tassarotti New York University 8 4 1.94 5 4 1.29212111
337 Kayvan Memarian 8 6 1.44 4 6 0.64111122
337 Graham Hutton University of Nottingham 8 2 4.33 5 2 2.3311111111
337 Jacques-Henri Jourdan 8 4 2.24 5 3 1.6711321
337 Thomas P. Jensen Inria 8 2 3.83 5 3 1.8312212
337 Vikash Mansinghka 0001 8 4 1.85 6 4 1.4811222
337 Andreas Abel 0001 Chalmers/GU 8 3 3.08 3 3 1.17111212
337 Ashish Tiwari 0001 SRI International 8 6 1.93 4 8 0.521111211
337 David Sands 0001 Chalmers/GU 8 2 4.67 1 3 0.3311114
337 Noam Rinetzky Tel Aviv University 8 6 1.56 4 6 0.63221111
337 Parosh Aziz Abdulla Uppsala University 8 4 1.70 5 5 1.06122111
337 Mohamed Faouzi Atig Uppsala University 8 4 1.70 5 5 1.06122111
337 Dexter Kozen Cornell University 8 5 2.19 3 6 0.81211112
337 Amir Kafshdar Goharshady HKUST 8 4 1.82 7 4 1.5712131
337 Osbert Bastani University of Pennsylvania 8 4 2.12 3 5 0.7012212
337 Danfeng Zhang Duke University 8 4 2.68 3 5 0.592111111
337 Flemming Nielson DTU 8 2 4.03 17
337 Rishabh Singh 8 3 2.92 1 4 0.2513121
337 Adrian Sampson Cornell University 8 6 1.64 3 6 0.481211111
337 Todd Mytkowicz Microsoft Corporation 8 4 1.88 1 8 0.121211111
337 Matthias Hauswirth Università della Svizzera italiana 8 4 2.42 1 3 0.3311111111
337 Brigitte Pientka McGill University 8 2 3.58 2 3 0.751111211
337 Yu Feng 0001 Univ. of California - Santa Barbara 8 5 1.83 4 5 0.93211121
337 Mohsen Lesani Univ. of California - Riverside 8 3 2.53 4 3 1.4211111111
337 Stefan K. Muller Illinois Institute of Technology 8 3 3.42 4 2 2.0011111111
337 Shoaib Kamil 0001 Adobe Systems Inc. 8 5 1.52 3 5 0.57212111
337 Leonidas Lampropoulos University of Maryland - College Park 8 4 2.09 4 4 1.12121211
337 Thomas Wies New York University 8 3 2.83 3 4 0.832111111
337 Fritz Henglein University of Copenhagen 8 3 3.32 111113
337 Fredrik Kjolstad Stanford University 8 3 2.30 6 3 1.7722211
337 Jean-Philippe Bernardy 8 2 3.73 3 2 1.201111121
337 Xiaokang Qiu 8 4 2.34 3 5 0.5911111111
337 Daniel R. Licata Wesleyan University 8 3 3.00 3 3 0.922111111
337 Tahina Ramananandro 8 8 1.49 2 8 0.2411111111
337 Ohad Kammar University of Edinburgh 8 3 2.52 2 3 0.67113111
337 Mark P. Jones Portland State University 8 2 4.25 1 3 0.331124
337 Westley Weimer University of Michigan 8 3 2.60 1 5 0.201111112
337 Erik Meijer 0001 Facebook 8 4 2.99 1 14 0.07125
337 Zena M. Ariola University of Oregon 8 4 2.62 1 4 0.251111112
337 Jakob Rehof TU Dortmund 8 2 4.00 1 2 0.501115
337 Andreas Rossberg Google 8 3 3.86 1 3 0.331111211
337 Luc Maranget 8 4 2.73 1 3 0.33111113
337 Matthew A. Hammer none 8 4 2.01 2 4 0.58211121
337 Francesco Logozzo 8 3 2.48 122111
337 Chandrasekhar Boyapati 8 3 2.87 1115
337 Michael I. Schwartzbach Aarhus University 8 2 3.42 8
337 Akinori Yonezawa University of Tokyo 8 3 3.00 17
337 Oscar Nierstrasz University of Bern 8 3 3.87 11114
337 Stephen J. Fink IBM Research 8 4 1.97 111212
337 Claudio V. Russo Microsoft Research Cambridge 8 2 3.79 11111111
337 Charles Consel INRIA 8 2 3.17 17
337 Antony L. Hosking Australian National University 8 3 2.55 111113
337 Steven Lucco 8 2 4.62 8
337 Yu David Liu Binghamton University 8 2 3.25 1121111
337 Shan Lu 0001 University of Chicago 8 5 2.03 1 5 0.201111112
337 Fabrice Rastello INRIA 8 6 1.30 2 6 0.37111221
337 Masato Takeichi 8 4 2.15 1124
337 Nevin Heintze Carnegie Mellon University 8 2 3.58 8
337 Martin Hofmann 0001 LMU Munich 8 3 3.58 11213
337 Mark N. Wegman IBM Research 8 3 3.40 8
337 Jeanne Ferrante Univ. of California - San Diego 8 3 2.87 8
337 Matthias Blume Google 8 2 3.42 12212
337 Charles N. Fischer University of Wisconsin-Madison 8 2 3.83 8
337 F. Kenneth Zadeck 8 3 2.87 8
337 Ron Cytron Washington University in St. Louis 8 3 2.87 8
337 Vaughan R. Pratt Stanford University 8 1 7.50 8
337 Christopher W. Fraser 8 2 4.70 8
337 Scott A. Mahlke University of Michigan 8 4 2.23 11213
405 Conor McBride University of Strathclyde 7 2 3.78 1111111
405 Ningning Xie University of Toronto 7 4 1.95 7 4 1.9511221
405 Mahesh Viswanathan 0001 Univ. of Illinois at Urbana-Champaign 7 3 1.98 5 4 1.32121111
405 Christopher Pulte 7 8 0.97 4 7 0.56112111
405 Gagandeep Singh 0001 Univ. of Illinois at Urbana-Champaign 7 4 1.95 4 4 0.95211111
405 Markus Püschel ETH Zurich 7 3 2.03 3 4 0.701111111
405 Yizhou Zhang 0001 University of Waterloo 7 3 2.48 4 2 1.581111111
405 David Pichardie Ecole Normale Superieure de Rennes 7 5 1.49 3 5 0.681111111
405 Patrick Eugster Università della Svizzera italiana 7 3 2.62 2 4 0.451111111
405 Nuno P. Lopes Universidade de Lisboa 7 5 1.33 1 5 0.20111211
405 Hongfei Fu 0001 Shanghai Jiao Tong University 7 5 1.52 6 5 1.272221
405 Pavol Cerný TU Wien 7 4 2.17 1 4 0.251111111
405 Jeremy Yallop University of Cambridge 7 3 3.08 5 3 1.75111211
405 Xin Zhang 0035 Peking University 7 4 1.87 1 3 0.3311221
405 Filip Sieczkowski University of Wroclaw 7 4 1.68 3 4 0.83111211
405 Sam Staton University of Oxford 7 4 2.68 4 4 1.08211111
405 Michael Sammler 7 6 1.14 7 6 1.142311
405 Hanne Riis Nielson DTU 7 2 3.03 16
405 Nathaniel Nystrom Università della Svizzera italiana 7 4 1.79 1 3 0.331111111
405 Xavier Rival Ecole Normale Superieure 7 3 2.96 2 4 0.581111111
405 Alvin Cheung Univ. of California - Berkeley 7 4 1.95 2 4 0.45111211
405 Benjamin Grégoire Research Centre Inria Sophia Antipolis - Méditerranée: Valbonne 7 5 1.69 2 8 0.241111111
405 Neil Immerman University of Massachusetts Amherst 7 5 1.48 2 4 0.5021112
405 Limin Jia 0001 Carnegie Mellon University 7 3 1.98 4 3 1.25211111
405 Gang Tan Pennsylvania State University 7 3 2.48 3 4 0.78211111
405 Steven Ramsay University of Bristol 7 3 2.67 3 3 1.171111111
405 Tyler Sorensen 0001 Univ. of California - Santa Cruz 7 4 1.93 3 4 0.6421112
405 Taro Sekiyama National Institute of Informatics 7 3 2.83 4 2 1.67111121
405 Chung-chieh Shan Indiana University 7 3 2.62 1 5 0.20121111
405 Tobias Grosser University of Edinburgh 7 6 1.28 5 5 0.99112111
405 David Darais Galois 7 4 1.90 2 8 0.341111111
405 Joxan Jaffar National University of Singapore 7 3 2.58 1 3 0.33115
405 Ruzica Piskac Yale University 7 4 1.60 3 4 0.70111211
405 Karthikeyan Bhargavan INRIA 7 6 1.40 1111111
405 Davide Sangiorgi University of Bologna 7 2 4.83 1 1 1.0011113
405 Hongjin Liang 0001 Nanjing University 7 2 2.87 3 3 1.031111111
405 Kazutaka Matsuda 7 4 2.12 3 4 1.00111121
405 Shin-ya Katsumata National Institute of Informatics 7 4 2.65 3 4 0.75211111
405 Kunle Olukotun Stanford University 7 7 1.11 1 7 0.141111111
405 Andrew P. Tolmach Portland State University 7 4 1.81 111112
405 Chen Ding 0001 University of Rochester 7 4 1.78 112111
405 Milo M. K. Martin 7 4 1.67 3211
405 Michael Hind 7 4 2.03 1114
405 Dave Clarke 0001 Uppsala University 7 3 2.23 1114
405 Peng Wu 0001 Meta 7 4 1.74 121111
405 Tillmann Rendel 7 3 2.00 11221
405 Georg Neis 7 4 1.83 111121
405 Brad Calder University of California 7 3 2.28 115
405 Bratin Saha 7 6 1.38 11113
405 Tatiana Shpeisman 7 7 1.22 111112
405 Zohar Manna Stanford University 7 2 3.00 16
405 Neil D. Jones University of Copenhagen 7 2 3.08 7
405 Tim Sheard 7 2 4.00 124
405 Jérôme Vouillon Pierre and Marie Curie University 7 2 3.92 11113
405 Alexey Gotsman IMDEA Software Institute 7 4 1.98 111112
405 William W. Pugh University of Maryland 7 2 4.33 16
405 J. Ramanujam Louisiana State University 7 7 1.15 1111111
405 Guang R. Gao University of Delaware 7 3 2.58 16
405 Joseph Y. Halpern Cornell University 7 2 3.42 7
405 Michael Sperber University of Tübingen 7 2 3.75 16
465 Nachshon Cohen 6 2 2.87 1 5 0.2012111
465 Robert Atkey University of Strathclyde 6 3 2.51 1 7 0.141122
465 Alexander J. Summers University of British Columbia 6 4 1.68 5 5 1.182121
465 Anders Miltner 6 6 1.11 4 6 0.741122
465 Umang Mathur 0001 National University of Singapore 6 3 1.78 4 4 1.12111111
465 Max S. New University of Michigan 6 3 1.92 2 3 0.671113
465 Sebastian Hack Saarland University 6 2 2.29 2 2 0.8311211
465 Timon Gehr 6 4 1.40 4 4 1.031212
465 Anthony Widjaja Lin TU Kaiserslautern 6 5 1.54 2 7 0.3111211
465 Benjamin Lucien Kaminski Saarland University 6 4 1.32 5 5 1.0712111
465 Joost-Pieter Katoen RWTH Aachen University 6 4 1.32 5 5 1.0712111
465 Christoph Matheja 6 5 1.22 6 5 1.221311
465 Phuc C. Nguyen 6 4 1.83 2 4 0.50111111
465 Jurriaan Hage Utrecht University 6 4 1.77 1 4 0.25111111
465 Guannan Wei 0001 Purdue University 6 4 1.58 5 4 1.251131
465 Philipp Schuster 6 4 1.70 5 4 1.371131
465 Andrei Stefanescu 6 4 1.71 1 11 0.0911112
465 Marco Patrignani University of Trento 6 4 1.45 4 6 0.79111111
465 Nils Anders Danielsson Chalmers/GU 6 1 4.58 1 3 0.33111111
465 Gregor Richards 6 4 1.41 111111
465 Martin Erwig Oregon State University 6 2 3.08 11211
465 Takeshi Tsukada 6 3 2.17 5 3 1.9221111
465 Manuel Serrano INRIA 6 2 3.50 2 2 1.501113
465 Beniamino Accattoli 6 3 2.08 3 3 1.172112
465 Neville Grech University of Malta 6 4 1.57 3 5 0.651212
465 Andres Löh 6 4 1.85 1 6 0.1711211
465 Gabriel Scherer INRIA Saclay 6 3 2.67 1 3 0.331311
465 Paolo G. Giarrusso 6 4 1.65 3 5 0.9012111
465 Danel Ahman University of Ljubljana 6 6 2.10 3 6 0.8111121
465 Gowtham Kaki University of Colorado Boulder 6 4 1.92 2 4 0.5811211
465 Ton Chanh Le 6 4 1.62 4 4 1.0311211
465 Michalis Kokologiannakis 6 4 1.75 5 3 1.5011121
465 Dominic A. Orchard University of Kent 6 3 1.95 1 3 0.3311211
465 William J. Bowman University of British Columbia 6 4 2.08 1 4 0.251212
465 Jules Jacobs 6 2 3.00 6 2 3.00321
465 Guilherme Ottoni 6 4 2.00 1 3 0.3311112
465 Murali Krishna Ramanathan 6 3 2.25 2 3 0.75111111
465 Matthew Hague Royal Holloway University of London 6 4 1.43 2 7 0.31111111
465 Fei He 0001 Tsinghua University 6 2 2.42 4 2 1.671311
465 Alexandra Silva 0001 Cornell University 6 5 1.24 3 6 0.6411121
465 Kapil Vaswani 6 4 1.60 21111
465 Jonathan Ragan-Kelley Massachusetts Institute of Technology 6 6 1.03 4 6 0.742211
465 Vasco Thudichum Vasconcelos Universidade de Lisboa 6 4 1.76 1 2 0.5012111
465 Mukund Raghothaman University of Southern California 6 4 1.40 3 5 0.62111111
465 Bernhard Scholz University of Sydney 6 4 1.48 3 5 0.651212
465 Patrick Bahr IT University of Copenhagen 6 2 2.50 5 2 2.1721111
465 Zoe Paraskevopoulou 6 3 2.33 4 2 1.6712111
465 Akash Lal 6 4 1.63 2 4 0.4511121
465 Alan Schmitt 6 4 1.61 1 4 0.25111111
465 Yuepeng Wang 0001 Simon Fraser University 6 4 1.53 2 4 0.501122
465 Mike Dodds 6 3 1.73 1 5 0.2011112
465 Kim Nguyen 0001 Université Paris-Sud 6 4 1.75 1 4 0.25111111
465 Wouter Swierstra Utrecht University 6 2 2.67 4 2 1.8311211
465 Matthieu Sozeau 6 2 2.78 3 4 0.9512111
465 Jesper Cockx TU Delft 6 3 2.25 3 3 1.08111111
465 Jonathan Protzenko 6 3 1.88 3 3 1.1711121
465 Vincent St-Amour 6 4 1.68 111111
465 Michael Norrish Australian National University 6 6 1.26 1 7 0.14111111
465 Stephen Dolan 6 4 2.24 3 8 0.4012111
465 Pat Hanrahan Stanford University 6 5 1.09 2 6 0.36111111
465 Jad Hamza 6 3 1.83 2 3 0.6711121
465 Paul Downen University of Massachusetts Lowell 6 4 1.78 2 4 0.45111111
465 Avraham Shinnar 6 5 1.30 1 5 0.20111111
465 Sophia Drossopoulou Imperial College London 6 4 2.00 11112
465 Tobias Wrigstad Uppsala University 6 4 1.49 1 3 0.3311121
465 Percy Liang Stanford University 6 4 1.92 1 3 0.3311121
465 Ben Hardekopf Univ. of California - Santa Barbara 6 4 1.81 3 4 0.6712111
465 Jean Yang 0001 Akita Software 6 6 1.50 2 6 0.33111111
465 Pavol Bielik 6 4 1.65 1 5 0.201131
465 David Monniaux University of Grenoble 6 3 3.04 2 4 0.5811112
465 Kihong Heo KAIST 6 4 1.40 1 4 0.2512111
465 Harold Ossher 6 3 2.55 15
465 Max Schäfer 6 4 2.03 2121
465 Gary T. Leavens University of Central Florida 6 2 2.58 15
465 Kiyokuni Kawachiya 6 4 1.64 1113
465 Walter Binder Università della Svizzera italiana 6 4 1.45 1 12 0.0811121
465 Koen De Bosschere Ghent University 6 4 1.58 1113
465 Camil Demetrescu Sapienza University of Rome 6 3 2.25 1122
465 Saurabh Srivastava 0001 Sparkz 6 3 1.92 12111
465 Bjørn N. Freeman-Benson 6 3 3.03 6
465 Neal Glew Intel Labs 6 2 3.23 114
465 Mario Tokoro 6 2 2.83 6
465 Roman Manevich 6 4 1.58 1221
465 Cole Schlesinger 6 6 1.24 1 6 0.171221
465 Kent L. Beck Facebook 6 3 2.06 6
465 Sungwoo Park POSTECH 6 3 2.75 111111
465 William H. Harrison 6 2 2.78 6
465 Manish Gupta 0002 IIIT Bangalore 6 4 1.73 6
465 Guei-Yuan Lueh 6 3 1.81 15
465 Janis Voigtländer University of Duisburg-Essen 6 1 4.75 12111
465 Nissim Francez Technion - Israel Institute of Technology 6 2 2.92 6
465 Juan Chen 0002 Microsoft Research 6 6 1.26 12111
465 Edmund M. Clarke Carnegie Mellon University 6 3 3.25 6
465 E. Allen Emerson University of Texas at Austin 6 2 2.67 6
465 Jean-Baptiste Tristan Boston College 6 2 2.37 111111
465 Hongwei Xi Boston University 6 2 2.83 15
465 Kohei Honda 0001 Queen Mary University of London 6 2 3.67 1113
465 Jon G. Riecke 6 2 3.25 6
465 Pierre-Évariste Dagand 6 4 1.92 1 2 0.50111111
465 Gregory F. Johnson 6 2 3.50 6
465 Jack W. Davidson University of Virginia 6 2 2.67 15
465 Susan J. Eggers University of Washington 6 3 2.07 6
567 Paul-André Melliès Pierre and Marie Curie University 5 2 2.45 2 3 1.2011111
567 Jérémie Koenig Yale University 5 5 1.19 3 4 0.952111
567 Roly Perera 5 4 1.33 2 4 0.502111
567 Anton Podkopaev JetBrains Research 5 6 0.97 5 6 0.971121
567 Woosuk Lee 5 4 2.20 3 2 1.7511111
567 Delia Kesner University Paris-Diderot 5 3 2.17 2 2 1.3311111
567 Klaus von Gleissenthall VU Amsterdam 5 5 1.05 3 7 0.4711111
567 Venkatesh Srinivasan 5 2 2.17 122
567 Shaked Flur 5 8 0.60 2 11 0.2011111
567 Stephen Kell King's College London 5 3 2.81 2 5 0.48221
567 Marc Pouzet Ecole Normale Superieure 5 6 1.33 2 4 0.502111
567 Alejandro Aguirre 0001 IMDEA Software 5 6 1.20 4 6 1.001211
567 Sandrine Blazy INRIA 5 5 1.21 3 5 0.6811111
567 Olivier Flückiger 5 5 0.98 4 5 0.821211
567 Hoang-Hai Dang 5 4 1.02 5 4 1.02212
567 Conrad Watt 5 8 0.87 5 8 0.871112
567 Alan Leung 5 6 1.08 2 8 0.2511111
567 Aggelos Biboudis EPFL 5 4 1.20 1 5 0.2011111
567 Yuanbo Li 5 3 1.58 5 3 1.581112
567 John Peter Campora III 5 3 1.62 2 4 0.701121
567 Henrik Nilsson University of Nottingham 5 1 4.00 1112
567 James Koppel 5 3 1.53 3 3 0.87212
567 Stephen Chang 0001 University of Massachusetts Boston 5 3 1.75 1 4 0.251121
567 Dariusz Biernacki University of Wroclaw 5 4 1.58 3 4 0.8311111
567 Kenneth L. McMillan University of Texas at Austin 5 5 1.02 1 5 0.2011111
567 Cyrus Omar University of Michigan 5 4 1.37 3 4 0.6711111
567 Wonyeol Lee 0001 KAIST 5 3 1.75 2 4 0.5811111
567 Wen-Mei W. Hwu Univ. of Illinois at Urbana-Champaign 5 4 1.70 14
567 John Cyphert 5 4 1.25 4 4 1.00221
567 Jason Breck 5 4 1.25 3 4 0.751211
567 Aviral Goel 5 5 1.32 4 4 1.152111
567 Milos Gligoric 0001 University of Texas at Austin 5 4 1.08 3 4 0.6711111
567 Hila Peleg Technion - Israel Institute of Technology 5 5 1.13 5 5 1.1323
567 Joachim Breitner DFINITY Foundation 5 4 2.04 2 4 1.122111
567 Torsten Hoefler ETH Zurich 5 4 1.16 4 4 0.911211
567 Stefan Marr University of Kent 5 4 1.53 122
567 Xiaodi Wu 0001 University of Maryland - College Park 5 4 1.28 4 4 0.9511111
567 Martin Elsman University of Copenhagen 5 3 2.12 1112
567 Lukasz Ziarek University at Buffalo 5 3 1.42 1 4 0.2511111
567 Benjamin Sherman 5 5 1.23 4 4 1.031211
567 Kenji Maillard 5 6 0.93 3 4 0.6411111
567 Stephen Chou 5 5 1.13 3 7 0.601211
567 Caleb Stanford Univ. of California - Davis 5 3 1.45 5 3 1.451112
567 Chris Hawblitzel 5 3 1.64 1 6 0.171211
567 Jay P. Lim 5 3 1.92 5 3 1.92221
567 Max Willsey 5 6 0.84 5 6 0.841121
567 Chandrakana Nandi 5 6 0.75 4 6 0.591211
567 Andrei Popescu 0001 University of Sheffield 5 2 2.08 2 3 0.7511111
567 Zhoulai Fu IT University of Copenhagen 5 3 1.75 3 4 0.9211111
567 Casper Bach Poulsen TU Delft 5 4 1.48 2 4 0.70113
567 Ruben Martins 5 4 1.15 2 4 0.501112
567 Yong Kiam Tan 5 5 0.91 2 6 0.3411111
567 Uri Alon 0002 Google 5 3 1.50 4 3 1.25311
567 Guy Golan-Gueta 5 5 1.09 11111
567 Youngju Song 5 7 0.69 3 6 0.482111
567 Minki Cho 5 6 0.93 5 6 0.931112
567 Yufei Ding Univ. of California - San Diego 5 6 1.23 1 6 0.171211
567 Damiano Mazza 5 3 1.75 3 3 1.0811111
567 Michele Pagani 5 3 1.83 2 2 0.831112
567 Simon Spies 5 7 0.89 5 7 0.89122
567 Siau-Cheng Khoo National University of Singapore 5 4 1.53 1112
567 Zhiqiang Zuo 0002 Nanjing University 5 7 0.76 3 8 0.392111
567 Santiago Zanella Béguelin 5 6 0.92 11111
567 Vilhelm Sjöberg 5 4 1.44 1 4 0.2511111
567 Katsuhiro Ueno 5 3 1.81 1112
567 Sarita V. Adve Univ. of Illinois at Urbana-Champaign 5 7 1.18 1 10 0.1011111
567 Kathryn E. Gray 5 8 0.84 1 14 0.0711111
567 Dean M. Tullsen Univ. of California - San Diego 5 6 1.27 2 8 0.2711111
567 Christoph M. Kirsch University of Salzburg 5 4 1.48 1 5 0.201211
567 James Riely DePaul University 5 3 1.83 2 4 0.501112
567 Ryosuke Sato 0001 University of Tokyo 5 4 1.37 2 4 0.58221
567 Konstantinos Mamouras Rice University 5 5 1.38 4 4 1.181121
567 Andrew M. Pitts University of Cambridge 5 2 3.33 1 1 1.0011111
567 Jean Pichon-Pharabod Aarhus University 5 5 1.28 4 6 0.781121
567 Luca Padovani 5 2 2.00 1 2 0.5011111
567 Ryan Beckett 5 4 1.37 3 4 0.831211
567 Radha Jagadeesan DePaul University 5 3 1.83 1 3 0.33113
567 Sam Blackshear 5 3 1.67 1112
567 Davide Ancona University of Genoa 5 3 1.92 11111
567 Elena Zucca University of Genoa 5 3 1.92 11111
567 Somesh Jha University of Wisconsin - Madison 5 4 1.29 1 4 0.2511111
567 K. Rustan M. Leino Amazon Web Services 5 2 2.50 14
567 Dirk Riehle University of Erlangen–Nuremberg 5 1 3.75 14
567 Pierre Cointe 5 3 2.42 5
567 Wilf R. LaLonde Carleton University 5 2 2.58 5
567 Roy H. Campbell Univ. of Illinois at Urbana-Champaign 5 2 2.17 5
567 David H. Lorenz Open University of Israel 5 2 3.00 1112
567 Dennis de Champeaux 5 3 1.50 5
567 Yoav Zibin 5 2 2.03 14
567 Ivar Jacobson 5 2 2.81 5
567 Gilad Bracha Google 5 2 2.25 14
567 Ivan Kuraj 5 3 1.50 1112
567 Daniel Jackson 0001 Massachusetts Institute of Technology 5 3 1.75 1112
567 Lennart C. L. Kats 5 3 1.75 1211
567 Tim Harris 0001 Microsoft 5 4 1.75 11111
567 Nick Mitchell 5 4 1.62 1211
567 Dominic Duggan Stevens Institute of Technology 5 2 3.50 5
567 Gregor Kiczales University of British Columbia 5 2 2.17 113
567 Roberto Lublinerman 5 3 1.40 1112
567 Pavel Avgustinov 5 7 0.93 122
567 Dimitrios Prountzos 5 4 1.20 113
567 Damien Sereni 5 7 1.59 122
567 Calvin Lin University of Texas at Austin 5 3 1.92 2111
567 Andrew A. Chien University of Chicago 5 2 2.17 5
567 Daniel Frampton 5 5 0.98 1112
567 Vlad Ureche 5 4 1.42 1211
567 Nathan Chong 5 4 1.32 11111
567 Ayal Zaks Intel 5 4 1.37 1211
567 Jennifer B. Sartor 5 4 1.40 11111
567 Alan Borning University of Washington 5 3 1.62 14
567 Ole Agesen 5 3 1.83 5
567 Gabriel Dos Reis 5 3 1.67 212
567 Julia Lawall Sorbonne University 5 2 1.95 113
567 Yan Chen 0001 Max Planck Institute for Software Systems 5 3 1.50 1121
567 Andy Georges 5 3 1.42 1211
567 Dries Buytaert Ghent University 5 4 1.33 1211
567 Valery Trifonov Yale University 5 3 1.50 5
567 Martin Bravenboer 5 3 2.00 11111
567 Robert Grimm 0001 New York University 5 2 2.45 11111
567 Mauricio J. Serrano 5 4 1.20 113
567 Richard L. Hudson 5 4 1.21 1112
567 Andrzej Filinski University of Copenhagen 5 1 4.50 113
567 Uday Bondhugula IISc Bangalore 5 4 1.23 11111
567 Fan Long University of Toronto 5 3 1.67 1 3 0.331112
567 Jianzhou Zhao 5 4 1.14 11111
567 Georges Gonthier 5 3 1.92 14
567 Daniel Leivant Indiana University 5 1 4.50 5
567 Radu Rugina Cornell University 5 2 2.33 1112
567 John C. Reynolds Carnegie Mellon University 5 2 3.17 122
567 Michael Rodeh 5 3 1.75 5
567 Walid Taha Halmstad University 5 3 1.67 14
567 Trevor Jim 5 2 2.50 14
567 Dan R. Ghica University of Birmingham 5 2 3.33 1211
567 Tayfun Elmas 5 3 1.50 11111
567 Tim Teitelbaum GrammaTech 5 3 2.00 5
567 John L. Hennessy Stanford University 5 2 2.83 5
567 Stephen C. Johnson 5 3 3.00 5
567 Matthias Neubauer University of Freiburg 5 2 2.25 14
567 Andrea Asperti University of Bologna 5 2 3.17 14
567 John H. Reif Duke University 5 2 3.50 5
567 Mads Tofte IT University of Copenhagen 5 3 2.33 5
567 Alfred V. Aho Columbia University 5 3 2.00 5
567 Patrick Maxim Rondon 5 3 1.58 2111
567 Don Syme Microsoft Research 5 3 2.00 1112
567 William D. Clinger Northeastern University 5 2 3.50 5
567 Kevin Hammond 5 4 1.48 1121
567 Patricia Johann Appalachian State University 5 3 1.92 11111
567 Keith Wansbrough 5 5 1.26 113
567 Kiminori Matsuzaki 5 4 1.48 11111
567 Ravi Sethi University of Arizona 5 2 2.67 5
567 Juan Chen 5 3 2.23 11111
567 William Landi 5 2 2.17 5
567 Yitzhak Mandelbaum 5 3 1.45 1112
567 Robert Paige New York University 5 2 3.00 5
567 Joe B. Wells Heriot-Watt University 5 4 1.70 14
567 Nikolaj S. Bjørner Microsoft Research 5 5 1.19 1 3 0.331211
567 Jay Ligatti University of South Florida 5 3 1.53 11111
567 James E. Donahue 5 2 2.03 5
567 Gerwin Klein University of New South Wales 5 3 1.36 11111
567 S. Doaitse Swierstra Utrecht University 5 3 2.00 14
567 Olaf Chitil University of Kent 5 1 4.00 1112
567 Sung-Hwan Lee 0001 Seoul National University 5 5 1.04 5 5 1.041211
567 Xulong Tang University of Pittsburgh 5 5 0.99 3 5 0.592111
567 David B. Whalley Florida State University 5 2 2.00 14
731 Francesco Gavazzo University of Pisa 4 2 1.75 4 2 1.7513
731 Michal Friedman 0001 ETH Zurich 4 4 1.07 3 5 0.731111
731 Konstantinos Kallas 4 4 0.87 4 4 0.87121
731 Yotam M. Y. Feldman 4 4 0.89 4 4 0.89112
731 Lukás Holík Brno University of Technology 4 6 0.62 2 8 0.28211
731 Olli Saarikivi 4 6 0.71 3 6 0.46211
731 Alexander Bakst 4 4 1.03 1 5 0.201111
731 Arthur Azevedo de Amorim Rochester Institute of Technology 4 6 0.79 1 3 0.331111
731 Philipp Rümmer University of Regensburg 4 6 0.65 2 7 0.311111
731 Geoffrey Mainland Drexel University 4 2 2.67 1111
731 Neil Mitchell 4 2 2.67 1 3 0.331111
731 Keval Vora Simon Fraser University 4 3 1.17 2 3 0.671111
731 Lindsey Kuper Univ. of California - Santa Cruz 4 4 1.00 2 4 0.50112
731 Thomas Gilray University of Alabama - Birmingham 4 4 1.03 1 4 0.25112
731 Yue Li 0006 Nanjing University 4 4 0.91 2 6 0.33211
731 Jan-Oliver Kaiser 4 6 0.74 1 4 0.25121
731 Andreas Haeberlen University of Pennsylvania 4 5 0.85 2 5 0.401111
731 Aaron Roth 0001 University of Pennsylvania 4 5 0.82 2 5 0.401111
731 Oliver Bracevac Galois 4 6 0.78 2 5 0.421111
731 Benoît Montagu 4 2 1.75 3 2 1.251111
731 Josh Berdine Facebook 4 4 1.03 1 4 0.25112
731 Paul He 4 6 0.68 3 7 0.431111
731 Chengyu Zhang 0001 ETH Zurich 4 3 1.25 4 3 1.25121
731 Daniel Patterson 0001 Northeastern University 4 4 1.12 2 3 0.751111
731 Feras Saad 4 4 1.03 4 4 1.03112
731 Martin Avanzini 4 3 1.50 2 3 0.671111
731 Simon J. Gay University of Glasgow 4 4 1.90 1 5 0.201111
731 Philip W. Trinder University of Glasgow 4 4 1.07 1 5 0.20112
731 Gustavo Soares 4 8 0.54 4 8 0.54211
731 Serdar Tasiran 4 3 1.25 1111
731 Heather Miller Carnegie Mellon University 4 4 1.08 2 3 0.671111
731 Sandro Stucki 4 4 1.20 2 2 0.831111
731 Pierre Clairambault Ecole Normale Superieure de Lyon 4 2 1.67 3 2 1.331111
731 Edward Aftandilian 4 4 1.12 1111
731 Yannick Zakowski 4 6 0.84 4 6 0.841111
731 Arjen Rouvoet 4 4 0.98 2 4 0.53112
731 Francesco Ranzato University of Padova 4 3 1.25 2 4 0.581111
731 Fabian Muehlboeck Australian National University 4 2 1.83 1 2 0.501111
731 Benjamin Chung 4 6 0.68 2 6 0.37112
731 Mirko Köhler 0001 Technische Universität Darmstadt 4 5 0.90 2 6 0.371111
731 Andres Erbsen 4 5 0.88 4 5 0.88121
731 Cezara Dragoi Ecole Normale Superieure 4 4 1.12 2 4 0.53211
731 Damien Zufferey Massachusetts Institute of Technology 4 3 1.17 2 3 0.67211
731 Qinheping Hu 4 4 1.25 3 4 0.751111
731 Juneyoung Lee 4 7 0.58 1 5 0.20121
731 Bengt Jonsson 0001 Uppsala University 4 4 1.67 1 6 0.171111
731 Konstantinos Sagonas Uppsala University 4 5 0.81 1 6 0.171111
731 Marcelo P. Fiore University of Cambridge 4 2 2.17 1 2 0.50112
731 Arie Gurfinkel University of Waterloo 4 4 0.99 2 6 0.461111
731 Luís Caires Universidade NOVA de Lisboa 4 2 2.00 2 2 1.001111
731 Tamás Szabó 4 3 1.25 3 3 1.00211
731 Yingfei Xiong 0001 Peking University 4 4 0.87 4 4 0.8713
731 Maciej Piróg University of Wroclaw 4 4 1.25 2 4 0.501111
731 Aymeric Fromherz 4 6 0.81 4 6 0.811111
731 Guido Martínez CIFASIS-CONICET & Universidad Nacional de Rosario 4 7 0.58 3 7 0.451111
731 Philipp Haller KTH Royal Institute of Technology 4 4 1.17 2 5 0.421111
731 Kartik Nagar IIT Madras 4 4 1.00 3 4 0.751111
731 Timos Antonopoulos 4 6 0.87 3 5 0.701111
731 ThanhVu Nguyen George Mason University 4 4 1.01 4 4 1.01112
731 Jan Midtgaard 4 6 1.01 1111
731 Radu Grigore University of Kent 4 3 1.95 211
731 Eric Atkinson 4 4 1.20 4 4 1.2022
731 Louis Mandel 4 5 0.77 3 5 0.57211
731 Stefan Monnier University of Montreal 4 3 1.42 1 4 0.25112
731 Chenglong Wang 4 4 1.12 2 4 0.451111
731 Vincent Laporte 4 6 0.84 1 7 0.141111
731 Sanjit A. Seshia Univ. of California - Berkeley 4 6 0.73 1 6 0.171111
731 Tao Xie 0001 Peking University 4 6 0.73 3 6 0.531111
731 Stephanie Balzer 4 2 1.67 3 3 1.17121
731 Malavika Samak 4 3 1.50 1 3 0.331111
731 Deokhwan Kim 4 4 1.33 1 3 0.331111
731 Germán Andrés Delbianco 4 4 1.20 2 4 0.451111
731 Christian Wimmer 4 6 0.69 2 6 0.381111
731 Thomas Würthinger 4 8 0.52 2 10 0.21211
731 Daniel W. Barowy 4 4 1.17 1111
731 Grégory M. Essertel 4 4 0.95 3 4 0.7531
731 Giuliano Losa 4 5 0.88 211
731 Andrea Vezzosi 4 3 1.33 1 3 0.33112
731 Soham Chakraborty 0001 TU Delft 4 6 0.99 3 7 0.791111
731 Cosmin E. Oancea University of Copenhagen 4 3 1.45 1111
731 Raymond Hu 4 5 0.77 4 5 0.77121
731 Minseok Jeon 4 3 1.42 2 2 0.831111
731 Sam Westrick 4 3 1.25 4 3 1.251111
731 Lukas Lazarek 4 4 0.95 3 4 0.701111
731 Dennis E. Shasha New York University 4 4 1.17 2 4 0.501111
731 Zheng Guo 0003 University of California 4 6 0.65 4 6 0.6522
731 Nick Giannarakis 4 4 1.08 3 4 0.751111
731 Filip Niksic 4 4 1.15 2 4 0.4522
731 Manuel Costa Microsoft Research 4 6 0.63 211
731 Roopsha Samanta Purdue University 4 4 0.90 3 4 0.701111
731 Leonardo Mendonça de Moura 4 4 1.28 3 3 1.081111
731 Ryan G. Scott 4 4 0.93 2 4 0.531111
731 Aaron Stump University of Iowa 4 4 1.08 2 5 0.421111
731 Lingming Zhang 0001 Univ. of Illinois at Urbana-Champaign 4 4 1.20 1 5 0.201111
731 Darko Marinov Univ. of Illinois at Urbana-Champaign 4 4 1.20 2 6 0.37112
731 Lu Zhang 0023 Peking University 4 6 0.87 2 6 0.37211
731 Christian Kästner Carnegie Mellon University 4 4 1.00 112
731 Sarah E. Chasins Univ. of California - Berkeley 4 3 1.42 1 2 0.501111
731 Marco F. Cusumano-Towner Massachusetts Institute of Technology (MIT) 4 5 0.85 3 5 0.65121
731 Paul Thomson 4 5 0.82 1 6 0.171111
731 Dmitriy Traytel University of Copenhagen 4 2 1.58 2 3 0.751111
731 Rodolphe Lepigre 4 6 0.60 4 6 0.60211
731 Alexandru Nicolau Univ. of California - Irvine 4 3 1.26 13
731 Josep Torrellas Univ. of Illinois at Urbana-Champaign 4 4 0.96 2 3 0.67211
731 Carlo Angiuli Indiana University 4 4 1.17 2 4 0.581111
731 Clément Pit-Claudel 4 4 0.90 3 5 0.651111
731 Filippo Bonchi Ecole Normale Superieure de Lyon 4 3 1.37 2 4 0.531111
731 Leo White 4 5 1.03 4 5 1.031111
731 Werner Dietl University of Waterloo 4 4 1.00 2 4 0.581111
731 Li Zhou 4 5 0.90 4 5 0.90121
731 Pranav Garg 0001 Amazon Web Services 4 4 1.03 1111
731 Carl Friedrich Bolz-Tereick Heinrich Heine University of Düsseldorf 4 4 0.93 211
731 Norman Danner 4 3 1.42 2 4 0.58211
731 Eric Bodden Paderborn University 4 4 0.94 1 3 0.331111
731 Justin Pombrio 4 2 1.83 1111
731 Tongping Liu 4 4 1.15 1 5 0.201111
731 Alejandro Russo Chalmers/GU 4 4 1.70 1 5 0.20121
731 Matt Brown 4 2 2.00 1111
731 Thibaut Balabonski 4 2 2.45 1111
731 Ramana Kumar 4 6 0.76 1 7 0.141111
731 William Mansky University of Illinois at Chicago 4 6 0.84 1 7 0.14121
731 Xi Wang 0005 University of Washington 4 6 0.66 1 4 0.251111
731 David A. Naumann Stevens Institute of Technology 4 4 1.20 1 6 0.171111
731 Rasmus Ejlers Møgelberg IT University of Copenhagen 4 2 1.67 4 2 1.67112
731 Hridesh Rajan Iowa State University 4 3 1.42 1111
731 Kaan Genç 4 3 1.25 3 3 0.92211
731 Avik Chaudhuri 4 4 1.78 1111
731 Sunjay Cauligi 4 8 0.57 4 8 0.57112
731 Beta Ziliani Universidad Nacional de Córdoba 4 4 1.15 1111
731 Anil Madhavapeddy University of Cambridge 4 5 0.86 2 8 0.281111
731 David Castro-Perez Imperial College London 4 4 1.28 3 4 0.951111
731 Linzhang Wang Nanjing University 4 6 0.77 3 7 0.52211
731 Alan Jeffrey 4 3 1.83 2 4 0.501111
731 Gilbert Louis Bernstein Stanford University 4 5 0.76 3 5 0.56211
731 Daniel Perelman 4 5 0.81 1 7 0.141111
731 Steffen Smolka 4 6 0.76 2 6 0.311111
731 Joshua S. Auerbach 4 4 0.90 1111
731 Gustavo Petri 4 4 1.28 2 4 0.451111
731 Joseph Devietti University of Pennsylvania 4 4 1.03 121
731 Yaniv David 4 3 1.50 1 3 0.331111
731 Nengkun Yu Stony Brook University 4 4 1.20 4 4 1.20121
731 Eva Darulova Max Planck Society 4 2 1.48 2 5 0.48211
731 Peter M. Chen University of Michigan 4 5 0.79 1 4 0.251111
731 John Renner 4 6 0.67 4 6 0.67112
731 Alex Potanin Australian National University 4 4 0.95 1 4 0.251111
731 Petr Novotný 0001 Masaryk University 4 4 1.17 1 4 0.251111
731 Robert E. Strom 4 2 2.33 4
731 Stanley B. Zdonik Brown University 4 2 2.00 4
731 Stefan Hanenberg 4 2 2.70 112
731 Dave A. Thomas 4 4 1.23 4
731 Ole Lehrmann Madsen Aarhus University 4 2 2.08 4
731 Patrick Lam 0001 University of Waterloo 4 4 1.23 112
731 Preston Briggs 4 4 1.33 13
731 Richard Helm 4 4 1.23 4
731 Richard P. Gabriel 4 2 2.17 1111
731 Christophe Dony LIRMM Montpellier 4 2 2.08 4
731 John Whaley 4 2 2.33 112
731 Kazunori Ogata 4 5 0.80 1111
731 M. Frans Kaashoek Massachusetts Institute of Technology 4 3 1.42 1 4 0.2513
731 Polyvios Pratikakis University of Crete 4 4 1.06 211
731 Karel Driesen 4 2 2.25 4
731 Mangala Gowri Nanda 4 3 1.25 1111
731 David A. McAllester TTI Chicago 4 2 2.00 13
731 Irene Finocchi Luiss Guido Carli University 4 3 1.25 22
731 Pascal Van Hentenryck Georgia Institute of Technology 4 2 1.67 4
731 Grady Booch 4 6 0.95 4
731 James E. Rumbaugh 4 2 2.39 4
731 Daniel von Dincklage 4 2 1.55 1111
731 Derek Coleman 4 4 1.23 4
731 Takeshi Ogasawara 4 5 1.55 112
731 Bowen Alpern 4 4 1.13 4
731 Rodric M. Rabbah 4 4 0.95 1111
731 Bjarne Stroustrup AT&T Inc 4 4 1.25 112
731 Bard Bloom 4 2 2.46 13
731 Matthew Hertz 4 3 1.37 22
731 Christian Grothoff 4 4 1.04 121
731 Julian Tibble 4 8 0.68 22
731 Stephen Magill 4 4 1.08 1 4 0.251111
731 Yasuhiko Yokote 4 2 2.33 4
731 Mae Milano University of California 4 4 1.16 1 3 0.331111
731 Lucas Brutschy 4 4 1.08 1111
731 Marco Pistoia JPMorgan Chase 4 4 0.95 1111
731 Satoshi Matsuoka Tokyo Institute of Technology 4 4 1.33 4
731 Wilson C. Hsieh 4 3 1.50 4
731 Olivier Tardieu 4 3 1.45 22
731 Grzegorz Czajkowski 4 2 2.25 4
731 Jeffrey Dean Google 4 4 1.03 4
731 Xiao Xiao 0003 Sourcebrella 4 5 0.82 112
731 Greta Yorsh 4 4 1.17 211
731 Ben L. Titzer Carnegie Mellon University 4 2 2.36 1111
731 Henry M. Levy University of Washington 4 3 1.50 4
731 Xin Qi 0012 Facebook Inc. 4 2 1.83 121
731 Earl T. Barr University College London 4 4 1.25 1 4 0.251111
731 Michael J. Carey 0001 Univ. of California - Irvine 4 2 1.58 4
731 Marvin H. Solomon University of Wisconsin-Madison 4 2 2.83 4
731 Yunhui Zheng 4 4 1.00 211
731 Liuba Shrira Brandeis University 4 2 1.53 4
731 Ben Wiedermann 4 4 1.08 1111
731 Hiroshi Inoue 4 4 1.33 112
731 Philippe Suter 4 4 1.17 112
731 Maurice Herlihy Brown University 4 3 1.50 112
731 Gilles Pokam 4 4 0.82 1 5 0.201111
731 Chengnian Sun University of Waterloo 4 3 1.20 121
731 John Cavazos University of Delaware 4 2 1.75 1111
731 Michael F. P. O'Boyle University of Edinburgh 4 3 1.50 1 4 0.251111
731 Daniel H. H. Ingalls 4 4 1.90 4
731 Yanhong A. Liu Stony Brook University 4 4 0.98 1111
731 Scott D. Stoller Stony Brook University 4 4 0.98 1111
731 Jacques Garrigue Nagoya University 4 2 1.75 112
731 Motohiro Kawahito 4 5 0.80 4
731 Toshiaki Yasue 4 5 0.80 4
731 Eric Schkufza 4 4 1.08 1111
731 Kuat Yessenov Massachusetts Institute of Technology 4 3 1.14 1111
731 Peng Liu 0010 Purdue University 4 4 0.93 1 5 0.201111
731 Kenneth M. Kahn 4 4 1.25 4
731 Jaakko Järvi University of Bergen 4 5 0.90 211
731 Ravi Mangal 4 4 0.95 22
731 Tobias Nipkow TU Munich 4 2 1.75 112
731 Gregor Snelting Karlsruhe Institute of Technology 4 2 1.58 112
731 Chandra Krintz Univ. of California - Santa Barbara 4 2 1.83 112
731 Adam Welc 4 5 0.88 112
731 V. T. Rajan 4 3 1.20 112
731 John Tang Boyland University of Wisconsin - Milwaukee 4 2 2.00 13
731 Nathan Bronson Rockset 4 5 0.92 121
731 Zachary R. Anderson 4 2 2.08 1111
731 Youfeng Wu 4 4 1.68 1111
731 Corneliu Popeea 4 4 1.08 1111
731 Robert Muller Boston College 4 4 1.62 4
731 Stelios Sidiroglou-Douskos 4 4 1.08 121
731 David Harel Weizmann Institute of Science 4 2 2.17 4
731 Dimitar K. Dimitrov 0002 ETH Zürich 4 4 0.95 1111
731 Ganesh Sittampalam 4 8 0.70 22
731 Daniel G. Bobrow Palo Alto Research Center Incorporated 4 5 0.92 4
731 Nils Klarlund AT&T Inc 4 3 1.42 13
731 Vugranam C. Sreedhar IBM Research 4 3 1.37 4
731 Samuel P. Midkiff Purdue University 4 4 1.28 112
731 Evelyn Duesterwald 4 3 1.20 13
731 Vijay Menon 0002 Intel Corporation 4 6 0.68 112
731 Kemal Ebcioglu 4 4 0.82 22
731 Guangyu Chen Penn State 4 4 1.00 121
731 Linhai Song Pennsylvania State University 4 5 1.10 1 5 0.201111
731 Bruno Blanchet ENS Paris 4 2 2.62 4
731 Stephen Weeks 4 2 1.75 4
731 Haruo Hosoya 4 2 1.67 112
731 Amelia C. Fong 4 2 2.83 4
731 David N. Turner University of Kent 4 2 1.67 4
731 Ruy Ley-Wild Carnegie Mellon University 4 3 1.37 1111
731 Tom Ridge University of Cambridge 4 6 1.47 121
731 Jade Alglave 4 6 0.95 1111
731 Edward L. Wimmers 4 3 1.42 4
731 Steven S. Muchnick 4 2 2.00 4
731 Reinhard Wilhelm Saarland University 4 3 1.87 13
731 Nils Gesbert University of Glasgow 4 3 1.37 1111
731 Matthew Hennessy Trinity College Dublin 4 2 1.83 4
731 Mark Shields 4 4 1.33 4
731 Peter J. Stuckey University of Melbourne 4 3 1.50 4
731 David Molnar 4 4 0.90 211
731 Derek C. Oppen 4 2 2.50 4
731 Prakash Panangaden McGill University 4 3 1.25 13
731 David Callahan 4 2 2.17 4
731 Christian S. Collberg University of Arizona 4 2 1.98 13
731 David Bernstein 4 3 1.31 4
731 Erik Ruf Microsoft Research 4 1 3.50 4
731 Johan Jeuring Utrecht University 4 4 1.18 112
731 James Brotherston University College London 4 2 1.58 1111
731 Yasuhiko Minamide Tokyo Institute of Technology 4 2 2.08 13
731 Samuel N. Kamin Univ. of Illinois at Urbana-Champaign 4 2 3.00 4
731 Richard J. Lipton Georgia Institute of Technology 4 3 1.92 4
731 Jean-Jacques Lévy INRIA 4 3 1.42 4
731 Carl A. Gunter Univ. of Illinois at Urbana-Champaign 4 3 1.95 4
731 Glenn Ammons 4 3 1.42 4
731 Gérard Berry 4 2 1.83 1 2 0.5013
731 Prateek Mishra 4 2 1.83 4
731 Christian Queinnec LIP6 4 2 2.33 4
731 David B. MacQueen 4 2 2.17 4
731 David K. Gifford Massachusetts Institute of Technology 4 2 2.00 4
731 Irene Greif IBM 4 2 1.50 4
731 Michael Wolfe 4 2 2.03 4
731 Sriram Sankaranarayanan 0001 University of Colorado Boulder 4 3 1.25 1111
731 Bjarne Steensgaard Microsoft Research 4 3 1.92 112
731 Mary W. Hall University of Utah 4 4 1.02 1 10 0.101111
731 David R. Hanson 4 2 1.70 4
731 Pierre-Louis Curien CNRS - Université Paris 7 4 3 1.42 13
731 I. V. Ramakrishnan Stony Brook University 4 3 1.14 4
731 Ming Kawaguchi 4 3 1.25 1111
731 Nicolas Halbwachs IMAG 4 2 1.58 13
731 Johannes Borgström Uppsala University 4 6 0.71 211
731 Jonathan T. Moore 4 4 1.07 13
731 Robin Milner 4 2 1.53 4
731 Richard Johnson 4 3 1.37 4
731 Michael Hanus University of Kiel 4 4 1.78 13
731 Lal George 4 2 2.00 4
731 Neil Ghani University of Strathclyde 4 2 1.58 1111
731 Ehud Shapiro Weizmann Institute of Science 4 2 2.75 4
731 Helmut Seidl TU Munich 4 2 1.53 1111
731 Oliver Rüthing 4 3 1.33 4
731 Jens Knoop TU Wien 4 3 1.33 4
731 Bernhard Steffen TU Dortmund 4 3 1.33 4
731 Leslie Lamport Microsoft Research 4 1 3.50 4
731 Norihisa Suzuki 4 2 3.00 4
731 Greg Nelson 4 4 1.70 4
731 David W. Wall 4 1 3.50 4
731 Dawson R. Engler Stanford University 4 3 1.92 4
731 Matteo Cimini University of Massachusetts Lowell 4 2 1.75 121
731 Rakesh Ghiya 4 2 1.67 4
731 David Tarditi 4 4 1.25 112
731 Assaf J. Kfoury Boston University 4 2 2.08 4
731 M. Anton Ertl TU Wien 4 2 2.83 13
731 Pedro C. Diniz University of Southern California 4 2 1.83 4
731 Siddhartha Chatterjee The University of Texas at Austin 4 4 0.98 13
731 Oleg Kiselyov 4 4 1.17 1111
731 Oscar Waddell 4 3 1.50 13
731 Stefan Holdermans 4 4 1.18 1111
731 Roman Leshchinskiy 4 4 1.07 1111
731 Franklyn A. Turbak Wellesley College 4 4 1.70 4
731 Chris Okasaki 4 1 4.00 4
731 Frank Huch University of Kiel 4 2 2.03 1111
731 Hideya Iwasaki 4 4 1.28 112
731 Martin Sulzmann 4 4 1.25 112
731 Sebastian Fischer 0001 University of Kiel 4 3 1.37 1111
731 Satnam Singh 4 3 1.42 1111
731 Pierre Genevès CNRS 4 3 1.50 1111
731 Benjamin Goldberg New York University 4 2 3.00 4
731 He Zhu 0001 Rutgers University 4 3 1.25 1 4 0.251111
731 Scott Nettles 4 3 1.37 4
731 Simone Campanoni Northwestern University 4 6 0.76 4 6 0.76112
731 Victor Nicolet 4 2 1.83 3 2 1.331111
731 Nick P. Johnson 4 5 0.82 112
731 Michal Cierniak 4 3 1.37 4
731 Michelle Mills Strout 4 4 1.02 1 10 0.101111
731 Eric Eide University of Utah 4 6 0.76 1111
731 Keith H. Randall 4 3 1.50 4
731 Prakash Prabhu 4 5 0.90 121
731 Fred C. Chow 4 4 1.70 13
731 Benjamin Bichsel 4 4 0.95 3 4 0.751111
1066 Léo Stefanesco 3 5 0.65 2 5 0.40111
1066 G. A. Kavvos University of Bristol 3 3 1.58 3 3 1.58111
1066 Burcu Kulahcioglu Ozkan TU Delft 3 5 0.73 2 4 0.53111
1066 Yuting Wang 0001 Shanghai Jiao Tong University 3 4 0.83 3 4 0.83111
1066 Alceste Scalas Technical University of Denmark 3 3 1.03 3 3 1.0312
1066 Rami Gökhan Kici 3 5 0.57 2 6 0.33111
1066 Damien Pous 3 2 1.83 1 3 0.33111
1066 Dustin Jamner 3 4 0.78 2 4 0.53111
1066 José Fragoso Santos Universidade de Lisboa 3 4 0.70 2 4 0.50111
1066 Petar Maksimovic 3 4 0.70 2 4 0.50111
1066 Tian Tan 0001 Nanjing University 3 4 0.78 1 5 0.20111
1066 Dominik Winterer 3 3 0.92 3 3 0.9212
1066 Craig Disselkoen 3 8 0.36 3 8 0.36111
1066 Bryan Parno Carnegie Mellon University 3 8 0.38 3 8 0.38111
1066 Marco Vassena Utrecht University 3 8 0.42 3 8 0.42111
1066 Abhishek Udupa 3 6 0.62 1 8 0.12111
1066 Marc de Visme 3 3 1.08 3 3 1.0812
1066 Irene Yoon 0001 University of Pennsylvania 3 6 0.67 3 6 0.67111
1066 Roberto Bruni University of Pisa 3 4 0.78 2 4 0.45111
1066 Marianna Rapoport 3 4 0.89 2 4 0.64111
1066 Alexi Turcotte 3 3 0.92 2 4 0.58111
1066 Li-yao Xia 3 6 0.64 2 5 0.48111
1066 Gregory Malecha BedRock Systems 3 5 0.59 1 7 0.14111
1066 Eric Walkingshaw Oregon State University 3 3 0.92 21
1066 Tomas Petricek 0001 Charles University 3 3 0.92 1 4 0.25111
1066 Baijun Wu 3 3 1.03 1 5 0.2012
1066 Pascal Baumann 0001 Max Planck Institute for Software Systems 3 4 0.70 3 4 0.70111
1066 Ramanathan S. Thinniyam 3 4 0.70 3 4 0.70111
1066 Georg Zetzsche Max Planck Society 3 4 0.70 3 4 0.70111
1066 Martin Clochard 3 3 0.81 2 5 0.4821
1066 Yuriy Brun University of Massachusetts Amherst 3 4 0.78 2 4 0.58111
1066 Zhengyang Liu 0003 University of Utah 3 5 0.62 2 4 0.45111
1066 Marcelo Sousa 3 3 1.03 111
1066 Antoine Voizard 3 4 0.75 1 4 0.25111
1066 Daniel Gratzer 3 4 0.73 3 4 0.7312
1066 Ragnar Mogk Technische Universität Darmstadt 3 4 0.75 1 4 0.25111
1066 Joscha Drechsler 3 4 0.75 1 4 0.25111
1066 Jonas Kastberg Hinrichsen 3 3 0.87 3 3 0.8721
1066 Ivan Perez 0001 National Institute of Aerospace 3 2 1.70 1 5 0.20111
1066 Sifis Lagouvardos 3 5 0.65 3 5 0.6512
1066 Matthew Pickering 3 3 0.83 2 4 0.50111
1066 Paulo Borba UFPE 3 3 0.83 111
1066 Bernardo Toninho Universidade NOVA de Lisboa 3 4 0.88 2 5 0.62111
1066 Raghavan Komondoor IISc Bangalore 3 2 1.33 111
1066 Andrew W. Keep 3 6 0.79 1 8 0.12111
1066 Ruyi Ji 3 4 0.70 3 4 0.7012
1066 Jingling Xue UNSW 3 2 1.33 2 2 1.0021
1066 Piotr Polesiuk 3 4 0.75 2 4 0.50111
1066 Ankush Das 3 3 1.00 1 3 0.33111
1066 Denis Merigoux 3 6 0.64 3 6 0.6421
1066 András Kovács 3 1 2.33 3 1 2.33111
1066 Jason R. Koenig 3 4 0.78 3 4 0.78111
1066 Guillaume Baudart 3 5 0.57 3 5 0.5721
1066 Andrew K. Hirsch University at Buffalo 3 2 1.50 2 2 1.00111
1066 Calvin Smith 3 2 1.33 2 2 0.8321
1066 Jieung Kim 3 4 0.61 2 4 0.50111
1066 David M. Kahn 3 3 0.98 3 3 0.98111
1066 Ming-Ho Yee 3 6 0.67 1 6 0.17111
1066 Georgios Karachalias 3 4 0.75 2 4 0.50111
1066 Matija Pretnar University of Ljubljana 3 4 1.00 2 3 0.7521
1066 James Parker 3 4 0.75 3 4 0.75111
1066 Jan Jecmen 3 5 0.62 3 5 0.62111
1066 Ankush Desai 3 4 0.75 111
1066 Nick Rioux 3 4 1.00 2 3 0.75111
1066 Xuejing Huang 3 3 1.08 3 3 1.0821
1066 Youyou Cong 3 4 1.00 1 4 0.2512
1066 Ana L. Milanova Rensselaer Polytechnic Institute 3 3 1.58 1 1 1.00111
1066 Milijana Surbatovich 3 3 1.00 3 3 1.00111
1066 Sreepathi Pai University of Rochester 3 4 1.00 111
1066 Julia Belyakova 3 6 0.53 2 6 0.37111
1066 Vojin Jovanovic 3 8 0.49 2 6 0.38111
1066 Shraddha Barke 3 5 0.66 3 5 0.6612
1066 Cristina V. Lopes Univ. of California - Irvine 3 4 0.88 111
1066 Taolue Chen Birkbeck University of London 3 5 0.51 2 7 0.31111
1066 Zhilin Wu Chinese Academy of Sciences 3 5 0.51 2 7 0.31111
1066 Xiang Gao 0012 Beihang University 3 6 0.62 3 6 0.6212
1066 Abhik Roychoudhury National University of Singapore 3 4 0.75 3 4 0.7521
1066 Kevin Batz 3 5 0.65 3 5 0.65111
1066 Hanspeter Mössenböck JKU Linz 3 5 0.65 111
1066 Théo Winterhalter 3 3 0.87 2 4 0.53111
1066 Shih-Han Hung 3 5 0.62 3 5 0.62111
1066 Peng Wang 0048 Massachusetts Institute of Technology 3 3 0.76 21
1066 Joshua B. Tenenbaum Massachusetts Institute of Technology (MIT) 3 7 0.50 3 7 0.5021
1066 Siddharth Krishna 0001 Microsoft Research 3 4 0.83 2 4 0.50111
1066 Rohan Bavishi 3 4 0.78 2 4 0.45111
1066 Caroline Lemieux University of British Columbia 3 5 0.65 3 5 0.6512
1066 Michael Ballantyne 3 3 0.92 3 3 0.923
1066 Mila Dalla Preda University of Verona 3 4 0.83 1 3 0.33111
1066 Pantazis Deligiannis 3 5 0.57 1 4 0.25111
1066 Exequiel Rivas 3 4 0.89 2 6 0.39111
1066 Hannes Payer 3 5 0.57 111
1066 Filip Krikava 3 4 0.78 3 4 0.78111
1066 Benjamin Cosman 3 3 1.03 1 5 0.20111
1066 Andrew Adams 3 6 0.53 2 6 0.37111
1066 Elaine Shi Carnegie Mellon University 3 5 0.65 2 5 0.40111
1066 Vikraman Choudhury 3 3 0.98 2 2 0.83111
1066 Yisu Remy Wang 3 6 0.53 3 6 0.5312
1066 Ivan Radicek 3 5 0.73 1 5 0.2012
1066 Florian Zuleger TU Wien 3 3 1.03 21
1066 Kia Rahmani 3 4 0.62 3 4 0.6221
1066 Mohammad Raza 3 7 0.47 3 7 0.47111
1066 Konstantin Weitz 3 6 0.58 21
1066 Francisco Ferreira 0001 Royal Holloway University of London 3 4 0.70 2 4 0.45111
1066 Ryan Culpepper 3 4 0.95 111
1066 Margaret Martonosi Princeton University 3 4 0.73 2 6 0.39111
1066 Paul Krogmeier 3 5 0.90 3 5 0.90111
1066 Rohan Yadav 3 4 0.73 3 4 0.73111
1066 Markus Müller-Olm University of Münster 3 3 1.03 1 3 0.33111
1066 Wenlei Bao 3 5 0.57 12
1066 Rishi Surendran 3 5 0.87 111
1066 Alexander K. Lew 3 4 0.70 3 4 0.70111
1066 Peter Selinger Dalhousie University 3 4 0.78 1 4 0.25111
1066 Georg Moser University of Innsbruck 3 3 1.17 1 3 0.33111
1066 Csongor Kiss 3 4 0.78 2 4 0.45111
1066 Robert Dockins 3 5 0.73 2 5 0.40111
1066 Eddie Jones 3 3 1.17 3 3 1.17111
1066 Pawel Sobocinski 0001 Tallinn University of Technology 3 4 0.78 2 4 0.45111
1066 Minh-Thai Trinh 3 3 0.87 2 4 0.5321
1066 Ke Wang 0022 3 3 0.96 2 5 0.62111
1066 Zhijia Zhao 0001 Univ. of California - Riverside 3 6 0.56 1 4 0.25111
1066 Ennan Zhai 3 5 0.65 1 4 0.2512
1066 Sven Keidel 3 3 1.17 2 2 0.83111
1066 Hengchu Zhang 3 5 0.73 2 5 0.40111
1066 Jan Stolarek 3 4 0.70 2 4 0.45111
1066 Shankara Pailoor 3 4 0.75 3 4 0.75111
1066 Gabriel Radanne 3 3 1.00 2 3 0.67111
1066 Laure Gonnord Ecole Normale Superieure de Lyon 3 3 0.83 1 3 0.33111
1066 Roberto Di Cosmo INRIA 3 3 1.67 111
1066 Alastair Reid 0001 Intel 3 5 1.27 1 14 0.07111
1066 Andrew W. Fitzgibbon Microsoft Research 3 5 0.62 3 5 0.62111
1066 Joshua Sunshine Carnegie Mellon University 3 5 0.62 2 5 0.4221
1066 Liam O'Connor University of Edinburgh 3 7 0.75 2 4 0.64111
1066 Craig McLaughlin 3 6 0.64 1 7 0.14111
1066 Christine Rizkallah University of Melbourne 3 7 0.42 1 7 0.14111
1066 Peng Li 3 2 1.12 1 8 0.12111
1066 Eric Van Wyk University of Minnesota 3 4 1.00 111
1066 Shu-Chun Weng 3 4 0.71 1 4 0.25111
1066 Daniel Feltey 3 5 0.57 111
1066 Yannick Forster 0002 INRIA Nantes 3 4 0.78 2 4 0.5321
1066 David Costanzo 3 7 0.59 1 7 0.14111
1066 Thodoris Sotiropoulos 3 6 0.58 3 6 0.58111
1066 Stefanos Chaliasos 3 6 0.58 3 6 0.58111
1066 Dimitris Mitropoulos 3 6 0.58 3 6 0.58111
1066 Diomidis Spinellis AUEB 3 6 0.58 3 6 0.58111
1066 Shigeru Chiba University of Tokyo 3 3 1.58 1 4 0.25111
1066 Yao Li 0004 University of Pennsylvania 3 3 1.00 2 2 0.83111
1066 Julien Lange Royal Holloway University of London 3 4 0.71 1 8 0.12111
1066 Brad A. Myers Carnegie Mellon University 3 3 1.08 1 4 0.2512
1066 Jennifer Hackett University of Nottingham 3 2 1.50 1 2 0.50111
1066 Iavor S. Diatchki 3 4 0.78 1 5 0.20111
1066 Dominic P. Mulligan 3 4 0.78 111
1066 Nicholas Labich 3 4 0.64 111
1066 Jochen Hoenicke University of Freiburg 3 3 0.83 111
1066 Lennard Gäher 3 7 0.41 3 7 0.4121
1066 Tien N. Nguyen University of Texas at Dallas 3 4 0.67 1 4 0.25111
1066 Matthijs Vákár 3 3 0.93 2 2 0.83111
1066 James Bornholt University of Texas at Austin 3 2 1.25 111
1066 Laith Sakka 3 4 0.75 2 5 0.4221
1066 Kirshanthan Sundararajah 3 3 1.08 2 3 0.7521
1066 Jake Roemer 3 3 0.92 2 4 0.58111
1066 Joonwon Choi 3 5 0.49 1 5 0.20111
1066 Arvind Massachusetts Institute of Technology 3 4 0.78 1 4 0.25111
1066 Panagiotis Vekris 3 5 0.73 111
1066 Changwan Hong 3 8 0.38 1 8 0.12111
1066 Eric L. Seidel 3 5 0.73 111
1066 Farzin Houshmand 3 3 1.17 3 3 1.17111
1066 Robert Rand 0001 University of Chicago 3 4 0.78 2 4 0.45111
1066 Anton Lorenzen 3 2 1.33 3 2 1.3321
1066 Cristina David University of Bristol 3 4 1.00 1 4 0.25111
1066 Thomas Dinsdale-Young 3 5 0.57 1 6 0.17111
1066 Kasper Svendsen 3 6 0.64 1 6 0.17111
1066 Nikos Tzevelekos 3 2 1.67 1 6 0.17111
1066 Alexey Radul 3 6 0.49 2 6 0.33111
1066 Nicholas Ng 3 5 0.59 1 5 0.20111
1066 Peisen Yao Zhejiang University 3 4 0.83 3 4 0.833
1066 Qingkai Shi 3 4 0.67 2 4 0.5021
1066 Adam Scibior 3 6 0.60 21
1066 Benjamin P. Wood 3 4 0.83 111
1066 Aquinas Hobor National University of Singapore 3 3 1.08 1 4 0.25111
1066 Christopher J. Rossbach University of Texas at Austin 3 4 0.62 2 4 0.50111
1066 Jatin Arora 0002 Carnegie Mellon University 3 3 0.92 3 3 0.92111
1066 Jérôme Siméon 3 4 0.95 111
1066 Aditya V. Thakur Univ. of California - Davis 3 3 1.08 2 2 0.83111
1066 Gianfranco Bilardi 3 2 1.33 1 3 0.3312
1066 Thomas Sewell 3 6 0.61 1 6 0.17111
1066 Nikos Gorogiannis 3 4 0.83 1 3 0.33111
1066 Mikaël Mayer 3 4 0.83 111
1066 Charith Mendis Univ. of Illinois at Urbana-Champaign 3 3 0.96 1 3 0.33111
1066 Jesse A. Tov 3 2 1.25 1 4 0.2512
1066 Bart Jacobs 0002 KU Leuven 3 3 0.98 1 7 0.14111
1066 Zvonimir Pavlinovic 3 3 1.00 1 3 0.33111
1066 Tony Field Imperial College London 3 4 0.78 1 4 0.25111
1066 Tarmo Uustalu Reykjavik University 3 4 0.70 1 4 0.25111
1066 Aarti Gupta Princeton University 3 4 1.00 1 4 0.25111
1066 Saswat Padhi 3 4 0.75 1 4 0.25111
1066 Yufei Cai 3 4 0.68 111
1066 Antonis Stampoulis 3 2 1.50 111
1066 Ian Voysey 3 5 0.62 2 5 0.42111
1066 Kiwan Maeng Pennsylvania State University 3 2 1.33 2 2 1.00111
1066 Sukyoung Ryu KAIST 3 4 0.89 1 4 0.25111
1066 Daniel M. Yellin IBM 3 2 1.33 3
1066 Andrew P. Black Portland State University 3 3 0.92 12
1066 Junfeng Yang Columbia University 3 5 0.90 111
1066 Yuan Yu 3 3 0.87 111
1066 Robert O'Callahan 3 3 1.00 12
1066 Ross McIlroy 3 4 0.95 111
1066 Peter-Michael Osera 3 4 0.92 111
1066 Birger Møller-Pedersen University of Oslo 3 3 1.08 3
1066 Itay Maman 3 2 1.33 111
1066 Darko Stefanovic University of New Mexico 3 3 0.72 12
1066 Doug Kimelman 3 4 0.64 111
1066 Yoav Ossia 3 4 0.75 12
1066 Elisa L. A. Baniassad 3 2 1.33 111
1066 Jacques Malenfant 3 3 1.67 3
1066 Akira Koseki 3 3 0.74 3
1066 Caitlin Sadowski Google 3 5 0.73 12
1066 David Notkin University of Washington 3 2 1.20 12
1066 Richard E. Jones University of Kent 3 4 1.00 12
1066 Douglas P. Gregor Indiana University Bloomington 3 5 0.87 21
1066 Henry Lieberman MIT 3 2 1.75 12
1066 Ira R. Forman 3 3 1.08 3
1066 Scott Danforth 3 3 1.08 3
1066 Sam S. Adams 3 5 0.90 3
1066 Matthias Zenger 3 2 1.33 12
1066 Eli Tilevich Virginia Tech 3 2 1.33 111
1066 Wenguang Chen Tsinghua University 3 7 0.58 111
1066 Miryung Kim Univ. of California - Los Angeles 3 6 0.62 1 8 0.12111
1066 Sean McDirmid 3 3 1.48 111
1066 Marianne Huchard LIRMM Montpellier 3 4 0.75 3
1066 Sara Achour 3 3 1.03 111
1066 Dhruva R. Chakrabarti Hewlett Packard Enterprise Labs 3 3 0.87 111
1066 William E. Weihl 3 2 1.83 3
1066 Rebecca Wirfs-Brock 3 6 1.31 3
1066 Haryadi S. Gunawi University of Chicago 3 5 0.73 1 5 0.20111
1066 Kazuaki Ishizaki IBM Research 3 7 0.41 12
1066 Karl J. Lieberherr Northeastern University 3 2 1.33 3
1066 Xuandong Li Nanjing University 3 7 0.52 2 8 0.2721
1066 Gilles Muller 3 4 0.70 111
1066 Jacob Stein 3 4 0.92 3
1066 Rok Strnisa University of Cambridge 3 7 0.60 12
1066 Swarnendu Biswas 3 4 0.62 111
1066 Jipeng Huang 3 4 0.88 12
1066 John Potter 3 3 1.17 12
1066 Hassan Chafi 3 7 0.43 111
1066 Zach DeVito 3 5 0.53 111
1066 Adriaan Moors 3 3 0.79 21
1066 Arvind K. Sujeeth 3 8 0.40 111
1066 Wolfram Schulte Microsoft Research 3 6 0.64 111
1066 Nikolai Tillmann 3 7 0.49 111
1066 Ravichandhran Madhavan 3 3 1.08 111
1066 Ed Seidewitz Model Driven Solutions 3 1 2.20 3
1066 John Lamping 3 1 2.50 3
1066 Pietro Ferrara 0001 Ca' Foscari University of Venice 3 3 0.92 111
1066 Hidehiko Masuhara Tokyo Institute of Technology 3 4 0.83 12
1066 Thomas H. Austin San Jose State University 3 3 1.00 111
1066 Raymie Stata 3 2 1.17 3
1066 John V. Guttag Massachusetts Institute of Technology 3 2 1.50 3
1066 Eric E. Allen 3 5 0.68 111
1066 John R. Rose University of South Carolina 3 1 2.25 3
1066 Jurgen J. Vinju CWI 3 2 1.20 111
1066 Greg DeFouw 3 4 0.78 3
1066 Saswat Anand 3 3 1.00 21
1066 George Balatsouras 3 3 1.17 12
1066 George Kastrinis 3 3 1.17 12
1066 Tanzirul Azim University of California 3 3 1.17 111
1066 Riccardo Pucella Northeastern University 3 2 2.00 21
1066 Witawas Srisa-an University of Nebraska 3 3 1.00 111
1066 Jeroen Ketema 3 5 0.73 111
1066 John Maloney 3 3 0.87 3
1066 David Detlefs 3 3 1.00 12
1066 Allen Wirfs-Brock 3 2 1.33 3
1066 Kevin Bierhoff 3 3 1.08 111
1066 Arun Raman 3 4 0.70 12
1066 Michael Bauer 0001 NVIDIA 3 3 0.87 111
1066 Ajeet Shankar 3 3 1.08 111
1066 Kyndylan Nienhuis 3 7 0.59 12
1066 Asger Feldthaus 3 2 1.20 111
1066 Youngjoon Jo 3 2 1.20 111
1066 Tao Bao 3 3 1.00 111
1066 Doug Woos 3 7 0.43 111
1066 Prasad A. Kulkarni University of Kansas 3 4 1.42 111
1066 Jisheng Zhao 3 5 0.60 111
1066 Zoran Budimlic 3 5 0.57 111
1066 Adam Kiezun MIT Computer Science and Artificial Intelligence Laboratory 3 3 0.92 111
1066 Victor Luchangco 3 5 0.68 111
1066 Dave West 3 3 1.00 111
1066 Randall B. Smith 3 3 1.03 3
1066 Giorgio Ghelli University of Pisa 3 1 2.25 12
1066 Yen-Ping Shan 3 1 2.14 3
1066 Hyeonseung Im 3 4 0.75 111
1066 Berkeley R. Churchill Stanford University 3 4 0.75 1 4 0.25111
1066 Yutaka Ishikawa National Institute of Informatics 3 2 1.83 3
1066 Barry Hayes 3 1 2.17 3
1066 Jeremiah Willcock 3 5 0.73 111
1066 William L. Scherlis Carnegie Mellon University 3 2 1.83 12
1066 Toshio Suganuma 3 5 0.60 3
1066 Tatsushi Inagaki 3 4 0.57 12
1066 Michael Franz Univ. of California - Irvine 3 4 0.56 111
1066 Wontae Choi 3 4 0.78 111
1066 Daniele Cono D'Elia 3 2 1.33 111
1066 Barak A. Pearlmutter Maynooth University 3 2 1.50 21
1066 Zvonimir Rakamaric University of Utah 3 5 0.70 111
1066 David Herman 3 2 1.83 111
1066 Peter A. Dinda Northwestern University 3 5 0.59 2 6 0.39111
1066 Karen Zee 3 3 1.17 111
1066 Paul R. Wilson 0001 University of Texas at Austin 3 2 1.33 3
1066 Thomas G. Moher University of Illinois at Chicago 3 2 1.33 3
1066 Kim B. Bruce Pomona College 3 2 1.67 3
1066 Thomas P. Murtagh 3 2 1.67 3
1066 Allyn Dimock 3 5 0.62 3
1066 Colin S. Gordon Drexel University 3 5 0.68 111
1066 Clark Verbrugge McGill University 3 4 0.92 111
1066 Jaeheon Yi 3 5 0.73 111
1066 Gary Lindstrom University of Utah 3 3 1.53 3
1066 Manohar Jonnalagedda 3 5 0.51 1 5 0.20111
1066 Gene Novark 3 3 0.92 21
1066 Naftaly H. Minsky Rutgers University 3 2 2.00 3
1066 Denis Caromel 3 4 0.83 12
1066 Gary Sevitsky 3 5 0.87 111
1066 Susumu Nishimura 3 2 1.83 12
1066 Phillip M. Yelland 3 1 3.00 3
1066 Roland Ducournau 3 4 0.83 12
1066 Robert Hirschfeld Hasso Plattner Institute 3 4 0.64 21
1066 Guoliang Jin North Carolina State University 3 5 0.65 111
1066 Mikel Luján 3 4 0.78 1 5 0.20111
1066 Dino Distefano Queen Mary University of London 3 4 0.95 111
1066 Nimrod Partush 3 3 1.17 111
1066 Jay A. McCarthy University of Massachusetts Lowell 3 1 2.10 111
1066 Christoph von Praun 3 2 1.12 12
1066 Barton P. Miller University of Wisconsin - Madison 3 3 1.17 3
1066 Mary Jane Irwin Pennsylvania State University 3 6 0.58 111
1066 Andreas Krall TU Wien 3 1 2.33 3
1066 José Meseguer 0001 Univ. of Illinois at Urbana-Champaign 3 1 2.25 3
1066 Daejun Park 0001 University of Illinois at Urbana-Champaign 3 5 0.73 1 5 0.20111
1066 Alain Frisch 3 3 1.67 111
1066 Uwe F. Pleban 3 2 1.33 3
1066 Ichiro Hasuo National Institute of Informatics 3 3 1.00 21
1066 Susan S. Owicki 3 2 1.83 3
1066 John H. Williams 3 3 1.08 3
1066 Ali Sinan Köksal 3 5 0.70 111
1066 Ashutosh Gupta 0001 IIT Bombay 3 5 0.73 111
1066 Michael Stepp 3 4 0.73 111
1066 Pierre Ganty IMDEA Software Institute 3 3 1.08 1 4 0.25111
1066 Feihui Li Penn State 3 4 0.83 12
1066 Larry Carter Univ. of California - San Diego 3 3 1.00 3
1066 Clark D. Thomborson University of Auckland 3 3 1.17 3
1066 Kristian Støvring Aarhus University 3 2 1.17 12
1066 Jacob Thamsborg 3 5 0.87 12
1066 Andrew Cave 3 3 1.08 111
1066 Williams Ludwell Harrison III 3 2 1.50 3
1066 Uday S. Reddy University of Birmingham 3 2 1.33 111
1066 Hiralal Agrawal 3 1 2.50 3
1066 Gareth Paul Stoyle 3 5 0.65 111
1066 Bernard Lang 3 2 1.83 3
1066 Patrik Jansson Chalmers/GU 3 3 1.08 111
1066 Roger Hoover 3 1 2.50 3
1066 William C. Rounds University of Michigan 3 3 1.17 3
1066 Alan Mycroft University of Cambridge 3 2 1.33 111
1066 Christopher Colby 3 3 1.00 3
1066 Eric A. Brewer Univ. of California - Berkeley 3 4 0.67 111
1066 Zhiwu Xu 0001 Shenzhen University 3 4 0.92 111
1066 Aleksandr Karbyshev 3 6 0.49 111
1066 Christopher Lidbury 3 2 1.25 1 2 0.50111
1066 Orna Grumberg Technion - Israel Institute of Technology 3 3 0.92 12
1066 Mark Lillibridge Hewlett Packard Enterprise Labs 3 2 1.17 3
1066 Robert Muth 3 3 0.94 12
1066 Hugo Herbelin 3 2 1.33 111
1066 Carl Hewitt Massachusetts Institute of Technology 3 2 1.17 3
1066 Xiongnan (Newman) Wu 3 8 0.44 111
1066 Gennaro Parlato University of Molise 3 3 1.17 21
1066 William R. Harris 3 3 1.08 111
1066 Ezgi Çiçek 3 5 0.73 1 5 0.20111
1066 Harry B. Hunt III University at Albany 3 2 1.83 3
1066 Leaf Petersen 3 4 0.73 111
1066 Gérard Boudol 3 2 2.00 12
1066 Brian R. Murphy 3 6 0.81 21
1066 Edith Schonberg 3 2 1.67 12
1066 Bryan Ford EPFL 3 1 2.20 12
1066 Andrew K. Wright 3 2 1.25 3
1066 Yutao Zhong 0001 George Mason University 3 4 0.95 111
1066 Christoforos E. Kozyrakis Stanford University 3 7 0.57 111
1066 Brian Hackett 3 2 1.25 111
1066 Javier Esparza TU Munich 3 2 1.33 12
1066 Isao Sasano 3 3 1.08 12
1066 David Scott Warren Stony Brook University 3 3 0.81 3
1066 Michele Bugliesi University Ca' Foscari 3 2 1.20 12
1066 David R. Chase 3 1 2.33 3
1066 Dirk Grunwald University of Colorado Boulder 3 3 1.00 3
1066 Richard Bornat Middlesex University 3 3 0.92 111
1066 Chiyan Chen 3 2 1.33 12
1066 Steffen Jost Ludwig Maximilian University of Munich 3 4 0.95 111
1066 David S. Wise 3 2 1.50 3
1066 Paul Blain Levy University of Birmingham 3 2 1.75 111
1066 François Rouaix 3 2 1.83 3
1066 Boris Köpf IMDEA Software Institute 3 4 1.00 1 4 0.25111
1066 Shengchao Qin Teesside University 3 4 0.83 111
1066 David Gelernter Yale University 3 3 1.00 3
1066 Pierre Jouvelot 3 2 2.00 3
1066 Yoonseung Kim 3 8 0.42 111
1066 Mark D. Weiser Xerox PARC 3 6 0.83 3
1066 Ralf Lämmel University of Koblenz-Landau 3 2 2.00 111
1066 David J. King 3 3 1.17 12
1066 Rodney Farrow 3 2 1.83 3
1066 Chao Wang 0001 University of Southern California 3 2 1.33 1 2 0.50111
1066 Benoît Valiron 3 4 0.78 111
1066 Rongxin Wu Xiamen University 3 5 0.62 1 4 0.25111
1066 Dror E. Maydan 3 3 0.83 3
1066 Sigbjørn Finne 3 4 0.83 3
1066 Ali Sezgin 3 8 0.44 111
1066 Chucky Ellison 3 3 1.00 12
1066 Shu-yu Guo 3 2 1.12 1 8 0.12111
1066 Andrew McCreight 3 4 0.73 111
1066 Bernard P. Serpette 3 2 1.33 12
1066 Alain Deutsch 3 1 3.00 3
1066 Damien Doligez Inria 3 2 1.20 12
1066 Reuben N. S. Rowe Royal Holloway University of London 3 4 0.70 2 4 0.45111
1066 Dorde Zikelic 3 4 0.83 2 4 0.50111
1066 Ron Y. Pinter Technion 3 3 0.98 3
1066 Jeremy Condit 3 5 0.59 111
1066 Maged M. Michael IBM Research 3 2 1.67 111
1066 Dachuan Yu 3 3 1.08 12
1066 Matthai Philipose Microsoft Research 3 5 0.73 3
1066 Germán Vidal Universitat Politecnica de Valencia 3 4 0.78 111
1066 Edwin C. Brady University of St Andrews 3 2 2.00 111
1066 Geoffrey Washburn 3 4 1.00 111
1066 Alexey Rodriguez Yakushev 3 4 0.68 111
1066 Ben Lippmeier 3 5 0.65 111
1066 Robert Ennals 3 2 1.25 111
1066 Josef Svenningsson 3 2 1.83 111
1066 Bo Joel Svensson 3 4 1.00 111
1066 Paul Govereau 3 3 0.87 111
1066 James J. Leifer 3 4 0.89 111
1066 Keisuke Nakano 0001 Tohoku University 3 5 0.57 111
1066 Michael Y. Levin 3 3 1.67 12
1066 Colin Runciman University of York 3 2 1.50 12
1066 Lars Bergstrom 3 5 0.90 111
1066 Kanat Tangwongsan 3 4 0.78 111
1066 Nabil Layaïda 3 3 1.00 111
1066 Giovanni Campagna 3 5 0.62 2 4 0.45111
1066 Martin Kong Ohio State University 3 6 0.81 1 2 0.50111
1066 Frances Perry 3 7 0.45 111
1066 Alex Sanchez-Stern 3 4 0.70 1 5 0.20111
1066 Fraser Brown 3 6 0.47 3 6 0.47111
1066 John Kodumal 3 2 1.25 111
1066 William Thies 3 3 0.92 12
1066 Gurindar S. Sohi University of Wisconsin - Madison 3 3 1.00 21
1066 John M. Mellor-Crummey Rice University 3 3 1.03 111
1066 Sankha Narayan Guria 3 4 0.78 3 4 0.78111
1066 Elliot K. Kolodner 3 3 0.83 3
1066 William S. Evans University of British Columbia 3 2 1.20 3
1066 Gordon V. Cormack University of Waterloo 3 2 2.00 3
1066 Timothy Sherwood Univ. of California - Santa Barbara 3 6 0.56 2 5 0.42111
1066 Mark D. Hill University of Wisconsin-Madison 3 3 1.00 12
1066 Andrew Ayers 3 4 0.75 12
1066 Richard Schooler 3 4 0.75 12
1066 Dinghao Wu Pennsylvania State University 3 3 1.08 111
1066 Yu-Fang Chen 0001 Academia Sinica 3 7 0.40 1 9 0.11111
1066 Daniel Marino 3 5 0.73 111
1066 Roland H. C. Yap National University of Singapore 3 3 1.08 12
1066 Robert R. Henry 3 3 1.00 3
1066 Linda Torczon Rice University 3 3 1.08 3
1066 James M. Stichnoth 3 3 0.87 3
1066 Xiaotong Zhuang 3 2 1.25 111
1066 Quentin Carbonneaux 3 3 0.92 111
1066 Martin Burtscher Texas State University 3 3 0.75 111
1066 Zheng Wang 0001 University of Leeds 3 5 0.56 2 7 0.31111
1066 Carl Bruggeman 3 3 1.00 3
1066 Jianan Yao 3 6 0.49 3 6 0.49111
1066 Frederic T. Chong University of Chicago 3 7 0.43 2 7 0.29111
1066 Yuanrui Zhang 3 5 0.57 111
1066 Alexandre E. Eichenberger IBM Research 3 2 1.33 12
1066 Thomas Shull 3 3 0.87 2 3 0.6721
1066 Manuvir Das Microsoft Research 3 3 1.67 3
1066 Yang Chen 0024 University of Utah 3 6 0.56 111
1066 Emmett Witchel University of Texas at Austin 3 6 0.49 111
1066 Wonchan Lee 3 5 0.60 12
1066 Yuanhao Wei 3 3 0.87 3 3 0.87111
1066 Michael D. Smith 0001 Harvard University 3 3 0.92 12
1066 Jaejin Lee Seoul National University 3 5 0.70 2 4 0.50111
1066 Zhiyuan Li 0001 Purdue University 3 2 1.33 111
1066 Peng Tu 3 5 0.87 3
1066 David Mandelin 3 4 0.56 111
1066 Roshan Dathathri 3 8 0.42 2 7 0.29111
1066 Samuel Steffen 3 4 0.83 3 4 0.83111
1066 Roy Dz-Ching Ju Intel 3 7 0.79 12
1066 Reinhard von Hanxleden University of Kiel 3 2 1.12 12
1066 Grigory Fedyukovich Florida State University 3 3 0.92 2 4 0.5821
1066 Neil Vachharajani 3 3 0.92 111
1066 Jason Ansel 3 7 0.42 111