Systems: Programming Languages

Rank Name Affiliation Total (A) (Rel)22-26(A5)(Rel5)2625242322212019181716151413121110987<=6
1 Alex Aiken Stanford University 59 3 18.59 3 5 0.6231112235333511322
1 Simon L. Peyton Jones Microsoft Research 59 4 18.73 2 7 0.291113232125221132225
3 Derek Dreyer Max Planck Society 56 4 15.56 17 6 3.2211510443323242222123
4 Isil Dillig University of Texas at Austin 50 4 12.84 16 5 3.39433643364331112111
5 Thomas W. Reps University of Wisconsin - Madison 49 3 16.77 13 3 3.9513531432233217
6 Martin T. Vechev ETH Zurich 48 4 12.85 4 4 0.901214336244223511211
6 Lars Birkedal Aarhus University 48 5 12.22 21 5 4.8941043614121132213
8 Martin C. Rinard Massachusetts Inst. of Technology 46 3 17.72 1 11 0.0912231223142111218
9 Benjamin C. Pierce University of Pennsylvania 45 3 14.54 8 4 2.211322233212113316
10 Sumit Gulwani Microsoft Research 44 3 14.58 4 8 0.50112321233221544314
10 Zhendong Su 0001 ETH Zurich 44 4 13.61 11 4 3.19351226223222411114
10 Shmuel Sagiv Tel Aviv University 44 4 10.07 3 6 0.561111214122224531110
10 Ranjit Jhala Univ. of California - San Diego 44 4 11.28 11 5 2.48432213313311412334
10 Matthias Felleisen Northeastern University 44 3 16.60 3 3 0.92121211121132211121
15 Kathryn S. McKinley University of Texas at Austin 43 3 12.87 3 3 0.8721112415342413
16 Zhong Shao 0001 Yale University 40 4 14.25 9 5 2.0513142221221111214
17 Viktor Vafeiadis Max Planck Society 39 4 10.84 9 3 2.621212323622241311111
17 Rastislav Bodík University of Washington 39 3 12.74 4 3 1.332112231121122315
19 Suresh Jagannathan Purdue University 35 3 11.10 4 4 1.20211233131214218
19 Robert Harper 0001 Carnegie Mellon University 35 3 13.00 3 4 0.8311121311111219
21 Michael Hicks 0001 University of Pennsylvania 34 4 8.49 5 6 0.98122123113221319
21 Rupak Majumdar Max Planck Society 34 4 10.58 11 4 3.232241213121111111135
21 Jan Vitek Northeastern University 34 5 8.16 2 4 0.45114323213213116
21 David Walker 0001 Princeton University 34 4 10.29 3 4 0.9511113121221221211
21 Stephanie Weirich University of Pennsylvania 34 4 11.41 8 4 2.682131131111312229
26 Steve Zdancewic University of Pennsylvania 33 4 9.37 9 4 2.2112222321211221111114
27 Peter Sewell University of Cambridge 31 6 7.05 6 6 0.93111122115123127
27 Bruno C. d. S. Oliveira University of Hong Kong 31 3 10.76 16 3 5.481554113111122111
29 Eran Yahav Technion 30 3 10.15 41112313511313
29 Dan Grossman University of Washington 30 4 8.73 311122132212333
29 Umut A. Acar Carnegie Mellon University 30 3 8.38 4 4 1.01222312121231224
29 Gilles Barthe Max Planck Society 30 5 6.80 9 4 2.4333124432311111
29 Robert Bruce Findler Northwestern University 30 4 9.33 4 3 1.231111111121222229
34 Yannis Smaragdakis University of Athens 29 4 9.08 2 4 0.501123331241221111
34 Armando Solar-Lezama Massachusetts Inst. of Technology 29 3 8.16 6 4 1.5113213222412111111
34 Adam Chlipala Massachusetts Inst. of Technology 29 3 15.87 7 4 1.57214211131411121111
34 Martin Odersky EPFL 29 3 10.84 3 4 0.83111111113321111
34 Robbert Krebbers Radboud University 29 4 8.81 15 3 4.83123363314111
39 Craig Chambers University of Washington 28 3 9.16 11224
39 Éric Tanter Universidad de Chile 28 4 7.80 9 4 2.011323114212121112
41 Jens Palsberg Univ. of California - Los Angeles 27 2 11.76 2 7 0.4211211211221219
41 Todd D. Millstein Univ. of California - Los Angeles 27 4 8.17 3 5 0.7021211211121111
43 Loris D'Antoni Univ. of California - San Diego 26 4 7.48 12 4 3.0322422131522
43 Ondrej Lhoták University of Waterloo 26 3 9.02 6 4 1.92213414211214
43 Klaus Ostermann University of Tübingen 26 3 7.83 7 4 1.65122232212121113
43 Philip Wadler University of Edinburgh 26 2 12.80 1 6 0.1711221111115
47 Saman P. Amarasinghe Massachusetts Inst. of Technology 25 4 6.89 5 3 1.53231213121117
47 Cormac Flanagan Univ. of California - Santa Cruz 25 2 10.21 11112311113
47 Tiark Rompf Purdue University 25 4 7.13 5 5 1.0822111422223111
47 Jeffrey S. Foster Tufts University 25 3 7.69 3 4 0.8312221111221126
47 Chung-Kil Hur Seoul National University 25 5 5.43 6 6 1.261311231231211111
47 Matthew Flatt University of Utah 25 3 9.09 1 15 0.0711122122112
53 P. Madhusudan Univ. of Illinois at Urbana-Champaign 24 4 7.38 8 4 2.7023311221211212
53 Deepak Garg 0001 Max Planck Society 24 5 5.66 10 5 2.41121243141311
53 Nobuko Yoshida Imperial College London 24 3 9.28 3 2 1.25111244112115
53 Andrew C. Myers Cornell University 24 3 10.18 2 4 0.5821111113111127
57 Mayur Naik University of Pennsylvania 23 4 6.30 2 6 0.371111121221121213
57 Amal Ahmed 0001 Northeastern University 23 3 7.73 5 4 1.37112112421112121
57 Andrew W. Appel Princeton University 23 2 9.65 2 4 0.5311211111113
57 François Pottier INRIA 23 2 12.14 7 4 1.983211121111117
61 Dimitrios Vytiniotis 22 4 5.63 11112342111112
61 Jan Hoffmann 0002 Carnegie Mellon University 22 3 7.10 4 4 1.121111522321111
61 Nate Foster EPFL 22 5 4.75 4 5 0.931121111231112121
61 J. Gregory Morrisett Cornell University 22 3 6.83 2 5 0.4011111112112
61 Sorin Lerner Univ. of California - San Diego 22 4 6.08 1 5 0.2012111111123214
61 Sebastian Erdweg Karlsruhe Inst. of Technology 22 3 7.07 5 3 2.001223123121112
61 Zhenjiang Hu 0002 Peking University 22 4 5.67 6 4 1.50222121112125
61 Nicolas Wu Imperial College London 22 3 7.95 12 4 4.033112521211111
69 David Van Horn Univ. of Maryland - College Park 21 3 7.21 1 2 0.501222123112211
69 Zachary Tatlock University of Washington 21 5 4.61 3 6 0.532121141221121
69 Frank Tip Northeastern University 21 3 6.54 122111112
69 Sam Tobin-Hochstadt Indiana University 21 4 5.70 1 15 0.071113111225111
69 Neelakantan R. Krishnaswami University of Cambridge 21 2 8.77 4 6 1.0012112311132111
69 Ori Lahav 0001 Tel Aviv University 21 4 6.23 5 4 1.4522143312111
75 Michael D. Bond Ohio State University 20 4 5.73 3 6 0.54111211111222112
75 Constantin Enea 20 4 6.24 5 4 1.5823143111211
75 Emery D. Berger University of Massachusetts 20 3 7.45 1221311216
75 Rajiv Gupta 0001 Univ. of California - Riverside 20 3 8.42 11111114
75 Hongseok Yang KAIST 20 4 5.23 3 5 0.6611111121421211
75 Vivek Sarkar Georgia Institute of Technology 20 3 7.84 2 4 0.581111112111
75 Manu Sridharan Univ. of California - Riverside 20 4 5.30 1 8 0.121111211411213
75 J. Eliot B. Moss University of Massachusetts Amherst 20 3 6.87 1217
75 Shriram Krishnamurthi Brown University 20 4 6.43 8 2 2.904222111124
75 Shaz Qadeer Microsoft Research 20 3 7.06 2112112226
75 Peter Thiemann 0001 University of Freiburg 20 2 9.00 3 3 1.581111211219
75 Jonathan Immanuel Brachthäuser University of Tübingen 20 4 5.73 14 4 3.8761433111
75 Daan Leijen Microsoft Research 20 3 9.03 6 4 1.96132211212113
75 Sam Lindley University of Edinburgh 20 4 5.37 11 4 2.5822322212112
89 Viktor Kuncak EPFL 19 3 6.67 1 2 0.5011111312212111
89 Hans-Juergen Boehm Google 19 1 13.07 11111113
89 Krishnendu Chatterjee IST Austria 19 4 4.83 1 4 0.2514243122
89 Azalea Raad Imperial College London 19 4 5.32 10 4 2.5433132241
89 Matthew Might University of Utah 19 3 7.18 331213213
89 Michael Carbin Massachusetts Inst. of Technology 19 3 5.44 7 3 2.0112133311112
89 Guy E. Blelloch Carnegie Mellon University 19 3 6.57 2 4 0.582111111119
89 Nadia Polikarpova Univ. of California - San Diego 19 5 4.36 8 5 1.69121223521
89 Keshav Pingali 19 3 6.12 111113119
89 Ilya Sergey National University of Singapore 19 4 6.03 5 4 1.401111133221111
89 Justin Hsu Cornell University 19 4 5.03 5 3 1.67231332212
89 Karl Crary Carnegie Mellon University 19 2 11.67 1121113
89 Xavier Leroy INRIA 19 2 11.03 1 2 0.5011111111110
89 Amr Sabry Indiana University 19 3 7.03 4 4 1.03121111111
89 Zachary Kincaid Princeton University 19 3 6.53 6 3 2.252121112211311
89 Marco Gaboardi Boston University 19 5 4.82 4 4 1.17112231312111
89 Mira Mezini TU Darmstadt 19 4 6.38 1 5 0.201221211117
89 Mitchell Wand Northeastern University 19 2 11.92 111115
107 Swarat Chaudhuri University of Texas at Austin 18 4 5.83 2 4 0.531111114122111
107 Erez Petrank Technion 18 3 6.77 1 2 0.5011111111217
107 Nikhil Swamy 18 6 3.25 1 10 0.1011111211221211
107 Azadeh Farzan University of Toronto 18 3 7.33 8 3 3.002213111111211
107 Alastair F. Donaldson Imperial College London 18 4 4.84 2 6 0.311132233111
107 Dominique Devriese KU Leuven 18 3 5.77 5 3 1.5011332112121
107 Aleksandar Nanevski IMDEA Software Institute 18 3 6.33 2 2 0.831121111131113
107 Peter Müller 0001 ETH Zurich 18 4 5.04 7 3 1.88411122211111
107 Giuseppe Castagna Université de Paris 18 3 7.33 4 2 2.081111111111125
107 Ugo Dal Lago Università degli Studi di Bologna 18 3 6.67 8 2 3.2512143121111
107 John C. Mitchell Stanford University 18 2 9.25 117
118 Jeremy G. Siek Indiana University 17 4 5.29 24121115
118 David M. Ungar 17 2 7.78 17
118 Xiangyu Zhang 0001 Purdue University 17 4 4.67 1 8 0.12113121112112
118 Michael D. Ernst University of Washington 17 4 4.87 1 8 0.1211112113114
118 Joseph Tassarotti New York University 17 5 3.88 11 5 2.33234212111
118 Thomas R. Gross ETH Zurich 17 2 7.67 21111110
118 Laurie J. Hendren McGill University 17 3 5.79 111113
118 Milind Kulkarni 0001 Purdue University 17 5 4.46 2 4 0.531133121131
118 Christos Dimoulas Northwestern University 17 4 4.53 6 3 1.83122111122121
118 Steve Blackburn 17 5 4.26 4 4 0.992212111115
118 Kathleen Fisher Tufts University 17 4 4.78 1 5 0.2011121113114
118 Paul Hudak Yale University 17 2 7.67 1115
118 Richard A. Eisenberg 17 4 4.59 4 6 0.68112231322
118 Ryan Newton Indiana University 17 4 4.02 222222311
118 Sharon Shoham Tel Aviv University 17 4 4.23 7 3 2.14121121221211
118 Andreas Pavlogiannis Aarhus University 17 4 5.73 6 4 1.751122312212
118 Martín Abadi University of California 17 3 6.92 111113
118 Amin Timany Aarhus University 17 5 4.20 7 5 1.74131242121
136 Matthew J. Parkinson Microsoft Research 16 4 4.79 2 8 0.2722111111222
136 Jeehoon Kang KAIST 16 6 3.33 6 6 1.1021121311211
136 Ken Kennedy Rice University 16 2 7.00 16
136 John H. Reppy University of Chicago 16 3 6.77 2 4 0.501111211215
136 James R. Larus École Polytechnique Fédérale de Lausanne 16 3 6.58 11113
136 G. Ramalingam Microsoft Research 16 3 6.90 121210
136 Andreas Podelski University of Freiburg 16 3 5.53 3 3 1.0011111111224
136 Olin Shivers Northeastern University 16 2 7.86 3 6 0.621111129
136 Tom Schrijvers KU Leuven 16 4 4.87 3 3 0.92211221121111
136 Rahul Sharma 0001 Microsoft Research 16 4 4.48 12224221
136 Sriram K. Rajamani Microsoft Research 16 4 4.11 1 7 0.1411111212114
136 Frank Pfenning Carnegie Mellon University 16 2 6.50 3 3 0.9211111110
136 Eric Koskinen Stevens Institute of Technology 16 3 5.37 5 4 1.4211211111112111
136 Rajeev Alur University of Pennsylvania 16 4 4.52 3 5 0.7031121111113
136 Patrick Cousot New York University 16 2 8.04 2 2 1.501111219
136 Naoki Kobayashi 0001 University of Tokyo 16 3 7.45 3 3 1.58121311115
136 Hakjoo Oh Korea University 16 4 4.98 6 2 2.2522112122111
136 Jonathan Aldrich Carnegie Mellon University 16 3 5.48 3 3 1.00111311112112
136 Eelco Visser Delft University of Technology 16 3 5.18 3 4 0.78311222113
136 Cédric Fournet Microsoft Research 16 4 4.43 11112111115
156 P. Sadayappan University of Utah 15 6 2.74 112212111111
156 Xipeng Shen North Carolina State University 15 4 3.63 1 4 0.2512121211121
156 Toshio Nakatani 15 4 3.98 21210
156 R. Kent Dybvig Indiana University 15 3 6.21 11111118
156 Guoqing Harry Xu Univ. of California - Los Angeles 15 5 4.85 2 6 0.3322211111121
156 David F. Bacon Google 15 4 4.27 21129
156 David I. August Princeton University 15 5 3.26 1 7 0.1411112324
156 Monica S. Lam Stanford University 15 2 7.45 11112
156 George C. Necula University of California 15 2 6.78 12111
156 Madan Musuvathi Microsoft Research 15 4 4.36 1221113211
156 Ross Tate 15 3 6.70 1 1 1.00121211111121
156 Charles Zhang 0001 HKUST 15 4 4.77 3 4 0.951231121211
156 Manuel Fähndrich Microsoft Research 15 3 5.45 1111110
156 Oded Padon 15 5 3.21 6 4 1.2712121112121
156 Hiroshi Unno 0001 University of Tsukuba 15 3 5.45 10 2 3.92333111111
156 Sasa Misailovic Univ. of Illinois at Urbana-Champaign 15 4 3.63 4 4 1.00132211131
156 Nicolas Tabareau INRIA 15 4 4.49 8 4 2.291311212211
156 William R. Cook University of Texas at Austin 15 3 6.75 11121117
156 Atsushi Igarashi Kyoto University 15 3 5.92 1 3 0.3311131111113
175 Santosh Nagarakatte Rutgers University 14 4 4.83 3 2 1.33321111221
175 Amir Kafshdar Goharshady University of Oxford 14 4 3.43 7 4 1.872412131
175 Matthew Arnold 14 4 3.77 22217
175 Norman Ramsey Tufts University 14 2 8.33 1 1 1.001111118
175 Mahmut T. Kandemir Pennsylvania State University 14 5 3.81 1 5 0.20131111114
175 John Regehr University of Utah 14 4 3.50 4 4 1.11112121111111
175 Arjun Radhakrishna 14 6 2.63 4 7 0.5822223111
175 Qirun Zhang Georgia Institute of Technology 14 3 4.53 5 3 1.92122121221
175 Thomas A. Henzinger IST Austria 14 4 3.97 11112215
175 Grigore Rosu Univ. of Illinois at Urbana-Champaign 14 3 5.55 1 5 0.201211312111
175 Michael Greenberg 0002 Stevens Institute of Technology 14 3 4.86 4 3 1.102112211121
175 Anders Møller Aarhus University 14 3 5.23 1 3 0.331211312111
175 Amer Diwan University of Colorado 14 3 4.63 12110
175 Andrew D. Gordon 0001 Microsoft Research 14 3 4.79 121127
175 Peter W. O'Hearn Facebook Research 14 3 5.03 3 4 0.75121111124
175 James Noble 0001 Creative Research & Programming 14 4 3.68 3 4 0.641112216
191 Brandon Lucia Carnegie Mellon University 13 3 4.95 12311311
191 Louis-Noël Pouchet Colorado State University 13 5 2.70 1222111111
191 Xin Zhang 0035 Peking University 13 3 4.12 6 3 2.2522211221
191 Veselin Raychev 13 4 3.62 1212322
191 Andrey Rybalchenko Max Planck Institute for Informatics 13 3 4.02 21121132
191 Philippa Gardner Imperial College London 13 4 3.39 2 5 0.4221211111111
191 Emina Torlak Amazon Web Services 13 3 4.23 3 4 0.6511122411
191 Koushik Sen Univ. of California - Berkeley 13 4 4.35 131122111
191 Di Wang 0017 Peking University 13 3 4.37 5 3 1.7513122211
191 Pavel Panchekha University of Utah 13 4 3.46 4 3 1.37112113121
191 Guido Salvaneschi TU Darmstadt 13 4 3.13 2 4 0.5811223112
191 Aws Albarghouthi University of Wisconsin - Madison 13 4 4.10 4 4 0.901211211211
191 Philipp Schuster 13 4 3.57 9 4 2.3743231
191 Ben Greenman University of Utah 13 4 4.00 6 5 1.881131112111
191 Magnus Madsen Aarhus University 13 3 4.78 5 4 1.53212131111
191 Ningning Xie University of Toronto 13 4 3.70 8 4 2.1721212221
191 Umang Mathur 0001 National University of Singapore 13 3 4.45 8 3 2.92223111111
191 Benjamin Delaware Purdue University 13 4 3.82 5 3 1.70211122121
191 Atsushi Ohori 13 2 6.14 111217
191 Ralf Hinze TU Kaiserslautern 13 1 9.42 1 2 0.5011112115
191 Matthew Fluet Rochester Inst. of Technology 13 3 4.48 1 4 0.2511111134
191 Brigitte Pientka McGill University 13 3 5.37 6 4 2.033111111211
191 Nada Amin Harvard University 13 2 4.70 4 4 1.091111222111
191 Ralf Jung 0002 ETH Zurich 13 6 2.85 5 6 1.27111212311
191 Amir Pnueli 13 3 5.00 13
191 Joost-Pieter Katoen RWTH Aachen University 13 5 2.83 8 5 1.7212322111
217 Xinyu Wang 0006 University of Michigan 12 4 3.10 3 5 0.6521222111
217 Fredrik Kjolstad Stanford University 12 3 3.30 6 3 1.671322211
217 Thomas Wies New York University 12 3 4.00 4 4 1.171212111111
217 Ali-Reza Adl-Tabatabai Carnegie Mellon University 12 4 3.29 219
217 Aditya V. Nori Microsoft Research 12 4 3.38 1122111111
217 Aseem Rastogi 12 6 1.97 2 7 0.3511111121111
217 Benjamin Livshits Imperial College 12 4 3.02 2 4 0.502223111
217 Stephen Chong Harvard University 12 3 4.28 2 3 0.67111131211
217 Vikram S. Adve Univ. of Illinois at Urbana-Champaign 12 3 3.58 2211114
217 Michael Sammler IST Austria 12 6 2.24 10 6 1.83123411
217 Gagandeep Singh 0001 Univ. of Illinois at Urbana-Champaign 12 4 3.15 7 4 1.6511511111
217 Deian Stefan Univ. of California - San Diego 12 6 1.88 2 10 0.22112341
217 Jeff Huang 0001 Texas A&M University 12 2 5.50 3 3 1.171111121112
217 Satish Chandra 0001 Google 12 4 3.40 221115
217 Bor-Yuh Evan Chang University of Colorado Boulder 12 3 4.17 3 4 0.83111111111111
217 Sebastian Burckhardt 12 4 3.10 1111111311
217 Scott Owens University of Kent 12 5 2.86 111231111
217 Frank Piessens KU Leuven 12 3 4.23 11221221
217 Robert Cartwright Rice University 12 2 6.67 1110
217 Vu Le 0002 Microsoft Corporation 12 4 2.94 3 7 0.411112111121
217 Peter F. Sweeney 12 2 4.53 1110
217 Roberto Giacobazzi University of Arizona 12 4 3.78 5 4 1.5811121123
217 Didier Rémy INRIA Paris 12 2 7.17 2 3 0.6711111115
217 Catalin Hritcu Max Planck Society 12 7 1.82 2 7 0.291111131111
217 Luca Cardelli University of Oxford 12 2 6.12 111
217 Taro Sekiyama National Inst. of Informatics 12 3 4.75 6 2 2.4223111121
217 Alejandro Aguirre 0001 Aarhus University: Aarhus 12 6 2.42 8 6 1.72341211
217 Benjamin Lucien Kaminski Saarland University 12 4 3.13 7 5 2.0211322111
245 Susan Horwitz University of Wisconsin-Madison 11 3 5.00 11
245 Ruzica Piskac Yale University 11 4 2.66 5 4 1.3121211211
245 Osbert Bastani University of Pennsylvania 11 4 2.90 3 4 0.782112212
245 Benjamin G. Zorn Microsoft Research 11 3 3.92 11117
245 Perry Cheng 11 3 3.32 218
245 Trishul M. Chilimbi 11 3 4.70 11117
245 Peter Lee 0001 Microsoft Research 11 2 4.25 110
245 Thomas Ball 0001 Microsoft Research 11 3 3.58 1 4 0.2511216
245 Ravi Chugh University of Chicago 11 4 3.25 1 2 0.501111112111
245 Luis Ceze University of Washington 11 4 2.73 11131121
245 Simon Marlow Facebook UK Ltd. 11 4 3.32 12116
245 Saumya K. Debray University of Arizona 11 3 4.89 110
245 Tachio Terauchi Waseda University 11 3 4.62 2 4 0.50111111113
245 Susmit Sarkar University of St Andrews 11 6 1.98 11212211
245 Michael Emmi University of California 11 3 3.89 1111211111
245 David A. Padua University of Illinois Urbana-Champaign 11 3 3.64 119
245 Kwangkeun Yi Seoul National University 11 4 3.02 2 3 0.67111111212
245 Yu Feng 0001 Univ. of California - Santa Barbara 11 5 2.33 5 5 1.021411121
245 Albert Cohen 0001 Ecole Normale Superieure 11 4 3.03 2 4 0.64111121112
245 Cyrus Omar University of Michigan 11 5 2.57 6 6 1.2032111111
245 Brian Demsky Univ. of California - Irvine 11 2 4.62 2 4 0.531111211111
245 Omer Tripp Amazon Web Services 11 4 2.95 12111311
245 Xinyu Feng 0001 Nanjing University 11 2 4.82 1 3 0.331111111112
245 Tobias Grosser University of Cambridge 11 6 2.03 5 6 0.9231112111
245 Shuvendu K. Lahiri Microsoft Research 11 4 3.32 3 8 0.401112111111
245 Michael Pradel CISPA Helmholtz Center 11 3 3.73 3 2 1.1412122111
245 Barbara G. Ryder Rutgers University 11 2 5.03 11
245 C.-H. Luke Ong Nanyang Technological University 11 3 4.17 3 3 1.001211111111
245 Margus Veanes 11 4 3.23 2 4 0.582112221
245 Oege de Moor University of Oxford 11 3 3.09 12224
245 Alexandra Silva 0001 Cornell University 11 4 2.74 5 3 1.50112111121
245 Parosh Aziz Abdulla Uppsala University 11 5 2.17 3 7 0.4721122111
245 Guy L. Steele Jr. 11 3 4.80 1 8 0.12111116
245 Jeremy Yallop University of Cambridge 11 4 4.03 6 4 1.37112111211
245 K. C. Sivaramakrishnan IIT Madras 11 4 2.74 3 4 0.621111112111
245 John Wickerson Imperial College London 11 4 2.70 2 6 0.31113111111
245 Yizhou Zhang 0001 University of Waterloo 11 4 3.68 6 4 1.95221111111
245 Barbara Liskov Massachusetts Inst. of Technology 11 3 3.85 119
245 Mark Batty University of Kent 11 5 2.42 2 5 0.4211221121
245 Niki Vazou IMDEA Software Institute 11 3 2.96 3 3 0.921222211
245 Arthur Charguéraud 11 3 5.07 1 3 0.3311211212
245 Arjun Guha Northeastern University 11 4 2.46 2 9 0.2311111111111
245 John Launchbury Galois Inc. 11 2 5.28 119
245 David Grove 11 4 2.75 110
245 Stéphane Ducasse CRIStAL 11 3 4.08 1 3 0.331217
245 Leonidas Lampropoulos Univ. of Maryland - College Park 11 3 3.01 6 4 1.7021121211
245 Mohsen Lesani Univ. of California - Santa Cruz 11 3 3.09 4 5 0.89221111111
245 Graham Hutton University of Nottingham 11 2 5.83 5 2 2.501211111111
245 J. Garrett Morris University of Iowa 11 2 4.83 3 4 0.9212121121
245 Koen Claessen Chalmers/GU 11 3 3.58 2 8 0.27111323
245 Harry G. Mairson Brandeis University 11 2 6.75 1118
245 Ronald Garcia University of British Columbia 11 3 4.07 2 4 0.53211112111
245 Sheng Chen 0008 Univ. of Louisiana - Lafayette 11 3 4.28 1 3 0.3311122121
245 Scott F. Smith 0001 Johns Hopkins University 11 3 4.20 2 4 0.7021116
245 Pierre-Yves Strub PQShield SAS 11 6 1.99 1 5 0.20112112111
245 Meng Wang 0002 University of Bristol 11 4 3.33 5 4 1.1723111111
245 Ohad Kammar University of Edinburgh 11 3 3.08 4 5 0.90111113111
245 Sam Staton University of Oxford 11 4 3.84 6 4 1.66211211111
245 Joseph Gil Technion 11 2 5.67 1 2 0.50119
245 Lionel Parreaux HKUST 11 2 4.83 9 2 3.581141211
305 Atanas Rountev Ohio State University 10 5 2.63 11112112
305 Alan J. Demers 10 3 4.17 10
305 Hongfei Fu 0001 Shanghai Jiao Tong University 10 5 2.05 3 6 0.531112221
305 Lieven Eeckhout Ghent University 10 4 2.81 1111123
305 Susan L. Graham University of California at Berkeley 10 2 4.25 10
305 Ahmed Bouajjani University Paris Diderot (Paris 7) 10 4 2.90 1 5 0.20111111112
305 Hideaki Komatsu 10 4 2.50 19
305 Shan Lu 0001 Microsoft Research 10 5 2.25 2 10 0.22111111112
305 Michalis Kokologiannakis 10 3 3.00 6 3 1.832112121
305 Mingsheng Ying Tsinghua University 10 4 2.82 3 4 0.7811122111
305 Todd A. Proebsting University of Arizona 10 2 6.20 10
305 Ashish Tiwari 0001 SRI International 10 8 2.15 3 8 0.3612111211
305 Magnus O. Myreen Chalmers/GU 10 5 3.12 1111111111
305 Shachar Itzhaky Technion 10 6 1.88 1 8 0.121121221
305 Stephen N. Freund Williams College 10 2 4.50 111115
305 Keith D. Cooper Rice University 10 2 4.45 19
305 Ronghui Gu Columbia University 10 6 1.85 2 6 0.3811121121
305 James Cheney University of Edinburgh 10 4 4.12 1 4 0.25111111112
305 Francesco Zappa Nardelli INRIA 10 5 2.04 111211111
305 Satish Narayanasamy University of Michigan 10 4 2.31 11221111
305 Santosh Pande Georgia Institute of Technology 10 2 3.63 1 7 0.141111123
305 James R. Wilcox University of Washington 10 6 1.99 2 4 0.4521232
305 Mike Rainey 10 4 2.33 1 4 0.2512111112
305 Dexter Kozen Cornell University 10 5 2.64 2 4 0.4511211112
305 Anindya Banerjee 0001 IMDEA Software Institute 10 4 3.53 1111114
305 Stefan K. Muller University of Connecticut 10 3 4.00 3 3 1.58211111111
305 Danfeng Zhang Duke University 10 4 3.00 2 6 0.33112111111
305 Stephen Dolan 10 6 2.96 4 6 0.732212111
305 Radhia Cousot ENS Paris 10 2 4.21 217
305 Rachid Guerraoui EPFL 10 4 3.00 1112212
305 Samuel Z. Guyer Tufts University 10 3 3.20 1112113
305 Aaron Turon Max Planck Institute for Software Systems 10 3 4.01 12223
305 Wei-Ngan Chin National University of Singapore 10 3 3.33 1 3 0.33111115
305 William J. Bowman University of British Columbia 10 3 4.12 4 2 2.03221212
305 Andreas Rossberg Google 10 3 4.99 2 4 1.1221111211
305 Yu David Liu Binghamton University 10 3 3.83 2 4 0.5811112112
305 Benjamin Grégoire Research Centre Inria Sophia Antipolis - Méditerranée: Valbonne 10 5 2.34 3 5 0.65211111111
305 Michael D. Adams 0001 University of Michigan 10 2 4.70 1 6 0.1711131111
305 Jeremy Gibbons University of Oxford 10 3 3.83 2111212
305 Gabriel Scherer INRIA Saclay 10 3 3.87 4 4 1.201121311
305 Cristiano Calcagno Imperial College London 10 3 4.17 112114
305 Albert R. Meyer MIT Computer Science and Artificial Intelligence Laboratory 10 2 4.42 10
305 Anthony Widjaja Lin TU Kaiserslautern 10 4 2.83 5 4 1.391311211
305 Ralph E. Johnson University of Illinois 10 2 5.33 19
305 Sophia Drossopoulou Imperial College London 10 4 2.77 4 6 0.771211113
305 Kenji Maillard INRIA 10 5 1.97 6 4 1.2922111111
305 Guannan Wei 0001 Tufts University 10 5 2.25 4 6 0.671211131
352 Sriram Krishnamoorthy 9 5 2.23 2121111
352 Iulian Neamtiu NJIT 9 3 2.95 11111112
352 Tamiya Onodera 9 4 3.14 1116
352 Urs Hölzle Google 9 2 4.00 9
352 Limin Jia 0001 Carnegie Mellon University 9 4 2.38 2 5 0.4011211111
352 David Gay 9 2 3.50 11115
352 Vikash Mansinghka 0001 9 5 1.94 2 8 0.34111222
352 Xuandong Li Nanjing University 9 7 1.51 6 6 1.004221
352 Martin Hirzel 9 5 2.43 112113
352 Alvin Cheung Univ. of California - Berkeley 9 4 2.40 3 4 0.701211211
352 Sarfraz Khurshid University of Texas at Austin 9 4 2.39 21111111
352 Thomas Dillig Stanford University 9 3 2.62 11112111
352 Byron Cook 9 3 2.90 11142
352 Jong-Deok Choi 9 3 2.70 9
352 Westley Weimer University of Michigan 9 3 2.80 1 5 0.201111113
352 Fernando Magno Quintão Pereira UFMG 9 4 2.89 12111111
352 Vijay A. Saraswat 9 3 3.46 1116
352 Adrian Sampson Cornell University 9 6 1.81 1 6 0.1711211111
352 Xiaokang Qiu 9 3 2.84 2 4 0.70111111111
352 Julian Dolby 9 3 3.61 12114
352 Yuepeng Wang 0001 Simon Fraser University 9 4 2.28 3 4 0.75211122
352 Patrice Godefroid 9 2 5.25 111114
352 Ben Liblit University of Wisconsin-Madison 9 4 2.43 111213
352 Kayvan Memarian 9 6 1.61 3 6 0.501111122
352 Francesco Logozzo 9 3 2.73 1 4 0.251122111
352 Akimasa Morihata 9 2 4.48 11112111
352 Mary Lou Soffa University of Virginia 9 3 3.50 9
352 John Field Google Research 9 4 3.24 1116
352 Mohamed Faouzi Atig Uppsala University 9 5 1.90 1 5 0.201122111
352 Gowtham Kaki University of Colorado Boulder 9 3 2.83 4 3 1.251211211
352 Barry K. Rosen 9 2 5.20 9
352 Tyler Sorensen 0001 Univ. of California - Santa Cruz 9 4 2.27 2 6 0.341121112
352 Conal Elliott Target 9 1 8.00 1 1 1.001112112
352 Yingfei Xiong 0001 Peking University 9 4 2.12 5 4 1.25112113
352 Jacques-Henri Jourdan 9 4 2.49 2 4 0.50111321
352 John Hughes 0001 Chalmers/GU 9 3 2.87 1116
352 Manuel Serrano INRIA 9 2 4.67 3 3 1.171111113
352 Andrew Lumsdaine 9 3 2.82 117
352 Konstantinos Mamouras Rice University 9 3 3.04 5 3 1.811211121
352 Sebastian Hack Saarland University 9 3 3.38 3 3 1.082111211
352 Steven Ramsay University of Bristol 9 3 3.50 4 3 1.50111111111
352 Jana Dunfield Queen's University 9 2 4.73 1121211
352 Mahesh Viswanathan 0001 Univ. of Illinois at Urbana-Champaign 9 3 2.52 3 4 0.782121111
352 Andrew Kennedy Microsoft Research 9 2 4.83 216
352 Tobias Wrigstad Uppsala University 9 5 2.01 3 7 0.521211121
352 Fei He 0001 Tsinghua University 9 3 3.25 3 3 0.831111311
352 Olivier Danvy National University of Singapore 9 2 6.00 117
352 Max S. New University of Michigan 9 3 2.92 3 3 1.00211113
352 Gabriele Keller Utrecht University 9 4 2.63 1 7 0.14111114
352 Manuel M. T. Chakravarty University of New South Wales 9 4 2.73 111114
352 Matthew Hague Royal Holloway Univ. of London 9 5 2.16 4 5 0.84111111111
352 Nick Benton Microsoft Research 9 3 4.17 1111113
352 Gavin M. Bierman 9 4 2.66 1111113
352 Daniel R. Licata Wesleyan University 9 3 3.33 1 3 0.3312111111
352 Daniel P. Friedman Indiana University 9 2 4.08 9
352 Gordon D. Plotkin University of Edinburgh 9 2 3.41 111114
352 Jeffrey D. Ullman Stanford University 9 3 3.67 9
352 Alexander J. Summers University of British Columbia 9 5 2.36 3 5 0.68212121
352 Simon Oddershede Gregersen CISPA Helmholtz Center 9 6 1.61 7 6 1.16252
411 Ben L. Titzer Carnegie Mellon University 8 4 3.83 4 6 1.472111111
411 Jingling Xue UNSW 8 4 2.20 5 6 0.8722121
411 Steven Lucco 8 2 4.62 8
411 Matthias Blume Google 8 2 3.42 125
411 Timon Gehr 8 4 1.85 2 4 0.45111212
411 Zhiqiang Zuo 0002 Nanjing University 8 7 1.21 3 7 0.45212111
411 Linzhang Wang Nanjing University 8 4 1.81 4 4 1.04121211
411 Chandrasekhar Boyapati 8 3 2.87 116
411 Shoaib Kamil 0001 Adobe Systems Inc. 8 5 1.52 212111
411 Mark P. Jones Portland State University 8 2 4.25 116
411 Stephen J. Fink IBM Research 8 4 1.97 111212
411 Scott A. Mahlke University of Michigan 8 4 2.23 11213
411 Noam Rinetzky Tel Aviv University 8 6 1.56 221111
411 Jonathan Ragan-Kelley Massachusetts Inst. of Technology 8 6 1.39 4 4 0.81112211
411 Tahina Ramananandro 8 8 1.49 1 10 0.1011111111
411 Jeanne Ferrante University of California 8 3 2.87 8
411 Youngju Song 8 6 1.53 5 6 1.15113111
411 Nuno P. Lopes Universidade de Lisboa 8 6 1.45 1 9 0.111111211
411 Nevin Heintze Carnegie Mellon University 8 2 3.58 8
411 Charles N. Fischer University of Wisconsin-Madison 8 2 3.83 8
411 Neville Grech University of Malta 8 4 2.07 2 4 0.50111212
411 Charles Consel INRIA 8 2 3.17 17
411 Ron Cytron Washington University in St. Louis 8 3 2.87 8
411 Antony L. Hosking Australian National University 8 3 2.55 1115
411 Martin Elsman University of Copenhagen 8 3 4.32 3 1 2.2031112
411 Bryan Parno Carnegie Mellon University 8 6 1.39 6 6 1.09113111
411 Xiaodi Wu 0001 Univ. of Maryland - College Park 8 4 1.95 4 4 1.00221111
411 Fabrice Rastello INRIA 8 6 1.30 111221
411 Christopher W. Fraser 8 2 4.70 8
411 F. Kenneth Zadeck 8 3 2.87 8
411 Luc Maranget INRIA 8 4 2.73 1 3 0.33111113
411 Christopher Pulte 8 7 1.13 2 6 0.331112111
411 Chris Hawblitzel 8 6 1.97 3 9 0.331111211
411 David Darais Galois 8 4 2.23 1 3 0.3311111111
411 Xavier Rival Ecole Normale Superieure 8 4 3.16 2 4 0.531111112
411 Thomas P. Jensen University of Copenhagen 8 2 3.83 12212
411 Filip Sieczkowski University of Wroclaw 8 4 1.93 2 4 0.581111211
411 Patrick Eugster Università della Svizzera italiana 8 4 2.78 1 6 0.171111112
411 Chandrakana Nandi 8 6 1.37 4 6 0.78112211
411 Mukund Raghothaman University of Southern California 8 5 1.77 2 6 0.372111111
411 Michael I. Schwartzbach Aarhus University 8 2 3.42 8
411 Gang Tan Pennsylvania State University 8 4 2.68 1 5 0.201211111
411 Matthew A. Hammer none 8 4 2.01 211121
411 Todd Mytkowicz Microsoft Corporation 8 4 1.88 1211111
411 Matthias Hauswirth Università della Svizzera italiana 8 4 2.42 111113
411 Akinori Yonezawa University of Tokyo 8 3 3.00 8
411 Minki Cho 8 6 1.44 5 6 0.8822112
411 Walter Binder Università della Svizzera italiana 8 4 1.95 2 4 0.50211121
411 Akash Lal 8 5 1.95 2 6 0.331111121
411 Rishabh Singh 8 3 2.92 13121
411 Masato Takeichi 8 4 2.15 1124
411 Jakob Rehof TU Dortmund 8 2 4.00 116
411 Leo White 8 6 1.76 5 5 0.98221111
411 Zena M. Ariola University of Oregon 8 4 2.62 111113
411 Fritz Henglein University of Copenhagen 8 3 3.32 111113
411 Mark N. Wegman IBM Research 8 3 3.40 8
411 David Sands 0001 Chalmers/GU 8 2 4.67 1 3 0.331115
411 Takeshi Tsukada 8 3 2.92 5 3 1.831121111
411 Chung-chieh Shan Indiana University 8 3 2.95 1 3 0.33112112
411 Erik Meijer 0001 Facebook 8 4 2.99 125
411 Conor McBride University of Strathclyde 8 2 4.03 1 4 0.2511111111
411 Jean-Philippe Bernardy 8 2 3.73 1 5 0.201111121
411 Dominic A. Orchard University of Kent 8 3 2.78 2 2 0.83211211
411 Matthieu Sozeau INRIA 8 4 3.07 2 7 0.291112111
411 Flemming Nielson DTU 8 2 4.03 17
411 Andrei Popescu 0001 University of Sheffield 8 2 3.58 4 3 2.001211111
411 Andreas Abel 0001 Chalmers/GU 8 3 3.08 1 3 0.33111212
411 Claudio V. Russo Microsoft Research Cambridge 8 2 3.79 1111112
411 Jonathan Protzenko Google Inc. 8 3 2.55 4 3 1.50211121
411 Vaughan R. Pratt Stanford University 8 1 7.50 8
411 Martin Hofmann 0001 LMU Munich 8 3 3.58 11213
411 Oscar Nierstrasz University of Bern 8 3 3.87 1115
411 Oliver Bracevac Galois 8 5 1.58 4 5 0.792111111
411 Théo Winterhalter 8 4 2.80 5 7 1.93212111
411 Sam Westrick New York University 8 3 2.42 5 3 1.50221111
411 Roland Meyer 0001 TU Braunschweig 8 2 3.17 6 3 2.17211211
411 Jules Jacobs 8 3 3.67 7 3 2.672321
411 Casper Bach TU Delft 8 4 2.18 4 4 1.2011213
489 J. Ramanujam Louisiana State University 7 7 1.15 1111111
489 Ben Hardekopf Univ. of California - Santa Barbara 7 4 1.98 2 6 0.33112111
489 Louis Mandel 7 5 1.31 3 5 0.5412211
489 Pavol Cerný TU Wien 7 4 2.17 1111111
489 William W. Pugh University of Maryland 7 2 4.33 7
489 Chen Ding 0001 University of Rochester 7 4 1.78 1123
489 Guang R. Gao University of Delaware 7 3 2.58 7
489 Clément Pit-Claudel EPFL 7 4 1.82 4 4 1.12121111
489 Jérémie Koenig Yale University 7 5 1.64 4 4 0.90112111
489 Bratin Saha 7 6 1.38 1114
489 Tatiana Shpeisman 7 7 1.22 111112
489 Michael Hind 7 4 2.03 16
489 Fan Long University of Toronto 7 4 1.98 2 6 0.31111112
489 Charith Mendis Univ. of Illinois at Urbana-Champaign 7 4 1.68 5 4 1.064111
489 Kunle Olukotun Stanford University 7 7 1.11 1111111
489 Qingkai Shi Nanjing University 7 5 1.37 4 6 0.7011221
489 Jean Pichon-Pharabod Aarhus University 7 5 1.65 3 6 0.4921121
489 Markus Püschel ETH Zurich 7 3 2.03 1 5 0.201111111
489 Brad Calder University of California 7 3 2.28 16
489 Avraham Shinnar 7 5 1.44 1 7 0.141111111
489 Klaus von Gleissenthall VU Amsterdam 7 5 1.58 2 4 0.531111111
489 Marco Patrignani University of Trento 7 4 1.70 3 4 0.591111111
489 Hongjin Liang 0001 Nanjing University 7 2 2.87 1 3 0.331111111
489 Peng Wu 0001 Meta 7 4 1.74 1213
489 Tillmann Rendel 7 3 2.00 11221
489 Yue Li 0006 Nanjing University 7 5 1.50 3 5 0.59111211
489 Milo M. K. Martin 7 4 1.67 3211
489 Lukás Holík Brno University of Technology 7 7 1.06 3 7 0.43111211
489 Ruyi Ji 7 4 1.57 4 4 0.88111112
489 Michael Sperber Active Group GmbH 7 2 3.75 16
489 Alexey Gotsman IMDEA Software Institute 7 4 1.98 111112
489 Conrad Watt Nanyang Technological University 7 6 1.29 4 7 0.6321112
489 Dave Clarke 0001 Uppsala University 7 3 2.23 115
489 David Monniaux University of Grenoble 7 3 3.24 1 5 0.20111112
489 Anders Miltner Simon Fraser University 7 5 1.31 2 5 0.4011122
489 Joxan Jaffar National University of Singapore 7 3 2.58 115
489 Chengnian Sun University of Waterloo 7 4 1.73 3 6 0.5312121
489 Lindsey Kuper Univ. of California - Santa Cruz 7 4 1.83 4 4 1.1721112
489 Stefan Marr JKU Linz 7 4 2.28 2 3 0.7511122
489 Lukasz Ziarek University at Buffalo 7 4 1.87 2 4 0.451111111
489 Paul Downen University of Massachusetts Lowell 7 4 2.78 2 3 1.201111111
489 Neil Immerman University of Massachusetts Amherst 7 5 1.48 21112
489 Jérôme Vouillon Pierre and Marie Curie University 7 2 3.92 115
489 Kazutaka Matsuda 7 4 2.12 1 4 0.25111121
489 Nils Anders Danielsson Chalmers/GU 7 1 4.92 2 3 0.671111111
489 Tim Sheard 7 2 4.00 124
489 Andrew P. Tolmach Portland State University 7 4 1.81 1114
489 Georg Neis 7 4 1.83 111121
489 Vasco Thudichum Vasconcelos Universidade de Lisboa 7 4 2.01 1 4 0.25112111
489 Wouter Swierstra Utrecht University 7 2 2.92 3 3 1.08111211
489 David Pichardie Ecole Normale Superieure de Rennes 7 5 1.49 1 3 0.331111111
489 Kim Nguyen 0001 Université Paris-Sud 7 4 2.08 2 4 0.581111111
489 Hanne Riis Nielson DTU 7 2 3.03 16
489 Karthikeyan Bhargavan INRIA 7 6 1.40 111112
489 Dan R. Ghica University of Birmingham 7 2 3.83 2 4 0.50111211
489 Robert Atkey University of Strathclyde 7 3 3.51 1 1 1.0011122
489 Patrick Bahr IT University of Copenhagen 7 2 3.00 4 2 2.00121111
489 Shin-ya Katsumata National Institute of Informatics 7 4 2.65 2 4 0.58211111
489 Michel Steuwer TU Berlin 7 6 1.34 5 6 0.93112111
489 Beniamino Accattoli 7 3 2.33 3 3 1.0812112
489 Zohar Manna Stanford University 7 2 3.00 7
489 Elena Zucca University of Genoa 7 3 2.37 2 4 0.4511113
489 Davide Sangiorgi University of Bologna 7 2 4.83 1 1 1.0011113
489 Neil D. Jones University of Copenhagen 7 2 3.08 7
489 Joseph Y. Halpern Cornell University 7 2 3.42 7
489 Julien Lange Royal Holloway Univ. of London 7 4 1.74 4 4 1.0322111
489 Danel Ahman University of Tartu 7 6 2.24 1 7 0.14111121
489 Nathaniel Nystrom Università della Svizzera italiana 7 4 1.79 111112
489 Matías Toro Universidad de Chile 7 3 2.14 5 4 1.31211111
489 Yannick Zakowski INRIA 7 5 1.63 5 4 1.32121111
489 Chris Heunen University of Edinburgh 7 4 2.18 6 4 2.0821211
489 Yulei Sui UNSW 7 4 1.89 5 4 1.14211111
489 Kevin Batz 7 5 1.55 5 5 1.10112111
489 Christoph Matheja University of Oldenburg 7 5 1.42 2 5 0.402311
489 Georg Zetzsche Max Planck Society 7 4 1.60 6 4 1.3522111
489 Stephanie Balzer Carnegie Mellon University 7 3 2.45 6 3 1.95111121
565 Kapil Vaswani 6 4 1.60 21111
565 Ivan Kuraj 6 4 1.75 1 4 0.2511112
565 Qiaochu Chen University of Alberta 6 6 1.08 4 6 0.7121111
565 Susan J. Eggers University of Washington 6 3 2.07 6
565 Camil Demetrescu Sapienza University of Rome 6 3 2.25 1122
565 Murali Krishna Ramanathan 6 3 2.25 1 2 0.50111111
565 Sung-Hwan Lee 0001 Seoul National University 6 4 1.29 2 4 0.4511211
565 Eric Atkinson Binghamton University 6 5 1.60 2 5 0.401122
565 Li Zhou 0013 Chinese Academy of Sciences 6 4 1.48 3 4 0.7811121
565 Nengkun Yu Stony Brook University 6 3 1.87 2 3 0.6711121
565 Jean-Baptiste Tristan Boston College 6 2 2.37 111111
565 Guilherme Ottoni 6 4 2.00 11112
565 Percy Liang Stanford University 6 4 1.92 11121
565 Zhoulai Fu IT University of Copenhagen 6 4 2.00 2 4 0.50111111
565 Guy Golan-Gueta 6 6 1.24 1 7 0.14111111
565 Jon G. Riecke 6 2 3.25 6
565 Jack W. Davidson University of Virginia 6 2 2.67 6
565 Guei-Yuan Lueh 6 3 1.81 15
565 Thodoris Sotiropoulos ETH Zurich 6 4 1.37 4 4 0.9512111
565 Sanjit A. Seshia Univ. of California - Berkeley 6 6 1.18 2 4 0.45111111
565 Chengyu Zhang 0001 Loughborough University 6 3 2.00 2 3 0.7511121
565 Jad Hamza 6 3 1.83 11121
565 Alan Schmitt 6 4 1.61 11112
565 Manish Gupta 0002 IIIT Bangalore 6 4 1.73 6
565 Ruben Martins 6 4 1.35 1 5 0.2011112
565 Shankara Pailoor 6 4 1.43 3 5 0.6821111
565 Pranav Garg 0001 Amazon Web Services 6 4 1.66 2 5 0.62111111
565 Andrei Stefanescu 6 4 1.71 11112
565 Roman Manevich 6 4 1.58 1221
565 Bernhard Scholz University of Sydney 6 4 1.48 1212
565 Mae Milano Princeton University 6 4 1.61 3 4 0.7812111
565 Max Schäfer 6 4 2.03 2121
565 Saurabh Srivastava 0001 Sparkz 6 3 1.92 12111
565 Gilbert Louis Bernstein University of Washington 6 6 1.04 4 6 0.7311211
565 Pat Hanrahan Stanford University 6 5 1.09 1 4 0.25111111
565 Gregory F. Johnson 6 2 3.50 6
565 Vincent St-Amour 6 4 1.68 111111
565 Phuc C. Nguyen 6 4 1.83 111111
565 Paolo G. Giarrusso 6 4 1.65 12111
565 Soham Chakraborty 0001 TU Delft 6 6 1.40 3 6 0.56111111
565 Michael Norrish Australian National University 6 6 1.26 111111
565 Pavol Bielik 6 4 1.65 1131
565 John Cyphert 6 4 1.75 1 2 0.501221
565 Yu-Fang Chen 0001 Academia Sinica 6 7 0.83 3 7 0.43111111
565 Hongwei Xi 0001 Boston University 6 2 2.83 6
565 Simon Spies 6 7 1.05 4 7 0.58222
565 Tian Tan 0001 Nanjing University 6 4 1.38 3 5 0.59111111
565 Nathan Chong 6 4 1.46 1 7 0.14111111
565 Anton Podkopaev JetBrains Research 6 6 1.13 2 6 0.3311121
565 Jean Yang 0001 Akita Software 6 6 1.50 1 6 0.17111111
565 Woosuk Lee Hanyang University 6 4 2.53 2 2 0.83111111
565 Kihong Heo KAIST 6 4 1.40 12111
565 Pierre-Évariste Dagand 6 4 1.92 111111
565 Kenneth L. McMillan University of Texas at Austin 6 5 1.17 2 6 0.34111111
565 Feras Saad Carnegie Mellon University 6 4 1.48 2 4 0.4511112
565 Max Willsey Univ. of California - Berkeley 6 6 0.95 3 6 0.532121
565 Kartik Nagar IIT Madras 6 4 1.50 3 4 0.75111111
565 Ton Chanh Le 6 4 1.62 1 6 0.1711211
565 Ke Wang 0022 6 4 1.67 2 6 0.4611121
565 Gregor Richards 6 4 1.41 111111
565 Nachshon Cohen 6 2 2.87 12111
565 Philipp Rümmer University of Regensburg 6 5 1.35 3 5 0.81111111
565 Zoe Paraskevopoulou 6 3 2.33 1 3 0.3312111
565 Roopsha Samanta Purdue University 6 4 1.43 2 4 0.5321111
565 Jurriaan Hage Utrecht University 6 4 1.77 111111
565 Wonyeol Lee 0001 POSTECH 6 3 1.95 2 4 0.53111111
565 Stephen Chou 6 4 1.63 1 2 0.5011211
565 Dimitar Dimitrov 0004 Institute for Computer Science 6 4 1.40 2 4 0.45111111
565 Juan Chen 0002 Microsoft Research 6 6 1.26 12111
565 Cole Schlesinger 6 6 1.24 1 6 0.171221
565 Janis Voigtländer University of Duisburg-Essen 6 1 4.75 1212
565 Kohei Honda 0001 Queen Mary University of London 6 2 3.67 15
565 Jesper Cockx TU Delft 6 3 2.25 1 2 0.50111111
565 Andres Löh 6 4 1.85 1 6 0.171122
565 Martin Erwig Oregon State University 6 2 3.08 11211
565 Sungwoo Park POSTECH 6 3 2.75 111111
565 Neal Glew Intel Labs 6 2 3.23 15
565 Sandrine Blazy University of Rennes 6 4 1.54 2 3 0.67111111
565 Arthur Azevedo de Amorim Rochester Inst. of Technology 6 4 1.37 3 3 0.92111111
565 Martin Avanzini 6 3 1.95 2 4 0.45111111
565 E. Allen Emerson 6 2 2.67 6
565 William H. Harrison 6 2 2.78 6
565 Michele Pagani 6 3 2.33 1 2 0.5011112
565 Nissim Francez Technion - Israel Institute of Technology 6 2 2.92 6
565 Edmund M. Clarke Carnegie Mellon University 6 3 3.25 6
565 Mike Dodds 6 3 1.73 1 5 0.2011112
565 Harold Ossher 6 3 2.55 15
565 Paul-André Melliès Pierre and Marie Curie University 6 2 2.78 2 4 0.53111111
565 Koen De Bosschere Ghent University 6 4 1.58 15
565 Bernardo Toninho Universidade NOVA de Lisboa 6 4 1.74 3 5 0.8721111
565 Lingming Zhang 0001 Univ. of Illinois at Urbana-Champaign 6 5 1.54 2 6 0.34111111
565 Guido Martínez CIFASIS-CONICET & Universidad Nacional de Rosario 6 7 0.86 2 7 0.29111111
565 Bjørn N. Freeman-Benson 6 3 3.03 6
565 Gary T. Leavens University of Central Florida 6 2 2.58 15
565 Mario Tokoro 6 2 2.83 6
565 Kent L. Beck Facebook 6 3 2.06 6
565 Kiyokuni Kawachiya 6 4 1.64 114
565 Adithya Murali University of Wisconsin - Madison 6 4 1.48 5 4 1.2811121
565 Léo Stefanesco 6 5 1.13 4 6 0.6821111
565 Daniel Hillerström Huawei Technologies 6 6 1.22 4 6 0.681122
565 Anton Lorenzen 6 4 1.95 6 4 1.952121
565 Jonas Kastberg Hinrichsen 6 3 1.68 5 3 1.34321
565 Paul Krogmeier 6 3 2.15 4 2 1.7511211
565 Philipp G. Haselwarter 6 6 1.02 6 6 1.0224
565 John Peter Campora III 6 3 1.95 1 3 0.3311121
565 Raymond Hu Queen Mary University of London 6 5 1.19 2 5 0.4211121
565 Ramanathan S. Thinniyam 6 4 1.29 5 5 1.0421111
565 Gustavo Soares 6 8 0.78 2 9 0.2311211
565 Aymeric Fromherz Inria Paris 6 4 1.48 3 3 1.0021111
565 Emanuele D'Osualdo University of Konstanz 6 4 1.64 6 4 1.641122
675 Uday Bondhugula IISc Bangalore 5 4 1.23 11111
675 Jay P. Lim Univ. of California - Riverside 5 3 1.92 2 2 0.83221
675 Yufei Ding 0001 Univ. of California - San Diego 5 6 1.23 1211
675 Greg Durrett New York University 5 5 0.91 3 5 0.541211
675 Radu Rugina Cornell University 5 2 2.33 113
675 Simone Campanoni Northwestern University 5 6 0.90 2 6 0.341112
675 Robert Grimm 0001 Brooklyn 5 2 2.45 11111
675 Guillaume Baudart 5 5 0.97 2 5 0.401121
675 Benjamin Sherman 5 5 1.23 1211
675 Marc Pouzet Ecole Normale Superieure 5 6 1.33 212
675 Nick Mitchell 5 4 1.62 1211
675 Kirshanthan Sundararajah Virginia Tech 5 3 1.62 2 4 0.531121
675 Benjamin Bichsel 5 4 1.20 1 4 0.2511111
675 Daniel Patterson 0001 Northeastern University 5 4 1.62 2 3 0.7511111
675 K. Rustan M. Leino Amazon Web Services 5 2 2.50 14
675 Gerwin Klein University of New South Wales 5 3 1.36 11111
675 Jennifer B. Sartor 5 4 1.40 11111
675 Daniel Frampton 5 5 0.98 1112
675 Ayal Zaks Intel 5 4 1.37 122
675 Sarita V. Adve Univ. of Illinois at Urbana-Champaign 5 7 1.18 11111
675 Alan Leung 5 6 1.08 11111
675 Arie Gurfinkel University of Waterloo 5 5 1.19 2 4 0.5311111
675 Mauricio J. Serrano 5 4 1.20 5
675 Stefanos Chaliasos University College London 5 4 1.25 3 3 0.831211
675 Trevor Jim 5 2 2.50 14
675 Christian S. Collberg University of Arizona 5 3 2.18 1 5 0.2014
675 Linhai Song Chinese Academy of Sciences 5 5 1.35 1 4 0.2511111
675 Juan Chen 5 3 2.23 1112
675 Peisen Yao Zhejiang University 5 4 1.28 2 4 0.4523
675 Rodolphe Lepigre 5 6 0.80 3 6 0.49311
675 S. Doaitse Swierstra Utrecht University 5 3 2.00 14
675 David B. Whalley Florida State University 5 2 2.00 5
675 Yoonseung Kim DGIST 5 6 0.83 2 5 0.4211111
675 David Castro-Perez University of Kent 5 3 1.62 1 3 0.3311111
675 Philip W. Trinder University of Glasgow 5 5 1.23 2 6 0.371112
675 Kevin Hammond 5 4 1.48 1121
675 Tim Harris 0001 Microsoft 5 4 1.75 1112
675 Patrick Maxim Rondon 5 3 1.58 2111
675 Alexander Bakst 5 4 1.20 1 6 0.1711111
675 Nikolaj S. Bjørner Microsoft Research 5 5 1.19 1211
675 Justin Pombrio 5 2 2.17 1 3 0.3311111
675 Richard L. Hudson 5 4 1.21 113
675 Dean M. Tullsen Univ. of California - San Diego 5 6 1.27 11111
675 Sarah E. Chasins Univ. of California - Berkeley 5 2 1.92 1 2 0.5011111
675 Olivier Flückiger 5 5 0.98 1 4 0.251211
675 Venkatesh Srinivasan 5 2 2.17 122
675 He Zhu 0001 Rutgers University 5 3 1.45 1 5 0.2011111
675 Gustavo Petri 5 4 1.43 1 7 0.1411111
675 Sam Blackshear 5 3 1.67 1112
675 William D. Clinger Northeastern University 5 2 3.50 5
675 William Landi 5 2 2.17 5
675 Yitzhak Mandelbaum 5 3 1.45 113
675 Yong Kiam Tan Nanyang Technological University 5 5 0.91 11111
675 Wen-Mei W. Hwu University of Illinois at Urbana-Champaign 5 4 1.70 14
675 Caleb Stanford Univ. of California - Davis 5 3 1.45 1 3 0.331112
675 Mads Tofte IT University of Copenhagen 5 3 2.33 5
675 Jianzhou Zhao 5 4 1.14 11111
675 Jianan Yao 5 6 0.82 3 8 0.4511111
675 André Pacak 5 3 1.83 3 3 1.172111
675 Chao Wang 0001 University of Southern California 5 3 1.78 2 4 0.452111
675 Walid Taha Halmstad University 5 3 1.67 14
675 Olaf Chitil University of Kent 5 1 4.00 1112
675 Calvin Lin University of Texas at Austin 5 3 1.92 2111
675 Andrew A. Chien University of Chicago 5 2 2.17 5
675 Tim Teitelbaum GrammaTech 5 3 2.00 5
675 Josh Berdine Facebook 5 4 1.20 2 5 0.42212
675 Shaked Flur 5 8 0.60 11111
675 Ryan Beckett 5 4 1.37 1 3 0.331211
675 Bernd Finkbeiner CISPA Helmholtz Center 5 3 1.83 5 3 1.83311
675 Marius Müller 0003 University of Tübingen 5 4 1.20 5 4 1.201121
675 Chenglong Wang 0005 Microsoft 5 4 1.26 2 6 0.392111
675 John L. Hennessy Stanford University 5 2 2.83 5
675 Uri Alon 0002 Google 5 3 1.50 311
675 Christoph M. Kirsch University of Salzburg 5 4 1.48 1211
675 Don Syme Microsoft Research 5 3 2.00 113
675 Alceste Scalas Technical University of Denmark 5 3 1.62 2 4 0.581112
675 Jason Breck 5 4 1.25 1211
675 James Koppel 5 3 1.53 2 4 0.53212
675 Pavel Avgustinov 5 7 0.93 122
675 Damien Sereni 5 7 1.59 122
675 Yu Jiang 0001 Tsinghua University 5 6 0.72 5 6 0.72131
675 Yuanbo Li 5 3 1.58 2 3 0.671112
675 Shuo Ding 5 4 1.67 4 3 1.4211111
675 Ryosuke Sato 0001 University of Tokyo 5 4 1.37 2 4 0.58221
675 Dimitrios Prountzos 5 4 1.20 113
675 Tayfun Elmas 5 3 1.50 11111
675 William Mansky University of Illinois at Chicago 5 5 1.34 2 4 0.641121
675 Tobias Kappé University of Amsterdam 5 5 1.32 4 4 1.152111
675 Gabriel Radanne 5 3 1.67 3 3 1.0011111
675 Jay Ligatti University of South Florida 5 3 1.53 113
675 Xulong Tang University of Pittsburgh 5 5 0.99 2111
675 Anil Madhavapeddy University of Cambridge 5 5 1.06 1 5 0.2011111
675 Hoang-Hai Dang 5 4 1.02 2 8 0.27212
675 Yan Chen 0001 Max Planck Institute for Software Systems 5 3 1.50 1121
675 Ole Agesen 5 3 1.83 5
675 Roberto Bruni 0001 University of Pisa 5 4 1.28 3 4 0.7511111
675 Francesco Ranzato University of Padova 5 3 1.75 2 3 0.7511111
675 Vilhelm Sjöberg 5 4 1.44 11111
675 Somesh Jha University of Wisconsin - Madison 5 4 1.29 1 4 0.2511111
675 Kiminori Matsuzaki 5 4 1.48 11111
675 Michael Rodeh 5 3 1.75 5
675 Torsten Hoefler ETH Zurich 5 4 1.16 1211
675 Timos Antonopoulos 5 5 1.12 2 5 0.4211111
675 Dongjae Lee 5 5 1.23 5 5 1.231121
675 Tongping Liu 5 5 1.26 1 9 0.1111111
675 Troels Henriksen University of Copenhagen 5 4 1.48 3 3 1.0311111
675 Ondrej Lengál Brno University of Technology 5 7 0.74 3 7 0.4311111
675 Siau-Cheng Khoo National University of Singapore 5 4 1.53 113
675 Hila Peleg Technion 5 5 1.13 23
675 Ankush Desai 5 4 1.20 2 4 0.4511111
675 Damien Zufferey Massachusetts Institute of Technology 5 3 1.42 1 4 0.251211
675 Patricia Johann Appalachian State University 5 3 1.92 1112
675 Exequiel Rivas 5 7 1.18 2 7 0.2911111
675 Oleg Kiselyov 5 4 1.42 1 4 0.251112
675 Katsuhiro Ueno 5 3 1.81 1112
675 Valery Trifonov Yale University 5 3 1.50 5
675 Joe B. Wells Heriot-Watt University 5 4 1.70 5
675 Matthias Neubauer University of Freiburg 5 2 2.25 5
675 Georges Gonthier 5 3 1.92 14
675 Henrik Nilsson University of Nottingham 5 1 4.00 113
675 Dominic Duggan Stevens Institute of Technology 5 2 3.50 5
675 Roly Perera 5 4 1.33 2 4 0.502111
675 Dmitriy Traytel University of Copenhagen 5 3 1.83 2 3 0.7511111
675 Maciej Piróg University of Wroclaw 5 4 1.50 1 4 0.2511111
675 Kathryn E. Gray 5 8 0.84 11111
675 Andrzej Filinski University of Copenhagen 5 1 4.50 113
675 Johan Jeuring Utrecht University 5 3 1.52 1 3 0.331112
675 Vincent Laporte 5 5 1.04 1 5 0.2011111
675 Keith Wansbrough 5 5 1.26 5
675 Joachim Breitner DFINITY Foundation 5 4 2.04 2 4 1.122111
675 Dariusz Biernacki University of Wroclaw 5 4 1.58 1 3 0.3311111
675 Alejandro Russo Chalmers/GU 5 4 1.95 1 4 0.251121
675 Carl Friedrich Bolz-Tereick Heinrich Heine University of Düsseldorf 5 4 1.26 1 3 0.331211
675 Julia Lawall INRIA 5 2 1.95 113
675 Damiano Mazza 5 3 1.75 11111
675 Andrew M. Pitts University of Cambridge 5 2 3.33 1 1 1.0011111
675 Vlad Ureche 5 4 1.42 1211
675 Davide Ancona University of Genoa 5 3 1.92 113
675 Roberto Lublinerman 5 3 1.40 1112
675 Robert Paige New York University 5 2 3.00 5
675 Gabriel Dos Reis 5 3 1.67 212
675 James E. Donahue 5 2 2.03 5
675 Luca Padovani 5 2 2.00 1 2 0.5011111
675 Alfred V. Aho Columbia University 5 3 2.00 5
675 Stephen C. Johnson 5 3 3.00 5
675 Ravi Sethi University of Arizona 5 2 2.67 5
675 Yoav Zibin 5 2 2.03 14
675 Radha Jagadeesan DePaul University 5 3 1.83 113
675 Mila Dalla Preda University of Verona 5 4 1.33 3 4 0.8311111
675 John C. Reynolds Carnegie Mellon University 5 2 3.17 14
675 Simon J. Gay University of Glasgow 5 2 2.40 2 4 0.701112
675 Stephen Chang 0001 University of Massachusetts Boston 5 3 1.75 1121
675 James Brotherston University College London 5 3 1.73 1 7 0.1411111
675 Santiago Zanella-Béguelin 5 6 0.92 11111
675 Daniel Leivant Indiana University 5 1 4.50 5
675 John H. Reif Duke University 5 2 3.50 5
675 Laura Kovács TU Wien 5 3 1.45 3 4 0.7811111
675 Andrea Asperti University of Bologna 5 2 3.17 14
675 Roy H. Campbell University of Illinois at Urbana-Champaign 5 2 2.17 5
675 Wilf R. LaLonde Carleton University 5 2 2.58 5
675 Aggelos Biboudis EPFL 5 4 1.20 11111
675 Li-yao Xia 5 7 0.93 2 7 0.2911111
675 James Riely DePaul University 5 3 1.83 1 6 0.171112
675 Delia Kesner University Paris-Diderot 5 3 2.17 2 2 1.3311111
675 Daniel Jackson 0001 Massachusetts Inst. of Technology 5 3 1.75 113
675 Robert Rand 0001 University of Chicago 5 4 1.20 3 4 0.672111
675 Martin Bravenboer 5 3 2.00 1112
675 Alan Borning University of Washington 5 3 1.62 14
675 Dennis de Champeaux 5 3 1.50 5
675 Ivar Jacobson Ivar Jacobson International 5 2 2.81 5
675 Lennart C. L. Kats 5 3 1.75 1211
675 Alex Potanin Australian National University 5 4 1.12 1 6 0.1711111
675 Gregor Kiczales University of British Columbia 5 2 2.17 113
675 Andy Georges 5 3 1.42 122
675 Dries Buytaert Ghent University 5 4 1.33 122
675 Gilad Bracha Google 5 2 2.25 5
675 Heather Miller Carnegie Mellon University 5 4 1.21 1 8 0.1211111
675 Philipp Haller KTH Royal Inst. of Technology 5 4 1.42 2 4 0.502111
675 Pierre Cointe 5 3 2.42 5
675 David H. Lorenz Open University of Israel 5 2 3.00 113
675 Dirk Riehle University of Erlangen–Nuremberg 5 1 3.75 14
675 Stephen Kell King's College London 5 3 2.81 221
675 Sukyoung Ryu KAIST 5 4 1.37 2 5 0.4811111
675 Milos Gligoric 0001 University of Texas at Austin 5 4 1.08 11111
675 Subhajit Roy 0001 IIT Kanpur 5 4 1.48 4 4 1.15131
675 Irene Yoon 0001 INRIA 5 5 1.12 3 4 0.7811111
675 Andrew K. Hirsch University at Buffalo 5 2 2.08 3 3 1.0811111
675 Benjamin Mariano 5 5 0.99 4 5 0.851121
675 Gabriele Vanoni 5 3 1.45 4 4 1.121211
675 Harrison Goldstein University at Buffalo 5 5 1.32 5 5 1.32221
675 Taolue Chen 0001 Birkbeck University of London 5 5 0.96 3 5 0.5611111
675 Alexandre Moine 0001 New York University 5 3 1.50 5 3 1.50221
675 Armaël Guéneau 5 6 1.04 3 4 0.75212
675 Léon Gondelman 5 5 0.94 4 5 0.7411111
675 András Kovács 5 1 4.33 3 1 3.0011111
675 Jun Sun 0001 Singapore Management University 5 6 1.18 5 6 1.1841
675 Minseok Jeon DGIST 5 3 1.67 2 3 0.7511111
675 Burcu Kulahcioglu Ozkan TU Delft 5 5 1.18 2 4 0.4511111
675 Konstantinos Kallas Univ. of California - Los Angeles 5 4 1.12 2 4 0.451121
675 Stelios Tsampas 0001 University of Southern Denmark 5 4 1.32 5 4 1.3241
675 Aïna Linn Georges 5 5 0.97 4 5 0.8411111
675 Amir Shaikhha University of Edinburgh 5 4 1.25 3 4 0.7511111
675 Edward Lee 0001 University of Waterloo 5 4 1.42 5 4 1.421211
675 G. A. Kavvos University of Bristol 5 3 2.78 2 3 1.2011111
675 Jinwoo Kim 5 4 1.23 4 4 0.982111
675 Yuting Wang 0001 Shanghai Jiao Tong University 5 4 1.28 3 4 0.7011111
675 Rasmus Ejlers Møgelberg IT University of Copenhagen 5 3 1.87 2 4 0.701112
675 Yuyan Bao Augusta University 5 5 0.91 4 5 0.742111
675 Dana Drachsler-Cohen Technion 5 2 2.33 5 2 2.33311
675 Yiyun Liu 5 3 1.75 4 2 1.5811111
675 Shuai Wang 0011 HKUST 5 4 1.14 4 5 0.81311
675 Noam Zilberstein 5 3 1.50 5 3 1.501121
675 Arjen Rouvoet 5 5 1.18 1 5 0.201112
675 David Binder 5 4 1.20 4 4 0.952111
675 Aviral Goel 5 5 1.32 2111
675 Charles Yuan University of Wisconsin - Madison 5 3 1.57 4 3 1.37131
675 Aleksander Boruch-Gruszecki 5 4 1.33 5 4 1.3332
892 Manuel Costa Microsoft Research 4 6 0.63 211
892 Gilles Pokam 4 4 0.82 1111
892 Kaan Genç 4 3 1.25 211
892 Cezara Dragoi Ecole Normale Superieure 4 4 1.12 211
892 Irene Finocchi Luiss Guido Carli University 4 3 1.25 22
892 Jonathan T. Moore 4 4 1.07 4
892 Scott Nettles 4 3 1.37 4
892 Colin S. Gordon Drexel University 4 4 1.18 1 2 0.501111
892 M. Frans Kaashoek Massachusetts Inst. of Technology 4 3 1.42 13
892 Nicolas Halbwachs IMAG 4 2 1.58 13
892 Lal George 4 2 2.00 4
892 Michael Wolfe 4 2 2.03 4
892 Daniel W. Barowy 4 4 1.17 1111
892 Alexandru Nicolau Univ. of California - Irvine 4 3 1.26 13
892 Zachary R. Anderson 4 2 2.08 1111
892 Michael F. P. O'Boyle University of Edinburgh 4 3 1.50 1 4 0.251111
892 Jieung Kim Yonsei University 4 5 0.78 2 5 0.421111
892 Josep Torrellas Univ. of Illinois at Urbana-Champaign 4 4 0.96 211
892 Marco F. Cusumano-Towner Massachusetts Institute of Technology (MIT) 4 5 0.85 121
892 Greg Nelson 4 4 1.70 4
892 David R. Hanson 4 2 1.70 4
892 Ravi Mangal Colorado State University 4 4 0.95 22
892 David W. Wall 4 1 3.50 4
892 Nick P. Johnson 4 5 0.82 112
892 Daniel Perelman 4 5 0.81 1 7 0.141111
892 Ruy Ley-Wild Carnegie Mellon University 4 3 1.37 1111
892 Bjarne Steensgaard Microsoft Research 4 3 1.92 112
892 Dennis E. Shasha New York University 4 4 1.17 1111
892 Preston Briggs 4 4 1.33 13
892 Rodric M. Rabbah 4 4 0.95 1111
892 John K. Feser 4 4 1.17 2 4 0.581111
892 Prakash Prabhu 4 5 0.90 121
892 Samuel P. Midkiff Purdue University 4 4 1.28 13
892 Dustin Jamner 4 4 1.03 2 4 0.451111
892 Andres Erbsen 4 5 0.88 3 5 0.68121
892 Vijay Menon 0002 Intel Corporation 4 6 0.68 112
892 David Callahan 4 2 2.17 4
892 Stelios Sidiroglou-Douskos 4 4 1.08 121
892 Michal Cierniak 4 3 1.37 4
892 Tao Xie 0001 Peking University 4 6 0.73 1111
892 Dimitris Mitropoulos University of Athens 4 6 0.78 2 6 0.371111
892 Michal Friedman 0001 ETH Zurich 4 4 1.07 1111
892 Grigory Fedyukovich Florida State University 4 4 1.12 1 5 0.20121
892 John Whaley 4 2 2.33 4
892 Dinghao Wu Pennsylvania State University 4 4 1.28 1 5 0.20112
892 Benjamin Goldberg 0001 New York University 4 2 3.00 4
892 Dominik Winterer University of Manchester 4 3 1.42 1 2 0.50112
892 Glenn Ammons 4 3 1.42 4
892 Pierre Genevès CNRS 4 3 1.50 1111
892 Rongxin Wu Xiamen University 4 6 0.76 1 7 0.141111
892 Michelle Mills Strout 4 4 1.02 1111
892 Stefan Monnier University of Montreal 4 3 1.42 1 4 0.25112
892 Youfeng Wu 4 4 1.68 112
892 John Cavazos University of Delaware 4 2 1.75 112
892 Binoy Ravindran Virginia Tech 4 4 1.33 3 4 0.831111
892 Juneyoung Lee 4 7 0.58 121
892 Francisco Ferreira 0001 Royal Holloway Univ. of London 4 4 1.03 1 3 0.331111
892 Andrew Blinn 4 5 0.83 3 4 0.67121
892 David Tarditi 4 4 1.25 4
892 Wenguang Chen Tsinghua University 4 6 0.78 1 5 0.201111
892 Fred C. Chow 4 4 1.70 13
892 Polyvios Pratikakis University of Crete 4 4 1.06 22
892 Eric Eide University of Utah 4 6 0.76 1111
892 Ming Kawaguchi 4 3 1.25 1111
892 Keith H. Randall 4 3 1.50 4
892 Nils Klarlund AT&T Inc 4 3 1.42 4
892 Mohammad Raza 4 8 0.56 2 9 0.23211
892 Sunjay Cauligi 4 8 0.57 112
892 Craig Disselkoen 4 10 0.43 2 13 0.161111
892 Malavika Samak 4 3 1.50 1111
892 Phitchaya Mangpo Phothilimthana 4 6 0.73 3 7 0.56211
892 Peng Liu 0010 Purdue University 4 4 0.93 1111
892 Yunhui Zheng 4 4 1.00 211
892 Hiroshi Inoue 4 4 1.33 112
892 Qinheping Hu 4 4 1.25 1111
892 Sara Achour 4 2 1.53 1 2 0.501111
892 David A. McAllester TTI Chicago 4 2 2.00 4
892 Joshua S. Auerbach 4 4 0.90 1111
892 Rakesh Ghiya 4 2 1.67 4
892 Siddhartha Chatterjee The University of Texas at Austin 4 4 0.98 4
892 Dominik Klumpp 4 3 1.25 4 3 1.251111
892 Chandra Krintz Univ. of California - Santa Barbara 4 2 1.83 112
892 Sifis Lagouvardos 4 4 0.90 1 4 0.25112
892 Wilson C. Hsieh 4 3 1.50 4
892 Alex Sanchez-Stern University of Massachusetts Amherst 4 4 0.90 1 5 0.201111
892 Vugranam C. Sreedhar IBM Research 4 3 1.37 4
892 Thomas Würthinger 4 8 0.52 211
892 Christian Wimmer 4 6 0.69 1111
892 Mary W. Hall University of Utah 4 4 1.02 1111
892 Yaniv David 4 3 1.50 1111
892 Dawson R. Engler Stanford University 4 3 1.92 4
892 Ramana Kumar 4 6 0.76 1111
892 Yiyu Zhang 4 8 0.58 3 7 0.45211
892 Pascal Van Hentenryck Georgia Institute of Technology 4 2 1.67 4
892 M. Anton Ertl TU Wien 4 2 2.83 4
892 Zhengyang Liu 0003 University of Utah 4 4 0.95 1 3 0.331111
892 Stephen Magill 4 4 1.08 1111
892 Runzhou Tao 0001 University of Maryland 4 5 0.79 3 4 0.62211
892 Robert E. Strom 4 2 2.33 4
892 Olli Saarikivi 4 6 0.71 211
892 Steffen Smolka 4 6 0.76 1111
892 David M. Kahn 4 3 1.31 1 3 0.331111
892 Marco Pistoia JPMorgan Chase 4 4 0.95 1111
892 Tamás Szabó 4 3 1.25 211
892 Lennard Gäher 4 7 0.61 3 7 0.47121
892 Daniel Gratzer Aarhus University 4 4 1.73 1 1 1.00112
892 Xiao Xiao 0003 Sourcebrella 4 5 0.82 112
892 Jisheng Zhao 4 5 0.85 1 4 0.251111
892 Changwan Hong 4 8 0.54 1 6 0.171111
892 Paul Thomson 4 5 0.82 1111
892 Dorde Zikelic Singapore Management University 4 4 1.08 2 4 0.501111
892 Pedro C. Diniz University of Southern California 4 2 1.83 4
892 Jens Knoop TU Wien 4 3 1.33 4
892 Oliver Rüthing 4 3 1.33 4
892 Bernhard Steffen TU Dortmund 4 3 1.33 4
892 Petr Novotný 0001 Masaryk University 4 4 1.17 1111
892 Lu Zhang 0023 Peking University 4 6 0.87 211
892 Joseph Devietti University of Pennsylvania 4 4 1.03 121
892 V. T. Rajan 4 3 1.20 4
892 Hideya Iwasaki 4 4 1.28 112
892 Peter M. Chen University of Michigan 4 5 0.79 1111
892 Jade Alglave 4 6 0.95 1111
892 Liuba Shrira Brandeis University 4 2 1.53 4
892 Will Crichton Brown University 4 2 1.58 4 2 1.58211
892 Yuxiang Peng 4 4 1.00 4 4 1.0022
892 Gregor Snelting Karlsruhe Inst. of Technology 4 2 1.58 4
892 Joonwon Choi 4 5 0.82 1 3 0.331111
892 Jan Midtgaard 4 6 1.01 1111
892 David Molnar 4 4 0.90 211
892 Nick Giannarakis 4 4 1.08 1111
892 Guangyu Chen Penn State 4 4 1.00 13
892 Bruno Blanchet ENS Paris 4 2 2.62 4
892 Giuliano Losa 4 5 0.88 211
892 Benoît Montagu 4 2 1.75 1111
892 Olivier Tardieu 4 3 1.45 22
892 Liam O'Connor Australian National University 4 6 0.92 3 6 0.811111
892 Deokhwan Kim 4 4 1.33 1111
892 David B. MacQueen 4 2 2.17 4
892 Oscar Waddell 4 3 1.50 4
892 Kemal Ebcioglu 4 4 0.82 4
892 Gérard Berry 4 2 1.83 13
892 Jaakko Järvi University of Bergen 4 5 0.90 4
892 Richard Johnson 4 3 1.37 4
892 Xi Wang 0005 University of Washington 4 6 0.66 1 4 0.251111
892 Eva Darulova Uppsala University 4 2 1.48 211
892 Ganesh Sittampalam 4 8 0.70 4
892 Julian Tibble 4 8 0.68 22
892 Jeffrey Dean Google 4 4 1.03 4
892 Victor Nicolet 4 2 1.83 1 3 0.331111
892 Yonghyun Kim 4 6 0.65 2 6 0.39211
892 Mingzhe Wang 4 8 0.56 4 8 0.5622
892 Chijin Zhou 4 8 0.56 4 8 0.56121
892 Motohiro Kawahito 4 5 0.80 4
892 Peter J. Stuckey Monash University 4 3 1.50 4
892 Erik Ruf Microsoft Research 4 1 3.50 4
892 Xin Qi 0012 Facebook Inc. 4 2 1.83 121
892 Serdar Tasiran 4 3 1.25 1111
892 Travis Hance 4 6 0.69 2 6 0.36211
892 Laure Gonnord Ecole Normale Superieure de Lyon 4 3 1.17 2 3 0.671111
892 Reuben N. S. Rowe Royal Holloway Univ. of London 4 4 0.95 1 4 0.251111
892 Thomas Gilray Washington State University 4 4 1.03 112
892 Ben Wiedermann 4 4 1.08 1111
892 Helmut Seidl TU Munich 4 2 1.53 112
892 Evelyn Duesterwald 4 3 1.20 13
892 Andrew Wagner 4 4 0.85 4 4 0.85121
892 Eddie Jones University of Bristol 4 3 1.37 3 3 0.871111
892 Joshua B. Tenenbaum Massachusetts Institute of Technology (MIT) 4 6 0.75 3 4 0.64121
892 Yanhong A. Liu Stony Brook University 4 4 0.98 13
892 Scott D. Stoller Stony Brook University 4 4 0.98 13
892 Toshiaki Yasue 4 5 0.80 4
892 James Bornholt 4 3 1.45 1 5 0.201111
892 Lingkun Kong 4 3 1.31 3 3 0.811111
892 Leonardo de Moura 0001 Microsoft Research 4 4 1.28 1 2 0.501111
892 John Renner 4 6 0.67 112
892 Fraser Brown Carnegie Mellon University 4 6 0.63 1 6 0.171111
892 Jatin Arora 0002 Amazon.com 4 3 1.25 2 3 0.671111
892 Eric Schkufza 4 4 1.08 1111
892 Minh-Thai Trinh 4 4 1.07 1 5 0.20121
892 Roberta Gori University of Pisa 4 4 0.95 3 4 0.751111
892 Corneliu Popeea 4 4 1.08 1111
892 Radu Grigore University of Kent 4 3 1.95 211
892 ThanhVu Nguyen George Mason University 4 4 1.01 112
892 Cosmin E. Oancea University of Copenhagen 4 3 1.45 1111
892 Sreepathi Pai University of Rochester 4 4 1.33 1 3 0.331111
892 Yanju Chen 4 6 0.82 4 6 0.8213
892 Eric Bodden Paderborn University 4 4 0.94 1111
892 Kia Rahmani 4 4 0.82 1 5 0.20121
892 Kuat Yessenov Massachusetts Institute of Technology 4 3 1.14 1111
892 David Bernstein 4 3 1.31 4
892 Daniel von Dincklage 4 2 1.55 112
892 David K. Gifford Massachusetts Inst. of Technology 4 2 2.00 4
892 Matthew Hertz 4 3 1.37 4
892 Ivan Radicek 4 5 0.86 1 8 0.12112
892 Alexander K. Lew Yale University 4 4 0.79 2 8 0.341111
892 Earl T. Barr University College London 4 4 1.25 1111
892 Philippe Suter 4 4 1.17 112
892 Farzin Houshmand 4 3 1.25 2 8 0.421111
892 Werner Dietl University of Waterloo 4 4 1.00 1111
892 Fabian Muehlboeck Australian National University 4 2 1.83 1111
892 Sriram Sankaranarayanan 0001 University of Colorado Boulder 4 3 1.25 1111
892 Arvind 0001 Massachusetts Institute of Technology (MIT) 4 4 1.03 1 4 0.251111
892 Lucas Brutschy 4 4 1.08 1111
892 Edward Aftandilian 4 4 1.12 1111
892 Zheng Guo 0003 University of California 4 6 0.65 2 6 0.3722
892 Neil Ghani University of Strathclyde 4 2 1.58 112
892 Satnam Singh 4 3 1.42 1111
892 Chris Okasaki 4 1 4.00 4
892 Roman Leshchinskiy 4 4 1.07 1111
892 Sebastian Fischer 0001 University of Kiel 4 3 1.37 1111
892 Frank Huch University of Kiel 4 2 2.03 112
892 Matthew Hennessy Trinity College Dublin 4 2 1.83 4
892 Alan Jeffrey 4 3 1.83 1 6 0.171111
892 Aaron Stump University of Iowa 4 4 1.08 1 6 0.171111
892 Beta Ziliani Universidad Nacional de Córdoba 4 4 1.15 1111
892 Stephen Weeks 4 2 1.75 4
892 Paul Blain Levy University of Birmingham 4 2 2.25 1 2 0.501111
892 Geoffrey Mainland Drexel University 4 2 2.67 1111
892 John Tang Boyland Univ. of Wisconsin - Milwaukee 4 2 2.00 4
892 Edwin C. Brady University of St Andrews 4 2 2.20 1 5 0.201111
892 Nils Gesbert University of Glasgow 4 3 1.37 1111
892 Tobias Nipkow TU Munich 4 2 1.75 13
892 Robert Muller Boston College 4 4 1.62 4
892 Franklyn A. Turbak Wellesley College 4 4 1.70 4
892 Dominic P. Mulligan AWS 4 4 0.93 1 7 0.141111
892 Tom Ridge University of Cambridge 4 6 1.47 121
892 Johannes Borgström Uppsala University 4 6 0.71 211
892 Giorgio Ghelli University of Pisa 4 2 2.42 1 6 0.1713
892 Eric Walkingshaw Oregon State University 4 4 1.04 1 8 0.12121
892 Avik Chaudhuri 4 4 1.78 1111
892 Carl A. Gunter Univ. of Illinois at Urbana-Champaign 4 3 1.95 4
892 Michael Hanus University of Kiel 4 4 1.78 13
892 Carlo Angiuli Indiana University 4 4 1.17 1 3 0.331111
892 Stefan Holdermans 4 4 1.18 1111
892 Neil Mitchell 4 2 2.67 1111
892 Yasuhiko Minamide Institute of Science Tokyo 4 2 2.08 13
892 Jacques Garrigue Nagoya University 4 2 1.75 13
892 Jay A. McCarthy 4 6 2.17 1 15 0.071111
892 Jan-Oliver Kaiser 4 6 0.74 121
892 Thibaut Balabonski 4 2 2.45 1111
892 Christian Queinnec LIP6 4 2 2.33 4
892 Martin Sulzmann 4 4 1.25 112
892 Pierre-Louis Curien CNRS - Université Paris 7 4 3 1.42 13
892 Germán Andrés Delbianco 4 4 1.20 1111
892 Haruo Hosoya 4 2 1.67 4
892 Jean-Jacques Lévy INRIA 4 3 1.42 4
892 Matteo Cimini University of Massachusetts Lowell 4 2 1.75 121
892 Norman Danner 4 3 1.42 211
892 Assaf J. Kfoury Boston University 4 2 2.08 4
892 Georg Moser University of Innsbruck 4 3 1.37 1 5 0.201111
892 Robin Milner 4 2 1.53 4
892 David N. Turner University of Kent 4 2 1.67 4
892 Marcelo P. Fiore University of Cambridge 4 2 2.17 1 2 0.50112
892 José Meseguer 0001 Univ. of Illinois at Urbana-Champaign 4 2 2.45 1 5 0.2013
892 Irene Greif IBM 4 2 1.50 4
892 Mark Shields 4 4 1.33 4
892 Edward L. Wimmers 4 3 1.42 4
892 Ambrus Kaposi 4 2 1.58 2 3 0.751111
892 Greta Yorsh 4 4 1.17 211
892 Norihisa Suzuki 4 2 3.00 4
892 Jérôme Siméon 4 4 1.09 1 7 0.141111
892 David A. Naumann Stevens Institute of Technology 4 4 1.20 1 6 0.171111
892 Daniel H. H. Ingalls 4 4 1.90 4
892 Steven S. Muchnick 4 2 2.00 4
892 Filippo Bonchi University of Pisa 4 3 1.37 1 3 0.331111
892 Markus Müller-Olm University of Münster 4 3 1.37 1 3 0.331111
892 I. V. Ramakrishnan Stony Brook University 4 3 1.14 4
892 Konstantinos Sagonas Uppsala University 4 5 0.81 1111
892 Amelia C. Fong 4 2 2.83 4
892 Prakash Panangaden McGill University 4 3 1.25 13
892 Maurice Herlihy Brown University 4 3 1.50 13
892 Bengt Jonsson 0001 Uppsala University 4 4 1.67 1111
892 Adam Welc 4 5 0.88 112
892 Leslie Lamport Microsoft Research 4 1 3.50 4
892 Bard Bloom 4 2 2.46 13
892 Richard J. Lipton Georgia Institute of Technology 4 3 1.92 4
892 Samuel N. Kamin University of Illinois 4 2 3.00 4
892 Ankush Das Boston University 4 3 1.25 2 4 0.581111
892 Ehud Shapiro Weizmann Institute of Science 4 2 2.75 4
892 Patrick Lam 0001 University of Waterloo 4 4 1.23 112
892 Bjarne Stroustrup AT&T Inc 4 4 1.25 112
892 Matt Brown 4 2 2.00 1111
892 Prateek Mishra 4 2 1.83 4
892 Luís Caires Universidade de Lisboa 4 2 2.00 1111
892 David Harel Weizmann Institute of Science 4 2 2.17 4
892 Derek C. Oppen 4 2 2.50 4
892 Reinhard Wilhelm Saarland University 4 3 1.87 4
892 Andreas Haeberlen University of Pennsylvania 4 5 0.85 1111
892 Daniel G. Bobrow Palo Alto Research Center Incorporated 4 5 0.92 4
892 Ole Lehrmann Madsen Aarhus University 4 2 2.08 4
892 Marvin H. Solomon University of Wisconsin-Madison 4 2 2.83 4
892 Ichiro Hasuo National Inst. of Informatics 4 3 1.25 1 4 0.25121
892 Aaron Roth 0001 University of Pennsylvania 4 5 0.82 1111
892 Bowen Alpern 4 4 1.13 4
892 Nathan Bronson Rockset 4 5 0.92 121
892 Kevin Bierhoff 4 2 2.08 1 1 1.001111
892 Henry M. Levy University of Washington 4 3 1.50 4
892 Stefan Hanenberg University of Duisburg-Essen 4 2 2.70 112
892 Kenneth M. Kahn 4 4 1.25 4
892 Mangala Gowri Nanda 4 3 1.25 112
892 Yasuhiko Yokote 4 2 2.33 4
892 Christophe Dony LIRMM Montpellier 4 2 2.08 4
892 Darko Marinov Univ. of Illinois at Urbana-Champaign 4 4 1.20 112
892 Grzegorz Czajkowski 4 2 2.25 4
892 Karel Driesen 4 2 2.25 4
892 Derek Coleman 4 4 1.23 4
892 Sylvan Clebsch 4 6 0.93 2 8 0.27211
892 Keval Vora Simon Fraser University 4 3 1.17 1111
892 Michael J. Carey 0001 Univ. of California - Irvine 4 2 1.58 4
892 Kazunori Ogata 4 5 0.80 112
892 Takeshi Ogasawara 4 5 1.55 112
892 Grady Booch 4 6 0.95 4
892 Satoshi Matsuoka Institute of Science Tokyo 4 4 1.33 4
892 Stanley B. Zdonik Brown University 4 2 2.00 4
892 Hridesh Rajan Tulane University 4 3 1.42 1111
892 Dave A. Thomas 4 4 1.23 4
892 Christian Kästner Carnegie Mellon University 4 4 1.00 112
892 Tien N. Nguyen University of Texas at Dallas 4 4 0.92 1 4 0.251111
892 Christian Grothoff 4 4 1.04 13
892 Richard Helm 4 4 1.23 4
892 James E. Rumbaugh 4 2 2.39 4
892 Richard P. Gabriel 4 2 2.17 112
892 Mirko Köhler 0001 Technische Universität Darmstadt 4 5 0.90 1111
892 Grégory M. Essertel 4 4 0.95 31
892 Rohan Bavishi 4 4 0.91 1 8 0.121111
892 Sandro Stucki 4 4 1.20 1 3 0.331111
892 Susan Eisenbach Imperial College London 4 4 1.08 2 4 0.501111
892 Donnacha Oisín Kidney 4 2 1.83 3 2 1.331111
892 James McKinna Heriot-Watt University 4 4 1.09 2 6 0.391111
892 Thibault Dardinier ETH Zurich 4 3 1.20 4 3 1.201111
892 Andrea Vezzosi 4 3 1.33 112
892 Jaco van de Pol Aarhus University 4 2 1.58 2 4 0.581111
892 Robin Kaarsgaard 4 4 1.33 4 4 1.33121
892 Ilias Tsatiris 4 4 0.95 2 4 0.501111
892 Caroline Lemieux University of British Columbia 4 4 1.15 1 2 0.50112
892 Julia Belyakova 4 6 0.78 1 4 0.251111
892 Benjamin Chung 4 6 0.68 112
892 Wenhao Tang 4 5 1.06 4 5 1.061111
892 Brijesh Dongol University of Surrey 4 4 1.12 3 6 0.791111
892 Litao Zhou 0001 University of Hong Kong 4 3 1.37 4 3 1.37121
892 Zhixuan Yang 4 2 1.83 3 2 1.331111
892 Kwing Hei Li 4 6 0.62 4 6 0.6222
892 Jacob Laurel Georgia Institute of Technology 4 4 1.00 4 4 1.00112
892 Yu Wang 0093 Nanjing University 4 4 0.96 3 4 0.711111
892 José Cambronero Google 4 7 0.91 3 7 0.411111
892 Matthijs Vákár 4 2 1.43 2 2 1.001111
892 Yao Li 0004 University of Pennsylvania 4 4 1.14 2 4 0.641111
892 Benjamin Quiring 4 3 1.33 4 3 1.33121
892 Jonathan Sterling 4 4 1.08 3 4 0.75211
892 Filip Niksic 4 4 1.15 22
892 Yotam M. Y. Feldman 4 4 0.89 1 4 0.25112
892 Sergey Goncharov 0001 University of Birmingham 4 4 1.07 4 4 1.0731
892 Henning Urbat 4 4 1.73 4 4 1.73121
892 Pierre Clairambault Ecole Normale Superieure de Lyon 4 2 1.67 1 2 0.501111
892 Amanda Xu 4 5 0.75 3 5 0.65121
892 Wenjia Ye 4 3 1.14 4 3 1.14121
892 Michael J. Coblenz Univ. of California - San Diego 4 4 1.25 3 4 1.0031
892 Hendrik van Antwerpen Delft University of Technology 4 4 1.03 2 4 0.58211
892 Kiran Gopinathan University of Illinois Urbana-Champaign 4 5 0.72 3 5 0.52121
892 Shengyi Jiang 4 3 1.25 4 3 1.25121
892 Songlin Jia 4 5 0.74 4 5 0.74211
892 Pascal Baumann 0001 Max Planck Institute for Software Systems 4 4 0.90 3 5 0.651111
892 John M. Li 4 3 1.37 2 4 0.5322
892 Jon Howell 4 7 0.65 4 7 0.6531
892 Paulo Emílio de Vilhena 4 4 1.33 2 4 0.501111
892 Manuel Rigger National University of Singapore 4 5 1.10 2 5 0.48112
892 Mathieu Huot 4 4 0.84 4 4 0.84121
892 James Worrell 0001 University of Oxford 4 5 0.79 3 5 0.591111
892 Ryan G. Scott 4 4 0.93 1 5 0.201111
892 Jason Z. S. Hu 4 2 1.58 3 3 1.0831
892 Ziteng Wang 0001 University of Texas at Austin 4 6 0.69 2 5 0.40112
892 Liyi Li 0002 Iowa State University 4 6 0.78 4 6 0.78211
892 Lukas Lazarek 4 4 0.95 1 4 0.251111
892 Lucas Peña 4 4 0.98 2 4 0.451111
892 Vikraman Choudhury 4 2 1.48 2 2 0.831111
892 Francesco Gavazzo University of Pisa 4 2 1.75 4 2 1.7513
892 Michael Ballantyne 4 3 1.25 1 3 0.3313
892 Fengyun Liu 4 4 1.12 2 3 0.751111
892 Matija Pretnar University of Ljubljana 4 4 1.12 1 8 0.12121
892 Kesha Hietala 4 6 0.60 2 10 0.231111
892 Youyou Cong Institute of Science Tokyo 4 4 1.25 1 4 0.25112
892 Pascal Weisenburger 4 4 1.12 2 4 0.581111
892 David Sanán 4 6 0.73 4 6 0.7331
892 Shraddha Barke 4 4 0.99 1 3 0.33112
892 David A. Basin ETH Zurich 4 4 0.93 3 4 0.781111
892 Aurèle Barrière 4 3 1.20 3 3 1.001111
892 Xuejing Huang 4 3 1.42 3 3 0.92121
1278 William Thies 3 3 0.92 12
1278 Piyus Kedia IIIT Delhi 3 3 0.83 2 3 0.67111
1278 Pen-Chung Yew University of Minnesota 3 6 0.81 1 6 0.17111
1278 Roy Dz-Ching Ju Intel 3 7 0.79 3
1278 Baris Kasikci University of Washington 3 6 0.47 1 10 0.10111
1278 Alain Deutsch 3 1 3.00 3
1278 Peixin Wang 3 6 0.53 1 6 0.17111
1278 Jake Roemer 3 3 0.92 111
1278 Matthai Philipose Microsoft Research 3 5 0.73 3
1278 Timothy Sherwood Univ. of California - Santa Barbara 3 6 0.56 1 6 0.17111
1278 Tatsushi Inagaki 3 4 0.57 3
1278 Zhiyuan Li 0001 Purdue University 3 2 1.33 12
1278 Haryadi S. Gunawi University of Chicago 3 5 0.73 111
1278 Peter A. Dinda Northwestern University 3 5 0.59 111
1278 Quentin Carbonneaux 3 3 0.92 111
1278 Willow Ahrens MIT 3 5 0.70 3 5 0.7021
1278 Milijana Surbatovich Univ. of Maryland - College Park 3 3 1.00 111
1278 Hossein Hojjat TeIAS 3 4 0.83 1 3 0.33111
1278 Gary Sevitsky 3 5 0.87 111
1278 Gregory J. Duck 3 3 1.17 1 3 0.33111
1278 Roland H. C. Yap National University of Singapore 3 3 1.08 12
1278 Michael D. Smith 0001 Harvard University 3 3 0.92 3
1278 Neil Vachharajani 3 3 0.92 12
1278 Wolf Honoré 3 4 0.67 2 5 0.42111
1278 Ji-Yong Shin Northeastern University 3 4 0.67 2 5 0.42111
1278 Thomas Shull 3 3 0.87 21
1278 Eric A. Brewer University of California 3 4 0.67 12
1278 Frances Perry 3 7 0.45 111
1278 Martin Kong Ohio State University 3 6 0.81 111
1278 Mark Lillibridge Hewlett Packard Enterprise Labs 3 2 1.17 3
1278 Raymie Stata 3 2 1.17 3
1278 Thomas Sewell UNSW 3 6 0.61 1 6 0.17111
1278 Kanat Tangwongsan 3 4 0.78 111
1278 Siddharth Krishna 0001 Microsoft Research 3 4 0.83 111
1278 Zoran Budimlic 3 5 0.57 111
1278 Yutao Zhong 0001 George Mason University 3 4 0.95 3
1278 Uwe F. Pleban 3 2 1.33 3
1278 Andrew K. Wright 3 2 1.25 3
1278 Linda Torczon Rice University 3 3 1.08 3
1278 Christophe Dubach McGill University 3 4 0.70 1 4 0.25111
1278 Roger Hoover 3 1 2.50 3
1278 Marcelo Sousa 3 3 1.03 111
1278 Swarnendu Biswas IIT Kanpur 3 4 0.62 111
1278 Jipeng Huang 3 4 0.88 12
1278 Brian R. Murphy 3 6 0.81 3
1278 Yuan Yu 3 3 0.87 111
1278 Xiaotong Zhuang 3 2 1.25 3
1278 José Fragoso Santos Universidade de Lisboa 3 4 0.70 111
1278 Petar Maksimovic 0001 Imperial College London 3 4 0.70 111
1278 Benjamin Cosman 3 3 1.03 111
1278 Benjamin P. Wood 3 4 0.83 111
1278 Angello Astorga 3 5 0.62 1 4 0.25111
1278 Bernard Lang 3 2 1.83 3
1278 Hao Chen 0023 University of Electronic Science and Technology of China 3 5 0.51 1 5 0.20111
1278 Xiongnan (Newman) Wu 3 8 0.44 111
1278 Alastair Reid 0001 Intel 3 5 1.27 111
1278 Rohan Yadav 3 4 0.73 1 3 0.33111
1278 Diomidis Spinellis AUEB 3 6 0.58 1 6 0.17111
1278 Arvind K. Sujeeth 3 8 0.40 111
1278 Hassan Chafi 3 7 0.43 111
1278 Robert Muth 3 3 0.94 3
1278 Michael Stepp 3 4 0.73 111
1278 Guoliang Jin North Carolina State University 3 5 0.65 111
1278 Maged M. Michael IBM Research 3 2 1.67 111
1278 Edith Schonberg 3 2 1.67 12
1278 John Kodumal 3 2 1.25 12
1278 Robert O'Callahan 3 3 1.00 3
1278 Nabil Layaïda 3 3 1.00 111
1278 Brian Campbell 0001 University of Edinburgh 3 8 0.34 2 8 0.27111
1278 Sankha Narayan Guria University of Kansas 3 4 0.78 1 4 0.25111
1278 Gordon V. Cormack University of Waterloo 3 2 2.00 3
1278 Reinhard von Hanxleden University of Kiel 3 2 1.12 12
1278 Ajeet Shankar 3 3 1.08 111
1278 Wontae Choi 3 4 0.78 111
1278 Wonchan Lee 3 5 0.60 12
1278 Minghui Yang 3 5 0.62 1 5 0.20111
1278 Larry Carter University of California 3 3 1.00 3
1278 James M. Stichnoth 3 3 0.87 3
1278 Williams Ludwell Harrison III 3 2 1.50 3
1278 Yuanrui Zhang 3 5 0.57 111
1278 Christopher J. Rossbach University of Texas at Austin 3 4 0.62 111
1278 Emmett Witchel University of Texas at Austin 3 6 0.49 111
1278 Abhik Roychoudhury National University of Singapore 3 4 0.75 21
1278 George Pîrlea 3 5 0.73 1 5 0.2012
1278 Dirk Grunwald University of Colorado Boulder 3 3 1.00 3
1278 Arun Raman 3 4 0.70 12
1278 Lorenzo Gheri 3 4 1.00 1 2 0.50111
1278 David Moon 3 6 0.58 2 5 0.42111
1278 Ian Voysey 3 5 0.62 111
1278 Yoav Ossia 3 4 0.75 3
1278 Elliot K. Kolodner 3 3 0.83 3
1278 Bryan Ford EPFL 3 1 2.20 3
1278 Gary Lindstrom University of Utah 3 3 1.53 3
1278 Kiwan Maeng Pennsylvania State University 3 2 1.33 111
1278 Aleksandr Karbyshev 3 6 0.49 111
1278 Wenyu Zhao 3 3 0.87 3 3 0.8721
1278 Daniel Marino 3 5 0.73 111
1278 Samuel Steffen 3 4 0.83 111
1278 Manohar Jonnalagedda 3 5 0.51 111
1278 Kyndylan Nienhuis 3 7 0.59 12
1278 Paul R. Wilson 0001 University of Texas at Austin 3 2 1.33 3
1278 Thomas G. Moher University of Illinois at Chicago 3 2 1.33 3
1278 Sidi Mohamed Beillahi 3 6 0.56 2 6 0.31111
1278 Ryan Culpepper 3 4 0.95 111
1278 Robert R. Henry 3 3 1.00 3
1278 Bozhen Liu 3 2 1.17 1 2 0.50111
1278 Peiming Liu 3 6 0.50 2 6 0.3321
1278 Jason Ansel 3 7 0.42 111
1278 Carl Bruggeman 3 3 1.00 3
1278 Jan Jecmen 3 5 0.62 1 4 0.25111
1278 Sebastián Krynski 3 5 0.65 2 4 0.45111
1278 Xiang Gao 0012 Beihang University 3 6 0.62 12
1278 Christopher Colby 3 3 1.00 3
1278 Yang Chen 0024 University of Utah 3 6 0.56 111
1278 Chucky Ellison 3 3 1.00 12
1278 David Mandelin 3 4 0.56 12
1278 Doug Kimelman 3 4 0.64 12
1278 Jason R. Koenig 3 4 0.78 1 5 0.20111
1278 Prasad A. Kulkarni University of Kansas 3 4 1.42 111
1278 Abhishek Udupa 3 6 0.62 111
1278 Gianfranco Bilardi 3 2 1.33 12
1278 Mark D. Weiser Xerox PARC 3 6 0.83 3
1278 Yufei Cai 3 4 0.68 111
1278 Shigeyuki Sato 0001 University of Electro-Communications 3 2 1.50 1 2 0.50111
1278 John R. Rose University of South Carolina 3 1 2.25 3
1278 Nimrod Partush 3 3 1.17 111
1278 Raven Beutner 3 2 1.33 2 2 0.83111
1278 Andreas Lööw 3 6 1.31 2 4 1.1721
1278 Anthony C. J. Fox University of Cambridge 3 7 0.45 1 7 0.14111
1278 Dror E. Maydan 3 3 0.83 3
1278 Andrew Adams 3 6 0.53 111
1278 Laith Sakka 3 4 0.75 21
1278 Giovanni Campagna 3 5 0.62 111
1278 Pierre Ganty IMDEA Software Institute 3 3 1.08 111
1278 Marco Guarnieri IMDEA Software Institute 3 4 0.75 2 4 0.50111
1278 Boris Köpf 3 4 1.00 111
1278 Yuanhao Wei University of British Columbia 3 3 0.87 1 3 0.33111
1278 Manuvir Das Microsoft Research 3 3 1.67 3
1278 Fred Chong University of Chicago 3 7 0.43 1 8 0.12111
1278 Daniel M. Yellin IBM 3 2 1.33 3
1278 Zheng Wang 0001 University of Leeds 3 5 0.56 111
1278 Mark D. Hill University of Wisconsin-Madison 3 3 1.00 3
1278 Jaeheon Yi 3 5 0.73 111
1278 Panagiotis Vekris 3 5 0.73 111
1278 Roshan Dathathri 3 8 0.42 111
1278 Jurgen J. Vinju CWI 3 2 1.20 111
1278 Yixuan Chen 0002 Yale University 3 5 0.66 2 4 0.53111
1278 Bo Joel Svensson 3 4 1.00 111
1278 Michael Franz Univ. of California - Irvine 3 4 0.56 111
1278 Brian Hackett 3 2 1.25 111
1278 Shu-yu Guo 3 2 1.12 111
1278 Shih-Han Hung 3 5 0.62 111
1278 William S. Evans University of British Columbia 3 2 1.20 3
1278 Neha Rungta 3 6 0.48 2 10 0.2321
1278 Miryung Kim Univ. of California - Los Angeles 3 6 0.62 1 8 0.12111
1278 Peter Selinger Dalhousie University 3 4 0.78 1 4 0.25111
1278 Benoît Valiron 3 4 0.78 111
1278 Konstantin Weitz 3 6 0.58 21
1278 David R. Chase 3 1 2.33 3
1278 Robert Ennals 3 2 1.25 111
1278 Paul Govereau 3 3 0.87 111
1278 Calvin Smith 3 2 1.33 21
1278 Christoforos E. Kozyrakis Stanford University 3 7 0.57 111
1278 Alexandre E. Eichenberger IBM Research 3 2 1.33 3
1278 Corina S. Pasareanu Carnegie Mellon University 3 5 0.65 1 5 0.20111
1278 Rodney Farrow 3 2 1.83 3
1278 Peter-Michael Osera 3 4 0.92 111
1278 Gene Novark 3 3 0.92 21
1278 Chris Casinghino 3 4 0.69 1 9 0.11111
1278 Scott Moore 0001 Galois Inc 3 4 0.70 1 4 0.25111
1278 Andreas Krall TU Wien 3 1 2.33 3
1278 Andrew Ayers 3 4 0.75 3
1278 Richard Schooler 3 4 0.75 3
1278 Devon Loehr 3 4 0.95 2 4 0.70111
1278 Feihui Li Penn State 3 4 0.83 12
1278 Mary Jane Irwin Penn State 3 6 0.58 12
1278 Jeremy Condit 3 5 0.59 111
1278 Zach DeVito 3 5 0.53 111
1278 Doug Woos 3 7 0.43 111
1278 Girish Mururu 3 5 0.59 1 7 0.14111
1278 Saswat Padhi 3 4 0.75 111
1278 Ross McIlroy 3 4 0.95 111
1278 Hannes Payer 3 5 0.57 111
1278 Karen Zee 3 3 1.17 111
1278 Daejun Park 0001 University of Illinois at Urbana-Champaign 3 5 0.73 111
1278 Youngjoon Jo 3 2 1.20 111
1278 Sanjay V. Rajopadhye Colorado State University 3 3 1.08 1 3 0.33111
1278 Tomas Petricek 0001 Charles University 3 3 0.92 1 4 0.25111
1278 Gennaro Parlato University of Molise 3 3 1.17 21
1278 Barton P. Miller University of Wisconsin - Madison 3 3 1.17 3
1278 Rishi Surendran 3 5 0.87 111
1278 John M. Mellor-Crummey Rice University 3 3 1.03 111
1278 Hiralal Agrawal 3 1 2.50 3
1278 David Gelernter Yale University 3 3 1.00 3
1278 Douglas P. Gregor Indiana University Bloomington 3 5 0.87 3
1278 Jeremiah Willcock 3 5 0.73 3
1278 Michael Bauer 0001 NVIDIA 3 3 0.87 111
1278 Joshua Gancher Northeastern University 3 5 0.73 2 4 0.53111
1278 Elaine Shi Carnegie Mellon University 3 5 0.65 1 5 0.20111
1278 Andrew W. Fitzgibbon Graphcore 3 5 0.62 1 6 0.17111
1278 Sotiris Apostolakis 3 6 0.51 1 7 0.14111
1278 Ziyang Xu 3 6 0.51 1 7 0.14111
1278 Adam Kiezun MIT Computer Science and Artificial Intelligence Laboratory 3 3 0.92 12
1278 Michael Y. Levin 3 3 1.67 12
1278 Martin Burtscher Texas State University 3 3 0.75 111
1278 Jaehwang Jung 3 6 0.81 2 6 0.31111
1278 Adam T. Geller 3 5 0.73 2 4 0.53111
1278 Kostas Ferles 3 4 0.78 1 5 0.20111
1278 Jacob Van Geffen 3 5 0.55 1 10 0.10111
1278 Florian Zuleger TU Wien 3 3 1.03 21
1278 Sean McDirmid 3 3 1.48 111
1278 Nikolai Tillmann 3 7 0.49 111
1278 Rachit Nigam Massachusetts Inst. of Technology 3 6 0.48 1 6 0.17111
1278 Ming-Ho Yee 3 6 0.67 111
1278 Thomas H. Austin San Jose State University 3 3 1.00 111
1278 Sorav Bansal IIT Delhi 3 3 1.17 1 2 0.5012
1278 Alexey Radul 3 6 0.49 1 5 0.20111
1278 Christopher Lidbury 3 2 1.25 111
1278 Peng Li 3 2 1.12 111
1278 Shengchao Qin Teesside University 3 4 0.83 111
1278 Daniele Cono D'Elia Sapienza University of Rome 3 2 1.33 111
1278 Richard E. Jones University of Kent 3 4 1.00 12
1278 James Parker 3 4 0.75 1 4 0.25111
1278 Margaret Martonosi Princeton University 3 4 0.73 111
1278 Akira Koseki 3 3 0.74 3
1278 Christoph von Praun 3 2 1.12 3
1278 David Notkin University of Washington 3 2 1.20 12
1278 Gurindar S. Sohi University of Wisconsin - Madison 3 3 1.00 21
1278 Ting Su 0001 East China Normal University 3 8 0.45 1 8 0.12111
1278 Aleksandar Prokopec Oracle Labs 3 4 0.58 2 4 0.50111
1278 Jaejin Lee Seoul National University 3 5 0.70 111
1278 George Kastrinis 3 3 1.17 12
1278 George Balatsouras 3 3 1.17 12
1278 Toshio Suganuma 3 5 0.60 3
1278 Ezgi Çiçek 3 5 0.73 111
1278 Wenlei Bao 3 5 0.57 12
1278 Alexis Le Glaunec 3 3 0.81 3 3 0.81111
1278 S. Krishna 0004 IIT Bombay 3 4 0.75 2 4 0.5021
1278 David Detlefs 3 3 1.00 3
1278 Eric Hayden Campbell 3 3 0.87 3 3 0.8712
1278 David Costanzo 3 7 0.59 111
1278 Ratul Mahajan University of Washington 3 4 0.70 1 4 0.25111
1278 Junfeng Yang Columbia University 3 5 0.90 111
1278 Ian Briggs 3 3 1.00 2 2 0.83111
1278 Pantazis Deligiannis 3 5 0.57 111
1278 Jeroen Ketema 3 5 0.73 111
1278 William T. Hallahan Binghamton University 3 3 0.87 2 3 0.67111
1278 Paulo Borba UFPE 3 3 0.83 111
1278 Berkeley R. Churchill Stanford University 3 4 0.75 111
1278 Nicholas V. Lewchenko 3 3 0.92 2 3 0.67111
1278 Cristian Cadar Imperial College London 3 4 0.78 1 3 0.3312
1278 Jan Stolarek 3 4 0.70 1 4 0.25111
1278 Pierre Jouvelot 3 2 2.00 3
1278 Peng Tu 3 5 0.87 3
1278 Gareth Paul Stoyle 3 5 0.65 3
1278 Freek Verbeek 3 4 0.83 3 4 0.83111
1278 Mikaël Mayer 3 4 0.83 111
1278 Mikel Luján 3 4 0.78 111
1278 Aaron Eline 3 6 0.57 3 6 0.5712
1278 David Scott Warren Stony Brook University 3 3 0.81 3
1278 Yican Sun 3 4 0.78 1 3 0.33111
1278 William R. Harris 3 3 1.08 111
1278 Andrew McCreight 3 4 0.73 111
1278 Talia Ringer Univ. of Illinois at Urbana-Champaign 3 4 0.78 1 3 0.33111
1278 Hongyu Liu 0005 University of Texas at San Antonio 3 5 0.51 1 9 0.11111
1278 Sam Silvestro 3 5 0.51 1 9 0.11111
1278 Ron Y. Pinter Technion 3 3 0.98 3
1278 Vojin Jovanovic 3 8 0.49 111
1278 Eric Van Wyk University of Minnesota 3 4 1.00 111
1278 Aditya V. Thakur Univ. of California - Davis 3 3 1.08 111
1278 Thomas Bourgeat EPFL 3 4 0.64 2 6 0.39111
1278 Tarmo Uustalu Reykjavik University 3 4 0.70 1 4 0.25111
1278 Gregory Malecha BedRock Systems 3 5 0.59 111
1278 Hidehiko Masuhara Institute of Science Tokyo 3 4 0.83 3
1278 Bastiaan Heeren Utrecht University 3 3 0.77 1 3 0.33111
1278 Chiyan Chen 3 2 1.33 3
1278 Isao Sasano 3 3 1.08 12
1278 José Pedro Magalhães Standard Chartered Bank 3 3 1.17 1 3 0.33111
1278 Keisuke Nakano 0001 Tohoku University 3 5 0.57 111
1278 Ben Lippmeier 3 5 0.65 111
1278 Ralf Lämmel University of Koblenz-Landau 3 2 2.00 12
1278 Andrew W. Keep 3 6 0.79 111
1278 Geoffrey Washburn 3 4 1.00 3
1278 Sigbjørn Finne 3 4 0.83 3
1278 Nicholas Labich 3 4 0.64 111
1278 David S. Wise 3 2 1.50 3
1278 Georgios Karachalias 3 4 0.75 111
1278 Andrew Cave 3 3 1.08 111
1278 Allyn Dimock 3 5 0.62 3
1278 Josef Svenningsson 3 2 1.83 12
1278 Lars Bergstrom 3 5 0.90 111
1278 Steffen Jost Ludwig Maximilian University of Munich 3 4 0.95 111
1278 Kristian Støvring Aarhus University 3 2 1.17 12
1278 Bernard P. Serpette 3 2 1.33 3
1278 Leaf Petersen 3 4 0.73 12
1278 Alexey Rodriguez Yakushev 3 4 0.68 111
1278 Marc Feeley University of Montreal 3 2 1.33 1 3 0.3312
1278 Jennifer Hackett University of Nottingham 3 2 1.50 111
1278 James J. Leifer 3 4 0.89 3
1278 Dachuan Yu 3 3 1.08 12
1278 Véronique Benzaken University of Paris-Sud 3 4 0.73 1 7 0.14111
1278 Alain Frisch 3 3 1.67 3
1278 Patrik Jansson Chalmers/GU 3 3 1.08 12
1278 Colin Runciman University of York 3 2 1.50 12
1278 Eric L. Seidel 3 5 0.73 111
1278 Germán Vidal Universitat Politecnica de Valencia 3 4 0.78 12
1278 Antonis Stampoulis 3 2 1.50 111
1278 Thomas Gazagnaire 3 4 0.95 1 5 0.20111
1278 David J. King 3 3 1.17 12
1278 David Herman 3 2 1.83 111
1278 Michael Arntzenius 3 2 1.33 1 3 0.33111
1278 Tony Field Imperial College London 3 4 0.78 111
1278 Steven Keuchel 3 4 0.83 2 4 0.58111
1278 Hyeonseung Im 3 4 0.75 111
1278 Susumu Nishimura 3 2 1.83 3
1278 Craig McLaughlin 3 6 0.64 1 7 0.14111
1278 Ali Sinan Köksal 3 5 0.70 111
1278 Alan Mycroft University of Cambridge 3 2 1.33 111
1278 Robert Hirschfeld Hasso Plattner Institute 3 4 0.64 21
1278 Matthias Zenger 3 2 1.33 3
1278 Hugo Herbelin 3 2 1.33 12
1278 Iavor S. Diatchki 3 4 0.78 111
1278 Zvonimir Pavlinovic 3 3 1.00 111
1278 Christine Rizkallah University of Melbourne 3 7 0.42 1 7 0.14111
1278 Rok Strnisa University of Cambridge 3 7 0.60 12
1278 Jacob Thamsborg 3 5 0.87 12
1278 Zhiwu Xu 0001 Shenzhen University 3 4 0.92 111
1278 Saswat Anand 3 3 1.00 21
1278 Raghavan Komondoor IISc Bangalore 3 2 1.33 111
1278 Clark D. Thomborson University of Auckland 3 3 1.17 3
1278 John V. Guttag Massachusetts Inst. of Technology 3 2 1.50 3
1278 Michele Bugliesi University Ca' Foscari 3 2 1.20 12
1278 Kedar S. Namjoshi 3 3 1.17 1 3 0.33111
1278 Claudia Faggian 3 3 0.92 1 3 0.33111
1278 Roberto Di Cosmo INRIA 3 3 1.67 12
1278 Carl Hewitt Massachusetts Institute of Technology 3 2 1.17 3
1278 William C. Rounds University of Michigan 3 3 1.17 3
1278 Adam Scibior 3 6 0.60 21
1278 Gérard Boudol 3 2 2.00 12
1278 John H. Williams 3 3 1.08 3
1278 Thorsten Altenkirch University of Nottingham 3 3 1.08 1 4 0.25111
1278 William E. Weihl 3 2 1.83 3
1278 Bart Jacobs 0002 KU Leuven 3 3 0.98 111
1278 Susan S. Owicki 3 2 1.83 3
1278 Aarti Gupta Princeton University 3 4 1.00 111
1278 Damien Pous 3 2 1.83 111
1278 Delphine Demange 3 6 0.61 1 3 0.33111
1278 Pawel Sobocinski 0001 Tallinn University of Technology 3 4 0.78 111
1278 Bartek Klin University of Oxford 3 4 0.95 1 2 0.50111
1278 Orna Grumberg Technion - Israel Institute of Technology 3 3 0.92 3
1278 Denis Caromel 3 4 0.83 3
1278 Dino Distefano Queen Mary University of London 3 4 0.95 111
1278 Damien Doligez INRIA 3 2 1.20 12
1278 Gilles Muller 3 4 0.70 111
1278 Barak A. Pearlmutter Maynooth University 3 2 1.50 21
1278 Richard Bornat Middlesex University 3 3 0.92 111
1278 Shu-Chun Weng 3 4 0.71 111
1278 Zvonimir Rakamaric 3 5 0.70 111
1278 William L. Scherlis Carnegie Mellon University 3 2 1.83 3
1278 Javier Esparza TU Munich 3 2 1.33 12
1278 Kasper Svendsen 3 6 0.64 111
1278 Hagit Attiya Technion 3 3 0.83 1 3 0.33111
1278 Jesse A. Tov 3 2 1.25 12
1278 Riccardo Pucella Northeastern University 3 2 2.00 21
1278 Caitlin Sadowski Google 3 5 0.73 12
1278 Ashutosh Gupta 0001 IIT Bombay 3 5 0.73 111
1278 Thomas P. Murtagh Williams College 3 2 1.67 3
1278 Uday S. Reddy University of Birmingham 3 2 1.33 111
1278 Harry B. Hunt III University at Albany 3 2 1.83 3
1278 Kim B. Bruce Pomona College 3 2 1.67 3
1278 Nikos Tzevelekos Queen Mary University of London 3 2 1.67 111
1278 Nikos Gorogiannis 3 4 0.83 111
1278 Martin Clochard 3 3 0.81 21
1278 Barry Hayes 3 1 2.17 3
1278 Andrzej S. Murawski University of Oxford 3 3 1.17 1 3 0.33111
1278 Jochen Hoenicke Certora 3 3 0.83 111
1278 François Rouaix 3 2 1.83 3
1278 Zhe Hou Griffith University 3 6 0.56 2 6 0.3121
1278 Birger Møller-Pedersen University of Oslo 3 3 1.08 3
1278 Fabrizio Montesi University of Southern Denmark 3 3 1.17 1 3 0.33111
1278 Alex Knauth 3 3 0.73 1 15 0.07111
1278 A. Prasad Sistla University of Illinois at Chicago 3 5 0.73 1 5 0.20111
1278 Nicholas Ng 3 5 0.59 111
1278 Cristina David University of Bristol 3 4 1.00 111
1278 Naftaly H. Minsky Rutgers University 3 2 2.00 3
1278 John Lamping 3 1 2.50 3
1278 Thomas Dinsdale-Young 3 5 0.57 111
1278 Dhruva R. Chakrabarti Hewlett Packard Enterprise Labs 3 3 0.87 111
1278 Aquinas Hobor University College London 3 3 1.08 111
1278 Robert Dockins 3 5 0.73 1 5 0.20111
1278 Ali Sezgin 3 8 0.44 111
1278 John Potter 3 3 1.17 3
1278 Daniel Feltey 3 5 0.57 111
1278 Kimball Germane 3 2 2.00 1 1 1.00111
1278 Carolyn Jane Anderson 3 7 0.49 1 10 0.10111
1278 Jean-Baptiste Jeannin University of Michigan 3 7 0.40 1 9 0.11111
1278 Greg DeFouw 3 4 0.78 3
1278 Phillip M. Yelland 3 1 3.00 3
1278 Jules Villard 3 2 1.17 1 6 0.17111
1278 Ravichandhran Madhavan 3 3 1.08 111
1278 Scott Danforth 3 3 1.08 3
1278 Ira R. Forman 3 3 1.08 3
1278 Asger Feldthaus 3 2 1.20 111
1278 John Maloney 3 3 0.87 3
1278 Sam S. Adams 3 5 0.90 3
1278 Kazuaki Ishizaki IBM Research 3 7 0.41 12
1278 Jacob Stein 3 4 0.92 3
1278 Brad A. Myers Carnegie Mellon University 3 3 1.08 12
1278 Tanzirul Azim University of California 3 3 1.17 111
1278 Witawas Srisa-an University of Nebraska 3 3 1.00 111
1278 Rahul Purandare University of Nebraska 3 3 1.00 2 3 0.67111
1278 Randall B. Smith 3 3 1.03 3
1278 Yuriy Brun Univ. of Massachusetts Amherst 3 4 0.78 111
1278 Clark Verbrugge McGill University 3 4 0.92 12
1278 Eli Tilevich Virginia Tech 3 2 1.33 111
1278 Rebecca Wirfs-Brock 3 6 1.31 3
1278 Bo Wu 0002 Colorado School of Mines 3 7 0.42 1 9 0.11111
1278 Zhijia Zhao 0001 Univ. of California - Riverside 3 6 0.56 111
1278 Hanspeter Mössenböck JKU Linz 3 5 0.65 111
1278 Elisa L. A. Baniassad 3 2 1.33 111
1278 Ana L. Milanova Rensselaer Polytechnic Institute 3 3 1.58 111
1278 Itay Maman 3 2 1.33 12
1278 Darko Stefanovic University of New Mexico 3 3 0.72 3
1278 Daniele Bonetta 3 4 0.75 1 4 0.2512
1278 Eric E. Allen 3 5 0.68 12
1278 Victor Luchangco 3 5 0.68 12
1278 Shigeru Chiba University of Tokyo 3 3 1.58 111
1278 Doug Lea 3 3 1.00 1 3 0.33111
1278 Marianne Huchard LIRMM Montpellier 3 4 0.75 3
1278 Vijay Sundaresan IBM Toronto Lab 3 4 0.64 2 4 0.50111
1278 Tao Bao 3 3 1.00 111
1278 Henry Lieberman MIT 3 2 1.75 12
1278 Pietro Ferrara 0001 Ca' Foscari University of Venice 3 3 0.92 111
1278 Ed Seidewitz Model Driven Solutions 3 1 2.20 3
1278 Cristina V. Lopes Univ. of California - Irvine 3 4 0.88 111
1278 Yen-Ping Shan 3 1 2.14 3
1278 Allen Wirfs-Brock 3 2 1.33 3
1278 Jacques Malenfant 3 3 1.67 3
1278 Man Cao 3 5 0.57 1 5 0.20111
1278 Roland Ducournau 3 4 0.83 12
1278 Andrew P. Black Portland State University 3 3 0.92 3
1278 Laurence Tratt King's College London 3 3 1.03 1 2 0.50111
1278 Adriaan Moors 3 3 0.79 21
1278 Wolfram Schulte Microsoft Research 3 6 0.64 111
1278 Dave West 3 3 1.00 111
1278 Karl J. Lieberherr Northeastern University 3 2 1.33 3
1278 Joscha Drechsler 3 4 0.75 111
1278 Ragnar Mogk Technische Universität Darmstadt 3 4 0.75 111
1278 Yutaka Ishikawa National Inst. of Informatics 3 2 1.83 3
1278 Joshua Sunshine Carnegie Mellon University 3 5 0.62 21
1278 Yuanyuan Zhou 0001 Univ. of California - San Diego 3 5 0.59 2 4 0.4521
1278 Peng Wang 0048 Massachusetts Institute of Technology 3 3 0.76 21
1278 Gail E. Kaiser Columbia University 3 2 1.25 1 4 0.25111
1278 Kyle Headley 3 7 0.38 2 10 0.23111
1278 Zachary Palmer 3 3 1.08 1 3 0.33111
1278 V. R. Sathiyanarayana 3 2 1.25 3 2 1.25111
1278 Yue Niu 3 4 0.70 3 4 0.70111
1278 Zhe Zhou 3 4 0.70 2 4 0.4521
1278 Arthur Correnson 3 3 1.08 3 3 1.0821
1278 Gaurav Parthasarathy 3 5 0.68 2 4 0.53111
1278 Jaewoo Kim 3 3 0.83 3 3 0.83111
1278 Neta Elad 3 3 1.17 3 3 1.17111
1278 Shu-Hung You 3 4 0.78 1 3 0.33111
1278 Jessica Shi 0002 University of Pennsylvania 3 5 0.65 3 5 0.65111
1278 Tomás Diaz 3 7 0.54 3 7 0.5412
1278 Siddharth Bhat 3 6 0.51 3 6 0.5121
1278 Alix Trieu 3 7 0.60 1 3 0.33111
1278 Csongor Kiss 3 4 0.78 1 5 0.20111
1278 Zhilin Wu Chinese Academy of Sciences 3 5 0.51 1 9 0.11111
1278 Jacques Carette McMaster University 3 4 0.70 2 4 0.5021
1278 Glen Mével 3 3 1.08 1 4 0.25111
1278 Xing Zhang 3 6 0.54 3 6 0.54111
1278 Ruifeng Xie 3 3 0.83 3 3 0.8321
1278 Junjie Chen 0003 Tianjin University 3 6 0.54 3 6 0.5421
1278 Abel Nieto 3 5 0.54 2 6 0.34111
1278 Denis Merigoux 3 6 0.64 21
1278 Zhengyao Lin 3 4 0.78 3 4 0.78111
1278 Arnaud Spiwack 3 5 0.90 2 4 0.70111
1278 Wei Song 0003 Nanjing University of Science and Technology 3 3 0.83 3 3 0.8321
1278 Naijun Zhan Peking University 3 6 0.48 3 6 0.48111
1278 Jesse Michel 3 3 0.78 1 9 0.11111
1278 Shelly Grossman 3 6 0.48 1 6 0.17111
1278 Thomas Porter 3 5 0.62 3 5 0.623
1278 Sebastian Wolff 0001 TU Braunschweig 3 2 1.33 1 3 0.33111
1278 Sirui Lu 3 2 1.08 3 2 1.0821
1278 Arthur Oliveira Vale 3 5 0.73 3 5 0.73111
1278 Ivan Perez 0001 National Institute of Aerospace 3 2 1.70 1 5 0.20111
1278 Koen Jacobs 3 3 0.92 2 4 0.58111
1278 Harrison Grodin 3 4 0.83 3 4 0.83111
1278 Chan Gu Kang 3 3 1.00 3 3 1.0021
1278 Adam Paszke 3 5 0.57 2 4 0.45111
1278 Dougal Maclaurin 3 5 0.57 2 4 0.45111
1278 Thomas Koehler 0005 INRIA 3 6 0.53 2 6 0.37111
1278 Piotr Polesiuk 3 4 0.75 111
1278 Sorawee Porncharoenwase 3 4 0.65 3 4 0.6521
1278 Marc de Visme 3 3 1.08 12
1278 Giulio Manzonetto 3 3 1.08 2 4 0.58111
1278 Marco Eilers ETH Zurich 3 5 0.54 1 5 0.20111
1278 Fengmin Zhu 3 3 1.03 2 4 0.53111
1278 Cong Ma 0009 University of Waterloo 3 4 0.70 3 4 0.70111
1278 Basile Clément 3 4 0.95 3 4 0.95111
1278 Shaan Nagy 3 4 0.75 3 4 0.75111
1278 Ethan Cecchetti University of Wisconsin - Madison 3 3 1.03 2 4 0.53111
1278 Prakash Saivasan 3 5 0.60 2 5 0.4021
1278 Hannes Saffrich 3 3 0.92 2 4 0.58111
1278 Son Ho 3 3 1.17 3 3 1.17111
1278 Chen Cui 3 3 0.92 3 3 0.92111
1278 Celeste Barnaby 3 5 0.54 2 6 0.34111
1278 Alexi Turcotte 3 3 0.92 111
1278 Tobias Winkler 0001 RWTH Aachen University 3 4 0.70 3 4 0.70111
1278 Pierre-Marie Pédrot INRIA 3 4 0.89 1 7 0.14111
1278 Ennan Zhai 3 5 0.65 12
1278 Anshuman Mohan 3 5 0.62 2 6 0.37111
1278 Janggun Lee 3 6 0.50 3 6 0.50111
1278 Cameron Moy 3 3 1.08 2 2 0.83111
1278 Steven Holtzen Northeastern University 3 3 1.00 2 3 0.6721
1278 Shaohua Li 0002 Chinese University of Hong Kong 3 2 1.12 3 2 1.1221
1278 Antoine Voizard 3 4 0.75 111
1278 Mahsa Shirmohammadi CNRS 3 4 0.70 3 4 0.70111
1278 Anton Varonka 3 5 0.59 3 5 0.59111
1278 Aurel Bílý 3 5 0.68 2 5 0.4821
1278 Markus de Medeiros 3 7 0.43 3 7 0.4312
1278 Qianchuan Ye University at Buffalo 3 2 1.20 2 2 1.00111
1278 Dowon Song 3 3 1.08 1 2 0.50111
1278 Thomas Haas 3 4 0.83 3 4 0.83111
1278 Hernán Ponce de León Huawei Dresden Research Center 3 4 0.83 3 4 0.83111
1278 Praveen Narayanan 3 5 0.78 1 12 0.08111
1278 V. Krishna Nandivada IIT Madras 3 2 1.25 2 3 0.75111
1278 Julian Mackay 3 4 0.75 2 4 0.50111
1278 Patrick Redmond 3 4 0.75 2 4 0.58111
1278 Jonathan Castello 3 4 0.83 3 4 0.8321
1278 Jack Liell-Cock 3 3 1.03 3 3 1.0321
1278 Benedikt Ahrens TU Delft 3 4 0.83 2 4 0.58111
1278 Ambroise Lafont 3 4 0.73 2 5 0.48111
1278 Guoqiang Zhang 3 4 0.57 1 4 0.2512
1278 Clément Allain 3 4 0.95 3 4 0.95111
1278 Filip Krikava 3 4 0.78 111
1278 Marco Vassena Utrecht University 3 8 0.42 1 11 0.09111
1278 Rami Gökhan Kici 3 5 0.57 111
1278 Vineet Rajani University of New South Wales 3 4 0.78 1 3 0.33111
1278 Gabriel Poesia 3 4 0.92 1 6 0.17111
1278 Paul He 0002 University of Toronto 3 7 0.43 1 5 0.20111
1278 Anan Kabaha 3 2 1.50 3 2 1.5021
1278 Marianna Rapoport 3 4 0.89 111
1278 Loïc Pujet 3 2 1.50 3 2 1.50111
1278 Ingo Skupin 3 4 0.70 2 4 0.45111
1278 Michael James 0003 University of California at San Diego 3 7 0.62 1 3 0.3312
1278 Finn Voichick 3 4 0.67 3 4 0.67111
1278 Hengchu Zhang 3 5 0.73 111
1278 Fu Song 3 5 0.62 3 5 0.62111
1278 Xiaohong Chen 0002 University of Illinois at Urbana-Champaign 3 5 0.90 1 5 0.2012
1278 Tiago Cogumbreiro 3 5 0.70 2 4 0.53111
1278 Baijun Wu 3 3 1.03 12
1278 Clement Blaudeau 3 3 1.17 3 3 1.17111
1278 Ryan Kavanagh Carnegie Mellon University 3 3 1.03 3 3 1.03111
1278 Sven Keidel 3 3 1.17 1 3 0.33111
1278 Xuanyu Peng 3 3 0.83 3 3 0.83111
1278 Marco Campion 3 4 0.83 3 4 0.83111
1278 Cas van der Rest 3 2 1.20 3 2 1.2012
1278 Giovanna Kobus Conrado 3 4 0.78 3 4 0.7812
1278 Yuanfeng Shi 3 3 0.83 3 3 0.83111
1278 Yifan Zhang 3 3 1.17 3 3 1.17111
1278 Nick Rioux 3 4 1.00 1 4 0.25111
1278 Vasileios Klimis Queen Mary University of London 3 6 0.50 3 6 0.50111
1278 Andreas Nuyts 3 3 1.00 2 3 0.67111
1278 Quan Zhang 0003 East China Normal University 3 9 0.39 3 9 0.3912
1278 Matthew Pickering 3 3 0.83 1 6 0.17111
1278 Yannick Forster 0002 INRIA 3 4 0.78 21
1278 Artem Pelenitsyn 3 5 0.57 1 5 0.20111
1278 Han Xu 0004 Peking University 3 3 0.92 3 3 0.92111
1278 Aaron Bembenek 3 3 1.00 2 3 0.67111
1278 Yisu Remy Wang Univ. of California - Los Angeles 3 6 0.53 1 4 0.2512
1278 Caterina Urban Ecole Normale Superieure 3 4 0.75 2 4 0.50111
1278 Francesco Dagnino 3 4 0.78 2 4 0.45111
1278 Adrian Francalanza University of Malta 3 4 0.78 1 3 0.33111
1278 Yichen Xu 0008 École Polytechnique Fédérale de Lausanne 3 4 0.83 3 4 0.83111
1278 Joseph W. Cutler 3 4 0.65 2 10 0.32111
1278 Xiaoguang Mao 3 5 0.59 2 6 0.34111
1278 Si Liu 0003 Texas A&M University 3 4 0.78 3 4 0.78111
1278 Xueying Qin Shandong University 3 6 0.67 2 4 0.50111
1278 Qinxiang Cao Shanghai Jiao Tong University 3 4 0.78 2 4 0.53111
1278 Pritam Choudhury 3 4 1.50 1 1 1.00111
1278 Chun Yin Chau 3 2 1.25 3 2 1.25111
1278 Matthew Lutze 3 4 0.83 3 4 0.83111