Systems: Programming Languages

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