Systems: Programming Languages

Rank Name Affiliation Total (A) (Rel)17-21(A5)(Rel5)21201918171615141312111098765432<=1
1 Simon L. Peyton Jones Microsoft Research 57 4 16.49 11 4 2.88132321252211322232216
2 Alexander Aiken Stanford University 56 3 16.25 7 4 1.81111223533351131412212
3 Martin C. Rinard Massachusetts Institute of Technology 45 3 15.00 8 4 2.212231223142111213311
4 Martin T. Vechev ETH Zurich 44 4 11.32 18 4 4.504336244223511211
5 Shmuel Sagiv Tel Aviv University 41 4 8.71 9 6 1.50121412222453112116
5 Matthias Felleisen Northeastern University 41 3 12.93 6 3 2.001211121132211112117
7 Sumit Gulwani Microsoft Research 40 3 11.59 8 6 1.36321233221544311111
7 Kathryn S. McKinley University of Texas at Austin 40 4 9.82 2 4 0.57112415342422126
9 Derek Dreyer Max Planck Society 39 4 9.69 14 4 2.8444332324222212111
10 Benjamin C. Pierce University of Pennsylvania 37 3 9.78 10 5 2.0023321211332113
11 Thomas W. Reps University of Wisconsin - Madison 36 3 11.68 14 4 3.844322332215
12 Rastislav Bodík University of Washington 35 3 10.04 7 3 2.132231121122315126
13 Isil Dillig University of Texas at Austin 34 4 8.96 20 4 4.8843364331112111
14 Ranjit Jhala Univ. of California - San Diego 33 4 7.56 11 5 1.861331331141233121
14 Zhendong Su 0001 ETH Zurich 33 3 8.85 15 3 3.952622322241111112
16 Robert Harper 0001 Carnegie Mellon University 32 3 11.25 6 3 2.252131111124114
16 Jan Vitek Northeastern University 32 5 6.74 14 6 2.654323213213111113
18 Zhong Shao Yale University 31 3 9.15 7 4 1.482221221111221119
18 David Walker Princeton University 31 4 7.88 8 4 1.731312122122123224
18 Suresh Jagannathan Purdue University 31 3 9.24 8 4 2.0623313121421116
21 Viktor Vafeiadis Max Planck Society 30 4 7.32 15 4 3.8823622241311111
21 Dan Grossman University of Washington 30 4 7.09 8 5 1.5231112213221233111
21 Eran Yahav Technion 30 3 8.91 7 3 2.044111231351131111
24 Michael Hicks 0001 University of Maryland - College Park 29 4 6.89 7 5 1.4812311322131211113
25 Craig Chambers University of Washington 28 3 8.34 11213416
26 Lars Birkedal Aarhus University 27 4 6.45 14 4 3.2761412113221111
26 Yannis Smaragdakis University of Athens 27 4 7.52 11 4 2.4723331241221111
28 Stephanie Weirich University of Pennsylvania 26 4 7.60 6 4 1.4431111312222115
28 Martin Odersky EPFL 26 3 7.35 3 5 0.641111133211110
28 Umut A. Acar Carnegie Mellon University 26 3 6.97 9 4 2.13231212123122211
28 Robert Bruce Findler Northwestern University 26 4 6.97 4 5 0.841111212222211313
32 Jens Palsberg Univ. of California - Los Angeles 25 2 10.78 7 2 3.502112112212118
32 Peter Sewell University of Cambridge 25 5 4.46 4 8 0.442115123121222
32 Philip Wadler University of Edinburgh 25 2 8.80 5 4 0.9612211111213
32 Cormac Flanagan Univ. of California - Santa Cruz 25 2 8.22 3 3 0.75111123111111127
36 Steve Zdancewic University of Pennsylvania 24 4 5.59 9 6 1.69321211221111111111
36 Matthew Flatt University of Utah 24 3 6.70 2 5 0.401122122111316
36 Todd D. Millstein Univ. of California - Los Angeles 24 4 6.55 6 4 1.502112111211221213
39 Rupak Majumdar Max Planck Society 23 3 6.78 8 3 2.2913121111111131211
39 Armando Solar-Lezama Massachusetts Institute of Technology 23 3 5.69 10 3 2.3313222412111111
41 Dimitrios Vytiniotis 22 4 5.04 6 5 1.0611112342111112
41 Adam Chlipala Massachusetts Institute of Technology 22 2 9.31 8 4 2.37211131411121111
41 Jeffrey S. Foster Tufts University 22 3 6.05 4 4 0.892211112211211112
41 Andrew C. Myers Cornell University 22 2 7.93 5 2 1.79111111311112214
45 Nobuko Yoshida Imperial College London 21 3 6.30 11 4 2.81244112112111
45 Gilles Barthe Max Planck Society 21 5 4.01 16 5 2.944432311111
45 Frank Tip Northeastern University 21 3 5.96 5 3 1.47122111121117
45 Mayur Naik University of Pennsylvania 21 4 5.51 6 4 1.331112122112121111
45 Sorin Lerner Univ. of California - San Diego 21 4 5.44 4 5 0.80211111112321112
45 Andrew W. Appel Princeton University 21 2 8.02 4 2 1.6021111111111
51 Ondrej Lhoták University of Waterloo 20 3 5.56 9 3 3.1241421121211
51 Rajiv Gupta 0001 Univ. of California - Riverside 20 3 7.14 1 3 0.3311111111111
51 Sam Tobin-Hochstadt Indiana University 20 4 4.71 7 4 1.53113111225111
51 David Van Horn University of Maryland - College Park 20 3 5.88 7 4 1.81222123112211
51 Tiark Rompf Purdue University 20 4 4.88 10 3 2.8611422223111
51 Shaz Qadeer Microsoft Research 20 3 5.88 3 5 0.5321121122211211
51 Emery D. Berger University of Massachusetts Amherst 20 3 6.90 5 3 1.5612213112112111
51 Saman P. Amarasinghe Massachusetts Institute of Technology 20 4 4.40 8 5 1.6412131211125
51 J. Eliot B. Moss University of Massachusetts Amherst 20 3 4.88 1 5 0.2012131111
51 J. Gregory Morrisett Cornell University 20 3 5.71 1 3 0.33111112111118
61 Éric Tanter University of Chile 19 3 5.23 9 3 2.381142121211111
61 Klaus Ostermann University of Tübingen 19 3 5.39 5 3 1.093221212111111
61 Chung-Kil Hur Seoul National University 19 5 3.54 11 6 1.75231231211111
61 Manu Sridharan Univ. of California - Riverside 19 4 4.75 3 4 0.8211121141121111
61 Matthew Might University of Utah 19 3 5.82 3 2 1.12331213213
61 Mitchell Wand Northeastern University 19 2 10.03 2 4 0.5711111113
61 Keshav Pingali 19 3 4.51 2 6 0.361111131118
61 Karl Crary Carnegie Mellon University 19 2 9.03 2 1 2.0011211319
69 Amal Ahmed Northeastern University 18 3 5.68 9 3 2.7012421112121
69 Mira Mezini TU Darmstadt 18 4 4.84 4 5 0.8022121111214
69 Krishnendu Chatterjee IST Austria 18 4 4.38 14 4 3.324243122
69 Jan Hoffmann 0002 Carnegie Mellon University 18 3 5.59 14 3 4.36522321111
69 Zachary Tatlock University of Washington 18 5 3.60 9 6 1.6221141221121
69 Nate Foster Cornell University 18 5 3.48 4 6 0.571111231112121
69 Vivek Sarkar Georgia Institute of Technology 18 3 5.14 1 6 0.171111211118
69 Viktor Kuncak EPFL 18 3 5.89 4 3 1.331111312212111
69 Xavier Leroy INRIA 18 2 8.10 2 4 0.5011111111118
69 Hans-Juergen Boehm Google 18 2 8.10 1111111119
69 John C. Mitchell Stanford University 18 2 7.53 117
80 Erez Petrank Technion 17 3 5.56 4 5 0.8911111112111212
80 Neelakantan R. Krishnaswami University of Cambridge 17 2 5.35 6 2 1.4412311132111
80 Sebastian Erdweg University of Mainz 17 3 4.38 9 3 2.253123121112
80 Ryan Newton Indiana University 17 4 3.66 8 5 1.52222222311
80 Nikhil Swamy 17 6 2.75 6 6 0.821111211221211
80 Jeremy G. Siek Indiana University 17 4 4.59 6 4 1.8024121112111
80 Peter Thiemann 0001 University of Freiburg 17 2 6.57 4 3 1.331211211125
80 Thomas R. Gross ETH Zurich 17 2 7.41 2 2 0.8021111119
80 Martín Abadi University of California 17 3 6.02 1 2 0.5011111111
80 Michael D. Bond Ohio State University 17 4 4.59 5 3 1.47211111222112
80 Hongseok Yang KAIST 17 4 3.96 3 4 0.5011121421211
80 Laurie J. Hendren McGill University 17 3 4.25 11112227
80 David M. Ungar 17 2 6.88 116
80 Guy E. Blelloch Carnegie Mellon University 17 3 5.45 4 3 1.14111111111116
80 Paul Hudak Yale University 17 2 7.41 1115
95 Ori Lahav Tel Aviv University 16 4 4.00 13 4 3.4543312111
95 Kathleen Fisher Tufts University 16 4 4.00 4 6 0.76112111311121
95 François Pottier 16 2 8.83 4 2 1.78121111111213
95 Zhenjiang Hu Peking University 16 4 3.88 4 4 1.071211121214
95 P. Madhusudan Univ. of Illinois at Urbana-Champaign 16 3 4.34 6 5 1.33112212112111
95 Michael D. Ernst University of Washington 16 4 4.00 3 5 0.60111211311121
95 Aleksandar Nanevski IMDEA Software Institute 16 4 4.34 4 4 0.892111113111111
95 Alastair F. Donaldson Imperial College London 16 4 3.94 7 4 1.6932233111
95 James R. Larus EPFL 16 3 5.69 2 3 0.671111111
95 Cédric Fournet Microsoft Research 16 4 3.20 2 8 0.241111211111113
95 Rahul Sharma 0001 Microsoft Research 16 4 4.34 7 4 1.8112224221
95 Swarat Chaudhuri University of Texas at Austin 16 4 4.49 2 4 0.4411114122111
95 G. Ramalingam Microsoft Research 16 3 5.33 1212118
95 Ken Kennedy Rice University 16 2 5.95 115
109 Constantin Enea 15 4 4.02 10 4 2.50143111211
109 Marco Gaboardi Boston University 15 5 3.31 9 5 1.84231312111
109 Bruno C. d. S. Oliveira University of Hong Kong 15 3 4.89 6 3 2.1213111122111
109 Milind Kulkarni 0001 Purdue University 15 5 3.08 7 4 1.6933121131
109 R. Kent Dybvig Indiana University 15 3 4.89 2 5 0.401111111116
109 Xiangyu Zhang 0001 Purdue University 15 4 3.81 3 5 0.6031211121111
109 Amr Sabry Indiana University 15 3 5.62 1 2 0.5011111118
109 Madan Musuvathi Microsoft Research 15 4 3.81 5 4 1.041221113211
109 P. Sadayappan University of Utah 15 6 2.53 4 6 0.70112212111111
109 William R. Cook University of Texas at Austin 15 3 5.36 1 4 0.25111211116
109 Manuel Fähndrich Microsoft Research 15 3 4.59 11111118
109 Toshio Nakatani 15 4 3.26 2122323
109 David F. Bacon IBM Research 15 4 4.02 21122124
109 Sriram K. Rajamani Microsoft Research 15 4 3.52 1 5 0.201111212111111
109 Monica S. Lam Stanford University 15 2 6.25 2 4 0.441111119
109 George C. Necula Univ. of California - Berkeley 15 2 5.23 12112215
125 Ilya Sergey National University of Singapore 14 4 3.70 8 4 2.0633221111
125 Deepak Garg 0001 Max Planck Society 14 5 3.06 12 5 2.533141311
125 Justin Hsu Cornell University 14 5 2.97 11 5 2.331332212
125 Robbert Krebbers Radboud University 14 4 3.11 12 5 2.483314111
125 Patrick Cousot New York University 14 2 5.30 2 2 0.8011211116
125 Ross Tate 14 3 4.67 6 2 1.8921211111121
125 Loris D'Antoni University of Wisconsin - Madison 14 4 4.08 10 4 2.94131522
125 Giuseppe Castagna Université de Paris 14 3 4.67 2 3 0.6711111112113
125 Daan Leijen Microsoft Research 14 3 4.90 4 3 1.332112121112
125 Matthew J. Parkinson Microsoft Research 14 3 3.77 2 7 0.292111111222
125 Atsushi Igarashi Kyoto University 14 3 5.30 5 3 1.6711311111112
125 Xipeng Shen North Carolina State University 14 4 2.76 5 4 0.932121211121
125 David I. August Princeton University 14 5 2.97 2 6 0.3611123231
125 Andrew D. Gordon Microsoft Research 14 3 3.92 1 3 0.3312112115
125 Matthew Arnold 14 4 3.44 22213112
125 Amer Diwan University of Colorado 14 3 3.32 121112114
125 Thomas A. Henzinger IST Austria 14 4 3.70 1 5 0.201111221221
125 John H. Reppy University of Chicago 14 2 4.78 1 2 0.5011211215
143 Tom Schrijvers KU Leuven 13 4 3.67 5 4 1.471221121111
143 Anders Møller Aarhus University 13 3 4.33 7 3 2.33211312111
143 Richard A. Eisenberg 13 4 3.60 9 4 2.70231322
143 Guoqing Harry Xu Univ. of California - Los Angeles 13 5 2.82 6 6 1.002211111121
143 Eelco Visser TU Delft 13 3 4.02 4 4 0.941122211111
143 Dominique Devriese 13 3 3.67 7 3 1.8832112121
143 Frank Pfenning Carnegie Mellon University 13 2 5.28 2 2 0.801111117
143 Jonathan Aldrich Carnegie Mellon University 13 3 3.84 5 4 1.193111121111
143 Zachary Kincaid Princeton University 13 3 3.93 7 4 2.04112211311
143 Brandon Lucia Carnegie Mellon University 13 3 4.57 7 3 2.7212311311
143 Koushik Sen Univ. of California - Berkeley 13 4 3.60 5 5 1.19131122111
143 Rajeev Alur University of Pennsylvania 13 4 3.38 6 4 1.33112111111111
143 Louis-Noël Pouchet 13 5 2.35 5 4 1.091222111111
143 Mahmut T. Kandemir Pennsylvania State University 13 5 2.86 5 5 1.003111111211
143 Atsushi Ohori 13 2 5.12 1 3 0.3311121115
143 Grigore Rosu Univ. of Illinois at Urbana-Champaign 13 3 4.33 3 5 0.75211312111
143 Andreas Podelski University of Freiburg 13 3 4.12 2 4 0.441111122112
143 Veselin Raychev 13 4 3.52 4 4 1.001212322
143 Stephen M. Blackburn Australian National University 13 5 2.38 121111111111
143 Naoki Kobayashi 0001 University of Tokyo 13 3 4.69 1 3 0.3313111114
143 Amir Pnueli 13 3 4.69 13
143 Andrey Rybalchenko Max Planck Institute for Informatics 13 3 3.67 211211311
143 Norman Ramsey Tufts University 13 2 6.26 1 2 0.501111111114
166 Sebastian Burckhardt 12 4 2.57 3 6 0.471111111311
166 Frank Piessens KU Leuven 12 3 3.79 2 3 0.6711221221
166 Michael Carbin Massachusetts Institute of Technology 12 4 3.13 8 3 2.133311112
166 Olin Shivers Northeastern University 12 2 6.26 1 3 0.33124113
166 Ralf Hinze TU Kaiserslautern 12 1 6.86 1 4 0.25111211113
166 Vikram S. Adve Univ. of Illinois at Urbana-Champaign 12 3 2.62 5 5 1.00221111112
166 Matthew Fluet Rochester Institute of Technology 12 3 3.79 1 4 0.251111131111
166 Satish Chandra 0001 Facebook 12 4 3.00 2 4 0.4422111113
166 Shriram Krishnamurthi Brown University 12 4 2.88 3 3 0.9021111213
166 Aditya V. Nori Microsoft Research 12 4 3.06 1 4 0.251122111111
166 Scott Owens University of Kent 12 5 2.36 2 4 0.44111231111
166 Charles Zhang HKUST 12 4 3.35 4 4 0.9431121211
166 Peter F. Sweeney 12 2 4.00 11118
166 Robert Cartwright Rice University 12 2 6.00 1119
166 Ali-Reza Adl-Tabatabai Carnegie Mellon University 12 4 2.36 21216
166 Luca Cardelli Microsoft Research 12 2 4.50 111
182 Michael Emmi University of California 11 3 3.36 3 2 1.121111211111
182 Sasa Misailovic Univ. of Illinois at Urbana-Champaign 11 4 2.37 5 4 0.932211131
182 Peter Müller 0001 ETH Zurich 11 4 2.75 8 4 1.7322211111
182 Andreas Pavlogiannis Aarhus University 11 3 3.27 8 3 2.46312212
182 Susmit Sarkar University of St Andrews 11 6 1.78 2 8 0.2711212211
182 Philippa Gardner Imperial College London 11 4 2.63 4 4 0.941211111111
182 Guido Salvaneschi TU Darmstadt 11 5 2.42 7 4 1.58223112
182 Eric Koskinen Stevens Institute of Technology 11 3 3.46 3 5 0.641111112111
182 Nadia Polikarpova Univ. of California - San Diego 11 5 2.33 10 5 2.043521
182 Simon Marlow Facebook UK Ltd. 11 4 3.03 1 4 0.251211114
182 Benjamin G. Zorn Microsoft Research 11 3 3.56 1 3 0.331111115
182 Christos Dimoulas Northwestern University 11 4 2.42 5 4 1.3211122121
182 Santosh Nagarakatte Rutgers University 11 4 3.10 5 2 1.9221111221
182 David A. Padua Univ. of Illinois at Urbana-Champaign 11 3 2.57 1 11 0.09111116
182 Peter W. O'Hearn Facebook Research 11 3 3.56 3 3 1.12111112112
182 Luis Ceze University of Washington 11 4 2.57 1 5 0.2011131121
182 Barbara G. Ryder Virginia Tech 11 2 4.32 119
182 Barbara Liskov Massachusetts Institute of Technology 11 3 3.36 1127
182 Omer Tripp 11 4 2.81 12111311
182 David Grove 11 4 2.63 11117
182 Perry Cheng 11 3 2.88 211214
182 James Noble 0001 Victoria University of Wellington 11 4 2.81 221312
182 Oege de Moor University of Oxford 11 3 2.28 122222
182 Peter Lee 0001 Microsoft Research 11 2 3.56 110
182 Harry G. Mairson Brandeis University 11 2 5.76 11117
182 Saumya K. Debray University of Arizona 11 3 3.56 1127
182 Susan Horwitz University of Wisconsin-Madison 11 3 4.48 11
182 John Launchbury Galois Inc. 11 2 4.03 119
182 Trishul M. Chilimbi 11 3 4.03 1111223
211 Sharon Shoham Tel Aviv University 10 5 1.92 6 5 1.091221211
211 Deian Stefan Univ. of California - San Diego 10 6 1.59 9 6 1.422341
211 Pierre-Yves Strub 10 6 1.64 3 5 0.6412112111
211 Atanas Rountev Ohio State University 10 5 2.17 2 6 0.3611112112
211 Amin Timany Aarhus University 10 4 2.04 10 4 2.0442121
211 Arthur Charguéraud 10 4 2.63 3 5 0.641211212
211 Jeehoon Kang KAIST 10 5 1.89 8 5 1.521311211
211 Ugo Dal Lago Università degli Studi di Bologna 10 3 3.23 6 3 1.893121111
211 Arjun Radhakrishna 10 5 1.82 7 6 1.11223111
211 Sheng Chen 0008 University of Louisiana - Lafayette 10 2 3.57 6 3 1.891122121
211 Azadeh Farzan University of Toronto 10 2 4.17 5 2 2.50111111211
211 John Regehr University of Utah 10 4 2.04 5 5 0.96121111111
211 Aseem Rastogi 10 6 1.41 6 6 0.82111121111
211 Hakjoo Oh Korea University 10 4 2.63 7 4 1.962122111
211 Ravi Chugh University of Chicago 10 4 2.63 4 4 0.94111112111
211 Nicolas Wu Imperial College London 10 3 3.70 5 3 1.7921211111
211 Anindya Banerjee 0001 IMDEA Software Institute 10 4 2.78 2 4 0.44111111112
211 Jeremy Gibbons University of Oxford 10 3 3.57 2 3 0.6721112111
211 Catalin Hritcu Max Planck Society 10 7 1.35 6 6 0.8611131111
211 Michael Greenberg 0002 Stevens Institute of Technology 10 3 2.94 4 3 1.332211121
211 Samuel Z. Guyer Tufts University 10 3 2.04 1 2 0.5011121121
211 Stephen Chong Harvard University 10 3 3.12 2 3 0.671131211
211 Emina Torlak University of Washington 10 3 3.03 4 2 1.2322411
211 Magnus O. Myreen Chalmers/GU 10 5 2.17 4 5 0.731111111111
211 Francesco Zappa Nardelli INRIA 10 5 1.85 2 4 0.44111211111
211 Xinyu Feng Nanjing University 10 2 3.57 3 2 1.001111111111
211 Stephen N. Freund Williams College 10 2 4.35 2 2 0.801111114
211 Didier Rémy INRIA Paris 10 2 5.88 1 2 0.5011111113
211 Satish Narayanasamy University of Michigan 10 4 2.13 2 5 0.4011221111
211 Guy L. Steele Jr. 10 2 3.23 2 3 0.67111115
211 Ralph E. Johnson University of Illinois 10 2 4.17 19
211 Stéphane Ducasse CRIStAL 10 3 3.57 211123
211 Radhia Cousot ENS Paris 10 2 3.45 211114
211 Joseph Gil Technion 10 2 4.76 111214
211 Rachid Guerraoui EPFL 10 4 2.78 1 4 0.251112212
211 Aaron Turon Max Planck Institute for Software Systems 10 3 3.03 12223
211 Benjamin Livshits Imperial College 10 4 2.27 223111
211 Hideaki Komatsu 10 4 2.04 12223
211 Lieven Eeckhout 10 4 2.50 1 4 0.25111112111
211 Cristiano Calcagno Imperial College London 10 3 3.57 11211121
211 Thomas Ball Microsoft Research 10 3 2.78 12115
211 Alan J. Demers 10 3 3.23 10
211 Todd A. Proebsting University of Arizona 10 2 5.00 10
211 Susan L. Graham University of California at Berkeley 10 2 4.00 10
211 Albert R. Meyer Massachusetts Institute of Technology 10 2 4.17 10
256 Ronald Garcia University of British Columbia 9 3 2.89 2 4 0.5711112111
256 Margus Veanes 9 4 2.31 4 4 1.07112221
256 James Cheney University of Edinburgh 9 3 2.70 4 4 1.07111111111
256 Brian Demsky Univ. of California - Irvine 9 2 3.86 2 2 0.8011211111
256 Jana Dunfield Queen's University 9 2 3.38 2 2 1.001121211
256 Nada Amin Harvard University 9 2 2.70 4 2 1.33222111
256 Vu Le 0002 Microsoft Corporation 9 3 2.08 4 6 0.672111121
256 Arjun Guha Northeastern University 9 4 2.02 4 4 1.00111111111
256 Scott F. Smith 0001 Johns Hopkins University 9 3 3.24 1 4 0.25111114
256 Mike Rainey 9 5 1.93 4 6 0.702111112
256 Azalea Raad Imperial College London 9 3 2.61 9 3 2.612241
256 Xinyu Wang 0006 University of Michigan 9 4 2.31 7 4 1.75222111
256 Aws Albarghouthi University of Wisconsin - Madison 9 3 2.89 5 3 1.791211211
256 Pavel Panchekha University of Utah 9 5 1.84 5 5 1.00113121
256 Sarfraz Khurshid University of Texas at Austin 9 4 2.08 3 6 0.5621111111
256 Fernando Magno Quintão Pereira UFMG 9 4 2.38 6 4 1.8912111111
256 Oded Padon 9 5 1.80 6 4 1.241112121
256 Sam Lindley 9 3 2.61 5 4 1.32212112
256 John Wickerson Imperial College London 9 4 2.25 7 4 1.693111111
256 Qirun Zhang Georgia Institute of Technology 9 4 2.38 6 3 1.71121221
256 Shachar Itzhaky MIT 9 5 1.65 4 5 0.80121221
256 Michael D. Adams 0001 University of Michigan 9 2 3.24 2 2 1.001131111
256 Sriram Krishnamoorthy 9 5 1.84 3 4 0.642121111
256 Gordon D. Plotkin University of Edinburgh 9 2 2.70 2 5 0.40111114
256 Wei-Ngan Chin National University of Singapore 9 3 2.79 1 4 0.251111113
256 Thomas Dillig Stanford University 9 3 2.53 1 4 0.2511112111
256 Tachio Terauchi Waseda University 9 3 2.89 2 4 0.44111111111
256 Iulian Neamtiu NJIT 9 3 2.70 1 4 0.25111111111
256 Albert Cohen 0001 Ecole Normale Superieure 9 4 1.98 2 4 0.5011211111
256 Bor-Yuh Evan Chang University of Colorado Boulder 9 3 3.12 3 4 0.82111111111
256 Santosh Pande Georgia Institute of Technology 9 2 3.00 2 4 0.4411112111
256 Martin Hirzel 9 5 1.59 2 5 0.4011211111
256 Akimasa Morihata 9 2 3.24 2 2 1.3311112111
256 Ahmed Bouajjani University Paris Diderot (Paris 7) 9 4 2.53 2 4 0.44111111111
256 Urs Hölzle University of California 9 2 3.86 9
256 Daniel P. Friedman Indiana University 9 2 3.86 18
256 Tamiya Onodera 9 4 1.98 1111212
256 Andrew Lumsdaine 9 3 2.45 112311
256 Jeff Huang 0001 Texas A&M University 9 2 3.52 2 4 0.501121112
256 Andrew Kennedy Microsoft Research 9 2 4.05 21114
256 John Field Google Research 9 4 2.38 111114
256 Jong-Deok Choi 9 3 2.45 117
256 Julian Dolby 9 3 2.61 1 9 0.11121113
256 Mark Batty University of Kent 9 5 1.76 2 6 0.31221121
256 Vijay A. Saraswat 9 3 2.45 11115
256 Gavin M. Bierman 9 4 2.25 11111121
256 Kwangkeun Yi Seoul National University 9 4 1.93 2 8 0.2711112111
256 David Gay 9 2 3.00 1111113
256 Ben Liblit University of Wisconsin-Madison 9 4 2.25 1 4 0.2511121111
256 Mary Lou Soffa University of Virginia 9 3 3.38 9
256 Olivier Danvy Aarhus University 9 2 5.40 117
256 Nick Benton Microsoft Research 9 3 3.68 11111112
256 Patrice Godefroid 9 2 4.05 1111122
256 Jeffrey D. Ullman Stanford University 9 3 3.52 9
256 Byron Cook 9 3 2.61 111411
256 Barry K. Rosen 9 2 3.86 9
256 Manuel M. T. Chakravarty University of New South Wales 9 4 2.45 1111122
256 John Hughes Chalmers/GU 9 3 2.19 1 6 0.1711115
256 Keith D. Cooper Rice University 9 2 3.38 18
256 Koen Claessen Chalmers/GU 9 3 2.79 1323
316 James R. Wilcox University of Washington 8 6 1.36 6 6 1.001232
316 Magnus Madsen Aarhus University 8 2 3.05 6 2 2.40131111
316 Niki Vazou IMDEA Software Institute 8 4 1.83 6 4 1.3322211
316 Ralf Jung 0002 Max Planck Institute for Software Systems (MPI-SWS) 8 5 1.45 6 5 1.0912311
316 Thomas P. Jensen Inria 8 2 3.20 5 3 1.6712212
316 Michael Pradel University of Stuttgart 8 4 2.29 5 4 1.32122111
316 Conal Elliott Target 8 1 6.40 4 1 4.00112112
316 Shuvendu K. Lahiri Microsoft Research 8 3 2.67 2 4 0.572111111
316 Noam Rinetzky Tel Aviv University 8 6 1.42 5 7 0.76221111
316 Parosh Aziz Abdulla Uppsala University 8 4 1.52 7 5 1.29122111
316 Mohamed Faouzi Atig Uppsala University 8 4 1.52 7 5 1.29122111
316 Dexter Kozen Cornell University 8 5 1.73 4 6 0.80211112
316 Osbert Bastani 8 4 2.00 6 4 1.3812212
316 Danfeng Zhang Pennsylvania State University 8 4 2.21 5 4 1.252111111
316 Flemming Nielson DTU 8 2 3.37 1 5 0.2017
316 Rishabh Singh 8 3 2.78 5 3 1.6713121
316 Adrian Sampson Cornell University 8 6 1.49 4 6 0.701211111
316 Todd Mytkowicz Microsoft Corporation 8 4 1.68 3 4 0.601211111
316 Matthias Hauswirth Università della Svizzera italiana 8 4 2.21 1 3 0.3311111111
316 Di Wang 8 3 2.46 8 3 2.4622211
316 Shoaib Kamil 8 5 1.42 6 5 1.09212111
316 Thomas Wies New York University 8 3 2.67 4 4 1.142111111
316 Fritz Henglein University of Copenhagen 8 3 2.37 2 4 0.44111113
316 Benjamin Delaware Purdue University 8 4 2.06 4 4 0.9422121
316 C.-H. Luke Ong University of Oxford 8 3 3.05 2 2 0.8011111111
316 J. Garrett Morris University of Iowa 8 2 3.37 5 3 1.79121121
316 Ronghui Gu Columbia University 8 6 1.33 5 6 0.78121121
316 Daniel R. Licata Wesleyan University 8 3 2.78 3 3 0.902111111
316 Mark P. Jones 8 2 3.37 1 3 0.331124
316 K. C. Sivaramakrishnan IIT Madras 8 4 1.83 5 4 0.961112111
316 Westley Weimer University of Michigan 8 3 2.29 2 5 0.4011111111
316 Erik Meijer 0001 Facebook 8 4 1.83 1 14 0.07125
316 Zena M. Ariola University of Oregon 8 4 2.37 2 4 0.501111112
316 Jakob Rehof TU Dortmund 8 2 3.56 2 2 1.0011114
316 Andreas Rossberg Google 8 3 2.46 2 6 0.331111211
316 Matthew A. Hammer none 8 4 1.88 3 4 0.75211121
316 Francesco Logozzo 8 3 2.21 122111
316 Chandrasekhar Boyapati 8 3 2.56 111311
316 Michael I. Schwartzbach Aarhus University 8 2 3.20 8
316 Akinori Yonezawa University of Tokyo 8 3 2.78 17
316 Oscar Nierstrasz University of Bern 8 3 2.78 11114
316 Stephen J. Fink IBM Research 8 4 1.88 111212
316 Claudio V. Russo Microsoft Research Cambridge 8 2 2.21 11111111
316 Charles Consel INRIA 8 2 2.91 17
316 Antony L. Hosking Australian National University 8 3 1.52 111113
316 Steven Lucco 8 2 3.20 8
316 Yu David Liu Binghamton University 8 2 3.05 1 2 0.501121111
316 Shan Lu 0001 University of Chicago 8 5 1.78 1 5 0.201111112
316 Fabrice Rastello INRIA 8 6 1.25 3 6 0.47111221
316 Masato Takeichi 8 4 2.06 1124
316 Nevin Heintze Carnegie Mellon University 8 2 3.37 8
316 Martin Hofmann 0001 LMU Munich 8 3 3.05 1121111
316 Mark N. Wegman IBM Research 8 3 2.67 8
316 Jeanne Ferrante Univ. of California - San Diego 8 3 2.67 26
316 Matthias Blume Google 8 2 3.20 122111
316 Charles N. Fischer University of Wisconsin-Madison 8 2 3.76 8
316 F. Kenneth Zadeck 8 3 2.67 8
316 Ron Cytron Washington University in St. Louis 8 3 2.67 8
316 Vaughan R. Pratt Stanford University 8 1 7.11 8
316 Gabriele Keller University of New South Wales 8 4 2.21 111122
316 Christopher W. Fraser 8 2 3.76 8
316 Scott A. Mahlke University of Michigan 8 4 2.00 112112
378 Conor McBride University of Strathclyde 7 2 2.72 2 4 0.501111111
378 Jacques-Henri Jourdan 7 4 1.69 6 4 1.501321
378 Vikash K. Mansinghka 7 5 1.53 7 5 1.531222
378 Patrick Eugster Università della Svizzera italiana 7 3 1.96 3 5 0.601111111
378 Ashish Tiwari 0001 SRI International 7 4 1.36 3 8 0.38111211
378 Roberto Giacobazzi University of Verona 7 3 2.04 2 4 0.5011212
378 Mingsheng Ying University of Technology Sydney 7 3 1.75 6 4 1.4422111
378 Nuno P. Lopes Microsoft Research Cambridge 7 5 1.26 3 6 0.47111211
378 Hongfei Fu 0001 Shanghai Jiao Tong University 7 5 1.48 6 5 1.242221
378 Amir Kafshdar Goharshady HKUST 7 4 1.53 6 4 1.292131
378 Pavol Cerný TU Wien 7 4 2.04 1 4 0.251111111
378 Xin Zhang 0035 Peking University 7 4 1.81 2 4 0.5711221
378 Nicolas Tabareau 7 3 2.04 6 4 1.7112211
378 Hanne Riis Nielson DTU 7 2 2.72 1 5 0.2016
378 Nathaniel Nystrom Università della Svizzera italiana 7 4 1.58 1 3 0.331111111
378 Mohsen Lesani Univ. of California - Riverside 7 3 2.04 4 4 1.141111111
378 Benjamin Grégoire 7 5 1.32 4 6 0.621111111
378 Neil Immerman University of Massachusetts Amherst 7 5 1.44 2 4 0.5021112
378 Stefan K. Muller Illinois Institute of Technology 7 3 2.13 5 3 1.471111111
378 Limin Jia 0001 Carnegie Mellon University 7 3 1.81 4 3 1.23211111
378 Andreas Abel 0001 Chalmers/GU 7 3 2.58 5 3 1.9211212
378 Gang Tan Pennsylvania State University 7 3 2.13 3 4 0.75211111
378 Jean-Philippe Bernardy 7 2 2.88 4 2 1.60111121
378 Ben Greenman 7 3 1.88 5 3 1.47112111
378 Tyler Sorensen 0001 Univ. of California - Santa Cruz 7 4 1.69 5 4 1.1421112
378 Chung-chieh Shan Indiana University 7 3 2.33 3 2 1.00121111
378 David Darais Galois 7 4 1.44 3 4 0.471111111
378 Joxan Jaffar National University of Singapore 7 3 2.45 1 3 0.33115
378 Tahina Ramananandro 7 7 1.09 3 9 0.331111111
378 Karthikeyan Bhargavan INRIA 7 6 1.07 1 11 0.091111111
378 Ohad Kammar 7 3 1.75 5 3 1.0913111
378 Xiaokang Qiu 7 3 1.88 3 4 0.691111111
378 Brigitte Pientka McGill University 7 2 2.72 1 2 0.50111211
378 Kunle Olukotun Stanford University 7 7 0.96 2 9 0.221111111
378 Andrew P. Tolmach Portland State University 7 4 1.58 1 5 0.20111112
378 Chen Ding 0001 University of Rochester 7 4 1.58 1 4 0.25112111
378 Milo M. K. Martin 7 4 1.58 3211
378 Michael Hind 7 4 1.81 11113
378 Dave Clarke 0001 Uppsala University 7 3 1.96 111211
378 Peng Wu 0001 Huawei Research Lab 7 4 1.44 121111
378 Tillmann Rendel 7 3 1.88 11221
378 Georg Neis 7 4 1.75 111121
378 Brad Calder University of California 7 3 1.96 115
378 Bratin Saha 7 6 1.02 111112
378 Tatiana Shpeisman 7 7 1.14 111112
378 Zohar Manna Stanford University 7 2 2.88 16
378 Neil D. Jones University of Copenhagen 7 2 2.88 16
378 Tim Sheard 7 2 3.27 1213
378 Jérôme Vouillon Pierre and Marie Curie University 7 2 3.06 11113
378 Alexey Gotsman IMDEA Software Institute 7 4 1.81 111112
378 William Pugh University of Maryland 7 2 3.77 16
378 J. Ramanujam Louisiana State University 7 7 1.09 1111111
378 Guang R. Gao University of Delaware 7 3 2.45 16
378 Joseph Y. Halpern Cornell University 7 2 2.88 7
378 Luc Maranget 7 5 1.36 1 9 0.1111113
378 Michael Sperber University of Tübingen 7 2 3.27 124
434 Nachshon Cohen 6 2 2.25 4 3 1.3312111
434 Robert Atkey University of Strathclyde 6 3 1.71 2 6 0.331122
434 Joseph Tassarotti Boston College 6 4 1.24 4 6 0.7612111
434 Alexander J. Summers University of British Columbia 6 4 1.50 5 5 1.142121
434 Mahesh Viswanathan 0001 Univ. of Illinois at Urbana-Champaign 6 3 1.64 6 3 1.6421111
434 Max S. New 6 3 1.71 3 3 1.121113
434 Sebastian Hack Saarland University 6 2 1.80 4 2 1.0711211
434 Christopher Pulte 6 8 0.72 5 8 0.6012111
434 Timon Gehr 6 4 1.33 6 4 1.331212
434 Markus Püschel ETH Zurich 6 3 1.80 4 4 1.14111111
434 Kayvan Memarian 6 6 1.00 2 6 0.311122
434 Graham Hutton University of Nottingham 6 2 3.00 4 2 1.78111111
434 Phuc C. Nguyen 6 4 1.71 4 4 1.00111111
434 Jurriaan Hage Utrecht University 6 4 1.38 2 4 0.50111111
434 David Pichardie Ecole Normale Superieure de Rennes 6 6 1.03 2 6 0.33111111
434 Guannan Wei 0001 Purdue University 6 4 1.44 6 4 1.441131
434 Jonathan Immanuel Brachthäuser 6 3 1.80 4 3 1.143111
434 Andrei Stefanescu 6 4 1.29 1 11 0.0911112
434 Gregor Richards 6 4 1.29 1 3 0.33111111
434 Martin Erwig Oregon State University 6 2 2.57 1 4 0.2511211
434 Manuel Serrano INRIA 6 2 3.27 2 2 1.3311112
434 Neville Grech University of Malta 6 4 1.38 6 4 1.381212
434 Gabriel Scherer INRIA Saclay 6 3 2.00 5 3 1.561311
434 Paolo G. Giarrusso 6 4 1.44 3 5 0.7512111
434 Filip Sieczkowski University of Wroclaw 6 4 1.29 4 4 0.9411211
434 Danel Ahman 6 6 1.20 6 6 1.2011121
434 Dominic A. Orchard University of Kent 6 3 1.80 2 4 0.5711211
434 Yu Feng Univ. of California - Santa Barbara 6 5 1.29 5 5 1.0411121
434 Alvin Cheung Univ. of California - Berkeley 6 4 1.64 4 4 1.0711211
434 William J. Bowman University of British Columbia 6 4 1.89 3 4 0.901212
434 Guilherme Ottoni 6 4 1.12 2 2 1.0011112
434 Fei He 0001 Tsinghua University 6 2 2.25 5 2 2.081311
434 Alexandra Silva 0001 Cornell University 6 5 1.16 5 5 0.9611121
434 Kapil Vaswani 6 4 1.24 2 7 0.2921111
434 Vasco Thudichum Vasconcelos Universidade de Lisboa 6 4 1.38 3 4 0.7512111
434 Fredrik Kjolstad Stanford University 6 4 1.29 6 4 1.292211
434 Mukund Raghothaman University of Southern California 6 4 1.33 5 5 1.04111111
434 Bernhard Scholz University of Sydney 6 4 1.38 4 5 0.801212
434 Akash Lal 6 4 1.38 2 4 0.4411121
434 Taro Sekiyama 6 3 2.25 5 3 1.9211121
434 Alan Schmitt 6 4 1.33 1 4 0.25111111
434 Tobias Grosser 6 6 1.03 4 4 0.7612111
434 Yuepeng Wang 0001 Simon Fraser University 6 4 1.50 6 4 1.501122
434 Matthieu Sozeau 6 2 2.12 4 4 1.1412111
434 Ruzica Piskac Yale University 6 4 1.33 4 5 0.8411211
434 Vincent St-Amour 6 4 1.50 2 5 0.40111111
434 Michael Norrish Australian National University 6 6 1.16 2 6 0.33111111
434 Hongjin Liang Nanjing University 6 2 2.25 3 2 1.00111111
434 Kazutaka Matsuda 6 4 1.57 2 3 0.6711121
434 Meng Wang 0002 University of Bristol 6 3 2.00 2 3 0.67111111
434 Stephen Dolan 6 4 1.24 5 6 0.8912111
434 Jad Hamza 6 3 1.80 3 3 0.9011121
434 Xavier Rival Ecole Normale Superieure 6 3 1.71 2 4 0.50111111
434 Avraham Shinnar 6 5 1.29 2 5 0.40111111
434 Sophia Drossopoulou Imperial College London 6 4 1.71 1 6 0.17111111
434 Tobias Wrigstad Uppsala University 6 4 1.29 2 4 0.4411121
434 Percy Liang Stanford University 6 4 1.80 3 4 0.8211121
434 Pavol Bielik 6 4 1.57 2 4 0.501131
434 David Monniaux University of Grenoble 6 3 1.80 2 4 0.57111111
434 Kihong Heo KAIST 6 4 1.38 4 4 1.0012111
434 Harold Ossher 6 3 1.50 15
434 Max Schäfer 6 4 1.80 2121
434 Gary T. Leavens University of Central Florida 6 2 2.40 15
434 Kiyokuni Kawachiya 6 4 1.12 111111
434 Walter Binder Università della Svizzera italiana 6 4 1.16 1 12 0.0811121
434 Koen De Bosschere Ghent University 6 4 1.50 111111
434 Camil Demetrescu Sapienza University of Rome 6 3 2.12 1 2 0.501122
434 Saurabh Srivastava 0001 Sparkz 6 3 1.71 12111
434 Bjørn N. Freeman-Benson 6 3 1.89 6
434 Neal Glew 6 2 2.00 114
434 Mario Tokoro 6 2 2.77 6
434 Roman Manevich 6 4 1.24 1221
434 Kent L. Beck Facebook 6 3 1.57 6
434 Sungwoo Park POSTECH 6 3 2.25 111111
434 William H. Harrison 6 2 2.12 6
434 Manish Gupta 0002 IIIT Bangalore 6 4 1.57 24
434 Guei-Yuan Lueh 6 3 1.44 15
434 Janis Voigtländer University of Duisburg-Essen 6 1 3.60 12111
434 Nissim Francez Technion - Israel Institute of Technology 6 2 2.40 6
434 Davide Sangiorgi University of Bologna 6 2 3.27 1113
434 Juan Chen 0002 Microsoft Research 6 6 1.16 12111
434 David Sands 0001 Chalmers University of Technology 6 2 3.00 1113
434 Edmund M. Clarke Carnegie Mellon University 6 3 2.40 6
434 E. Allen Emerson University of Texas at Austin 6 2 2.57 6
434 Jean-Baptiste Tristan Boston College 6 2 2.12 1 3 0.33111111
434 Hongwei Xi Boston University 6 2 2.77 123
434 Kohei Honda Queen Mary University of London 6 2 3.00 11112
434 Jon G. Riecke 6 2 2.77 6
434 Pierre-Évariste Dagand 6 4 1.57 2 4 0.50111111
434 Gregory F. Johnson 6 2 3.27 6
434 Jack W. Davidson University of Virginia 6 2 2.25 15
434 Susan J. Eggers University of Washington 6 3 1.80 15
526 Ningning Xie 5 4 1.39 5 4 1.39221
526 Anders Miltner 5 6 0.86 5 6 0.86122
526 Klaus von Gleissenthall VU Amsterdam 5 5 0.93 4 6 0.6711111
526 Umang Mathur 0001 National University of Singapore 5 3 1.47 5 3 1.4711111
526 Venkatesh Srinivasan 5 2 2.08 1 3 0.33122
526 Shaked Flur 5 8 0.56 4 8 0.4311111
526 Gagandeep Singh 0001 Univ. of Illinois at Urbana-Champaign 5 3 1.47 4 4 1.1411111
526 Anthony Widjaja Lin TU Kaiserslautern 5 5 1.25 3 5 0.601211
526 Stephen Kell University of Kent 5 3 1.67 2 5 0.40221
526 Marc Pouzet Ecole Normale Superieure 5 6 1.09 3 6 0.602111
526 Benjamin Lucien Kaminski University College London 5 4 1.09 5 4 1.092111
526 Joost-Pieter Katoen RWTH Aachen 5 4 1.09 5 4 1.092111
526 Christoph Matheja 5 5 1.00 5 5 1.00311
526 Alan Leung 5 6 0.89 2 8 0.2511111
526 Aggelos Biboudis EPFL 5 4 1.14 3 5 0.6011111
526 John Peter Campora III 5 3 1.47 5 3 1.471121
526 Henrik Nilsson University of Nottingham 5 1 3.57 1 2 0.5011111
526 Jeremy Yallop University of Cambridge 5 2 2.27 5 2 2.271211
526 Stephen Chang 0001 University of Massachusetts Boston 5 3 1.67 4 3 1.231121
526 Gowtham Kaki 5 4 1.47 3 4 0.751211
526 Ton Chanh Le 5 3 1.39 4 4 1.071211
526 Cyrus Omar University of Michigan 5 4 1.19 5 4 1.1911111
526 Wen-Mei W. Hwu Univ. of Illinois at Urbana-Champaign 5 4 1.47 1 4 0.2514
526 John Cyphert 5 4 1.25 5 4 1.25221
526 Jason Breck 5 4 1.25 5 4 1.251211
526 Aviral Goel 5 5 1.14 5 5 1.142111
526 Milos Gligoric 5 4 1.04 4 4 0.8911111
526 Murali Krishna Ramanathan 5 3 1.67 1 4 0.2511111
526 Hila Peleg University of California 5 5 1.04 5 5 1.0423
526 Torsten Hoefler ETH Zurich 5 4 1.04 4 4 0.801211
526 Stefan Marr University of Kent 5 4 1.39 1 5 0.20122
526 Martin Elsman University of Copenhagen 5 3 1.56 2 4 0.4411111
526 Lukasz Ziarek University at Buffalo 5 3 1.32 1 4 0.2511111
526 Benjamin Sherman 5 5 1.14 5 5 1.141211
526 Stephen Chou 5 5 0.96 5 5 0.961211
526 Chris Hawblitzel 5 3 1.25 1 6 0.171211
526 Steven J. Ramsay University of Bristol 5 3 1.92 2 2 0.8011111
526 Zoe Paraskevopoulou 5 3 1.92 4 2 1.602111
526 Ruben Martins 5 4 1.14 5 4 1.141112
526 Yong Kiam Tan 5 5 0.89 4 5 0.7311111
526 Uri Alon 0002 Technion - Israel Institute of Technology 5 3 1.47 5 3 1.47311
526 Guy Golan-Gueta 5 5 1.00 1 7 0.1411111
526 Yufei Ding Univ. of California - Santa Barbara 5 6 1.00 3 4 0.751211
526 Damiano Mazza 5 3 1.67 4 3 1.3311111
526 Michele Pagani 5 3 1.79 3 3 1.121112
526 Yizhou Zhang University of Waterloo 5 3 1.47 3 2 1.2911111
526 Siau-Cheng Khoo National University of Singapore 5 4 1.39 1 4 0.251112
526 Hiroshi Unno 0001 University of Tsukuba 5 3 1.47 1 3 0.3311111
526 Zhiqiang Zuo 0002 Nanjing University 5 7 0.74 4 8 0.552111
526 Jesper Cockx TU Delft 5 3 1.67 3 3 1.0011111
526 Santiago Zanella Béguelin 5 6 0.69 1 11 0.0911111
526 Vilhelm Sjöberg 5 4 1.14 2 6 0.3111111
526 Katsuhiro Ueno 5 3 1.47 1 3 0.331112
526 Sarita V. Adve Univ. of Illinois at Urbana-Champaign 5 7 0.78 1 10 0.1011111
526 Kathryn E. Gray 5 8 0.64 2 12 0.1711111
526 Leonidas Lampropoulos University of Maryland - College Park 5 3 1.14 4 3 1.071211
526 Matthew Hague Royal Holloway University of London 5 4 1.25 2 5 0.4011111
526 Dean M. Tullsen Univ. of California - San Diego 5 6 0.96 2 8 0.2711111
526 Nils Anders Danielsson Chalmers/GU 5 1 3.12 1 1 1.0011111
526 Christoph M. Kirsch University of Salzburg 5 4 1.32 1 5 0.201211
526 Sam Staton University of Oxford 5 3 1.25 3 4 0.5311111
526 Pat Hanrahan Stanford University 5 5 0.78 2 7 0.2911111
526 Paul Downen University of Massachusetts Lowell 5 4 1.47 2 4 0.5011111
526 Ben Hardekopf Univ. of California - Santa Barbara 5 4 1.32 2 4 0.502111
526 Shin-ya Katsumata National Institute of Informatics 5 5 1.32 2 6 0.3611111
526 Radha Jagadeesan DePaul University 5 3 1.79 2 3 0.67113
526 Jean Yang 0001 Carnegie Mellon University 5 6 1.09 1 6 0.1711111
526 Sam Blackshear 5 3 1.56 1 4 0.251112
526 Davide Ancona University of Genoa 5 3 1.79 1 3 0.3311111
526 Elena Zucca University of Genoa 5 3 1.79 1 3 0.3311111
526 Xin Qi 5 2 1.25 1121
526 K. Rustan M. Leino Amazon Web Services 5 2 1.79 1121
526 Dirk Riehle University of Erlangen–Nuremberg 5 1 2.78 14
526 Pierre Cointe 5 3 1.92 14
526 Wilf R. LaLonde Carleton University 5 2 2.08 5
526 Roy H. Campbell Univ. of Illinois at Urbana-Champaign 5 2 2.08 5
526 David H. Lorenz Open University of Israel 5 2 2.78 1112
526 Dennis de Champeaux 5 3 1.25 5
526 Yoav Zibin 5 2 1.79 1211
526 Ivar Jacobson 5 2 1.47 5
526 Gilad Bracha Google 5 2 2.08 14
526 Ivan Kuraj 5 3 1.47 1 3 0.331112
526 Daniel Jackson 0001 Massachusetts Institute of Technology 5 3 1.67 11111
526 Lennart C. L. Kats 5 3 1.67 1211
526 Tim Harris 0001 Amazon S3 5 4 1.56 11111
526 Nick Mitchell 5 4 1.32 1211
526 Dominic Duggan Stevens Institute of Technology 5 2 3.12 5
526 Gregor Kiczales University of British Columbia 5 2 1.79 1112
526 Roberto Lublinerman 5 3 1.32 1112
526 Pavel Avgustinov 5 7 0.74 122
526 Dimitrios Prountzos 5 4 0.93 113
526 Damien Sereni 5 7 0.78 122
526 Calvin Lin University of Texas at Austin 5 3 1.79 2111
526 Cole Schlesinger 5 5 0.96 221
526 Andrew A. Chien University of Chicago 5 2 2.08 5
526 Daniel Frampton 5 5 0.66 1112
526 Vlad Ureche 5 4 1.39 1211
526 Nathan Chong 5 4 1.25 1 3 0.3311111
526 Ayal Zaks Intel 5 4 1.32 1211
526 Jennifer B. Sartor 5 4 1.25 1 4 0.2511111
526 Alan Borning University of Washington 5 3 1.47 14
526 Ole Agesen 5 3 1.56 5
526 Gabriel Dos Reis 5 3 1.47 212
526 Julia L. Lawall LIP6 5 2 1.67 113
526 Yan Chen 0001 Max Planck Institute for Software Systems 5 3 1.47 1121
526 Andy Georges 5 3 1.32 1211
526 Dries Buytaert Ghent University 5 4 1.25 1211
526 Valery Trifonov Yale University 5 3 1.47 14
526 Martin Bravenboer 5 3 1.92 11111
526 Robert Grimm 0001 New York University 5 2 1.79 11111
526 Mauricio J. Serrano 5 4 1.19 113
526 Richard L. Hudson 5 4 1.09 1112
526 Mike Dodds 5 3 1.47 1112
526 Andrzej Filinski University of Copenhagen 5 1 4.17 113
526 Uday Bondhugula IISc Bangalore 5 4 1.09 1 3 0.3311111
526 Fan Long University of Toronto 5 3 1.56 1 3 0.331112
526 Jianzhou Zhao 5 4 1.09 11111
526 Georges Gonthier 5 3 1.79 14
526 Daniel Leivant Indiana University 5 1 4.17 5
526 Radu Rugina Cornell University 5 2 2.27 1112
526 John C. Reynolds Carnegie Mellon University 5 2 2.50 122
526 Michael Rodeh 5 3 1.67 14
526 Walid Taha Halmstad University 5 3 1.47 1112
526 Trevor Jim 5 2 1.79 113
526 Dan R. Ghica University of Birmingham 5 2 2.78 1211
526 Tayfun Elmas 5 3 1.47 11111
526 Tim Teitelbaum GrammaTech 5 3 1.92 5
526 Kim Nguyen 0001 Université Paris-Sud 5 4 1.32 11111
526 John L. Hennessy Stanford University 5 2 2.50 5
526 Stephen C. Johnson 5 3 2.27 5
526 Matthias Neubauer University of Freiburg 5 2 2.08 1121
526 Andrea Asperti University of Bologna 5 2 2.50 14
526 John H. Reif Duke University 5 2 3.12 5
526 Mads Tofte IT University of Copenhagen 5 3 1.67 14
526 Alfred V. Aho Columbia University 5 3 1.92 5
526 Patrick Maxim Rondon 5 3 1.56 2111
526 Don Syme Microsoft Research 5 3 1.92 1112
526 William D. Clinger Northeastern University 5 2 3.12 14
526 Kevin Hammond 5 4 1.32 1121
526 Patricia Johann Appalachian State University 5 3 1.79 11111
526 Keith Wansbrough 5 5 1.04 1121
526 Kiminori Matsuzaki 5 4 1.32 11111
526 Ravi Sethi University of Arizona 5 2 2.27 5
526 Juan Chen 5 3 1.47 11111
526 William Landi 5 2 2.08 5
526 Yitzhak Mandelbaum 5 3 1.39 11111
526 Robert Paige New York University 5 2 2.78 5
526 Joe B. Wells Heriot-Watt University 5 4 1.47 14
526 Nikolaj Bjørner Microsoft Research 5 5 1.04 1 3 0.331211
526 Jay Ligatti University of South Florida 5 3 1.32 11111
526 James E. Donahue 5 2 1.79 5
526 Gerwin Klein University of New South Wales 5 3 1.14 11111
526 S. Doaitse Swierstra Utrecht University 5 3 1.92 1211
526 Olaf Chitil University of Kent 5 1 3.57 1112
526 Andres Löh 5 3 1.19 1211
526 Xulong Tang University of Pittsburgh 5 5 0.96 4 5 0.762111
526 David B. Whalley Florida State University 5 2 1.67 14
683 Michal Friedman 0001 Technion 4 4 1.00 4 4 1.001111
683 Anton Podkopaev 4 6 0.70 4 6 0.70121
683 Lukás Holík Brno University of Technology 4 6 0.59 4 6 0.59211
683 Olli Saarikivi 4 6 0.67 4 6 0.67211
683 Alexander Bakst 4 4 1.00 2 4 0.441111
683 Geoffrey Mainland Drexel University 4 2 2.00 1 1 1.001111
683 Neil Mitchell 4 2 2.00 2 3 0.671111
683 Alejandro Aguirre 0001 IMDEA Software 4 6 0.70 4 6 0.70211
683 Keval Vora Simon Fraser University 4 3 1.07 2 3 0.671111
683 Thomas Gilray University of Alabama - Birmingham 4 4 1.00 2 4 0.50112
683 Yue Li 0006 Nanjing University 4 4 0.80 4 4 0.80211
683 Jan-Oliver Kaiser 4 6 0.70 3 5 0.53121
683 Sandrine Blazy INRIA 4 5 0.80 2 6 0.331111
683 Olivier Flückiger 4 6 0.73 4 6 0.73211
683 Andreas Haeberlen University of Pennsylvania 4 5 0.84 3 5 0.641111
683 Aaron Roth 0001 University of Pennsylvania 4 5 0.80 3 5 0.641111
683 Oliver Bracevac Purdue University 4 6 0.76 3 6 0.561111
683 Benoît Montagu 4 2 1.60 3 2 1.121111
683 Philipp Schuster 4 3 1.14 4 3 1.1431
683 Chengyu Zhang 0001 East China Normal University 4 3 1.23 4 3 1.23121
683 Feras Saad 4 4 1.00 4 4 1.00112
683 Martin Avanzini 4 3 1.45 3 3 1.121111
683 Gustavo Soares 4 8 0.53 4 8 0.53211
683 Serdar Tasiran 4 3 1.23 1 4 0.251111
683 Heather Miller Carnegie Mellon University 4 4 1.00 3 3 0.751111
683 Edward Aftandilian 4 4 0.94 1 6 0.171111
683 Arjen Rouvoet 4 4 0.94 4 4 0.94112
683 Fabian Muehlboeck 4 2 1.78 3 2 1.501111
683 Benjamin Chung 4 6 0.67 4 6 0.67112
683 Mirko Köhler 4 5 0.84 3 5 0.641111
683 Cezara Dragoi Ecole Normale Superieure 4 4 1.07 2 4 0.50211
683 Damien Zufferey 4 3 1.07 2 3 0.67211
683 Qinheping Hu 4 4 1.14 4 4 1.141111
683 Juneyoung Lee 4 7 0.53 4 7 0.53121
683 Bengt Jonsson 0001 Uppsala University 4 4 1.07 2 5 0.401111
683 Konstantinos Sagonas Uppsala University 4 5 0.76 2 5 0.401111
683 Beniamino Accattoli 4 3 1.23 2 3 0.67112
683 Woosuk Lee 4 4 1.14 3 4 1.001111
683 Luís Caires Universidade NOVA de Lisboa 4 2 2.00 2 2 1.001111
683 Tamás Szabó 4 3 1.23 4 3 1.23211
683 Yingfei Xiong 0001 Peking University 4 4 0.84 4 4 0.8413
683 Dariusz Biernacki University of Wroclaw 4 4 1.14 3 4 0.751111
683 Maciej Piróg University of Wroclaw 4 4 1.14 3 4 0.751111
683 Guido Martínez CIFASIS-CONICET & Universidad Nacional de Rosario 4 7 0.57 4 7 0.571111
683 ThanhVu Nguyen George Mason University 4 4 0.89 4 4 0.89112
683 Jan Midtgaard 4 6 0.80 1 5 0.201111
683 Radu Grigore University of Kent 4 3 1.33 2 2 0.80211
683 Eric Atkinson 4 4 1.00 4 4 1.0022
683 Louis Mandel 4 5 0.76 4 5 0.76211
683 Marco Patrignani CISPA Helmholtz Center for Information Security 4 3 0.89 3 3 0.601111
683 Michalis Kokologiannakis 4 4 1.14 4 4 1.14121
683 Vincent Laporte 4 6 0.76 1 7 0.141111
683 Sanjit A. Seshia Univ. of California - Berkeley 4 6 0.70 2 5 0.401111
683 Tao Xie 0001 Peking University 4 6 0.73 3 6 0.531111
683 Malavika Samak 4 3 1.45 1 3 0.331111
683 Deokhwan Kim 4 4 1.23 1 3 0.331111
683 Germán Andrés Delbianco 4 4 1.07 2 4 0.441111
683 Christian Wimmer 4 6 0.62 3 8 0.431111
683 Thomas Würthinger 4 8 0.47 3 9 0.31211
683 Daniel W. Barowy 4 4 1.14 1 3 0.331111
683 Grégory M. Essertel 4 4 0.89 3 4 0.6931
683 Giuliano Losa 4 5 0.76 3 6 0.50211
683 Andrea Vezzosi 4 3 1.33 4 3 1.33112
683 Xiaodi Wu University of Maryland - College Park 4 4 0.89 4 4 0.891111
683 Cosmin E. Oancea University of Copenhagen 4 3 1.23 2 4 0.441111
683 Raymond Hu 4 5 0.73 4 5 0.73121
683 Dennis E. Shasha New York University 4 4 1.14 3 4 0.821111
683 Nick Giannarakis 4 4 1.00 3 4 0.691111
683 Filip Niksic 4 4 1.00 4 4 1.0022
683 Manuel Costa Microsoft Research 4 6 0.62 2 7 0.29211
683 Kenji Maillard 4 6 0.64 4 6 0.641111
683 Roopsha Samanta Purdue University 4 4 0.89 3 4 0.691111
683 Jonathan Ragan-Kelley Massachusetts Institute of Technology 4 7 0.57 2 7 0.29211
683 Caleb Stanford 4 4 1.07 4 4 1.07112
683 Chandrakana Nandi 4 6 0.57 4 6 0.57211
683 Lingming Zhang Univ. of Illinois at Urbana-Champaign 4 4 1.00 2 4 0.571111
683 Darko Marinov Univ. of Illinois at Urbana-Champaign 4 4 1.00 2 6 0.361111
683 Andrei Popescu 0001 Middlesex University 4 2 1.45 2 3 0.671111
683 Zhoulai Fu IT University of Copenhagen 4 2 1.23 3 2 0.901111
683 Lu Zhang 0023 Peking University 4 6 0.80 2 6 0.36211
683 Christian Kästner Carnegie Mellon University 4 4 0.94 1 4 0.25112
683 Sarah E. Chasins Univ. of California - Berkeley 4 3 1.14 2 2 1.001111
683 Marco F. Cusumano-Towner 4 5 0.84 4 5 0.84121
683 Paul Thomson 4 5 0.80 2 5 0.401111
683 Casper Bach Poulsen TU Delft 4 4 0.94 4 4 0.9413
683 Alexandru Nicolau Univ. of California - Irvine 4 3 0.84 1 11 0.0913
683 Josep Torrellas Univ. of Illinois at Urbana-Champaign 4 4 0.73 3 3 0.53211
683 Werner Dietl University of Waterloo 4 4 0.94 2 4 0.571111
683 Pranav Garg 0001 Amazon Web Services 4 4 1.00 1 5 0.201111
683 Carl Friedrich Bolz-Tereick Heinrich Heine University of Düsseldorf 4 4 0.84 2 4 0.44211
683 Norman Danner 4 3 1.33 2 4 0.57211
683 Wouter Swierstra Utrecht University 4 2 1.78 2 2 1.00211
683 Eric Bodden Paderborn University 4 4 0.76 2 3 0.671111
683 Jonathan Protzenko 4 6 0.67 3 8 0.41121
683 Justin Pombrio 4 2 1.78 2 2 0.801111
683 Tongping Liu 4 4 1.00 2 5 0.401111
683 Alejandro Russo Chalmers/GU 4 4 1.07 1 5 0.20121
683 Matt Brown 4 2 2.00 2 2 1.001111
683 Thibaut Balabonski 4 2 1.45 1 4 0.251111
683 Ramana Kumar 4 6 0.73 2 6 0.331111
683 Hridesh Rajan Iowa State University 4 3 1.33 1 4 0.251111
683 Kaan Genç 4 3 1.23 4 3 1.23211
683 Avik Chaudhuri 4 4 1.23 1 5 0.201111
683 Sunjay Cauligi 4 8 0.53 4 8 0.53112
683 Beta Ziliani Universidad Nacional de Córdoba 4 4 1.00 1 5 0.201111
683 Anil Madhavapeddy University of Cambridge 4 5 0.73 3 6 0.501111
683 Wonyeol Lee 0001 KAIST 4 3 1.33 2 4 0.571111
683 David Castro-Perez Imperial College London 4 4 1.14 3 4 0.821111
683 Linzhang Wang Nanjing University 4 6 0.70 3 7 0.47211
683 Konstantinos Mamouras Rice University 4 4 1.07 4 4 1.07121
683 Steffen Smolka 4 6 0.73 3 6 0.501111
683 Joshua S. Auerbach 4 4 0.89 1 5 0.201111
683 Gustavo Petri 4 4 1.14 2 4 0.441111
683 Joseph Devietti University of Pennsylvania 4 4 1.00 3 4 0.75121
683 Jean Pichon-Pharabod 4 4 0.89 3 5 0.56121
683 Yaniv David 4 3 1.45 2 3 0.671111
683 Luca Padovani 4 2 1.23 1 2 0.501111
683 Nengkun Yu University of Technology Sydney 4 4 1.00 4 4 1.00121
683 Paul-André Melliès Pierre and Marie Curie University 4 2 1.78 1 1 1.001111
683 Eva Darulova Max Planck Society 4 2 1.14 2 5 0.40211
683 Ryan Beckett 4 4 1.00 3 4 0.69211
683 Peter M. Chen University of Michigan 4 5 0.73 2 5 0.401111
683 John Renner 4 6 0.62 4 6 0.62112
683 James Riely DePaul University 4 2 1.60 2 3 0.67112
683 Alex Potanin Victoria University of Wellington 4 4 0.94 1 4 0.251111
683 Petr Novotný 0001 Masaryk University 4 4 1.14 3 3 0.901111
683 Robert E. Strom 4 2 2.00 4
683 Stanley B. Zdonik Brown University 4 2 2.00 4
683 Stefan Hanenberg 4 2 1.78 112
683 Dave A. Thomas 4 4 1.00 4
683 Ole Lehrmann Madsen Aarhus University 4 2 1.60 4
683 Patrick Lam 0001 University of Waterloo 4 4 1.00 1111
683 Preston Briggs 4 4 1.23 13
683 Richard Helm 4 4 1.00 4
683 Richard P. Gabriel 4 2 1.45 1111
683 Christophe Dony LIRMM Montpellier 4 2 1.60 4
683 John Whaley 4 2 2.00 112
683 Kazunori Ogata 4 5 0.59 1111
683 M. Frans Kaashoek Massachusetts Institute of Technology 4 3 1.33 1 4 0.2513
683 Polyvios Pratikakis University of Crete 4 4 0.94 211
683 Karel Driesen 4 2 1.78 13
683 Mangala Gowri Nanda 4 3 1.23 1111
683 David A. McAllester TTI Chicago 4 2 2.00 13
683 Irene Finocchi Sapienza University of Rome 4 3 1.23 22
683 Pascal Van Hentenryck Brown University 4 2 1.60 13
683 Grady Booch 4 6 0.73 4
683 James E. Rumbaugh 4 2 1.23 4
683 Daniel von Dincklage 4 2 0.62 1111
683 Derek Coleman 4 4 1.00 4
683 Takeshi Ogasawara 4 5 0.64 1111
683 Bowen Alpern 4 4 0.80 4
683 Rodric M. Rabbah 4 4 0.94 1111
683 Bjarne Stroustrup AT&T Inc 4 4 1.07 112
683 Bard Bloom 4 2 1.23 13
683 Matthew Hertz 4 3 1.23 211
683 Christian Grothoff 4 4 0.89 121
683 Julian Tibble 4 8 0.53 22
683 Stephen Magill 4 4 1.07 2 4 0.571111
683 Yasuhiko Yokote 4 2 2.00 4
683 Lucas Brutschy 4 4 1.07 2 4 0.501111
683 Marco Pistoia JPMorgan Chase 4 4 0.89 1111
683 Satoshi Matsuoka Tokyo Institute of Technology 4 4 1.23 4
683 Wilson C. Hsieh 4 3 1.45 13
683 Olivier Tardieu 4 3 1.23 22
683 Grzegorz Czajkowski 4 2 1.78 13
683 Jeffrey Dean Google 4 4 1.00 4
683 Xiao Xiao 0003 Sourcebrella 4 5 0.80 1 6 0.17112
683 Greta Yorsh 4 4 1.14 211
683 Ben L. Titzer Google 4 2 1.07 1 9 0.111111
683 Henry M. Levy University of Washington 4 3 1.33 4
683 Earl T. Barr University College London 4 4 1.14 1 4 0.251111
683 Michael J. Carey 0001 Univ. of California - Irvine 4 2 1.45 4
683 Marvin H. Solomon University of Wisconsin-Madison 4 2 2.29 4
683 Yunhui Zheng 4 4 0.94 211
683 Liuba Shrira Brandeis University 4 2 1.33 211
683 Ben Wiedermann 4 4 0.53 1111
683 Hiroshi Inoue 4 4 1.23 112
683 Philippe Suter 4 4 1.14 112
683 Maurice Herlihy Brown University 4 3 1.45 112
683 Gilles Pokam 4 4 0.76 1 5 0.201111
683 Chengnian Sun University of Waterloo 4 3 1.14 1 3 0.33121
683 John Cavazos University of Delaware 4 2 1.60 1111
683 Daniel H. H. Ingalls 4 4 1.23 4
683 Yanhong A. Liu Stony Brook University 4 4 0.94 1111
683 Scott D. Stoller Stony Brook University 4 4 0.94 1111
683 Jacques Garrigue Nagoya University 4 2 1.60 112
683 Motohiro Kawahito 4 5 0.59 112
683 Toshiaki Yasue 4 5 0.59 22
683 Eric Schkufza 4 4 1.07 1111
683 Kuat Yessenov 4 3 1.00 1 3 0.331111
683 Kenneth M. Kahn 4 4 1.07 4
683 Jaakko Järvi University of Bergen 4 5 0.84 211
683 Ravi Mangal 4 4 0.94 22
683 Tobias Nipkow TU Munich 4 2 1.60 112
683 Gregor Snelting Karlsruhe Institute of Technology 4 2 1.45 112
683 Chandra Krintz Univ. of California - Santa Barbara 4 2 1.78 112
683 Adam Welc 4 5 0.59 112
683 V. T. Rajan 4 3 1.14 1111
683 John Tang Boyland University of Wisconsin - Milwaukee 4 2 2.00 13
683 Nathan Grasso Bronson 4 5 0.84 121
683 Zachary R. Anderson 4 2 1.60 1111
683 Youfeng Wu 4 4 1.00 1111
683 Corneliu Popeea 4 4 1.07 1111
683 Robert Muller Boston College 4 4 1.00 4
683 Stelios Sidiroglou-Douskos 4 4 1.07 121
683 David Harel Weizmann Institute of Science 4 2 1.78 13
683 Dimitar K. Dimitrov 0002 ETH Zürich 4 4 0.94 2 4 0.501111
683 Ganesh Sittampalam 4 8 0.55 22
683 Daniel G. Bobrow Palo Alto Research Center Incorporated 4 5 0.84 4
683 Nils Klarlund AT&T Inc 4 3 1.33 13
683 Vugranam C. Sreedhar IBM Research 4 3 1.23 4
683 Samuel P. Midkiff Purdue University 4 4 1.14 112
683 Kenneth L. McMillan University of Texas at Austin 4 4 0.76 1 8 0.121111
683 Evelyn Duesterwald 4 3 1.14 13
683 Vijay Menon 0002 Intel Corporation 4 6 0.64 112
683 Kemal Ebcioglu 4 4 0.76 22
683 Guangyu Chen Penn State 4 4 0.94 121
683 Linhai Song Pennsylvania State University 4 5 0.94 1 5 0.201111
683 Bruno Blanchet ENS Paris 4 2 1.33 112
683 Stephen Weeks 4 2 1.60 4
683 Haruo Hosoya 4 2 1.60 112
683 Amelia C. Fong 4 2 2.29 4
683 David N. Turner University of Kent 4 2 1.60 4
683 Ruy Ley-Wild Carnegie Mellon University 4 3 1.23 1111
683 Tom Ridge University of Cambridge 4 6 0.76 121
683 Jade Alglave 4 6 0.70 1 2 0.501111
683 Edward L. Wimmers 4 3 1.33 4
683 Steven S. Muchnick 4 2 2.00 4
683 Reinhard Wilhelm Saarland University 4 3 1.33 13
683 Nils Gesbert University of Glasgow 4 3 1.23 1111
683 Matthew Hennessy Trinity College Dublin 4 2 1.78 13
683 Mark Shields 4 4 1.23 4
683 Peter J. Stuckey University of Melbourne 4 3 1.33 22
683 David Molnar 4 4 0.89 211
683 Derek C. Oppen 4 2 2.29 4
683 Prakash Panangaden McGill University 4 3 1.23 13
683 David Callahan 4 2 1.78 4
683 Christian S. Collberg University of Arizona 4 2 1.23 13
683 David Bernstein 4 3 1.07 4
683 Erik Ruf Microsoft Research 4 1 3.20 4
683 Johan Jeuring Utrecht University 4 4 0.84 1111
683 James Brotherston University College London 4 2 1.45 1111
683 Yasuhiko Minamide Tokyo Institute of Technology 4 2 1.60 13
683 Samuel N. Kamin Univ. of Illinois at Urbana-Champaign 4 2 2.67 4
683 Richard J. Lipton Georgia Institute of Technology 4 3 1.45 4
683 Jean-Jacques Lévy INRIA 4 3 1.33 4
683 Carl A. Gunter Univ. of Illinois at Urbana-Champaign 4 3 1.33 4
683 Glenn Ammons 4 3 1.33 112
683 Gérard Berry 4 2 1.78 1 2 0.5013
683 Prateek Mishra 4 2 1.78 4
683 Christian Queinnec LIP6 4 2 2.00 4
683 David B. MacQueen 4 2 1.78 4
683 David K. Gifford Massachusetts Institute of Technology 4 2 2.00 4
683 Irene Greif IBM 4 2 1.23 4
683 Michael Wolfe 4 2 1.45 4
683 Sriram Sankaranarayanan 0001 University of Colorado Boulder 4 3 1.23 1111
683 Bjarne Steensgaard Microsoft Research 4 3 1.45 112
683 Mary W. Hall University of Utah 4 4 0.80 1 10 0.101111
683 David R. Hanson 4 2 1.45 4
683 Pierre-Louis Curien CNRS - Université Paris 7 4 3 1.33 13
683 I. V. Ramakrishnan Stony Brook University 4 3 1.00 4
683 Ming Kawaguchi 4 3 1.23 1111
683 Somesh Jha University of Wisconsin - Madison 4 4 0.89 1111
683 Nicolas Halbwachs IMAG 4 2 1.45 13
683 Johannes Borgström Uppsala University 4 6 0.67 211
683 Jonathan T. Moore 4 4 1.00 13
683 Robin Milner 4 2 1.33 13
683 Richard Johnson 4 3 1.23 4
683 Michael Hanus University of Kiel 4 4 1.23 13
683 Lal George 4 2 2.00 13
683 Neil Ghani University of Nottingham 4 2 1.45 1111
683 Ehud Shapiro Weizmann Institute of Science 4 2 2.00 4
683 Andrew M. Pitts University of Cambridge 4 2 2.00 1111
683 Helmut Seidl TU Munich 4 2 1.33 1111
683 Oliver Rüthing 4 3 1.33 4
683 Jens Knoop TU Wien 4 3 1.33 4
683 Bernhard Steffen TU Dortmund 4 3 1.33 4
683 Leslie Lamport Microsoft Research 4 1 3.20 4
683 Norihisa Suzuki 4 2 2.67 4
683 Greg Nelson 4 4 1.07 22
683 David W. Wall 4 1 3.20 4
683 Dawson R. Engler Stanford University 4 3 1.45 13
683 Matteo Cimini University of Massachusetts Lowell 4 2 1.60 1 2 0.50121
683 Rakesh Ghiya 4 2 1.60 4
683 David Tarditi 4 4 1.07 112
683 Assaf J. Kfoury Boston University 4 2 1.60 4
683 M. Anton Ertl TU Wien 4 2 2.29 112
683 Pedro C. Diniz University of Southern California 4 2 1.78 13
683 Siddhartha Chatterjee University of North Carolina at Chapel Hill 4 4 0.89 13
683 Oleg Kiselyov 4 4 1.14 1 4 0.251111
683 Oscar Waddell 4 3 1.45 13
683 Stefan Holdermans 4 4 0.84 1111
683 Roman Leshchinskiy 4 4 1.00 1111
683 Franklyn A. Turbak Wellesley College 4 4 1.14 4
683 Chris Okasaki 4 1 4.00 4
683 Frank Huch University of Kiel 4 2 1.45 1111
683 Hideya Iwasaki 4 4 1.14 112
683 Martin Sulzmann 4 4 1.14 112
683 Sebastian Fischer 4 3 1.23 1111
683 Satnam Singh 4 3 1.33 1111
683 Pierre Genevès CNRS 4 3 1.45 1111
683 Benjamin Goldberg New York University 4 2 2.67 4
683 He Zhu 0001 Rutgers University 4 3 1.23 2 4 0.571111
683 Scott Nettles 4 3 1.23 4
683 Nick P. Johnson 4 5 0.80 112
683 Michal Cierniak 4 3 1.23 4
683 Michelle Mills Strout 4 4 0.80 1 10 0.101111
683 Eric Eide University of Utah 4 6 0.73 1111
683 Keith H. Randall 4 3 1.45 13
683 Prakash Prabhu 4 5 0.84 121
683 Fred C. Chow 4 4 1.07 13
683 Benjamin Bichsel 4 4 0.94 4 4 0.941111
995 Konstantinos Kallas 3 4 0.64 3 4 0.6421
995 G. A. Kavvos University of Bristol 3 3 1.12 3 3 1.12111
995 Burcu Kulahcioglu Ozkan Max Planck Institute for Software Systems (MPI-SWS) 3 5 0.69 3 5 0.69111
995 Yotam M. Y. Feldman 3 4 0.60 3 4 0.6012
995 Alceste Scalas 3 3 0.90 3 3 0.9012
995 Rami Gökhan Kici 3 5 0.53 3 5 0.53111
995 Damien Pous 3 2 1.50 1 3 0.33111
995 José Fragoso Santos Imperial College 3 4 0.69 3 4 0.69111
995 Petar Maksimovic 3 4 0.69 3 4 0.69111
995 Philipp Rümmer Uppsala University 3 5 0.53 3 5 0.53111
995 Roly Perera 3 4 0.82 2 4 0.57111
995 Tian Tan 0001 Nanjing University 3 4 0.75 3 4 0.75111
995 Paul He 3 7 0.41 3 7 0.41111
995 Dominik Winterer 3 3 0.90 3 3 0.9012
995 Daniel Patterson 0001 Northeastern University 3 4 0.64 2 3 0.67111
995 Hoang-Hai Dang 3 4 0.75 3 4 0.7512
995 Abhishek Udupa 3 6 0.53 1 8 0.12111
995 Sandro Stucki 3 5 0.69 2 4 0.50111
995 Pierre Clairambault Ecole Normale Superieure de Lyon 3 3 1.12 3 3 1.12111
995 Marc de Visme 3 3 1.00 3 3 1.0012
995 Marianna Rapoport 3 4 0.69 3 4 0.69111
995 Alexi Turcotte 3 3 0.90 3 3 0.90111
995 Li-yao Xia 3 6 0.56 3 6 0.56111
995 Gregory Malecha Harvard University 3 5 0.56 1 7 0.14111
995 Eric Walkingshaw Oregon State University 3 3 0.90 2 4 0.5721
995 Francesco Ranzato University of Padua 3 3 1.00 1 3 0.33111
995 Baijun Wu 3 3 0.90 3 3 0.9012
995 Martin Clochard 3 3 0.69 2 5 0.4021
995 Yuriy Brun University of Massachusetts Amherst 3 4 0.75 2 4 0.57111
995 Zhengyang Liu 0003 University of Utah 3 5 0.60 3 5 0.60111
995 Marcelo Sousa 3 3 0.90 1 3 0.33111
995 Antoine Voizard 3 4 0.75 3 4 0.75111
995 Daniel Gratzer 3 4 0.64 3 4 0.6412
995 Ragnar Mogk 3 4 0.75 2 4 0.50111
995 Joscha Drechsler 3 4 0.75 2 4 0.50111
995 Delia Kesner University Paris-Diderot 3 4 0.82 2 4 0.57111
995 Sifis Lagouvardos 3 5 0.64 3 5 0.6412
995 Paulo Borba UFPE 3 3 0.75 1 3 0.33111
995 Bernardo Toninho Universidade NOVA de Lisboa 3 4 0.64 3 4 0.64111
995 Raghavan Komondoor IISc Bangalore 3 2 1.29 1 3 0.33111
995 Andrew W. Keep 3 6 0.56 1 8 0.12111
995 Ruyi Ji 3 4 0.69 3 4 0.6912
995 James Koppel 3 3 1.00 3 3 1.0012
995 Jingling Xue UNSW 3 2 1.29 3 2 1.2921
995 Piotr Polesiuk 3 4 0.75 3 4 0.75111
995 Aymeric Fromherz 3 6 0.47 3 6 0.47111
995 Denis Merigoux 3 6 0.56 3 6 0.5621
995 Kartik Nagar IIT Madras 3 4 0.75 3 4 0.75111
995 Timos Antonopoulos 3 5 0.64 3 5 0.64111
995 Guillaume Baudart 3 5 0.56 3 5 0.5621
995 Calvin Smith 3 2 1.29 2 2 0.8021
995 Chenglong Wang 3 3 0.82 3 3 0.82111
995 David M. Kahn 3 3 0.75 3 3 0.75111
995 Ming-Ho Yee 3 6 0.60 2 6 0.33111
995 Georgios Karachalias 3 4 0.75 2 4 0.50111
995 Matija Pretnar University of Ljubljana 3 4 0.90 3 4 0.9021
995 Lindsey Kuper Univ. of California - Santa Cruz 3 4 0.64 1 6 0.1712
995 Ankush Desai 3 4 0.69 1 4 0.25111
995 Youyou Cong 3 4 0.90 3 4 0.9012
995 Ana Milanova Rensselaer Polytechnic Institute 3 3 1.12 1 1 1.00111
995 Milijana Surbatovich 3 3 1.00 3 3 1.00111
995 Sreepathi Pai University of Rochester 3 4 0.90 2 4 0.50111
995 Julia Belyakova 3 6 0.53 3 6 0.53111
995 Vojin Jovanovic 3 8 0.43 2 6 0.33111
995 Shraddha Barke 3 5 0.56 3 5 0.5612
995 Cristina V. Lopes Univ. of California - Irvine 3 4 0.64 1 8 0.12111
995 Xiang Gao 3 6 0.53 3 6 0.5312
995 Abhik Roychoudhury National University of Singapore 3 4 0.69 3 4 0.6921
995 Joachim Breitner 3 4 0.75 2 4 0.50111
995 Hanspeter Mössenböck JKU Linz 3 5 0.64 1 5 0.20111
995 Théo Winterhalter 3 3 0.82 3 3 0.82111
995 Soham Chakraborty 0001 TU Delft 3 5 0.64 2 4 0.44111
995 Shih-Han Hung 3 5 0.60 3 5 0.60111
995 Peng Wang 0048 Massachusetts Institute of Technology 3 3 0.53 2 7 0.2921
995 Minseok Jeon 3 3 0.90 3 3 0.90111
995 Sam Westrick 3 3 0.90 3 3 0.90111
995 Lukas Lazarek 3 4 0.69 3 4 0.69111
995 Siddharth Krishna 0001 Microsoft Research 3 4 0.82 3 4 0.82111
995 Rohan Bavishi 3 4 0.75 2 4 0.44111
995 Caroline Lemieux 3 5 0.64 3 5 0.6412
995 Michael Ballantyne 3 3 0.90 3 3 0.903
995 Pantazis Deligiannis 3 5 0.53 2 6 0.33111
995 Exequiel Rivas 3 4 0.69 2 6 0.36111
995 Hannes Payer 3 5 0.56 1 6 0.17111
995 Filip Krikava 3 4 0.75 3 4 0.75111
995 Benjamin Cosman 3 3 0.90 2 4 0.57111
995 Andrew Adams 3 6 0.53 2 6 0.36111
995 Jay P. Lim 3 3 1.00 3 3 1.0021
995 Ryan G. Scott 3 4 0.64 3 4 0.64111
995 Max Willsey 3 7 0.41 3 7 0.4121
995 Ivan Radicek 3 5 0.69 3 5 0.6912
995 Florian Zuleger TU Wien 3 3 0.90 2 4 0.5021
995 Kia Rahmani 3 4 0.56 3 4 0.5621
995 Aaron Stump University of Iowa 3 3 0.90 2 4 0.57111
995 Konstantin Weitz 3 6 0.56 2 5 0.4021
995 Francisco Ferreira 0001 Imperial College London 3 4 0.69 2 4 0.44111
995 Yuanbo Li 3 3 0.90 3 3 0.9012
995 Ryan Culpepper 3 4 0.82 1 4 0.25111
995 Margaret Martonosi Princeton University 3 4 0.64 2 6 0.36111
995 Markus Müller-Olm University of Münster 3 3 0.90 1 3 0.33111
995 Wenlei Bao 3 5 0.53 1 4 0.2512
995 Dmitriy Traytel ETH Zürich 3 3 1.00 1 4 0.25111
995 Rishi Surendran 3 5 0.69 1 6 0.17111
995 Georg Moser University of Innsbruck 3 3 1.12 1 3 0.33111
995 Carlo Angiuli 3 4 0.82 2 4 0.57111
995 Clément Pit-Claudel 3 4 0.69 2 4 0.44111
995 Leonardo Mendonça de Moura 3 4 0.75 3 4 0.75111
995 Filippo Bonchi Ecole Normale Superieure de Lyon 3 3 0.90 1 5 0.20111
995 Pawel Sobocinski 0001 Tallinn University of Technology 3 4 0.75 2 4 0.44111
995 Minh-Thai Trinh 3 3 0.82 2 4 0.5021
995 Leo White 3 6 0.53 3 6 0.53111
995 Ke Wang 0022 Visa Research 3 3 0.69 3 3 0.69111
995 Zhijia Zhao 0001 Univ. of California - Riverside 3 6 0.53 1 4 0.25111
995 Ennan Zhai 3 5 0.64 3 5 0.6412
995 Hengchu Zhang 3 5 0.69 3 5 0.69111
995 Shankara Pailoor 3 4 0.75 3 4 0.75111
995 Roberto Di Cosmo INRIA 3 3 1.29 1 3 0.33111
995 Alastair Reid 0001 Google Research 3 5 0.45 2 8 0.27111
995 Joshua Sunshine 3 5 0.60 2 5 0.4021
995 Peng Li 3 2 0.75 1 8 0.12111
995 Eric Van Wyk University of Minnesota 3 4 0.90 1 4 0.25111
995 Shu-Chun Weng 3 4 0.60 2 4 0.57111
995 Daniel Feltey 3 5 0.56 2 5 0.40111
995 Yannick Forster 0002 Saarland University 3 4 0.75 3 4 0.7521
995 David Costanzo 3 7 0.47 2 8 0.25111
995 Shigeru Chiba University of Tokyo 3 3 1.12 1 4 0.25111
995 Julien Lange Royal Holloway University of London 3 4 0.60 2 6 0.33111
995 William Mansky University of Illinois at Chicago 3 5 0.64 2 4 0.5021
995 Brad A. Myers Carnegie Mellon University 3 3 1.00 1 4 0.2512
995 Jennifer Hackett University of Nottingham 3 2 1.50 2 2 1.00111
995 Iavor S. Diatchki 3 4 0.75 1 5 0.20111
995 Takeshi Tsukada 3 3 1.00 2 2 0.80111
995 Dominic P. Mulligan 3 4 0.75 1 4 0.25111
995 Nicholas Labich 3 4 0.60 1 4 0.25111
995 Jochen Hoenicke University of Freiburg 3 3 0.75 2 4 0.44111
995 Tien N. Nguyen University of Texas at Dallas 3 4 0.64 2 4 0.50111
995 James Bornholt University of Texas at Austin 3 2 1.12 2 2 1.00111
995 Laith Sakka 3 4 0.69 3 4 0.6921
995 Kirshanthan Sundararajah 3 3 1.00 3 3 1.0021
995 Jake Roemer 3 3 0.90 3 3 0.90111
995 Joonwon Choi 3 5 0.43 3 5 0.43111
995 Arvind Massachusetts Institute of Technology 3 4 0.75 2 4 0.44111
995 Panagiotis Vekris 3 5 0.69 1 5 0.20111
995 Changwan Hong 3 8 0.38 2 8 0.25111
995 Eric L. Seidel 3 5 0.69 1 5 0.20111
995 Cristina David University of Bristol 3 4 0.90 1 4 0.25111
995 Youngju Song 3 8 0.36 3 8 0.36111
995 Minki Cho 3 6 0.53 3 6 0.5312
995 Thomas Dinsdale-Young 3 5 0.56 1 6 0.17111
995 Kasper Svendsen 3 6 0.56 2 4 0.44111
995 Nikos Tzevelekos 3 2 1.00 1 6 0.17111
995 Nicholas Ng 3 5 0.56 2 4 0.44111
995 Patrick Bahr IT University of Copenhagen 3 3 1.00 2 3 0.67111
995 Rasmus Ejlers Møgelberg IT University of Copenhagen 3 3 1.12 3 3 1.1212
995 Peisen Yao 3 4 0.82 3 4 0.823
995 Qingkai Shi 3 4 0.64 3 4 0.6421
995 Adam Scibior 3 6 0.47 2 6 0.3121
995 Benjamin P. Wood 3 4 0.82 1 4 0.25111
995 Aquinas Hobor National University of Singapore 3 3 1.00 1 4 0.25111
995 Christopher J. Rossbach University of Texas at Austin 3 4 0.56 2 4 0.50111
995 Jérôme Siméon 3 4 0.82 1 5 0.20111
995 Conrad Watt 3 5 0.56 3 5 0.5612
995 Aditya V. Thakur Univ. of California - Davis 3 3 1.00 2 2 0.80111
995 Gianfranco Bilardi 3 2 1.29 1 3 0.3312
995 Philipp Haller KTH Royal Institute of Technology 3 4 0.75 1 6 0.17111
995 Nikos Gorogiannis 3 4 0.82 2 4 0.57111
995 Li Zhou 3 5 0.64 3 5 0.6421
995 Mikaël Mayer 3 4 0.82 1 3 0.33111
995 Jesse A. Tov 3 2 1.12 1 4 0.2512
995 Bart Jacobs 0002 KU Leuven 3 3 0.75 1 7 0.14111
995 Zvonimir Pavlinovic 3 3 1.00 1 3 0.33111
995 Tony Field Imperial College London 3 4 0.75 1 4 0.25111
995 Aarti Gupta Princeton University 3 4 0.90 1 4 0.25111
995 Saswat Padhi 3 4 0.69 2 5 0.40111
995 Daniel Perelman 3 4 0.64 1 6 0.17111
995 Yufei Cai 3 4 0.53 1 10 0.10111
995 Antonis Stampoulis 3 2 1.50 1 2 0.50111
995 Ian Voysey 3 5 0.60 3 5 0.60111
995 Alan Jeffrey 3 3 1.29 1 3 0.33111
995 Kiwan Maeng 3 2 1.29 3 2 1.29111
995 Sukyoung Ryu KAIST 3 4 0.69 1 4 0.25111
995 Daniel M. Yellin IBM 3 2 1.29 3
995 Andrew P. Black Portland State University 3 3 0.90 111
995 Junfeng Yang Columbia University 3 5 0.75 111
995 Yuan Yu 3 3 0.82 111
995 Robert O'Callahan 3 3 0.82 111
995 Ross McIlroy 3 4 0.82 111
995 Peter-Michael Osera 3 4 0.75 111
995 Birger Møller-Pedersen University of Oslo 3 3 1.00 3
995 Itay Maman 3 2 1.29 111
995 Darko Stefanovic University of New Mexico 3 3 0.35 12
995 Doug Kimelman 3 4 0.60 111
995 Yoav Ossia 3 4 0.69 111
995 Elisa L. A. Baniassad 3 2 1.29 111
995 Jacques Malenfant 3 3 1.29 3
995 Akira Koseki 3 3 0.45 12
995 Caitlin Sadowski Google 3 5 0.69 12
995 David Notkin University of Washington 3 2 1.00 12
995 Richard E. Jones University of Kent 3 4 0.90 12
995 Douglas P. Gregor Indiana University Bloomington 3 5 0.69 21
995 Henry Lieberman 3 2 1.29 12
995 Ira R. Forman 3 3 1.00 3
995 Scott Danforth 3 3 1.00 3
995 Sam S. Adams 3 5 0.75 3
995 Matthias Zenger 3 2 1.29 12
995 Eli Tilevich Virginia Tech 3 2 1.29 111
995 Xi Wang 0005 University of Washington 3 7 0.39 111
995 Wenguang Chen Tsinghua University 3 7 0.45 111
995 Sean McDirmid 3 3 0.82 111
995 Marianne Huchard LIRMM Montpellier 3 4 0.75 3
995 Sara Achour 3 3 0.90 111
995 Dhruva R. Chakrabarti Hewlett Packard Enterprise Labs 3 3 0.82 111
995 William E. Weihl 3 2 1.50 3
995 Rebecca Wirfs-Brock 3 6 0.64 3
995 Haryadi S. Gunawi University of Chicago 3 5 0.69 1 5 0.20111
995 Kazuaki Ishizaki IBM Research 3 7 0.35 111
995 Karl J. Lieberherr Northeastern University 3 2 1.29 3
995 Xuandong Li Nanjing University 3 7 0.47 2 8 0.2721
995 Gilles Muller 3 4 0.69 111
995 Jacob Stein 3 4 0.75 3
995 Rok Strnisa University of Cambridge 3 7 0.50 12
995 Swarnendu Biswas 3 4 0.56 111
995 Jipeng Huang 3 4 0.64 12
995 John Potter 3 3 1.12 12
995 Hassan Chafi 3 7 0.43 111
995 Zach DeVito 3 5 0.50 111
995 Adriaan Moors 3 3 0.64 21
995 Arvind K. Sujeeth 3 8 0.39 111
995 Wolfram Schulte Microsoft Research 3 6 0.56 111
995 Nikolai Tillmann 3 7 0.47 111
995 Ravichandhran Madhavan 3 3 1.00 1 3 0.33111
995 Ed Seidewitz Model Driven Solutions 3 1 1.29 3
995 John Lamping 3 1 2.25 3
995 Matthew Milano 3 5 0.60 1 2 0.50111
995 Pietro Ferrara 0001 Ca' Foscari University of Venice 3 3 0.90 111
995 Hidehiko Masuhara Tokyo Institute of Technology 3 4 0.82 12
995 Thomas H. Austin San Jose State University 3 3 0.82 111
995 Raymie Stata 3 2 0.90 12
995 John V. Guttag Massachusetts Institute of Technology 3 2 1.50 3
995 Eric E. Allen 3 5 0.60 111
995 John R. Rose University of South Carolina 3 1 1.50 3
995 Jurgen J. Vinju CWI 3 2 1.00 1 2 0.50111
995 Greg DeFouw 3 4 0.75 3
995 Saswat Anand 3 3 1.00 21
995 George Balatsouras 3 3 1.12 12
995 George Kastrinis 3 3 1.12 12
995 Tanzirul Azim University of California 3 3 1.12 111
995 Riccardo Pucella Northeastern University 3 2 1.80 21
995 Witawas Srisa-an University of Nebraska 3 3 1.00 111
995 Jeroen Ketema 3 5 0.69 111
995 John Maloney 3 3 0.82 3
995 David Detlefs 3 3 0.82 12
995 Allen Wirfs-Brock 3 2 1.29 3
995 Kevin Bierhoff 3 3 1.00 111
995 Arun Raman 3 4 0.69 12
995 Michael Bauer 3 3 0.82 111
995 Ajeet Shankar 3 3 1.00 111
995 Kyndylan Nienhuis 3 7 0.47 1 9 0.1112
995 Asger Feldthaus 3 2 1.00 111
995 Youngjoon Jo 3 2 1.00 111
995 Tao Bao 3 3 0.82 111
995 Doug Woos 3 7 0.43 1 8 0.12111
995 Prasad A. Kulkarni University of Kansas 3 4 0.82 111
995 Jisheng Zhao 3 5 0.60 111
995 Zoran Budimlic 3 5 0.56 111
995 Adam Kiezun MIT Computer Science and Artificial Intelligence Laboratory 3 3 0.90 111
995 Victor Luchangco 3 5 0.60 111
995 Dave West 3 3 0.82 111
995 Randall B. Smith 3 3 0.90 3
995 Giorgio Ghelli University of Pisa 3 1 1.50 12
995 Michael F. P. O'Boyle University of Edinburgh 3 2 1.12 111
995 Yen-Ping Shan 3 1 1.00 3
995 Hyeonseung Im 3 4 0.69 111
995 Berkeley R. Churchill Stanford University 3 4 0.75 1 4 0.25111
995 Peng Liu 0010 Purdue University 3 4 0.64 111
995 Yutaka Ishikawa 3 2 1.50 3
995 Barry Hayes 3 1 1.12 3
995 Jeremiah Willcock 3 5 0.69 111
995 William L. Scherlis Carnegie Mellon University 3 2 1.50 12
995 Toshio Suganuma 3 5 0.41 21
995 Tatsushi Inagaki 3 4 0.41 12
995 Michael Franz Univ. of California - Irvine 3 4 0.38 111
995 Wontae Choi 3 4 0.75 111
995 Daniele Cono D'Elia 3 2 1.29 1 2 0.50111
995 Barak A. Pearlmutter 3 2 1.50 21
995 Zvonimir Rakamaric University of Utah 3 5 0.64 1 6 0.17111
995 David Herman 3 2 1.50 111
995 Peter A. Dinda Northwestern University 3 5 0.56 2 6 0.36111
995 Karen Zee 3 3 1.12 111
995 Paul R. Wilson 3 2 1.29 3
995 Thomas G. Moher University of Illinois at Chicago 3 2 1.29 3
995 Kim B. Bruce Pomona College 3 2 1.00 3
995 Thomas P. Murtagh 3 2 1.00 3
995 Allyn Dimock 3 5 0.60 3
995 Colin S. Gordon Drexel University 3 5 0.60 111
995 Clark Verbrugge McGill University 3 4 0.75 111
995 Jaeheon Yi 3 5 0.69 111
995 Gary Lindstrom University of Utah 3 3 1.00 3
995 Manohar Jonnalagedda 3 5 0.47 1 5 0.20111
995 Gene Novark 3 3 0.90 21
995 Naftaly H. Minsky Rutgers University 3 2 1.80 3
995 Denis Caromel 3 4 0.82 111
995 Gary Sevitsky 3 5 0.69 111
995 Susumu Nishimura 3 2 1.50 12
995 Phillip M. Yelland 3 1 3.00 3
995 Roland Ducournau 3 4 0.82 12
995 Robert Hirschfeld Hasso Plattner Institute 3 4 0.60 21
995 Guoliang Jin North Carolina State University 3 5 0.64 111
995 Mikel Luján 3 4 0.75 2 4 0.44111
995 Dino Distefano Queen Mary University of London 3 4 0.82 111
995 Nimrod Partush 3 3 1.12 1 3 0.33111
995 Jay A. McCarthy University of Massachusetts Lowell 3 1 0.75 111
995 Christoph von Praun 3 2 0.75 111
995 Barton P. Miller University of Wisconsin - Madison 3 3 1.12 3
995 David A. Naumann Stevens Institute of Technology 3 3 0.90 1 5 0.20111
995 Mary Jane Irwin Pennsylvania State University 3 6 0.56 111
995 Andreas Krall TU Wien 3 1 1.80 3
995 José Meseguer Univ. of Illinois at Urbana-Champaign 3 1 1.50 3
995 Daejun Park 0001 University of Illinois at Urbana-Champaign 3 5 0.69 1 5 0.20111
995 Alain Frisch 3 3 1.29 111
995 Uwe F. Pleban 3 2 1.29 3
995 Ichiro Hasuo University of Tokyo 3 3 1.00 21
995 Susan S. Owicki 3 2 1.50 3
995 Arthur Azevedo de Amorim 3 7 0.43 1 5 0.20111
995 John H. Williams 3 3 1.00 3
995 Ali Sinan Köksal 3 5 0.64 111
995 Ashutosh Gupta 0001 IIT Bombay 3 5 0.69 111
995 Michael Stepp 3 4 0.64 111
995 Pierre Ganty IMDEA Software Institute 3 3 1.00 1 4 0.25111
995 Feihui Li Penn State 3 4 0.82 12
995 Larry Carter Univ. of California - San Diego 3 3 1.00 21
995 Clark D. Thomborson University of Auckland 3 3 1.12 12
995 Kristian Støvring Aarhus University 3 2 0.90 12
995 Jacob Thamsborg 3 5 0.69 12
995 Andrew Cave 3 3 1.00 111
995 Williams Ludwell Harrison III 3 2 1.50 3
995 Uday S. Reddy University of Birmingham 3 2 1.29 111
995 Hiralal Agrawal 3 1 2.25 3
995 Gareth Paul Stoyle 3 5 0.64 111
995 Bernard Lang 3 2 1.50 3
995 Patrik Jansson Chalmers/GU 3 3 1.00 111
995 Roger Hoover 3 1 2.25 3
995 William C. Rounds University of Michigan 3 3 1.12 3
995 Alan Mycroft University of Cambridge 3 2 1.29 1 2 0.50111
995 Christopher Colby 3 3 0.82 3
995 Eric A. Brewer Univ. of California - Berkeley 3 4 0.64 111
995 Simon J. Gay University of Glasgow 3 2 1.12 111
995 Zhiwu Xu 0001 Shenzhen University 3 4 0.75 111
995 Aleksandr Karbyshev 3 6 0.47 111
995 Christopher Lidbury 3 2 1.12 2 2 1.00111
995 Orna Grumberg Technion 3 3 0.90 12
995 Mark Lillibridge Hewlett Packard Enterprise Labs 3 2 0.90 12
995 Robert Muth 3 3 0.64 12
995 Hugo Herbelin 3 2 1.29 111
995 Carl Hewitt Massachusetts Institute of Technology 3 2 0.90 3
995 Jérémie Koenig 3 8 0.47 2 6 0.36111
995 Xiongnan (Newman) Wu 3 8 0.41 1 9 0.11111
995 Gennaro Parlato University of Molise 3 3 1.12 21
995 William R. Harris 3 3 1.00 1 3 0.33111
995 Ezgi Çiçek 3 5 0.69 2 5 0.40111
995 Josh Berdine Facebook 3 4 0.75 12
995 Arie Gurfinkel University of Waterloo 3 5 0.56 1 8 0.12111
995 Harry B. Hunt III University at Albany 3 2 1.50 3
995 Leaf Petersen 3 4 0.64 111
995 Gérard Boudol 3 2 1.80 12
995 Brian R. Murphy 3 6 0.60 21
995 Edith Schonberg 3 2 1.00 12
995 Bryan Ford EPFL 3 1 1.29 111
995 Andrew K. Wright 3 2 1.12 3
995 Yutao Zhong 0001 George Mason University 3 4 0.82 111
995 Christoforos E. Kozyrakis Stanford University 3 7 0.43 1 11 0.09111
995 Brian Hackett 3 2 1.12 111
995 Javier Esparza TU Munich 3 2 1.29 111
995 Isao Sasano 3 3 1.00 111
995 David Scott Warren Stony Brook University 3 3 0.69 3
995 Michele Bugliesi University Ca' Foscari 3 2 1.00 12
995 David R. Chase 3 1 1.80 3
995 Dirk Grunwald University of Colorado Boulder 3 3 0.82 3
995 Richard Bornat Middlesex University 3 3 0.90 111
995 Chiyan Chen 3 2 1.29 12
995 Steffen Jost Ludwig Maximilian University of Munich 3 4 0.82 111
995 David S. Wise 3 2 1.50 3
995 Paul Blain Levy University of Birmingham 3 2 1.29 1 1 1.00111
995 François Rouaix 3 2 1.50 3
995 Boris Köpf IMDEA Software Institute 3 4 0.90 2 3 0.67111
995 Shengchao Qin Teesside University 3 4 0.82 111
995 David Gelernter Yale University 3 3 1.00 3
995 Pierre Jouvelot 3 2 1.80 3
995 Yoonseung Kim 3 8 0.38 2 10 0.21111
995 Mark D. Weiser Xerox PARC 3 6 0.64 3
995 Marcelo P. Fiore University of Cambridge 3 3 1.29 12
995 Ralf Lämmel University of Koblenz-Landau 3 2 1.80 111
995 David J. King 3 3 1.12 12
995 Rodney Farrow 3 2 1.50 3
995 Chao Wang 0001 University of Southern California 3 2 1.29 1 2 0.50111
995 Benoît Valiron 3 4 0.75 1 4 0.25111
995 Rongxin Wu 3 5 0.60 2 5 0.40111
995 Dror E. Maydan 3 3 0.75 3
995 Sigbjørn Finne 3 4 0.82 3
995 Ali Sezgin 3 8 0.41 1 9 0.11111
995 Chucky Ellison 3 3 0.82 12
995 Shu-yu Guo 3 2 0.75 1 8 0.12111
995 Andrew McCreight 3 4 0.64 111
995 Bernard P. Serpette 3 2 1.29 111
995 Alain Deutsch 3 1 3.00 3
995 Damien Doligez Inria 3 2 1.00 12
995 Reuben N. S. Rowe Royal Holloway University of London 3 4 0.69 2 4 0.44111
995 Ron Y. Pinter Technion 3 3 0.75 3
995 Jeremy Condit 3 5 0.56 111
995 Maged M. Michael IBM Research 3 2 1.00 111
995 Dachuan Yu 3 3 1.00 12
995 Matthai Philipose Microsoft Research 3 5 0.69 12
995 Ryosuke Sato 3 4 0.75 21
995 Germán Vidal Universitat Politecnica de Valencia 3 4 0.75 111
995 Edwin C. Brady University of St Andrews 3 2 1.80 111
995 Geoffrey Washburn 3 4 0.90 111
995 Alexey Rodriguez Yakushev 3 4 0.53 111
995 Ben Lippmeier 3 5 0.64 111
995 Robert Ennals 3 2 1.12 111
995 Josef Svenningsson 3 2 1.50 111
995 Bo Joel Svensson 3 4 0.90 1 4 0.25111
995 Philip W. Trinder University of Glasgow 3 3 0.82 12
995 Paul Govereau 3 3 0.82 111
995 James J. Leifer 3 4 0.69 111
995 Keisuke Nakano 0001 Tohoku University 3 5 0.56 111
995 Michael Y. Levin 3 3 1.29 111
995 Stefan Monnier University of Montreal 3 3 1.12 12
995 Colin Runciman University of York 3 2 1.50 12
995 Lars Bergstrom 3 5 0.75 111
995 Kanat Tangwongsan 3 4 0.75 111
995 Nabil Layaïda 3 3 1.00 111
995 Giovanni Campagna 3 5 0.60 2 4 0.44111
995 Martin Kong University of Oklahoma 3 6 0.60 1 2 0.50111
995 Frances Perry 3 7 0.45 111
995 Alex Sanchez-Stern 3 4 0.69 2 4 0.44111
995 Fraser Brown 3 6 0.43 3 6 0.43111
995 John Kodumal 3 2 1.12 111
995 William Thies 3 3 0.90 111
995 Gurindar S. Sohi University of Wisconsin - Madison 3 3 1.00 21
995 John M. Mellor-Crummey Rice University 3 3 0.90 111
995 Victor Nicolet 3 2 1.50 3 2 1.50111
995 Elliot K. Kolodner 3 3 0.75 12
995 William S. Evans University of British Columbia 3 2 1.00 12
995 Gordon V. Cormack University of Waterloo 3 2 1.80 3
995 Mark D. Hill University of Wisconsin-Madison 3 3 1.00 12
995 Andrew Ayers 3 4 0.69 12
995 Richard Schooler 3 4 0.69 12
995 Dinghao Wu Pennsylvania State University 3 3 1.00 111
995 Yu-Fang Chen 0001 Academia Sinica 3 7 0.39 3 7 0.39111
995 Daniel Marino 3 5 0.69 111
995 Roland H. C. Yap National University of Singapore 3 3 1.00 1 2 0.5012
995 Robert R. Henry 3 3 1.00 3
995 Linda Torczon Rice University 3 3 1.00 3
995 James M. Stichnoth 3 3 0.82 3
995 Xiaotong Zhuang 3 2 1.12 111
995 Quentin Carbonneaux 3 3 0.90 1 3 0.33111
995 Martin Burtscher Texas State University 3 3 0.50 111
995 Zheng Wang 0001 University of Leeds 3 5 0.50 2 7 0.29111
995 Carl Bruggeman 3 3 1.00 3
995 Yuanrui Zhang 3 5 0.56 111
995 Alexandre E. Eichenberger IBM Research 3 2 1.29 12
995 Thomas Shull 3 3 0.82 2 3 0.6721
995 Manuvir Das Microsoft Research 3 3 1.29 12
995 Yang Chen 0024 University of Utah 3 6 0.53 111
995 Emmett Witchel University of Texas at Austin 3 6 0.47 111
995 Wonchan Lee 3 5 0.60 12
995 Michael D. Smith 0001 Harvard University 3 3 0.90 12
995 Jaejin Lee Seoul National University 3 5 0.64 2 4 0.44111
995 Zhiyuan Li 0001 Purdue University 3 2 1.29 111
995 Peng Tu 3 5 0.69 3
995 David Mandelin 3 4 0.38 111
995 Roshan Dathathri 3 8 0.41 3 8 0.41111
995 Samuel Steffen 3 4 0.82 3 4 0.82111
995 Simone Campanoni Northwestern University 3 6 0.53 3 6 0.5312
995 Roy Dz-Ching Ju Intel 3 7 0.56 111
995 Reinhard von Hanxleden University of Kiel 3 2 0.75 12
995 Grigory Fedyukovich Florida State University 3 3 0.90 3 3 0.9021
995 Neil Vachharajani 3 3 0.90 111
995 Jason Ansel 3 7 0.41 111