Systems: Software Engineering

Rank Name Affiliation Total (A) (Rel)17-21(A5)(Rel5)21201918171615141312111098765432<=1
1 Michael D. Ernst University of Washington 62 4 15.13 12 4 2.323441247428325314122
2 Yang Liu 0003 Nanyang Technological University 56 6 8.36 38 7 5.2311210875625
3 Xiangyu Zhang 0001 Purdue University 53 5 11.56 18 6 2.84524710351241122211
3 Lionel C. Briand University of Luxembourg 53 4 13.50 17 5 3.85442435334132211110
5 Zhendong Su ETH Zurich 52 3 12.58 20 6 3.543573235121536321
6 David Lo 0001 Singapore Management University 50 4 12.32 21 5 4.41526532332734311
7 Tao Xie 0001 Peking University 48 5 9.85 12 6 2.09242223216245622111
8 Mark Harman King's College London 47 4 11.16 12 4 2.67431485632413111
8 Alessandro Orso Georgia Institute of Technology 47 3 14.25 9 3 2.79233114334213242342
10 Hongyu Zhang 0002 University of Newcastle 46 6 6.32 29 7 3.29897414331321
10 Shing-Chi Cheung HKUST 46 4 10.53 19 6 3.144446171411112414
12 Premkumar T. Devanbu Univ. of California - Davis 45 4 11.25 5 4 1.1921233632412112111
13 Lu Zhang 0023 Peking University 44 5 7.81 17 5 3.0133542651144312
13 Darko Marinov Univ. of Illinois at Urbana-Champaign 44 4 10.30 9 5 2.02223245352322231111
15 Gregg Rothermel North Carolina State University 43 3 11.70 4 4 0.9412111332152113214
16 Tien N. Nguyen University of Texas at Dallas 41 4 9.34 12 4 2.67324211464342311
16 Jun Sun 0001 Singapore Management University 41 6 7.09 25 6 4.194844535251
18 Sebastian G. Elbaum University of Virginia 40 3 11.19 9 4 2.19313212222226431112
18 Sven Apel Saarland University 40 5 8.84 16 4 3.7153352724221121
20 Andreas Zeller CISPA Helmholtz Center 39 3 11.70 14 4 3.70372221122242211122
21 Mary Jean Harrold Georgia Institute of Technology 38 3 11.74 123323225213
22 Koushik Sen Univ. of California - Berkeley 37 4 10.07 11 4 2.751224225112343311
23 Tevfik Bultan Univ. of California - Santa Barbara 36 3 11.68 7 4 1.75212233313221131213
23 Matthew B. Dwyer University of Virginia 36 3 10.54 5 3 1.6721212212113421218
23 Denys Poshyvanyk College of William and Mary 36 6 6.72 15 6 2.50332434653111
23 Abhik Roychoudhury National University of Singapore 36 4 10.20 11 4 2.52222414324122121111
27 Christian Kästner Carnegie Mellon University 35 4 7.70 16 4 3.2044233326111122
27 Lingming Zhang Univ. of Illinois at Urbana-Champaign 35 4 7.38 21 4 4.504763162141
27 Michael Pradel University of Stuttgart 35 3 11.45 19 3 6.12442454312411
30 Gabriele Bavota Università della Svizzera italiana 34 6 5.58 19 6 3.144433534242
31 Sarfraz Khurshid University of Texas at Austin 33 4 8.01 7 4 1.5811131123531124211
32 Mauro Pezzè Università della Svizzera italiana 31 3 8.82 8 4 2.1311331442131115
32 Massimiliano Di Penta University of Sannio 31 6 5.17 13 6 2.1724343524112
34 Thomas Zimmermann 0001 Microsoft Research 30 4 8.26 4 4 1.0042343212221211
34 Zhenchang Xing Australian National University 30 5 5.52 20 6 3.391844333121
36 Sunghun Kim 0001 HKUST 29 3 9.04 3 3 1.001214332521221
36 Gordon Fraser 0001 University of Passau 29 4 7.19 14 4 3.1623513442311
36 Daniel Jackson 0001 Massachusetts Institute of Technology 29 2 10.38 31121314112
36 Nenad Medvidovic University of Southern California 29 4 7.31 8 4 1.7313221213112118
36 Corina S. Pasareanu 29 4 7.01 6 4 1.381321321141212113
41 Gail C. Murphy University of British Columbia 28 3 9.56 2 3 0.67211131132319
41 Dongmei Zhang 28 8 3.06 18 12 1.60662422123
41 Chao Wang 0001 University of Southern California 28 3 8.71 13 3 4.12223644211111
41 Ali Mesbah 0001 University of British Columbia 28 3 9.33 11 3 3.27213412461112
45 Paolo Tonella Università della Svizzera italiana 27 4 6.69 9 4 2.1334212422111112
45 Tim Menzies North Carolina State University 27 4 7.01 11 4 2.95213231151121211
47 Lori A. Clarke University of Massachusetts Amherst 26 3 8.24 242117
47 Xin Xia 0001 Monash University 26 5 5.01 22 5 4.1476621211
47 Sebastián Uchitel University of Buenos Aires 26 4 6.56 2 6 0.361112113133222111
50 Chang Xu 0001 Nanjing University 25 5 4.77 11 6 1.7525225131121
50 Yingfei Xiong 0001 Peking University 25 6 4.14 16 6 2.6924343231111
50 Danny Dig University of Colorado Boulder 25 4 5.73 5 5 1.04121142421322
50 Christian Bird University of California 25 4 6.01 4 4 0.841111333611211
50 Shahar Maoz Tel Aviv University 25 2 9.92 10 2 3.5712322322311111
55 Hong Mei Peking University 24 6 4.40 33123144111
55 John C. Grundy Monash University 24 4 6.26 5 5 0.933222112321122
55 Miryung Kim Univ. of California - Los Angeles 24 4 6.06 10 4 2.3314311221222111
55 Rocco Oliveto University of Molise 24 6 4.00 5 7 0.76212442621
55 Martin P. Robillard McGill University 24 2 10.11 2 2 1.3311211131221211112
55 Nachiappan Nagappan Microsoft Research 24 4 5.94 5 6 0.892122221212412
55 Sam Malek Univ. of California - Irvine 24 3 7.11 15 3 4.5914343311121
55 Ahmed E. Hassan Queen’s University 24 4 5.59 4 6 0.701111442222211
63 Westley Weimer University of Michigan 23 4 6.37 8 5 1.60322111143221
63 Jeff Kramer Imperial College London 23 3 6.70 111111212111
63 Junjie Chen 0003 Tianjin University 23 7 3.02 20 6 2.606652121
63 David Notkin University of Washington 23 3 6.78 112111111112
63 Dan Hao 0001 Peking University 23 6 3.53 13 6 1.991343261111
63 William G. J. Halfond University of Southern California 23 4 6.53 6 4 1.442121133411121
63 Mira Mezini TU Darmstadt 23 4 5.19 6 6 0.9021124321112111
63 Hoan Anh Nguyen 23 4 4.68 4 6 0.6711211442223
63 Wing Kwong Chan City University of Hong Kong 23 3 6.96 5 3 1.793111214325
72 Xiaoyin Wang University of Texas at San Antonio 22 5 4.99 12 4 3.2012333112321
72 Satish Chandra 0001 Facebook 22 4 5.04 6 5 1.24231223122112
72 Arie van Deursen TU Delft 22 3 6.13 10 4 2.38232312221211
75 Milos Gligoric 21 4 4.74 11 4 2.522333112321
75 Martin C. Rinard Massachusetts Institute of Technology 21 3 6.30 6 4 1.7112123311211111
75 Yepang Liu 0001 Southern University of Science and Technology 21 5 4.05 15 5 2.625432142
75 Tung Thanh Nguyen 21 4 4.69 24132423
75 Richard N. Taylor Univ. of California - Irvine 21 3 6.58 1 7 0.141111211112
75 James D. Herbsleb Carnegie Mellon University 21 3 7.00 2 3 0.67112222121115
75 Jin Song Dong National University of Singapore 21 6 3.61 9 7 1.3133121314111
75 Xin Peng 0001 Fudan University 21 7 3.27 14 7 2.06154222122
75 Jane Cleland-Huang University of Notre Dame 21 4 4.64 7 5 1.40311213321211
75 Myra B. Cohen Iowa State University 21 4 5.58 5 4 1.32131132211111111
85 Chris Parnin North Carolina State University 20 4 5.19 15 4 3.951632311111
85 Adam A. Porter University of Maryland - College Park 20 4 5.00 1112112218
85 Yuriy Brun University of Massachusetts Amherst 20 4 5.33 6 3 2.122112442211
85 Christoph Treude University of Adelaide 20 4 4.26 13 6 2.255521211111
85 Lin Tan 0001 Purdue University 20 4 4.12 8 5 1.361412431211
85 Willem Visser Stellenbosch University 20 4 4.82 4 5 0.761122211211213
85 Eric Bodden Paderborn University 20 4 4.71 7 4 1.36112122331112
85 Vladimir Filkov Univ. of California - Davis 20 4 4.49 8 4 1.831221213311111
85 Steven P. Reiss Brown University 20 2 8.70 4 2 1.78132111112115
85 Victor R. Basili University of Maryland 20 2 6.25 111116
95 Audris Mockus University of Tennessee 19 3 6.22 2 4 0.571122122111113
95 Frank Tip Northeastern University 19 4 4.40 2 5 0.40111212222212
95 Norbert Siegmund University of Leipzig 19 4 4.40 12 4 3.1323214511
95 Tegawendé F. Bissyandé University of Luxembourg 19 5 3.28 14 6 2.3613541221
95 Bogdan Vasilescu Carnegie Mellon University 19 4 4.10 16 4 3.56383212
95 Earl T. Barr University College London 19 4 4.75 7 4 1.88241341112
95 Yves Le Traon University of Luxembourg 19 5 3.25 11 6 1.7525222411
95 David S. Rosenblum George Mason University 19 3 5.73 4 4 0.84112211236
95 Qingwei Lin 19 12 1.67 17 12 1.40663211
95 Emerson R. Murphy-Hill North Carolina State University 19 4 4.06 7 6 1.14122213221111
105 Xiaoxing Ma Nanjing University 18 5 3.21 10 6 1.69242231211
105 Baowen Xu Nanjing University 18 6 2.97 10 6 1.542322162
105 Shiva Nejati University of Luxembourg 18 4 4.05 9 5 1.983231312111
105 Xiaofei Xie Nanyang Technological University 18 8 2.38 16 8 2.03276111
105 Cristian Cadar Imperial College London 18 3 5.31 10 4 2.86322312212
110 Harald C. Gall University of Zurich 17 5 3.52 8 4 1.682312221121
110 Marsha Chechik University of Toronto 17 3 5.07 3 4 0.82111111111112112
110 William G. Griswold Univ. of California - San Diego 17 3 5.07 1 3 0.33111111110
110 Julian Dolby 17 4 3.80 1 5 0.20122332121
110 Anders Møller Aarhus University 17 3 4.90 8 4 2.212122121222
110 Li Li 0029 Monash University 17 5 2.83 14 6 2.33163421
110 David Garlan Carnegie Mellon University 17 3 4.82 2 5 0.401111111217
110 Lingxiao Jiang Singapore Management University 17 3 5.07 2 3 0.67111332231
110 Jian Lu 0001 Nanjing University 17 5 3.01 8 6 1.33422312111
110 Jeff Huang 0001 Texas A&M University 17 3 5.25 10 3 3.12222312311
110 Patrice Godefroid 17 3 5.25 6 3 1.7122211211113
110 Carlo Ghezzi Polytechnic University of Milan 17 4 4.66 2 4 0.50111111231212
110 Yuanfang Cai Drexel University 17 5 3.52 4 6 0.62121311122111
110 Charles Zhang HKUST 17 3 4.98 7 6 1.442411212211
110 Yunhui Zheng 17 5 3.57 8 5 1.45121431212
110 Hridesh Rajan Iowa State University 17 4 4.82 10 3 3.2324132212
110 Alex Groce Northern Arizona University 17 4 4.38 1 3 0.33141211121111
110 Barry W. Boehm University of Southern California 17 3 5.07 2 4 0.442111138
110 Rick Kazman University of Hawaii at Manoa 17 5 3.71 4 6 0.67121211111123
129 Chengnian Sun University of Waterloo 16 5 3.20 4 7 0.5711113123111
129 Alexander Egyed JKU Linz 16 2 6.10 3 4 0.691111121111113
129 Don S. Batory University of Texas at Austin 16 3 4.13 2 5 0.401111112111113
129 Barbara G. Ryder Virginia Tech 16 3 4.83 1121311114
129 Andrian Marcus University of Texas at Dallas 16 6 3.01 5 8 0.68112121211112
129 Yan Cai 0001 Chinese Academy of Sciences 16 4 3.82 9 5 1.76211144111
129 Ting Su 0001 East China Normal University 16 7 2.23 15 7 2.05225511
129 August Shi 16 5 3.51 11 5 2.4723312221
129 Alberto Bacchelli University of Zurich 16 4 4.00 11 4 2.6321352111
129 Chunyang Chen Monash University 16 5 2.84 14 6 2.33442312
129 Gail E. Kaiser Columbia University 16 3 5.12 2 5 0.401111211116
129 André van der Hoek Univ. of California - Irvine 16 3 5.22 1 3 0.33122111211211
129 Grigore Rosu Univ. of Illinois at Urbana-Champaign 16 3 4.83 1122121114
142 Yannis Smaragdakis University of Athens 15 3 4.59 5 4 1.3911321111121
142 George S. Avrunin University of Massachusetts Amherst 15 3 4.69 14217
142 Shriram Krishnamurthi Brown University 15 4 4.25 1 4 0.2511115132
142 Saurabh Sinha Univ. of Illinois at Urbana-Champaign 15 4 3.52 1 6 0.171113122112
142 Leonardo Mariani 15 3 3.95 5 4 1.321211131311
142 Rongxin Wu 15 6 2.71 10 6 1.5922421112
142 Kevin J. Sullivan University of Virginia 15 2 5.00 1112118
142 Anita Sarma Oregon State University 15 4 2.96 8 7 1.1924111111111
142 Andy Podgurski Case Western Reserve University 15 3 4.59 1 3 0.33111111117
142 Anh Tuan Nguyen 0001 Iowa State University 15 5 3.04 3 6 0.5021132321
142 Leon J. Osterweil University of Massachusetts Amherst 15 3 4.59 2211
142 Mary Lou Soffa University of Virginia 15 3 4.79 3 3 0.751111111116
142 Bashar Nuseibeh Open University UK 15 4 3.08 5 6 0.7611312111112
142 Yinxing Xue USTC 15 6 2.45 9 6 1.5023112321
142 Jianjun Zhao 15 6 2.25 8 8 0.9713312212
142 Lori L. Pollock University of Delaware 15 3 4.09 2 4 0.4411111111214
158 Thorsten Berger Chalmers/GU 14 5 3.06 9 5 2.081232111111
158 Somesh Jha University of Wisconsin - Madison 14 4 3.50 2 5 0.401111121114
158 James Clause University of Delaware 14 3 4.26 21411131
158 Jacques Klein 14 6 2.28 10 6 1.591323122
158 Marcel Böhme Max Planck Society 14 3 3.92 9 4 2.191512122
158 Axel van Lamsweerde Université catholique de Louvain 14 2 5.60 1 3 0.331111111223
158 Mike Papadakis 14 5 2.84 9 5 1.801232132
158 Suresh Thummalapenta 14 4 3.50 3 5 0.641111311311
158 James A. Jones Univ. of California - Irvine 14 3 4.36 2 4 0.571111111211111
158 Atanas Rountev Ohio State University 14 3 4.56 2 2 0.8011211221111
158 Tingting Yu University of Cincinnati 14 4 3.02 10 5 1.8521412211
158 Andrea Arcuri Westerdals 14 3 3.92 421322
158 Bihuan Chen 0001 Fudan University 14 6 2.58 11 6 1.92332321
158 Reid Holmes University of British Columbia 14 3 4.00 4 4 0.841111421111
172 Manu Sridharan Univ. of California - Riverside 13 4 3.07 5 4 1.1411111311111
172 Dirk Beyer 0001 LMU Munich 13 5 3.19 3 2 1.12122221111
172 Antonia Bertolino 13 4 3.93 4 4 0.9411111215
172 Elaine J. Weyuker AT&T Inc 13 2 5.12 2 5 0.401121116
172 Tao Xie 13 6 2.49 8 8 1.121132111111
172 Wei Yang 0013 University of Texas at Dallas 13 6 2.14 11 6 1.86522211
172 Thomas Fritz 0001 University of Zurich 13 4 3.38 2 3 0.671114321
172 Nikolai Tillmann 13 4 3.02 112131121
172 Joshua Garcia Univ. of California - Irvine 13 4 3.07 7 4 1.81111311131
172 Yun Lin 0001 National University of Singapore 13 6 2.09 10 6 1.5923122111
172 Xiapu Luo The Hong Kong Polytechnic University 13 7 1.97 13 7 1.976511
172 Shan Lu 0001 University of Chicago 13 5 2.86 8 5 1.73122121211
172 Yue Jia 0001 University College London 13 4 3.07 1 3 0.331432111
172 Thomas W. Reps University of Wisconsin - Madison 13 4 3.60 4 4 0.9411111116
172 Nazareno Aguirre 13 5 2.60 7 6 1.2632221111
172 Dewayne E. Perry University of Texas at Austin 13 3 4.69 11119
172 Margaret-Anne D. Storey University of Victoria 13 3 3.67 3 5 0.531211112112
172 Sukyoung Ryu KAIST 13 4 3.76 9 3 2.703321121
172 Mario Linares-Vásquez Universidad de los Andes 13 6 2.32 6 6 0.901113142
172 Jingling Xue UNSW 13 4 2.73 11 4 2.121144111
172 Annibale Panichella TU Delft 13 5 2.56 8 5 1.5613121212
193 Siau-Cheng Khoo National University of Singapore 12 4 3.20 41121111
193 Yanyan Jiang 0001 Nanjing University 12 5 2.18 8 6 1.422222211
193 Julia Rubin University of British Columbia 12 4 3.27 5 4 1.251133211
193 Minghui Zhou Peking University 12 3 3.89 7 4 1.96132111111
193 Mukul R. Prasad 12 3 3.60 6 3 1.8022112121
193 Claire Le Goues Carnegie Mellon University 12 4 2.88 7 4 1.63211211211
193 Yulei Sui University of Technology Sydney 12 4 2.48 10 5 1.892322111
193 Mark Grechanik University of Illinois at Chicago 12 4 3.20 12221121
193 Guoqing Harry Xu Univ. of California - Los Angeles 12 3 3.51 3 5 0.562131122
193 Joanne M. Atlee University of Waterloo 12 2 4.11 1 3 0.3311211114
193 Antonio Filieri Imperial College London 12 3 3.43 2 4 0.57114312
193 Baishakhi Ray Columbia University 12 4 2.53 7 5 1.4013212111
193 Shuvendu K. Lahiri Microsoft Research 12 4 2.67 7 4 1.5812221211
193 Wenyun Zhao Fudan University 12 6 1.95 5 7 0.7411122122
193 Robert J. Walker University of Calgary 12 2 4.50 1211214
193 Rajiv Gupta 0001 Univ. of California - Riverside 12 3 3.79 1 4 0.2512122112
193 Gruia-Catalin Roman University of New Mexico 12 2 5.14 129
193 Laurie A. Williams North Carolina State University 12 4 3.27 4 4 1.001111121211
193 Brad A. Myers Carnegie Mellon University 12 3 3.51 2 5 0.40111111321
193 Lei Ma 0003 University of Alberta 12 8 1.52 10 8 1.2023412
193 Xinyu Wang 0001 Zhejiang University 12 6 2.03 7 6 1.1412132111
193 Marco Pistoia JPMorgan Chase 12 4 2.72 1 6 0.1711122122
193 Xusheng Xiao Case Western Reserve University 12 5 2.22 5 5 0.832311221
193 Andrea De Lucia University of Salerno 12 6 2.12 1 7 0.14121521
193 John G. Hosking University of Auckland 12 3 3.51 111221121
193 Ralph E. Johnson University of Illinois 12 4 3.27 22311111
193 Michele Lanza Università della Svizzera italiana 12 6 2.22 7 7 1.112121111111
220 Peter C. Rigby Concordia University 11 2 4.48 6 2 2.5711311211
220 Hakjoo Oh Korea University 11 3 3.36 11 3 3.3623231
220 Haoyu Wang 0001 Beijing University of Posts and Telecommunications 11 7 1.68 11 7 1.683512
220 Bertrand Meyer 0001 Schaffhausen Institute of Technology 11 4 3.03 211111211
220 Maria Christakis Max Planck Society 11 3 3.56 9 3 2.79141122
220 Víctor A. Braberman University of Buenos Aires 11 4 2.63 2 6 0.36111121211
220 Zhenyu Chen 0001 Nanjing University 11 6 1.89 7 6 1.11412211
220 Shiqing Ma Rutgers University 11 7 1.68 10 6 1.54141311
220 Hamid Bagheri University of Nebraska 11 4 2.57 7 5 1.4822331
220 Phil McMinn University of Sheffield 11 4 2.52 4 4 1.002221121
220 Alexander L. Wolf Univ. of California - Santa Cruz 11 3 3.78 11117
220 Wensheng Dou Chinese Academy of Sciences 11 6 1.75 9 7 1.351322111
220 Jun Wei 0001 Chinese Academy of Sciences 11 6 1.73 8 8 1.121312121
220 Marcelo d'Amorim UFPE 11 4 2.47 5 4 1.321222211
220 Weiyi Shang Concordia University 11 4 2.75 7 3 2.041331111
220 Bram Adams Queen’s University 11 4 2.52 4 4 1.14111111122
220 Georgios Gousios TU Delft 11 4 2.57 7 5 1.483211121
220 Yu Jiang 0001 Tsinghua University 11 6 1.83 9 6 1.4512332
220 Yingnong Dang 11 12 1.01 8 12 0.6214213
220 Moonzoo Kim KAIST 11 5 2.42 2 3 0.6711213111
220 Marcelo F. Frias University of Buenos Aires 11 5 2.02 6 6 1.033211211
220 Cindy Rubio-González Univ. of California - Davis 11 3 2.81 8 3 2.2912221111
220 Dinghao Wu Pennsylvania State University 11 5 2.12 6 6 1.062131211
220 Jonathan Bell 0001 Northeastern University 11 4 2.63 7 4 1.5812131111
220 Michael W. Whalen University of Minnesota 11 5 2.57 3 5 0.56211112111
220 Brendan Murphy 11 4 2.47 213122
220 Qing Wang 0001 Chinese Academy of Sciences 11 6 1.95 9 6 1.56151211
220 Karthik Pattabiraman University of British Columbia 11 3 3.56 4 3 1.331121231
220 Hao Zhong Shanghai Jiao Tong University 11 4 2.69 4 4 1.23111122111
220 Mats Per Erik Heimdahl University of Minnesota 11 3 3.10 1 5 0.2011111111111
220 Jon Whittle Monash University 11 3 2.95 1 7 0.1412121112
220 Paul Grünbacher JKU Linz 11 4 3.10 2 4 0.5023111111
252 Hung Viet Nguyen 10 4 2.38 13123
252 Ranjit Jhala Univ. of California - San Diego 10 4 1.89 3 8 0.3311112121
252 Rupak Majumdar Max Planck Society 10 3 3.57 14221
252 Omer Tripp 10 3 2.94 1 4 0.25121222
252 Giovanni Denaro 10 3 2.94 4 4 1.141123111
252 Federica Sarro University College London 10 4 2.17 5 4 1.00221311
252 Jeff Magee Imperial College London 10 4 2.33 11121112
252 Markus Kusano 10 3 2.78 3 3 0.6412331
252 Shin Yoo KAIST 10 4 2.56 5 4 1.32111211111
252 Alessandro F. Garcia 0001 PUC-RIO 10 8 1.22 3 9 0.35111112111
252 Yiling Lou 10 7 1.56 8 7 1.2533112
252 Bing Xie Peking University 10 6 1.69 4 5 0.76222121
252 Suzette Person 10 4 2.33 221221
252 Emmanuel Letier University College London 10 2 3.85 1 2 0.5011112121
252 Kevin Moran George Mason University 10 5 1.79 8 6 1.311312111
252 Ming Wen 0001 Huazhong University of Science and Technology 10 7 1.49 9 7 1.2713321
252 Michael Eichberg 10 5 1.96 5 5 0.8621111211
252 Aarti Gupta Princeton University 10 4 2.22 1111213
252 Bo Qiao 10 14 0.72 10 14 0.72631
252 Xuandong Li Nanjing University 10 5 1.69 7 5 1.11113221
252 Wolfgang Emmerich University College London 10 3 3.33 211123
252 Collin McMillan University of Notre Dame 10 4 2.27 4 4 1.1411211211
252 Zijiang Yang 10 4 2.50 6 4 1.50111322
252 Aleksandar Milicevic 10 4 2.27 3 4 0.641221211
252 Jia-Guang Sun 0001 Tsinghua University 10 6 1.69 8 6 1.311342
252 Wei Le Iowa State University 10 2 3.45 2 4 0.5722111111
252 Ben Liblit University of Wisconsin-Madison 10 4 2.94 2 4 0.50112111111
252 René Just University of Washington 10 5 1.89 6 4 1.161111222
252 Shin Hwei Tan 10 4 2.27 7 5 1.4411221111
252 Andrzej Wasowski IT University of Copenhagen 10 5 2.17 4 5 0.8422111111
252 Rachel Tzoref 10 3 2.94 3 2 0.90111211111
252 Daniel M. Germán University of Victoria 10 6 2.13 4 6 0.6712111211
252 Yijun Yu Open University UK 10 4 2.17 4 4 0.8912112111
252 Ivan Beschastnikh University of British Columbia 10 4 2.13 3 7 0.53123211
252 Rahul Gopinath CISPA Helmholtz Center for Information Security 10 4 2.27 5 3 1.141441
252 Guozhu Meng Chinese Academy of Sciences 10 8 1.37 9 8 1.2121421
252 Atif M. Memon University of Maryland - College Park 10 3 2.70 1121212
252 Julia L. Lawall LIP6 10 4 2.78 3 4 0.7512121111
252 Sai Zhang 10 3 2.94 1 6 0.17112312
252 Ji Wang 0001 National University of Defense Technology 10 5 1.89 8 6 1.42321211
252 Thomas Ball Microsoft Research 10 3 3.33 111223
252 Krzysztof Czarnecki University of Waterloo 10 4 2.22 2311111
294 Romain Robbes University of Chile 9 4 2.31 3 4 0.7512111111
294 Jian-Guang Lou 9 6 1.17 4 9 0.40221211
294 Gunter Saake University of Magdeburg 9 5 1.69 4 5 0.801122111
294 Peng Liu 0010 Purdue University 9 3 2.53 1 6 0.17132111
294 Laura K. Dillon Michigan State University 9 3 3.00 117
294 Yi Li 0008 Nanyang Technological University 9 4 1.76 7 6 1.26141111
294 Dave W. Binkley 9 4 1.88 2 4 0.442211111
294 Michael Hilton 9 5 1.84 6 4 1.29122121
294 Owolabi Legunsen Cornell University 9 5 1.88 6 4 1.291112121
294 Sasa Misailovic Univ. of Illinois at Urbana-Champaign 9 4 2.19 6 4 1.502121111
294 Yuetang Deng 9 7 1.45 5 8 0.62111111111
294 Katsuro Inoue Osaka University 9 4 2.02 1 6 0.171111113
294 Valentin Wüstholz 9 3 2.89 8 3 2.56231111
294 Geguang Pu 9 7 1.23 8 8 1.05131211
294 Chunrong Fang Nanjing University 9 6 1.53 7 6 1.114311
294 Chanchal Kumar Roy University of Saskatchewan 9 4 2.53 6 4 1.712223
294 ThanhVu Nguyen George Mason University 9 4 2.02 5 4 1.09321111
294 Tse-Hsun (Peter) Chen Concordia University 9 4 2.13 7 4 1.8142111
294 Janet Siegmund TU Chemnitz 9 5 1.76 5 5 1.00122121
294 Valerio Terragni 9 3 2.61 5 4 1.32211131
294 Thomas D. LaToza George Mason University 9 4 2.53 2 4 0.572211111
294 Kathryn T. Stolee North Carolina State University 9 3 3.00 4 2 1.6011111211
294 E. James Whitehead Jr. Univ. of California - Santa Cruz 9 4 2.02 1 7 0.1411111211
294 Shangwei Lin 0001 Nanyang Technological University 9 5 1.62 6 6 1.0311421
294 Shane McIntosh McGill University 9 4 1.93 2 4 0.50112311
294 Carlos Bernal-Cárdenas 9 6 1.47 6 6 0.921211121
294 Patrick Heymans 9 5 1.72 1 5 0.201113111
294 Yuming Zhou Nanjing University 9 7 1.33 7 7 1.0712222
294 Marvin V. Zelkowitz University of Maryland 9 2 3.52 1116
294 Daniela E. Damian University of Victoria 9 5 1.76 1 5 0.20112311
294 Alessandra Gorla IMDEA Software Institute 9 5 1.84 1 7 0.14112311
294 Fabio Palomba University of Salerno 9 6 1.65 5 4 1.04221211
294 Lawrence G. Votta 9 3 2.61 9
294 Michael R. Lyu Chinese University of Hong Kong 9 6 1.47 6 6 0.84123111
294 Iftekhar Ahmed 0001 Univ. of California - Irvine 9 4 2.02 6 4 1.382421
294 Rui Abreu 0001 Universidade de Lisboa 9 4 2.19 4 4 0.841121211
294 Qingkai Shi 9 6 1.80 9 6 1.80261
294 Margaret M. Burnett Oregon State University 9 6 1.47 3 8 0.3611111112
294 James H. Andrews University of Western Ontario 9 3 3.24 1122111
294 Christoph Csallner University of Texas at Arlington 9 3 2.61 2 5 0.40111111111
294 Matthew Staats 9 4 2.53 112212
294 David Lorge Parnas 9 2 4.50 9
294 Robert J. Hall 0001 AT&T Labs Research 9 1 8.10 11115
337 Sriram K. Rajamani Microsoft Research 8 4 1.94 1 3 0.331121111
337 Lars Grunske Humboldt University of Berlin 8 4 2.29 3 5 0.602111111
337 Ahmet Çelik 8 4 1.88 7 4 1.6311321
337 Fan Long University of Toronto 8 4 1.88 2 4 0.50212111
337 Michal Young University of Oregon 8 2 2.78 116
337 Franjo Ivancic 8 5 1.45 2 7 0.291111121
337 Henry Hoffmann University of Chicago 8 4 2.13 3 4 0.692111111
337 Benoit Baudry KTH Royal Institute of Technology 8 3 2.21 1 3 0.33113111
337 James C. Corbett 8 2 3.20 8
337 Sunny Wong 8 4 2.06 3 5 0.64111221
337 Murali Krishna Ramanathan 8 3 3.05 32111
337 Lihua Xu 8 8 1.08 8 8 1.081241
337 Wing Lam George Mason University 8 6 1.36 6 5 1.12122111
337 Christian Lengauer University of Passau 8 4 1.88 1211111
337 Mauricio Finavaro Aniche TU Delft 8 5 1.64 8 5 1.6411141
337 Juan Zhai 8 7 1.14 7 7 1.00131111
337 Chuan Luo 8 12 0.74 7 12 0.604211
337 Sumit Gulwani Microsoft Research 8 4 1.52 2 7 0.291121111
337 Alexander Aiken Stanford University 8 3 2.37 1121111
337 Lu Xiao 0001 Stevens Institute of Technology 8 5 1.49 3 7 0.471112111
337 Andrea Stocco 0001 Università della Svizzera italiana 8 4 2.06 7 4 1.753221
337 Caitlin Sadowski Google 8 6 1.33 2 6 0.31112211
337 Francisco Servant Virginia Tech 8 2 2.67 7 2 2.23113111
337 Timo Kehrer Humboldt University of Berlin 8 4 2.06 4 4 0.941121111
337 Na Meng 0001 Virginia Tech 8 4 1.78 6 4 1.24221111
337 Antonio Carzaniga Università della Svizzera italiana 8 4 2.13 11111111
337 Martin Monperrus KTH Royal Institute of Technology 8 3 2.13 2 6 0.3111411
337 Ken-ichi Matsumoto 8 4 2.00 1 4 0.2511114
337 Shinji Kusumoto Osaka University 8 4 1.83 2 3 0.67111113
337 Shay Artzi 8 4 1.60 112121
337 Phyllis G. Frankl New York University 8 2 2.78 116
337 Philip J. Guo Univ. of California - San Diego 8 4 1.94 111122
337 Lin Chen 0015 Nanjing University 8 6 1.31 7 6 1.1114111
337 Reyhaneh Jabbarvand Behrouz Univ. of Illinois at Urbana-Champaign 8 3 2.37 7 3 2.1312221
337 Yangfan Zhou Fudan University 8 10 0.78 6 14 0.512312
337 Weihang Wang University at Buffalo 8 6 1.42 6 5 1.0912122
337 Nikolaos Tsantalis Concordia University 8 3 2.21 4 4 1.07111122
337 William N. Sumner Simon Fraser University 8 4 2.46 1223
337 Anthony Finkelstein University College London 8 3 2.67 111122
337 Dongsun Kim 0001 Kyungpook National University 8 6 1.25 7 7 1.0413211
337 Duy Cu Nguyen 8 3 2.37 2222
337 Steve M. Easterbrook University of Toronto 8 2 2.37 111122
337 Ting Liu 0002 Xi'an Jiaotong University 8 6 1.21 8 6 1.211151
337 Iulian Neamtiu NJIT 8 3 2.46 3 3 0.9011111111
337 Jonathan Aldrich Carnegie Mellon University 8 4 1.94 1 5 0.2011111111
337 Sen Chen 8 8 1.03 8 8 1.031223
337 Mary Shaw Carnegie Mellon University 8 3 2.67 112112
337 Michele Tufano 8 6 1.36 5 5 0.861111121
337 Debra J. Richardson Univ. of California - Irvine 8 2 3.20 8
337 Zhenbang Chen 8 6 1.33 7 6 1.143221
337 Eran Yahav Technion 8 4 1.83 1 3 0.331111121
337 Thomas J. Ostrand 8 4 2.21 2 5 0.401111112
337 Thomas R. Gross ETH Zurich 8 2 2.78 11411
337 Domenico Bianculli University of Lugano 8 4 1.94 5 4 1.192111111
337 Hung Viet Pham 8 4 1.68 3 6 0.502123
337 Stefan Wagner 0001 University of Stuttgart 8 6 1.45 1 4 0.2511111111
337 Cyrille Artho KTH Royal Institute of Technology 8 6 1.49 131111
337 Bernd Fischer 0002 Stellenbosch University 8 2 2.91 1 5 0.201111112
337 Zhen Ming (Jack) Jiang York University 8 4 1.88 4 3 1.2311111111
337 Kokichi Futatsugi 8 2 3.37 17
397 Noam Rinetzky Tel Aviv University 7 4 1.88 4 4 1.23121111
397 Shmuel Sagiv Tel Aviv University 7 4 1.58 11113
397 Yu Feng Univ. of California - Santa Barbara 7 4 1.75 6 4 1.5012211
397 Isil Dillig University of Texas at Austin 7 5 1.53 6 5 1.2921121
397 Chun Cao Nanjing University 7 6 1.11 5 6 0.7612211
397 Patrizio Pelliccione University of L'Aquila 7 5 1.40 1 5 0.201111111
397 Tianyi Zhang 0001 Purdue University 7 4 1.69 6 4 1.4422111
397 Lili Wei 7 4 1.63 6 4 1.33111211
397 Caroline Lemieux 7 4 1.69 5 4 1.041222
397 Jafar M. Al-Kofahi 7 5 1.36 1213
397 Barthélémy Dagenais 7 2 2.45 2221
397 Yao Guo 0001 Peking University 7 5 1.29 5 6 0.81112111
397 Jens Krinke University College London 7 5 1.48 3 5 0.64121111
397 Bin Liang 0002 Renmin University of China 7 6 1.17 4 6 0.6712121
397 Cemal Yilmaz Sabancı University 7 3 1.81 111112
397 He Zhang 0001 Nanjing University 7 5 1.40 4 5 0.8421121
397 Luciano Baresi Politecnico di Milano 7 3 1.81 1 3 0.33112111
397 Vincent Hellendoorn Carnegie Mellon University 7 4 1.75 6 4 1.64111121
397 Miltiadis Allamanis 7 4 1.75 4 4 0.8911212
397 Jonathan de Halleux Microsoft Research 7 5 1.58 111121
397 Fabrizio Pastore 7 4 1.69 1 3 0.331321
397 Shanshan Li 7 7 1.04 7 7 1.04322
397 Emina Torlak University of Washington 7 3 2.23 2 3 0.67111112
397 Benjamin Livshits Imperial College 7 3 2.13 2 4 0.4421112
397 Eunsuk Kang University of California 7 4 1.69 3 4 0.6412211
397 Jooyong Yi UNIST 7 4 1.69 3 5 0.56121111
397 Jinqiu Yang 0001 Concordia University 7 4 1.96 6 4 1.6421211
397 Richard G. Hamlet Portland State University 7 2 3.27 7
397 Feng Qin Ohio State University 7 6 1.20 4 6 0.67111121
397 Giordano Tamburrelli 7 3 2.04 1111111
397 Minxue Pan Nanjing University 7 7 1.00 7 7 1.001321
397 Cristina V. Lopes Univ. of California - Irvine 7 5 1.63 2 6 0.31111112
397 Muhammad Ali Babar University of Adelaide 7 5 1.44 4 5 0.841111111
397 Foyzur Rahman 7 4 1.75 12121
397 Nishant Sinha 0001 IBM Research 7 3 2.23 21211
397 Haoxiang Lin 7 7 1.02 4 6 0.6413111
397 Pu Zhao 7 14 0.49 7 14 0.4934
397 Yu Kang 7 12 0.57 6 13 0.44151
397 Zhangwei Xu 7 12 0.54 7 12 0.54151
397 Axel Legay Université Catholique de Louvain 7 5 1.44 1 3 0.331111111
397 Xiaohong Li 0001 Tianjin University 7 6 1.11 5 7 0.7431111
397 Ding Li 0001 Peking University 7 4 1.81 1 3 0.3311122
397 Aditya V. Nori Microsoft Research 7 4 1.81 121111
397 Shengchao Qin Teesside University 7 6 1.02 5 8 0.6613111
397 Jie Zhang 0050 University College London 7 5 1.36 4 4 1.0021121
397 Yunho Kim 7 4 1.58 2 3 0.671111111
397 Michael Reif 7 5 1.17 5 5 0.76111211
397 Rahul Purandare IIIT Delhi 7 4 1.81 2 4 0.50111112
397 Kathi Fisler Worcester Polytechnic Institute 7 4 1.88 11122
397 Sebastiano Panichella 7 6 1.09 3 7 0.4312211
397 Minhui Xue University of Adelaide 7 8 0.86 7 8 0.8611131
397 Maxime Cordy 7 5 1.32 3 5 0.5612121
397 Pierre-Yves Schobbens University of Namur 7 5 1.44 1111111
397 T. H. Tse University of Hong Kong 7 3 1.96 1321
397 Nan Niu University of Cincinnati 7 4 1.53 5 5 1.004111
397 Liming Zhu 7 7 1.17 4 7 0.574111
397 Zan Wang 7 6 1.17 7 6 1.173211
397 Mehrdad Sabetzadeh 7 5 1.63 3 5 0.691111111
397 Andrea Mattavelli 7 4 1.63 3 4 0.7512121
397 Brian Demsky Univ. of California - Irvine 7 2 1.96 2 4 0.501111111
397 Jan Oliver Ringert 7 3 2.58 2 3 0.671111111
397 Dalal Alrajeh Imperial College London 7 4 1.69 2 3 0.67112111
397 Lingling Fan 7 7 0.92 7 7 0.921213
397 Tohru Kikuno 7 4 1.69 115
397 Emily Hill 0001 Drew University 7 3 2.04 111121
397 Christopher Vendome 7 6 1.29 4 6 0.621321
397 Nancy G. Leveson MIT 7 2 3.27 115
397 Kivanç Muslu 7 4 1.58 1 4 0.2512211
397 Michael Vierhauser Johannes Kepler University Linz 7 5 1.36 4 6 0.7021121
397 Shanping Li Zhejiang University 7 6 1.32 5 6 0.932122
397 Rohan Padhye Carnegie Mellon University 7 4 1.88 6 4 1.57121111
397 Dimitra Giannakopoulou 7 3 2.04 1111111
397 Neeraj Suri TU Darmstadt 7 4 1.63 3 4 0.7512112
397 Steven J. Zeil Old Dominion University 7 2 3.06 7
397 Richard A. Kemmerer Univ. of California - Santa Barbara 7 2 2.58 115
397 Derek Rayside University of Waterloo 7 4 1.53 1111111
397 Yvan Labiche 7 3 2.23 121111
397 Volker Gruhn Universität Duisburg-Essen 7 2 2.45 11113
397 Betty H. C. Cheng Michigan State University 7 2 3.27 115
397 Brian Robinson 7 4 1.88 11212
397 Rick Rabiser JKU Linz 7 4 1.75 2 4 0.5022111
397 Walt Melo 7 4 1.75 7
397 Jianmei Guo Alibaba Group 7 5 1.40 3 5 0.6421211
397 John Mylopoulos University of Toronto 7 3 2.23 1114
397 Walter F. Tichy Karlsruhe Institute of Technology 7 2 3.50 16
397 Colin Potts Georgia Institute of Technology 7 2 2.72 7
397 D. Ross Jeffery University of New South Wales 7 4 1.69 111112
484 Gleb Naumovich 6 2 2.40 114
484 Nicolás Rosner 6 5 1.09 3 5 0.5611121
484 Aditya Kanade IISc Bangalore 6 4 1.80 1 2 0.5012111
484 Zhaogui Xu 6 5 1.06 4 6 0.641212
484 Paola Inverardi University of L'Aquila 6 4 1.71 2112
484 Mohamed Almorsy Deakin University 6 4 1.57 2 5 0.4021111
484 Mayur Naik University of Pennsylvania 6 4 1.38 1 6 0.1712111
484 Diptikalyan Saha 6 4 1.44 2 4 0.44111111
484 Sorin Lerner Univ. of California - San Diego 6 3 1.71 2 4 0.501113
484 David F. Redmiles Univ. of California - Irvine 6 3 2.00 213
484 Laura Moreno 6 7 0.90 3 7 0.4111121
484 Yixue Zhao 6 4 1.20 5 4 1.0011211
484 Yu Lin Australian National University 6 4 1.64 21111
484 Jianjun Huang 0001 Renmin University of China 6 5 1.16 3 5 0.5611121
484 Gang Huang 0001 Peking University 6 6 0.90 3 7 0.4511121
484 Diego Garbervetsky University of Buenos Aires 6 4 1.29 4 5 0.801311
484 Xin Huang 6 5 1.29 5 5 1.003111
484 Shengjian Guo 6 4 1.44 4 4 0.9412111
484 Mehdi Mirakhorli Rochester Institute of Technology 6 5 1.09 4 5 0.73111111
484 Jaechang Nam 6 3 1.89 1 3 0.331221
484 David C. Shepherd 6 6 0.97 1 7 0.1411211
484 Jürgen Cito TU Wien 6 4 1.50 4 4 1.0011211
484 Martin Schäf 6 4 1.24 4 4 0.762211
484 Song Wang 0009 York University 6 4 1.44 2 4 0.441131
484 Ben Hermann 6 4 1.33 2 5 0.4011121
484 Jens Palsberg Univ. of California - Los Angeles 6 3 2.00 3 3 0.9011112
484 Jeff H. Perkins 6 4 1.38 11211
484 Prateek Saxena National University of Singapore 6 4 1.38 3 4 0.692121
484 Jeffrey C. Carver The University of Alabama 6 4 1.64 2 2 0.80111111
484 Farnaz Behrang 6 2 2.12 3 2 1.50111111
484 Jürgen Dingel Queen’s University 6 2 2.57 2 2 0.8011211
484 Stefan Winter 0001 TU Darmstadt 6 4 1.44 3 4 0.82111111
484 Hui Liu 0003 Beijing Institute of Technology 6 4 1.57 5 3 1.3911211
484 Gerhard Fischer University of Colorado 6 2 2.40 15
484 Denae Ford 6 4 1.33 4 4 1.07312
484 Zhenpeng Chen 6 6 0.95 6 6 0.95321
484 Xuanzhe Liu Peking University 6 7 0.88 5 7 0.763111
484 Robyn R. Lutz Iowa State University 6 3 1.57 2 5 0.4011112
484 Stephan Diehl 0001 University of Trier 6 2 2.57 1 2 0.5012111
484 Hadi Hemmati University of Manitoba 6 4 1.57 3 3 0.9011121
484 Yuting Chen Shanghai Jiao Tong University 6 4 1.33 2 6 0.3311121
484 Jiajun Jiang 6 5 0.95 6 5 0.952121
484 Feng Gao 6 12 0.47 6 12 0.47141
484 Yi Li 6 3 1.80 6 3 1.80321
484 Yingjun Lyu 6 4 1.57 4 4 1.0712111
484 Jian Zhang 0001 Chinese Academy of Science 6 6 1.16 3 6 0.4721111
484 Jifeng Xuan Wuhan University 6 4 1.38 3 4 0.64111111
484 Chungha Sung 6 4 1.64 5 4 1.3912111
484 Alexander Pretschner TU Munich 6 4 1.29 4 4 1.0021111
484 Gerardo Canfora University of Sannio 6 6 1.06 11211
484 Pinjia He 6 4 1.38 5 4 1.2512111
484 Fang Yu 6 4 1.33 2 6 0.3621111
484 Xiangyu Zhang 6 6 0.90 5 6 0.69321
484 Martina Maggio Saarland University 6 4 1.80 2 3 0.6711121
484 Adam Kiezun MIT Computer Science and Artificial Intelligence Laboratory 6 4 1.20 213
484 Gul A. Agha Univ. of Illinois at Urbana-Champaign 6 2 2.12 21111
484 Vinod Ganapathy IISc Bangalore 6 4 1.50 1 3 0.33111111
484 Liang Gong 6 4 1.64 3111
484 Yonghwi Kwon 0001 University of Virginia 6 6 1.03 4 6 0.6211211
484 Patrick Eugster Università della Svizzera italiana 6 5 1.16 1 10 0.1012111
484 Yu David Liu Binghamton University 6 4 1.50 4 5 0.84111111
484 Alex Gyori 6 4 1.44 2 4 0.5011211
484 Thomas Thüm TU Braunschweig 6 5 1.24 3 5 0.5611121
484 Kurt Schneider University of Hannover 6 3 1.89 111111
484 Davood Mazinanian 6 3 1.71 4 4 1.0012111
484 Kui Liu 0001 Nanjing University of Aeronautics and Astronautics 6 7 0.90 6 7 0.9033
484 Martin Pinzger 0001 University of Klagenfurt 6 3 1.80 1 4 0.25111111
484 Claudio Menghi 6 4 1.29 6 4 1.29132
484 Igor Steinmacher Northern Arizona University 6 6 1.03 5 6 0.812121
484 Mark Gabel 6 2 2.25 123
484 Yuekang Li 6 8 0.75 6 8 0.75231
484 Hongxu Chen 6 8 0.73 5 9 0.57321
484 Anil Koyuncu 6 7 0.86 6 7 0.86231
484 Domenico Cotroneo University of Naples Federico II 6 4 1.38 1 5 0.201212
484 Mohammad Amin Alipour University of Houston 6 4 1.38 1 3 0.331311
484 Pierluigi San Pietro 6 3 1.71 1113
484 Shi Han 6 5 1.06 4 6 0.6412111
484 Sergey Mechtaev University College London 6 4 1.57 4 4 0.942211
484 Sang Kil Cha KAIST 6 4 1.38 4 4 0.9421111
484 T. S. E. Maibaum McMaster University 6 2 3.00 6
484 Neelam Gupta 6 3 2.00 11112
484 Robby Kansas State University 6 4 1.24 11112
484 Qingzhou Luo 6 4 1.57 11112
484 Neha Rungta 6 4 1.03 1 14 0.0711211
484 Andy Zaidman TU Delft 6 4 1.33 2 4 0.441122
484 Xiangke Liao 6 8 0.90 6 8 0.902121
484 Raffi Khatchadourian CUNY 6 3 1.80 5 2 1.561221
484 Qi Xin 6 2 2.25 6 2 2.251113
484 Raymond P. L. Buse 6 2 3.00 2112
484 Ajitha Rajan University of Edinburgh 6 4 1.71 2 4 0.50111111
484 Yuqun Zhang 6 5 1.12 6 5 1.121221
484 Yu Pei 0001 Hong Kong Polytechnic University 6 6 1.06 4 6 0.7312111
484 Daniel Kroening University of Oxford 6 4 1.12 3 6 0.47111111
484 Ana Milanova Rensselaer Polytechnic Institute 6 3 2.12 111111
484 Chen Fu 6 4 1.57 111111
484 Bogdan Korel Illinois Institute of Technology 6 2 2.57 114
484 Sungho Lee 6 3 2.00 5 3 1.6711211
484 Richard C. Holt University of Waterloo 6 2 2.40 114
484 Mohsen Vakilian 6 5 1.29 3111
484 Ming Gu 0001 Tsinghua University 6 6 1.09 4 6 0.7042
484 Peter Müller 0001 ETH Zurich 6 3 2.00 3 4 0.9011121
484 Jean-Marc Jézéquel IRISA Rennes 6 4 1.64 1 5 0.2012111
484 Houari A. Sahraoui University of Montreal 6 4 1.50 11112
484 T. C. Nicholas Graham Queen’s University 6 3 1.80 1113
484 Renzo Degiovanni 6 4 1.24 3 6 0.5612111
484 Daniel Port University of Hawaii 6 3 1.89 111111
484 Ciera Jaspan Google Inc. 6 6 1.00 2 8 0.25111111
484 Rudolf K. Keller Université de Montréal 6 4 1.57 114
484 David R. Barstow 6 2 3.00 6
484 Steven Arzt 6 3 1.38 2 2 0.8011121
484 Diomidis Spinellis AUEB 6 4 1.71 4 4 0.9421111
484 Paul Ralph Dalhousie University 6 3 2.40 2 3 0.6711112
484 Khaled El Emam 6 4 1.33 6
484 Robert DeLine Microsoft Research 6 3 1.89 11112
598 Tegan Brennan Stevens Institute of Technology 5 4 1.09 5 4 1.091121
598 Abdulbaki Aydin 5 5 1.09 2 6 0.3311111
598 Rajeev Alur University of Pennsylvania 5 3 1.67 14
598 Jacob Krüger Otto-von-Guericke-University 5 5 1.19 5 5 1.19221
598 Thomas Leich 5 5 0.96 3 5 0.6011111
598 Charles Sutton Google Research 5 4 1.47 1 5 0.201112
598 Yuanyuan Zhou 0001 Univ. of California - San Diego 5 4 1.19 1121
598 Sooyoung Cha 5 3 1.67 5 3 1.67212
598 Stefan Biffl TU Wien 5 3 1.92 113
598 Sriram Sankaranarayanan 0001 University of Colorado Boulder 5 4 1.14 1121
598 Jian Zhang 5 6 0.93 4 6 0.70311
598 Rohit Gheyi 5 5 0.83 4 6 0.64131
598 Ezekiel O. Soremekun 5 5 1.14 5 5 1.1432
598 Xia Li 5 4 0.93 5 4 0.931211
598 Zeyu Sun 5 5 0.89 5 5 0.8923
598 Muhammad Ali Gulzar Virginia Tech 5 5 0.93 4 5 0.80311
598 Saikat Dutta 0001 University of Illinois 5 4 1.19 5 4 1.192111
598 Ugo A. Buy University of Illinois at Chicago 5 4 1.47 14
598 Rishabh Singh 5 3 1.47 3 3 1.001211
598 Rahul Krishna 5 5 1.09 4 5 0.8011111
598 Wolfram Schulte Microsoft Research 5 4 1.25 1211
598 Jianwei Niu 0001 University of Texas at San Antonio 5 5 0.96 2 6 0.3611111
598 Tianyin Xu Univ. of Illinois at Urbana-Champaign 5 5 1.00 4 4 0.84311
598 Yousra Aafer University of Waterloo 5 7 0.69 5 7 0.69113
598 Bo Yang 5 6 0.86 4 7 0.592111
598 Zhi Jin Peking University 5 5 0.96 5 5 0.9614
598 Swarat Chaudhuri University of Texas at Austin 5 4 1.32 2 4 0.5711111
598 Giancarlo Succi 5 3 1.25 2 6 0.3611111
598 Heike Wehrheim Paderborn University 5 2 1.92 5 2 1.92212
598 Munawar Hafiz 5 4 1.25 221
598 Yunwen Ye 5 2 2.08 1112
598 Narayan Ramasubbu 5 2 2.08 11111
598 Rajesh Krishna Balan Singapore Management University 5 2 2.08 11111
598 Meiyappan Nagappan University of Waterloo 5 4 1.09 1 5 0.201211
598 Yunxin Liu 5 5 0.96 5 5 0.96311
598 Sanjit A. Seshia Univ. of California - Berkeley 5 4 1.32 1 3 0.3311111
598 Vijayaraghavan Murali 5 3 1.32 3 5 0.6411111
598 Yanjie Jiang 5 5 1.04 5 5 1.04311
598 Mingwei Liu 5 7 0.71 5 7 0.71122
598 Mangala Gowri Nanda 5 6 1.14 11111
598 Vibha Sinha 5 4 1.25 2111
598 Filippo Ricca 5 5 1.14 2 4 0.442111
598 James C. Davis 5 5 1.04 5 5 1.04131
598 Sebastian Proksch TU Delft 5 4 1.19 3 4 0.691211
598 Qi Xuan 5 4 1.04 2 6 0.361112
598 Juan P. Galeotti University of Buenos Aires 5 4 1.14 11111
598 Rance Cleaveland University of Maryland - College Park 5 2 1.67 11111
598 Yasutaka Kamei 5 6 0.86 1 6 0.171112
598 Jack C. Wileden University of Massachusetts Amherst 5 3 1.47 5
598 Guoxin Su 5 3 1.47 3 4 0.751211
598 Jamieson M. Cobleigh University of Massachusetts Amherst 5 3 1.56 1112
598 Shaohua Wang 0002 NJIT 5 3 1.56 5 3 1.56311
598 Lei Xu 0003 Nanjing University 5 7 0.66 3 7 0.38212
598 Alastair F. Donaldson Imperial College London 5 4 1.25 3 4 0.691211
598 Damien Octeau 5 5 0.89 1 5 0.20122
598 Jun Yan 0009 Chinese Academy of Sciences 5 6 0.86 3 6 0.472111
598 Zhen Dong 5 4 1.09 5 4 1.09212
598 Saswat Anand 5 3 1.56 11111
598 Zhiwu Xu 0001 Shenzhen University 5 7 0.69 5 7 0.6923
598 Robert Balzer 5 2 1.92 5
598 Elmar Jürgens CQSE GmbH 5 6 0.83 1 5 0.2011111
598 Hyunsook Do University of North Texas 5 3 1.79 1 3 0.331121
598 Shin Hong 5 5 1.04 1 3 0.33122
598 Dawn Song University of California 5 4 1.14 2 6 0.3611111
598 Andreas Stahlbauer 5 5 1.19 2 3 0.6711111
598 Dawei Qi 5 4 1.39 2111
598 Jacob Burnim University of California 5 3 1.79 113
598 Peng Liu 0005 Pennsylvania State University 5 5 1.04 1211
598 Daryl Posnett 5 4 1.25 122
598 R. E. Kurt Stirewalt Michigan State University 5 2 1.79 113
598 Guoqiang Li 0001 Shanghai Jiao Tong University 5 7 0.81 5 7 0.8132
598 Orna Raz 5 6 0.93 1 6 0.1711111
598 Zhenkai Liang National University of Singapore 5 4 0.86 2 9 0.221121
598 Wenyu Wang 5 4 0.93 5 4 0.93221
598 Justin Smith 0001 North Carolina State University 5 6 0.83 2 6 0.31221
598 Jeffrey S. Foster Tufts University 5 5 1.19 2111
598 Kelly Blincoe 5 5 0.89 1 4 0.251121
598 Stephen McCamant University of Minnesota 5 4 1.09 1 5 0.201112
598 Hee Beng Kuan Tan 5 3 1.32 1211
598 Lingfeng Bao Zhejiang University 5 5 1.04 3 5 0.60212
598 Roberto Di Cosmo INRIA 5 3 1.19 2111
598 Guido Salvaneschi TU Darmstadt 5 3 1.39 3 3 0.7511111
598 Bow-Yaw Wang 5 5 1.00 2 4 0.501121
598 Wilhelm Schäfer University of Paderborn 5 4 1.25 113
598 Xiaoguang Mao 5 5 0.81 3 8 0.411211
598 Zhenjiang Hu Peking University 5 6 1.00 2 4 0.5711111
598 Lalita Jategaonkar Jagadeesan Bell Labs 5 4 1.09 5
598 Lin Shi 5 6 0.81 5 6 0.81131
598 Santosh Nagarakatte Rutgers University 5 2 1.92 2 2 1.001121
598 Igor Scaliante Wiese 5 6 0.81 5 6 0.81212
598 Marco Aurélio Gerosa Northern Arizona University 5 6 0.86 4 6 0.641121
598 Mahinthan Chandramohan 5 6 0.89 2 6 0.362111
598 Jeannette M. Wing Microsoft Research 5 2 2.27 5
598 Mandana Vaziri IBM T.J. Watson Research Center 5 3 1.47 1112
598 Haijun Wang 5 8 0.61 5 8 0.61221
598 Hidehiko Masuhara Tokyo Institute of Technology 5 3 1.67 3 2 1.291211
598 Angelo Morzenti Polytechnic University of Milan 5 3 1.79 113
598 Carlos Jensen Univ. of California - San Diego 5 4 1.19 1 4 0.251211
598 Mathieu Acher 5 5 1.00 1 5 0.20122
598 Walid Maalej University of Hamburg 5 3 1.79 2 3 0.6711111
598 Udo Kelter University of Siegen 5 4 1.32 1 4 0.2511111
598 Dongyan Xu Purdue University 5 5 1.09 1 5 0.2011111
598 Paul Luo Li 5 4 1.14 11111
598 Peri L. Tarr IBM Research 5 2 1.79 5
598 Osamu Mizuno 5 4 1.25 113
598 Andrew Begel Microsoft Research 5 4 1.09 1 9 0.111121
598 Pamela Zave 5 2 1.56 113
598 Ye Yang 5 5 1.00 4 6 0.731211
598 Zhouyang Jia 5 8 0.69 5 8 0.69212
598 Ji Wang 5 8 0.69 5 8 0.69212
598 Nam H. Pham 5 5 1.04 23
598 Raúl A. Santelices 5 2 1.67 11111
598 Xiang Gao 5 4 1.19 5 4 1.191112
598 Nadia Alshahwan 5 2 1.56 2111
598 Shmuel Ur 5 4 0.96 11111
598 Yufeng Zhang 0001 Hunan University 5 6 0.86 4 6 0.67311
598 Friedrich Steimann University of Hagen 5 2 1.92 2111
598 Lorenzo Martignoni 5 4 1.25 131
598 Zhiqiang Zuo 0002 Nanjing University 5 7 0.76 4 8 0.531121
598 Thomas Stifter 5 5 1.09 4 5 0.841121
598 Stephen J. Fink IBM Research 5 4 1.09 122
598 Mattia Fazzini University of Minnesota 5 3 1.39 3 3 1.0011111
598 Carlo A. Furia Università della Svizzera italiana 5 4 1.19 1 3 0.3311111
598 Shinichi Honiden University of Tokyo 5 4 1.25 11111
598 Monica S. Lam Stanford University 5 2 1.92 1112
598 Yannic Noller 5 3 1.32 5 3 1.321112
598 Guowei Yang Texas State University 5 4 1.32 221
598 Marie-Laure Potet 5 6 0.78 2 6 0.3611111
598 Yang Feng 5 6 0.86 5 6 0.8623
598 Thibaud Lutellier 5 6 0.89 4 5 0.761211
598 Tianxiao Gu 5 5 0.86 3 5 0.4711111
598 Yanzhen Zou Peking University 5 4 1.25 3 4 0.8211111
598 Naoyasu Ubayashi 5 3 1.32 1112
598 Tetsuo Tamai 5 3 1.67 1121
598 Vikram S. Adve Univ. of Illinois at Urbana-Champaign 5 4 1.19 11111
598 Ivan Bocic 5 2 2.50 1 2 0.501121
598 Gerald C. Gannod 5 2 1.56 113
598 Ripon K. Saha 5 4 1.32 3 4 0.8211111
598 Hailong Sun 0001 Beihang University 5 5 1.00 5 5 1.002111
598 Charles Consel INRIA 5 4 1.09 1112
598 Marouane Kessentini University of Michigan-Dearborn 5 4 1.39 2 3 0.6711111
598 Xu Wang 5 6 0.93 5 6 0.931211
598 Jairus Hihn 5 4 1.19 11111
598 Olivier Barais IRISA Rennes 5 5 1.04 1 5 0.201121
598 Patrick Mäder TU Ilmenau 5 3 1.56 1 5 0.201211
598 Qing Xie 0003 Accenture Technology Labs 5 3 1.32 11111
598 Gabriele Taentzer University of Marburg 5 3 1.39 1 5 0.2011111
598 Alessandra Russo Imperial College London 5 5 0.83 1 10 0.1011111
598 Lukasz Ziarek University at Buffalo 5 6 0.78 2 6 0.3611111
598 Qinghua Zheng Xi'an Jiaotong University 5 7 0.74 5 7 0.741121
598 Feng Chen 0006 University of Illinois at Urbana-Champaign 5 3 1.56 1121
598 Hideaki Hata 5 4 0.96 2 4 0.501121
598 Qiong Feng 5 6 0.78 2 7 0.29221
598 Tam The Nguyen 5 4 1.25 23
598 Phong Minh Vu 5 4 1.25 23
598 Stephanie Forrest Arizona State University 5 4 1.32 1121
598 Joseph P. Near University of Vermont 5 4 1.39 11111
598 LiGuo Huang Southern Methodist University 5 4 1.14 2 4 0.571121
598 Hassan Gomaa George Mason University 5 2 1.92 23
598 He Jiang 0001 Dalian University of Technology 5 4 1.19 4 4 0.941121
598 Germán Regis 5 6 0.89 4 6 0.672111
598 Wei Dong 0006 National University of Defense Technology 5 5 1.04 4 4 0.841121
598 Awais Rashid University of Bristol 5 6 0.69 2 6 0.3311111
598 Jonathan I. Maletic Kent State University 5 2 1.56 2 5 0.401112
598 Barbara A. Kitchenham Keele University 5 3 1.67 1112
598 Kim Herzig Saarland University 5 4 1.39 1 4 0.25131
598 Douglas C. Schmidt Vanderbilt University 5 4 1.09 11111
598 Ira R. Forman 5 1 2.50 5
598 Amir Michail 5 2 2.78 1112
598 Bill Curtis 5 3 1.56 5
598 John Hatcliff Kansas State University 5 5 0.89 1112
598 Keishi Sakamoto 5 5 1.04 5
598 Koji Torii Nara Institute of Science and Technology 5 4 1.04 5
598 Andrew P. Black Portland State University 5 3 1.56 1 5 0.2011111
598 John C. Knight 5 2 2.08 5
598 Amy J. Ko University of Washington 5 3 1.39 11111
598 Klaas-Jan Stol 5 4 1.39 2 4 0.4411111
598 Brian Fitzgerald 0001 University of Limerick 5 3 1.56 2 4 0.5711111
598 Max Schäfer 5 5 0.89 1 5 0.2011111
777 Jiasu Sun Peking University 4 5 0.80 1111
777 Xavier Blanc 0001 Université de Bordeaux 1 4 4 0.94 1 3 0.331111
777 Marco Tulio Valente UFMG 4 4 1.23 2 3 0.67112
777 Philipp Leitner 0001 Chalmers/GU 4 4 1.07 3 4 0.82211
777 Nurit Dor 4 5 0.84 1111
777 Rastislav Bodík University of Washington 4 4 0.94 1 3 0.331111
777 Lazaro Clapp 4 4 1.14 2 4 0.571111
777 Gül Çalikli Chalmers/GU 4 4 0.73 4 4 0.731111
777 Thomas A. Henzinger IST Austria 4 4 1.00 1111
777 Guangtai Liang 4 6 0.73 1 7 0.141111
777 Qianxiang Wang 4 6 0.76 1111
777 Massimo Tivoli University of L'Aquila 4 4 1.00 121
777 Senthil Mani 4 4 1.07 1 4 0.25121
777 Davide Di Ruscio University of L'Aquila 4 5 0.76 1 6 0.171111
777 Shiyi Wei University of Texas at Dallas 4 3 1.23 2 4 0.571111
777 Sonia Haiduc Florida State University 4 6 0.59 1111
777 Titus Barik Microsoft 4 4 0.84 4 4 0.84211
777 Wei Wang 4 8 0.50 4 8 0.501111
777 Tianming Liu University of Georgia 4 8 0.53 4 8 0.531111
777 Robert Allen 4 3 1.45 4
777 Lingwei Cao 4 2 1.45 1 3 0.33121
777 Márcio Ribeiro 0001 Federal University of Alagoas 4 5 0.73 2 7 0.291111
777 Wenchang Shi Renmin University of China 4 6 0.67 2 6 0.36112
777 Simon Holm Jensen 4 4 1.07 112
777 Sonal Mahajan 4 4 1.23 3 4 0.821111
777 Meng Wu 4 4 0.94 4 4 0.94121
777 Jörg Liebig University of Passau 4 5 0.76 1111
777 Arman Shahbazian 4 4 0.84 3 5 0.60121
777 Sebastian Baltes University of Adelaide 4 4 1.07 3 5 0.69211
777 Will Snipes 4 6 0.73 1 6 0.171111
777 Paul Ammann George Mason University 4 4 0.84 2 6 0.361111
777 A. Jefferson Offutt George Mason University 4 3 1.14 13
777 Fuyuan Zhang 4 5 0.64 4 5 0.64211
777 Nicolás D'Ippolito University of Buenos Aires 4 4 0.89 1111
777 Xiaodong Gu 4 3 1.33 2 3 0.671111
777 Alexandra Meliou University of Massachusetts Amherst 4 3 1.45 3 3 1.121111
777 Walt Scacchi University of California 4 2 1.60 22
777 Yang Feng 0003 Nanjing University 4 4 0.89 2 4 0.441111
777 Magnus Madsen Aarhus University 4 3 1.23 1 2 0.501111
777 Yingqi Liu 4 6 0.59 4 6 0.59112
777 Philip M. Johnson University of Hawaii at Manoa 4 2 1.23 13
777 Hai Yu 4 8 0.46 4 8 0.461111
777 Zhiliang Zhu 0001 Northeastern University 4 8 0.46 4 8 0.461111
777 Wei Fu 0002 North Carolina State University 4 2 1.45 3 2 1.12121
777 Mohammad Masudur Rahman 0001 Dalhousie University 4 2 1.60 2 2 1.00112
777 Jinkun Lin 4 7 0.52 3 8 0.36211
777 Ferdian Thung 4 4 0.89 1 4 0.251111
777 Subhajit Roy IIT Kanpur 4 4 0.94 3 3 1.001111
777 Chenguang Zhu 4 4 0.94 3 4 0.691111
777 Gregor Snelting Karlsruhe Institute of Technology 4 2 2.00 13
777 Amiangshu Bosu Wayne State University 4 4 1.07 3 3 0.90121
777 Junfeng Yang Columbia University 4 4 0.76 2 6 0.311111
777 Suman Jana Columbia University 4 4 0.73 3 5 0.471111
777 Jeffrey Overbey Auburn University 4 4 1.07 1111
777 Ruben Martins 4 6 0.73 4 6 0.73211
777 Vaibhav Saini University of California 4 6 0.62 3 8 0.431111
777 Yuanchun Li 4 5 0.73 4 5 0.7331
777 Xiangqun Chen Peking University 4 4 0.94 2 5 0.401111
777 Fiorella Zampetti 4 6 0.73 4 6 0.731111
777 Joymallya Chakraborty 4 5 0.84 4 5 0.84112
777 Kyle Dewey 4 3 0.94 22
777 Ben Hardekopf Univ. of California - Santa Barbara 4 3 0.94 22
777 Gunel Jahangirova 4 4 0.94 3 4 0.69121
777 Paige Rodeghero Clemson University 4 4 0.89 3 4 0.691111
777 Saravanakumar Rajmohan 4 12 0.30 4 12 0.304
777 Dawson R. Engler Stanford University 4 2 1.60 1111
777 Bikram Sengupta 4 3 1.23 1111
777 Xiaoyuan Jing Wuhan University 4 5 0.84 211
777 Emad Shihab Concordia University 4 4 0.89 2 4 0.441111
777 Shaowei Cai Chinese Academy of Sciences 4 9 0.44 3 12 0.301111
777 Reza Matinnejad 4 4 1.07 1 3 0.331111
777 Christoph Reichenbach Lund University 4 4 1.07 121
777 Mao Yang 4 6 0.64 4 6 0.6413
777 Gerard J. Holzmann Bell Labs 4 2 1.78 1111
777 Christopher Krügel Univ. of California - Santa Barbara 4 6 0.80 121
777 Yanbin Cao 4 6 0.70 4 6 0.70121
777 Andrea Zisman Open University UK 4 4 1.07 1 6 0.171111
777 Stelios Sidiroglou-Douskos 4 4 0.89 1 5 0.201111
777 Kaixin Sui 4 12 0.35 4 12 0.35211
777 Jingbo Wang 4 4 1.14 4 4 1.14121
777 Jibesh Patra 4 3 1.45 4 3 1.451111
777 Gregory D. Abowd Georgia Institute of Technology 4 2 1.60 4
777 Casper Lassenius Aalto University 4 4 0.80 1 2 0.501111
777 Martin Kellogg 4 4 0.94 4 4 0.94121
777 Girish Suryanarayana 4 4 1.00 1111
777 Hiroaki Yoshida 4 4 1.00 2 4 0.57112
777 Johannes Lerch 4 4 0.80 1 7 0.141111
777 Yu Huang 0015 University of Michigan 4 6 0.70 4 6 0.70121
777 Tien-Duy B. Le 4 4 1.23 1 2 0.50112
777 Pablo Ponzio 4 4 0.84 3 5 0.60121
777 Robert W. Bowdidge 4 4 1.07 112
777 Stan Jarzabek National University of Singapore (NUS) 4 2 1.78 13
777 Kathryn S. McKinley University of Texas at Austin 4 3 1.23 1111
777 Yoshiki Higo Osaka University 4 3 1.33 2 3 0.671111
777 David Trabish 4 4 1.23 4 4 1.23121
777 Timotej Kapus 4 2 1.45 4 2 1.45211
777 Oscar Chaparro 4 7 0.59 4 7 0.591111
777 Vincent Ng University of Texas at Dallas 4 6 0.70 4 6 0.70211
777 Abram Hindle University of Alberta 4 6 0.73 1 6 0.171111
777 Yong Xu 4 15 0.27 4 15 0.27211
777 Murali Chintalapati 4 13 0.29 4 13 0.291111
777 Yajin Zhou Zhejiang University 4 6 0.62 4 6 0.62121
777 Fernando Castor Filho UFPE 4 6 0.57 2 6 0.361111
777 Nélio Cacho 4 10 0.40 1111
777 Eduardo Figueiredo 0001 UFMG 4 8 0.43 1 6 0.171111
777 Anirudh Santhiar 4 4 0.80 2 6 0.31112
777 Yibiao Yang Nanjing University 4 8 0.53 2 8 0.2722
777 Elena Sherman Boise State University 4 2 1.78 1 2 0.501111
777 Xiwei Xu 4 7 0.57 4 7 0.574
777 Manuvir Das Microsoft Research 4 4 0.89 22
777 Ying Zou 0001 Queen's University 4 4 1.00 1 3 0.331111
777 Peyman Oreizy 4 4 0.94 1 7 0.1413
777 Dongyoon Lee Stony Brook University 4 4 0.89 4 4 0.8931
777 Smita Ghaisas 4 4 0.89 2 4 0.501111
777 Brittany Johnson George Mason University 4 4 0.80 1 3 0.331111
777 Xipeng Shen North Carolina State University 4 6 0.70 3 4 0.64121
777 Burak Turhan Monash University 4 4 1.07 1 4 0.251111
777 Deepak Kapur University of New Mexico 4 4 1.33 1111
777 Ilinca Ciupa 4 4 1.00 112
777 Alberto Goffi 4 5 0.76 1 7 0.14112
777 Nimrod Busany 4 4 1.14 3 4 0.75211
777 Jérôme Vouillon Pierre and Marie Curie University 4 2 1.14 1111
777 Mahesh Viswanathan 0001 Univ. of Illinois at Urbana-Champaign 4 4 0.94 2 3 0.671111
777 Alvin Cheung Univ. of California - Berkeley 4 5 0.89 3 5 0.601111
777 Ian Gorton 4 4 1.14 121
777 Tyler Santander 4 6 0.73 4 6 0.73211
777 Leif Singer 4 5 0.89 121
777 Casey Casalnuovo 4 4 0.84 1 3 0.33112
777 Jiawei Wang 4 4 1.07 4 4 1.0713
777 Haipeng Cai Washington State University 4 3 1.33 2 4 0.501111
777 Christoffer Quist Adamsen 4 4 1.00 2 5 0.401111
777 Saba Alimadadi Simon Fraser University 4 4 1.14 2 4 0.57211
777 Xu Zhang 4 16 0.25 4 16 0.25211
777 Xiaoting He 4 12 0.33 4 12 0.3322
777 Dominik Helm 4 5 0.73 4 5 0.73211
777 Florian Kübler 4 5 0.73 4 5 0.73211
777 Yu Gao 4 8 0.52 4 8 0.521111
777 Zhiqiang Lin Ohio State University 4 4 1.00 1 6 0.171111
777 Markus Völter 4 4 1.07 31
777 Justyna Petke University College London 4 4 0.94 1 4 0.25121
777 Rahulkrishna Yandrapally 4 3 1.23 2 3 0.671111
777 Shaowei Wang 0002 Queen's University 4 4 0.94 1 4 0.251111
777 Rangeet Pan 4 4 1.00 4 4 1.00121
777 Shilin He 4 6 0.55 4 6 0.55112
777 Laura Inozemtseva 4 3 1.14 1 3 0.3313
777 Zhengzi Xu 4 6 0.70 2 6 0.36112
777 Bo Jiang 0001 Beihang University 4 4 1.00 2 4 0.57112
777 Roberto Natella 4 5 0.84 1 5 0.201111
777 Jens Meinicke 4 5 0.80 3 5 0.60211
777 Martin Toldam Torp 4 3 1.23 4 3 1.23211
777 Ngoc M. Tran 4 6 0.67 4 6 0.6722
777 Leandro L. Minku University of Birmingham 4 4 1.14 3 4 0.751111
777 Sharon Shoham Tel Aviv University 4 3 1.23 1 3 0.33121
777 Feng Li 4 8 0.50 4 8 0.50112
777 Magiel Bruntink 4 5 0.84 3 5 0.561111
777 Alireza Sadeghi 4 4 0.94 2 4 0.50112
777 William Landi 4 4 1.14 4
777 Helmut Veith TU Wien 4 4 0.89 1111
777 Cong Tian 4 4 1.23 3 4 0.821111
777 Zhenhua Duan 4 4 1.23 3 4 0.821111
777 Tao Chen 0001 Loughborough University 4 4 1.14 4 4 1.1413
777 Yuchi Tian 4 4 1.07 4 4 1.071111
777 Aditya P. Mathur SUTD 4 3 1.33 4
777 Xianghua Deng 4 4 1.07 1111
777 Shurui Zhou University of Toronto 4 4 1.00 4 4 1.00112
777 Vilas Jagannath 4 5 0.84 211
777 Lamyaa Eloussi 4 5 0.84 1 6 0.17121
777 Rahul Pandita 4 6 0.59 2 6 0.311111
777 Xiaoning Du 4 6 0.59 4 6 0.5922
777 Bradley R. Schmerl 4 5 0.84 1111
777 Hao Xiao 4 6 0.73 1 6 0.17121
777 Vijay Ganesh University of Waterloo 4 4 1.00 112
777 Vu Le 4 4 1.00 1 6 0.17121
777 Qirun Zhang Georgia Institute of Technology 4 4 0.73 3 5 0.501111
777 José Miguel Rojas University of Leicester 4 4 1.00 2 4 0.5722
777 Bassem Elkarablieh 4 4 1.14 121
777 Todd D. Millstein Univ. of California - Los Angeles 4 5 0.76 121
777 Cormac Flanagan Univ. of California - Santa Cruz 4 4 1.23 121
777 Michael R. Lowry 4 4 0.84 112
777 Insup Lee University of Pennsylvania 4 4 1.00 13
777 Dacong Yan 4 4 0.94 211
777 Georgios Fourtounis 0001 4 4 1.14 4 4 1.1422
777 Roberto Paleari 4 4 1.00 31
777 Milos Prvulovic Georgia Institute of Technology 4 4 0.84 1 6 0.171111
777 Xiao Xiao 0003 Sourcebrella 4 4 0.94 2 6 0.331111
777 Wei Jin 0001 Google Inc. 4 4 1.14 121
777 Chao Zhang 0008 Tsinghua University 4 6 0.62 4 6 0.62211
777 Kaiyuan Wang 4 5 0.84 4 5 0.8413
777 Xiao Qu 4 4 0.94 1111
777 Phil Stocks 4 3 1.33 4
777 Linzhang Wang Nanjing University 4 4 0.73 2 8 0.271111
777 Gregory M. Kapfhammer 4 4 1.07 1 3 0.331111
777 Klaus Havelund 4 2 1.45 112
777 Sébastien Bardin 4 6 0.67 3 6 0.531111
777 Laurent Mounier 4 6 0.67 2 6 0.361111
777 Raja Ben Abdessalem 4 4 0.89 3 5 0.64121
777 Muath Alkhalaf 4 3 1.07 121
777 Tian Huat Tan 4 6 0.62 211
777 Benjamin Hummel 4 6 0.76 121
777 Zvonimir Rakamaric University of Utah 4 3 1.14 1111
777 Shauvik Roy Choudhary 4 3 1.07 1111
777 Adrian Nistor 4 4 1.07 1111
777 Seemanta Saha 4 4 1.14 4 4 1.14121
777 Alexander Serebrenik TU Eindhoven 4 4 1.00 4 4 1.00112
777 Deqing Zou 4 7 0.59 4 7 0.59121
777 Hai Jin 0001 Huazhong University of Science and Technology 4 7 0.59 4 7 0.59121
777 Yoshinori Tanabe 4 5 0.80 211
777 K. Vijay-Shanker University of Delaware 4 3 1.14 1111
777 Jan Jürjens University of Koblenz-Landau 4 2 2.00 1111
777 Rainer Koschke University of Bremen 4 2 1.45 1111
777 Shuang Liu 0007 Tianjin University 4 6 0.64 3 6 0.501111
777 Cong Liu 0005 University of Texas at Dallas 4 6 0.67 4 6 0.67211
777 Gustavo Pinto 0001 Federal University of Pará 4 6 0.73 4 6 0.73121
777 Martin S. Feather 4 4 1.07 13
777 Romain Rouvoy CRIStAL 4 4 1.00 2 4 0.571111
777 Simos Gerasimou 4 4 1.00 3 4 0.69121
777 Radu Calinescu University of York 4 4 1.14 2 4 0.441111
777 Son Nguyen 4 5 0.80 4 5 0.8013
777 Han Liu 0010 Oxford-Hainan Blockchain Research Institute 4 6 0.70 3 6 0.53121
777 Boyuan Chen 4 3 1.23 4 3 1.231111
777 Mariano Ceccato 4 5 0.80 1111
777 Peter Schrammel University of Sussex 4 4 0.89 1 5 0.201111
777 Sarah Nadi University of Alberta 4 4 0.70 1 11 0.09121
777 Cheng Zhang 4 6 0.73 211
777 Hironori Washizaki Waseda University 4 4 0.80 1111
777 Junjie Wang 0001 Chinese Academy of Sciences 4 6 0.76 3 6 0.53211
777 Ted J. Biggerstaff 4 3 1.33 4
777 David S. Wile Teknowledge Corporation 4 2 1.60 4
777 Foyzul Hassan 4 4 1.23 4 4 1.23112
777 Jun-Wei Lin 4 3 1.23 4 3 1.23121
777 Simone Scalabrino 4 7 0.59 4 7 0.5922
777 Frank Maurer University of Calgary 4 3 1.45 211
777 Steven Y. Ko Simon Fraser University 4 6 0.62 1 5 0.201111
777 Eli Tilevich Virginia Tech 4 3 1.33 1111
777 Wei Huo 4 8 0.44 4 8 0.441111
777 W. Lewis Johnson 4 2 2.00 4
777 Ran Mo 4 6 0.67 1 6 0.17121
777 Jianling Sun Zhejiang University 4 6 0.70 3 5 0.53211
777 Eric Wohlstadter University of British Columbia 4 3 1.14 1111
777 Cody Watson 4 5 0.76 4 5 0.76112
777 Taweesup Apiwattanapong 4 4 1.00 112
777 Martin Erwig Oregon State University 4 2 1.60 112
777 Jin L. C. Guo McGill University 4 4 1.00 3 4 0.751111
777 Stas Negara 4 4 0.89 211
777 Zhilei Ren 4 4 0.94 3 4 0.691111
777 Jingyi Wang 0004 Zhejiang University 4 7 0.59 4 7 0.59211
777 Breno Miranda UFPE 4 4 0.94 4 4 0.941111
777 James Noble 0001 Victoria University of Wellington 4 3 1.45 1 2 0.501111
777 Elisa L. A. Baniassad 4 2 1.60 112
777 David M. Weiss 0001 Iowa State University 4 2 1.60 112
777 Andrea Mocci 4 5 0.76 1 7 0.141111
777 Elisabetta Di Nitto Politecnico di Milano 4 4 1.14 13
777 Jan Bosch Chalmers/GU 4 2 2.00 1 4 0.2513
777 Klaus Schmid University of Hildesheim 4 3 1.45 112
777 Alexander Borgida Rutgers University 4 3 1.45 4
777 Yasunari Takagi 4 4 0.84 4
777 Pierre N. Robillard École Polytechnique de Montréal 4 2 1.60 112
777 Nazim H. Madhavji Western University 4 2 1.23 4
777 Christoph Mayr-Dorn 4 3 1.07 3 4 0.691111
777 Anthony I. Wasserman Carnegie Mellon Silicon Valley 4 2 1.45 1 5 0.2013
777 Ken Sakamura 4 2 2.00 13
777 David Leon 4 3 1.00 112
777 Carolyn B. Seaman University of Maryland 4 4 0.94 13
777 Murray Wood 4 3 1.45 1 2 0.50112
777 Wei You Renmin University of China 4 6 0.62 2 6 0.31112
777 Isabella Wieczorek 4 3 1.14 13
777 Mitchell D. Lubars 4 2 1.60 4
777 Ali Mili NJIT 4 2 1.60 4
777 David H. Lorenz Open University of Israel 4 2 2.00 1111
777 Lee J. White 4 2 1.60 4
777 Felienne Hermans Leiden University 4 3 1.33 1111
777 Israel Ben-Shaul 4 2 1.60 13
777 Hitesh Sajnani 4 4 0.76 3 4 0.561111
777 Roberto Pietrantuono 4 4 1.07 3 4 0.751111
777 Stefano Russo 4 4 1.07 3 4 0.751111
1052 Daniel Dietsch 3 5 0.64 1 5 0.20111
1052 Matthias Heizmann 3 5 0.64 1 5 0.20111
1052 Nancy A. Day University of Waterloo 3 3 1.00 111
1052 G. Ramalingam Microsoft Research 3 4 0.69 12
1052 José Campos 3 5 0.53 1 8 0.12111
1052 Qian Zhang 3 5 0.64 3 5 0.6412
1052 Mark Chu-Carroll 3 3 1.00 111
1052 Chengyu Song Univ. of California - Riverside 3 8 0.43 3 8 0.4321
1052 Yuqi Chen 0001 Singapore University of Technology and Design 3 5 0.69 3 5 0.69111
1052 Christopher M. Poskitt Singapore Management University 3 5 0.69 3 5 0.69111
1052 Marcelo Cataldo 3 2 1.12 21
1052 Aws Albarghouthi University of Wisconsin - Madison 3 5 0.64 3 5 0.6421
1052 John Penix 3 5 0.69 111
1052 Pietro Braione 3 3 0.90 1 4 0.25111
1052 Barbara Russo Free University of Bozen-Bolzano 3 7 0.43 21
1052 Adriana Sejfia 3 5 0.56 3 5 0.56111
1052 Shoham Ben-David 3 4 0.82 111
1052 Arie Gurfinkel University of Waterloo 3 3 0.90 111
1052 Domagoj Babic 3 4 0.60 1 9 0.11111
1052 Ahmed Tamrawi 3 4 0.60 21
1052 Michael Carbin Massachusetts Institute of Technology 3 4 0.82 1 4 0.25111
1052 Cosmin Radoi 3 3 1.00 111
1052 Hua Zhong 3 4 0.56 1 9 0.1112
1052 Raffaela Mirandola 3 5 0.50 12
1052 Thomas Durieux 3 4 0.82 3 4 0.82111
1052 Nicolas E. Gold University College London 3 6 0.47 1 6 0.17111
1052 Syed S. Islam 3 6 0.47 1 6 0.17111
1052 Daniel J. Dougherty Worcester Polytechnic Institute 3 4 0.69 1 4 0.25111
1052 Sabrina Souto 3 5 0.60 2 4 0.50111
1052 Asher Trockman 3 4 0.64 3 4 0.64111
1052 Pan Bian 3 6 0.53 2 6 0.36111
1052 Sudipta Chattopadhyay 0001 SUTD 3 4 0.75 2 4 0.50111
1052 Jeho Oh 3 4 0.69 3 4 0.69111
1052 Paul Gazzillo University of Central Florida 3 4 0.90 3 4 0.90111
1052 Ran Wang 3 6 0.53 1 5 0.20111
1052 Qihao Zhu 3 7 0.45 3 7 0.4521
1052 Nicholas Nelson 0002 Oregon State University 3 6 0.50 3 6 0.50111
1052 Fuqing Yang Peking University 3 5 0.75 12
1052 Chu-Pan Wong 3 5 0.60 2 5 0.40111
1052 Xin Zhang 0035 Peking University 3 5 0.56 21
1052 Xu Liu 0001 North Carolina State University 3 5 0.56 3 5 0.5612
1052 Huang Huang 3 5 0.64 3 5 0.6421
1052 Alberto Leva 3 4 0.82 111
1052 Xia Zeng 3 8 0.35 2 9 0.22111
1052 Dengfeng Li 0003 University of Illinois at Urbana-Champaign 3 8 0.38 2 8 0.25111
1052 Alessio Gambi 3 3 0.90 3 3 0.9012
1052 Xiaoxia Ren 3 4 0.90 111
1052 Gholamreza Safi 3 5 0.60 1 6 0.17111
1052 Makoto Matsushita Osaka University 3 4 0.69 111
1052 Yida Tao 3 5 0.60 2 6 0.36111
1052 Wen-Chuan Lee 3 7 0.41 3 7 0.4112
1052 Jingwei Xu 0001 Nanjing University 3 6 0.53 3 6 0.5321
1052 Angelo Susi 3 4 0.60 111
1052 Darren C. Atkinson 3 2 1.12 12
1052 Ying Wang 0038 Northeastern University 3 9 0.33 3 9 0.33111
1052 Mahmoud Hammad 3 3 0.90 3 3 0.9021
1052 Negar Ghorbani 3 4 0.75 3 4 0.75111
1052 Naeem Esfahani 3 3 1.00 111
1052 Haiyan Zhao Peking University 3 6 0.47 1 7 0.14111
1052 David Evans 0001 University of Virginia 3 4 0.82 21
1052 John V. Guttag Massachusetts Institute of Technology 3 3 1.00 3
1052 Karl J. Lieberherr Northeastern University 3 2 1.50 12
1052 Bonita Sharif University of Nebraska 3 5 0.60 2 4 0.44111
1052 Andreas Stefik University of Nevada Las Vegas 3 4 0.69 1 4 0.25111
1052 Edward Aftandilian 3 5 0.60 2 5 0.4021
1052 John-Paul Ore North Carolina State University 3 4 0.75 3 4 0.7521
1052 Marina Polishchuk 3 3 1.00 3 3 1.0021
1052 Jonathan E. Cook 3 2 1.50 3
1052 Alexander Grebhahn 3 5 0.60 1 5 0.2012
1052 Chushu Gao 3 7 0.41 2 8 0.25111
1052 Liang Xu 3 6 0.47 2 6 0.31111
1052 Kexin Pei 3 5 0.47 2 7 0.29111
1052 Kumiyo Nakakoji 3 4 0.60 12
1052 Franco Raimondi Middlesex University 3 3 0.90 111
1052 Cecilia Mascolo University of Cambridge 3 3 0.90 111
1052 Vasco M. Manquinho Universidade de Lisboa 3 7 0.47 3 7 0.4721
1052 Farah Hariri 3 4 0.64 111
1052 Farima Farmahinifarahani 3 8 0.43 3 8 0.43111
1052 Brian Hackett 3 2 1.12 12
1052 Cristina Cifuentes 3 3 1.12 111
1052 Shaz Qadeer Microsoft Research 3 3 1.12 111
1052 Seohyun Kim 0001 Facebook Inc. 3 5 0.64 3 5 0.6421
1052 Junhee Lee 3 4 0.82 3 4 0.8212
1052 Seongjoon Hong 3 4 0.82 3 4 0.8212
1052 Suvodeep Majumder 3 3 0.90 3 3 0.9021
1052 Xiao Wang 0030 Stevens Institute of Technology 3 7 0.47 3 7 0.47111
1052 Richard J. Anderson University of Washington 3 6 0.53 3
1052 Paul Beame University of Washington 3 6 0.53 3
1052 William Chan 0001 University of Washington 3 6 0.53 3
1052 Pankaj Dhoolia 3 4 0.69 111
1052 Jim Laredo 3 5 0.56 3 5 0.56111
1052 Guido de Caso 3 4 0.60 1 7 0.14111
1052 Daniel Strüber 0001 Radboud University 3 5 0.60 3 5 0.60111
1052 Ameer Armaly 3 4 0.82 3 4 0.8212
1052 Carmine Vassallo 3 4 0.69 3 4 0.69111
1052 Rezwana Karim 3 2 0.90 1 6 0.17111
1052 Parminder Flora 3 6 0.53 111
1052 Guoliang Jin North Carolina State University 3 4 0.82 2 3 0.67111
1052 Fei Wu 0004 Nanjing University of Posts and Telecommunications 3 5 0.64 21
1052 Fumin Qi 3 5 0.64 21
1052 Hao Zhou 3 7 0.45 3 7 0.453
1052 Linhai Song Pennsylvania State University 3 4 0.82 1 2 0.50111
1052 Souti Chattopadhyay 3 6 0.56 3 6 0.56111
1052 Alexander E. Wise 3 6 0.53 111
1052 Barbara Lerner 3 4 0.82 111
1052 Jie Wang 3 6 0.47 2 6 0.31111
1052 Shaukat Ali 0001 Simula Research Laboratory 3 4 0.75 111
1052 Harold Ossher 3 4 0.82 111
1052 Kaituo Li 3 4 0.69 21
1052 Lucas Bang Harvey Mudd College 3 5 0.60 1 7 0.14111
1052 Yu Liu 3 7 0.45 3 7 0.453
1052 Mingzhe Wang 3 6 0.45 3 6 0.45111
1052 Hennie Huijgens 3 5 0.56 3 5 0.56111
1052 Navid Salehnamadi 3 3 0.90 3 3 0.9012
1052 Chunyang Ye 3 4 0.82 12
1052 Jiaxin Zhu Chinese Academy of Sciences 3 4 0.60 2 6 0.33111
1052 Guanhong Tao 3 7 0.41 3 7 0.413
1052 Armando Solar-Lezama Massachusetts Institute of Technology 3 3 0.90 12
1052 Daniel Hoffman University of Victoria 3 2 1.29 12
1052 Jiwei Yan 3 6 0.47 3 6 0.4721
1052 Giovanni Vigna Univ. of California - Santa Barbara 3 5 0.56 111
1052 Lu Zhang 3 5 0.56 3 5 0.5621
1052 Christine Julien 0001 University of Texas at Austin 3 3 1.12 12
1052 Nengwen Zhao 3 12 0.26 3 12 0.2621
1052 Wenchi Zhang 3 12 0.26 3 12 0.2621
1052 Dan Pei Tsinghua University 3 12 0.26 3 12 0.2621
1052 Manos Renieris 3 2 1.29 111
1052 Parastoo Mohagheghi 3 3 1.00 1 2 0.50111
1052 Kai Pan 3 3 0.90 12
1052 Susan Horwitz University of Wisconsin-Madison 3 3 1.00 3
1052 Justin R. Erenkrantz 3 4 0.60 1 7 0.14111
1052 Michael M. Gorlick 3 4 0.69 1 7 0.14111
1052 Patrick Wagstrom 3 3 1.00 111
1052 Thomas Bruckmann 3 4 0.75 111
1052 George K. Baah 3 3 1.00 111
1052 Andrew Meneely Rochester Institute of Technology 3 3 1.00 21
1052 Mohan Dhawan 3 5 0.60 111
1052 Trent Jaeger Pennsylvania State University 3 4 0.60 111
1052 David Harel Weizmann Institute of Science 3 2 0.82 12
1052 Clara Meister 3 3 0.90 3 3 0.9012
1052 Pengyu Nie 3 6 0.56 3 6 0.5621
1052 Ying Wang 3 7 0.43 3 7 0.43111
1052 Joxan Jaffar National University of Singapore 3 3 1.00 1 4 0.25111
1052 Santanu Kumar Dash 0001 University of Surrey 3 4 0.82 3 4 0.8221
1052 Madeline Endres 3 5 0.64 3 5 0.6421
1052 Linghui Luo 3 4 0.69 3 4 0.69111
1052 Jiang Ming 0002 University of Texas at Arlington 3 5 0.50 1 8 0.12111
1052 Sencun Zhu Pennsylvania State University 3 5 0.56 111
1052 Jacky Estublier 3 2 1.50 111
1052 Jianbin Tan 3 3 0.82 12
1052 Corrado Aaron Visaggio University of Sannio 3 6 0.47 111
1052 Shalini Kaleeswaran 3 4 0.82 21
1052 Sascha Just 3 4 0.69 1 4 0.25111
1052 Ying Fu 3 7 0.41 3 7 0.41111
1052 Yongqiang Tian 3 6 0.47 3 6 0.4721
1052 Marco Castelluccio 3 4 0.75 3 4 0.75111
1052 Zhe Yang 0001 Microsoft Corporation 3 4 0.69 12
1052 Eitan Farchi 3 6 0.53 1 6 0.17111
1052 Ananth Grama Purdue University 3 3 0.82 1 5 0.20111
1052 Kihong Heo KAIST 3 3 1.00 3 3 1.00111
1052 Mukund Raghothaman University of Southern California 3 3 0.90 2 4 0.5721
1052 Mithun Acharya 3 2 1.12 111
1052 Jason E. Robbins 3 4 0.75 3
1052 Preethu Rose Anish 3 3 0.69 1 3 0.33111
1052 Giuseppe Valetto 3 3 0.90 111
1052 Marta Z. Kwiatkowska University of Oxford 3 2 1.00 1 6 0.17111
1052 Xiaoxin Zhang 3 7 0.43 3 7 0.4312
1052 Adrian Schröter 3 5 0.60 111
1052 Yi Wang 3 2 1.80 2 2 1.33111
1052 Jihyeok Park 3 4 0.69 3 4 0.6921
1052 Sven Amann 3 4 0.60 1 7 0.14111
1052 Ayse Basar Bener 3 3 0.82 111
1052 Andreas Leitner 3 4 0.69 12
1052 Manuel Oriol University of York 3 4 0.69 12
1052 Umair Z. Ahmed 3 5 0.64 3 5 0.6421
1052 Amey Karkare IIT Kanpur 3 5 0.53 2 4 0.44111
1052 Li Yang Western Michigan University 3 16 0.19 3 16 0.1912
1052 Jeffrey Sun 3 16 0.19 3 16 0.1912
1052 Liqun Li 3 16 0.19 3 16 0.1912
1052 Edward K. Smith 3 4 0.56 1 9 0.1112
1052 Margus Veanes 3 4 0.69 111
1052 Jianye Hao 3 7 0.43 2 8 0.24111
1052 Mihai Christodorescu 3 3 0.82 111
1052 Gerald Lüttgen University of Bamberg 3 3 0.75 1 6 0.17111
1052 Antonio Ruiz Cortés Universidad de Sevilla 3 3 0.64 1 8 0.12111
1052 Fei He 0001 Tsinghua University 3 3 1.00 2 2 0.80111
1052 Rick Salay 3 3 0.82 1 3 0.33111
1052 Pooyan Jamshidi University of South Carolina 3 5 0.60 3 5 0.60111
1052 Miguel Velez 3 5 0.60 3 5 0.60111
1052 Anthony Canino 3 5 0.69 3 5 0.69111
1052 Si Qin 3 13 0.21 3 13 0.2121
1052 Holger Giese Hasso Plattner Institute 3 5 0.56 111
1052 Marcelo Schmitt Laser 3 4 0.56 3 4 0.5612
1052 Ipek Ozkaya 3 3 0.82 111
1052 Robert L. Nord 3 3 0.82 111
1052 Hila Peleg University of California 3 3 0.75 3 3 0.75111
1052 Nadia Polikarpova Univ. of California - San Diego 3 5 0.64 1 6 0.17111
1052 Kevin Leach 3 6 0.47 3 6 0.4721
1052 Shangwen Wang 3 8 0.41 3 8 0.4112
1052 Marty Sirkin 3 3 0.90 3
1052 Olga Liskin 3 5 0.64 111
1052 Haicheng Chen 3 4 0.64 2 4 0.50111
1052 Benjamin Barslev Nielsen 3 3 1.00 3 3 1.0021
1052 Mijung Kim 3 6 0.50 1 3 0.33111
1052 Ze Li 3 13 0.21 3 13 0.21111
1052 Robert Dyer 0001 University of Nebraska 3 4 0.75 21
1052 Matthias Felleisen Northeastern University 3 4 0.82 12
1052 Dong Wang 3 9 0.41 3 9 0.4121
1052 Sriraman Tallam 3 4 0.82 111
1052 Mingyang Li 3 6 0.47 3 6 0.473
1052 J. David Morgenthaler 3 4 0.69 111
1052 Xin Zhou 3 5 0.60 3 5 0.60111
1052 David A. Carrington University of Queensland 3 2 1.12 3
1052 Paul Dan Marinescu 3 2 1.29 111
1052 Khouloud Gaaloul 3 5 0.60 3 5 0.6012
1052 Xuan-Bach D. Le 3 5 0.60 2 6 0.36111
1052 Yingfeng Chen 3 8 0.38 3 8 0.3821
1052 Akash Lal 3 3 1.12 111
1052 Monika Dhok 3 3 1.12 21
1052 Vincenzo Riccio 3 4 0.75 3 4 0.7512
1052 Jordan Henkel 3 4 0.69 3 4 0.69111
1052 Zhenyu Zhang 0004 Chinese Academy of Sciences 3 4 0.69 3
1052 Alessandro Marchetto 3 3 0.82 12
1052 Jorge Aranda 3 2 1.12 111
1052 Xiao He 3 4 0.90 3 4 0.9021
1052 Ivo Krka 3 4 0.82 111
1052 George Edwards 3 4 0.90 111
1052 Sagar Chaki 3 5 0.69 111
1052 Fernando Marques Figueira Filho 3 3 0.82 111
1052 Hung Phan 3 6 0.50 3 6 0.5012
1052 Guodong Li 3 3 1.00 111
1052 Akira Mori 3 5 0.56 1 3 0.33111
1052 Matteo Pradella Politecnico di Milano 3 3 0.90 111
1052 Hui Xu 0009 Fudan University 3 5 0.35 2 11 0.18111
1052 Indradeep Ghosh 3 4 0.75 111
1052 Hyunmin Seo 3 2 1.00 21
1052 Marian Petre Open University 3 1 0.90 1 8 0.12111
1052 Lian Li 0002 Chinese Academy of Sciences 3 6 0.47 3 6 0.4712
1052 Xiaobing Feng 0002 Chinese Academy of Sciences 3 9 0.39 1 4 0.25111
1052 Stéphane Ducasse CRIStAL 3 3 0.82 1 5 0.2012
1052 Negar Hariri 3 6 0.50 111
1052 Patrick D. McDaniel Pennsylvania State University 3 5 0.45 1 5 0.2012
1052 Chandra Shekhar Maddila 3 5 0.56 3 5 0.563
1052 Jeffrey Fischer 3 3 1.12 111
1052 Mihai Codoban 3 4 0.56 12
1052 Caius Brindescu 3 4 0.69 1 4 0.25111
1052 Rafi Shalom 3 2 1.29 3 2 1.29111
1052 Yu Jiang 3 7 0.43 3 7 0.433
1052 Samik Basu 0001 Iowa State University 3 3 0.90 111
1052 Roy T. Fielding Day Software 3 3 0.75 1 7 0.1412
1052 Bernhard Rumpe RWTH Aachen 3 3 1.00 111
1052 Yuen-Tak Yu City University of Hong Kong 3 4 0.90 12
1052 Christopher Scaffidi Oregon State University 3 6 0.60 12
1052 Mana Taghdiri Karlsruhe Institute of Technology 3 3 1.00 111
1052 Robert Seater 3 4 0.75 111
1052 Peisen Yao 3 6 0.56 3 6 0.5621
1052 Heqing Huang 3 6 0.56 3 6 0.5621
1052 Andrzej Wasylkowski 3 3 1.12 111
1052 Christian Lindig Citrix 3 3 1.12 21
1052 Brett Daniel 3 4 0.82 111
1052 André Brechmann 3 8 0.41 2 7 0.29111
1052 Alexander von Rhein 3 6 0.53 12
1052 Rahul Sharma 0001 Microsoft Research 3 3 1.00 12
1052 Andrew Gacek 3 5 0.41 2 10 0.21111
1052 Leonardo da Silva Sousa 3 9 0.35 2 10 0.19111
1052 Harvey P. Siy University of Nebraska - Omaha 3 3 0.90 3
1052 Michael W. Godfrey University of Waterloo 3 3 0.90 111
1052 Dongyun Jin 3 4 0.64 111
1052 Mohamed Wiem Mkaouer Rochester Institute of Technology 3 5 0.64 1 5 0.20111
1052 Hailong Zhang 0006 Ohio State University 3 3 0.82 2 2 0.80111
1052 Haowei Wu 3 5 0.64 1 3 0.3312
1052 Nikolas Havrikov CISPA Helmholtz Center for Information Security 3 4 0.82 3 4 0.8221
1052 Moritz Beller Delft University of Technology 3 4 0.69 1 4 0.25111
1052 Jeffrey Stylos 3 2 1.29 12
1052 Björn Mathis CISPA Helmholtz Center for Information Security 3 3 0.82 3 3 0.8221
1052 Ranjita Bhagwan 3 8 0.43 3 8 0.4312
1052 Rahul Kumar 0002 Microsoft Research 3 8 0.43 3 8 0.4312
1052 Stefan Stanciulescu 3 5 0.60 3 5 0.6021
1052 Mehdi Bagherzadeh 0001 Oakland University 3 4 0.75 3 4 0.7512
1052 Gabriel A. Moreno 3 4 0.75 1 4 0.25111
1052 Xiaoyuan Xie Wuhan University 3 6 0.60 2 4 0.44111
1052 Patrick Lam 0001 University of Waterloo 3 2 1.29 1 2 0.50111
1052 Craig Chambers University of Washington 3 3 0.90 21
1052 Kuo-Chung Tai 3 1 2.25 3
1052 Alexey G. Malishevsky 3 3 0.82 12
1052 Sangmin Park 3 3 0.82 111
1052 Mark Hills 0001 East Carolina University 3 3 1.29 111
1052 Jurgen J. Vinju CWI 3 3 1.00 1 3 0.33111
1052 Mathias Payer EPFL 3 4 0.75 3 4 0.753
1052 David Saff 3 4 0.90 111
1052 Akbar Siami Namin 3 2 1.29 111
1052 Stephen F. Siegel University of Delaware 3 4 0.82 111
1052 Enyi Tang 3 6 0.45 2 8 0.25111
1052 Barton P. Miller University of Wisconsin - Madison 3 3 1.12 12
1052 Stephen N. Freund Williams College 3 4 0.82 111
1052 Karl Palmskog 3 3 0.82 3 3 0.82111
1052 Rashmi Mudduluru 3 3 1.00 1 4 0.25111
1052 Aviad Zlotnick 3 7 0.47 111
1052 P. David Stotts University of North Carolina 3 2 1.50 21
1052 Oksana Tkachuk 3 3 1.00 111
1052 Bor-Yuh Evan Chang University of Colorado Boulder 3 4 0.56 2 6 0.3321
1052 Amer Diwan University of Colorado 3 2 1.12 111
1052 Sandro Morasca 3 3 1.12 12
1052 Giampaolo Fresi Roglia 3 4 0.75 21
1052 Danilo Bruschi 3 4 0.75 21
1052 Pavneet Singh Kochhar 3 4 0.82 1 4 0.25111
1052 Pieter Hooimeijer 3 2 1.00 111
1052 Guangdong Bai University of Queensland 3 6 0.45 3 6 0.45111
1052 Lei Bu Nanjing University 3 8 0.41 2 7 0.29111
1052 Donghwan Shin 0001 University of Luxembourg 3 5 0.64 3 5 0.6421
1052 Pascale Thévenod-Fosse 3 2 1.12 3
1052 Suzanne Millstein University of Washington 3 4 0.60 2 4 0.50111
1052 Benwen Zhang 3 3 1.12 111
1052 Welf Löwe 3 2 1.29 111
1052 Tarak Goradia 3 4 1.00 3
1052 David Clark University College London 3 5 0.56 111
1052 Yi Wei 0001 Microsoft Research Cambridge 3 5 0.56 111
1052 Lu Zhang 0035 Virginia Tech 3 2 1.29 1 2 0.50111
1052 Joseph R. Ruthruff 3 3 0.82 111
1052 Chen Tian 0002 Huawei America Research Center 3 4 0.69 1 5 0.20111
1052 Tommi Mikkonen University of Helsinki 3 3 1.00 111
1052 Fu Song 3 6 0.53 3 6 0.53111
1052 Ting Liu 3 6 0.41 3 6 0.413
1052 Valentin Dallmeier Testfabrik AG 3 3 0.82 111
1052 Pingyu Zhang 3 3 1.12 21
1052 Boyang Li 0002 LinkedIn 3 4 0.69 1 5 0.20111
1052 Emilio Coppa 3 3 1.00 3 3 1.00111
1052 Lei Xue 0001 Hong Kong Polytechnic University 3 7 0.47 3 7 0.47111
1052 Oliver Schwahn 3 4 0.69 2 4 0.50111
1052 Diego Latella 3 3 0.82 111
1052 Gang Fan 3 6 0.56 3 6 0.5621
1052 Mengshi Zhang 3 4 0.69 3 4 0.6921
1052 Mark Marron 3 4 0.60 111
1052 Muhammad Zohaib Z. Iqbal 3 3 0.82 111
1052 Ziqi Shuai 3 6 0.50 3 6 0.5021
1052 Amie L. Souter 3 3 1.00 12
1052 Steven Lauterburg 3 4 0.82 111
1052 Tao Bao 3 4 0.75 21
1052 Hui Guo 0007 UC Davis 3 2 1.29 3 2 1.29111
1052 Jaideep Nijjar 3 2 1.50 111
1052 Robert M. Bell 3 3 1.00 111
1052 Ru-Gang Xu 3 3 1.00 21
1052 Xavier Devroey 3 5 0.56 2 5 0.40111
1052 Arnaud Gotlieb 3 3 1.00 1 4 0.25111
1052 Oleg Sokolsky University of Pennsylvania 3 6 0.50 111
1052 Gogul Balakrishnan 3 6 0.47 111
1052 Naoto Maeda 3 6 0.47 111
1052 Jianhua Zhao Nanjing University 3 7 0.47 2 6 0.33111
1052 David Coppit 3 2 1.00 111
1052 Erci Xu Ohio State University 3 8 0.38 3 8 0.3821
1052 William E. Howden Univ. of California - San Diego 3 1 2.25 3
1052 Chaoqiang Zhang 3 5 0.64 111
1052 John Regehr University of Utah 3 4 0.69 21
1052 Denise M. Woit Ryerson University 3 1 1.80 12
1052 Guillaume Brat 3 3 0.90 111
1052 Amit M. Paradkar IBM T. J. Watson Research Center 3 6 0.56 12
1052 Charles Pecheur 3 1 1.80 12
1052 Carlos Pacheco 3 4 0.75 111
1052 Qing Gao 3 6 0.47 1 5 0.2012
1052 Matteo Rossi 3 3 1.00 111
1052 Manman Chen 3 6 0.47 111
1052 David Mitchel Perry 3 5 0.60 3 5 0.6012
1052 Suresh Jagannathan Purdue University 3 3 0.90 111
1052 Andreas Thies 3 2 1.12 111
1052 Andrew Habib 3 2 1.12 3 2 1.1212
1052 Itai Segall 3 3 1.00 111
1052 Ke Li 0001 University of Exeter 3 4 0.75 3 4 0.753
1052 Raghavan Komondoor IISc Bangalore 3 2 1.12 1 2 0.50111
1052 Christopher Henard 3 5 0.64 21
1052 Witawas Srisa-an University of Nebraska 3 3 0.82 1 5 0.20111
1052 Yueming Wu 3 6 0.47 3 6 0.47111
1052 Masami Hagiya University of Tokyo 3 5 0.56 111
1052 Mitsuharu Yamamoto 3 5 0.56 111
1052 Yann-Gaël Guéhéneuc 3 4 0.75 21
1052 Rijnard van Tonder 3 2 1.29 3 2 1.2912
1052 Alan Bundy University of Edinburgh 3 3 0.90 12
1052 Lydie du Bousquet IMAG 3 4 0.75 3
1052 Joseph A. Goguen University of California 3 4 0.75 3
1052 Gregor Engels Paderborn University 3 3 0.90 111
1052 Colin O'Halloran 3 2 1.80 3
1052 Yuhong Cai 3 3 1.00 111
1052 Divya Gopinath 3 4 0.82 1 4 0.25111
1052 Xin Chen 0027 Nanjing University 3 8 0.38 2 8 0.25111
1052 Stanley M. Sutton Jr. 3 4 0.75 3
1052 Eric Mercer Brigham Young University 3 3 0.90 1 3 0.33111
1052 Qianyu Guo 3 7 0.39 3 7 0.3921
1052 I Luk Kim 3 7 0.45 3 7 0.45111
1052 Pen-Chung Yew University of Minnesota 3 9 0.38 111
1052 Paulo Borba UFPE 3 4 0.82 2 4 0.5021
1052 Graham Neubig Carnegie Mellon University 3 7 0.41 1 7 0.1412
1052 Frolin S. Ocariza Jr. 3 3 1.00 1 3 0.33111
1052 Daniel Méndez 0001 Blekinge Institute of Technology 3 3 0.90 1 4 0.25111
1052 Sanjai Rayadurgam 3 6 0.60 1 6 0.17111
1052 Jiang Zheng 0001 North Carolina State University 3 3 0.90 111
1052 Yan Wang 3 5 0.56 1 5 0.2012
1052 Johann Schumann 3 2 1.50 12
1052 Jordi Cabot ICREA 3 4 0.82 1 4 0.25111
1052 Gias Uddin 0001 University of Calgary 3 2 1.29 2 2 1.0021
1052 Rudolf Ramler 3 6 0.45 3
1052 Xudong Liu 0001 Beihang University 3 6 0.53 3 6 0.5321
1052 Brandon Paulsen 3 4 0.82 3 4 0.8221
1052 Massila Kamalrudin 3 3 0.82 111
1052 Hieu Tran 3 5 0.56 3 5 0.563
1052 Yunja Choi Kyungpook National University 3 3 1.12 2 2 0.80111
1052 Flavio Corradini 3 6 0.56 2 6 0.3321
1052 Andrea Polini 3 6 0.64 2 6 0.3321
1052 Sungjae Hwang 3 3 1.00 3 3 1.00111
1052 Mona Rahimi 3 4 0.75 2 5 0.40111
1052 Yu Huang 3 3 1.00 2 3 0.67111
1052 Zhongxin Liu 3 5 0.60 3 5 0.60111
1052 Sebastian Erdweg University of Mainz 3 3 0.90 1 3 0.3312
1052 Deheng Ye 3 6 0.53 1 6 0.17111
1052 Ákos Horváth 0001 Department of Measurement and Information Systems 3 5 0.56 111
1052 Dániel Varró 3 4 0.64 1 3 0.33111
1052 Lucas C. Cordeiro University of Manchester 3 3 0.64 1 9 0.11111
1052 Sérgio Soares UFPE 3 11 0.31 1 4 0.25111
1052 Bernhard Westfechtel University of Bayreuth 3 2 1.12 111
1052 Bowen Xu 3 4 0.64 1 4 0.2512
1052 Lucia 3 4 0.69 12
1052 Doo-Hwan Bae 3 3 1.00 1 4 0.25111
1052 Marwan Abi-Antoun 3 2 1.00 111
1052 Silvia Breu 3 2 1.12 111
1052 Hao Sun 3 7 0.47 2 8 0.2721
1052 Hakim Lounis 3 4 0.82 3
1052 Giriprasad Sridhara 3 3 0.82 111
1052 Olaf Leßenich 3 5 0.64 2 6 0.36111
1052 Nicholas Chen 3 3 0.82 21
1052 Junaid Haroon Siddiqui LUMS 3 3 0.82 111
1052 Matthew Jorde 3 4 0.56 1 9 0.11111
1052 Inês Lynce Universidade de Lisboa 3 5 0.60 2 6 0.33111
1052 Martin Glinz University of Zurich 3 3 0.75 111
1052 Arosha K. Bandara Open University UK 3 4 0.53 1 10 0.1012
1052 Sihan Li 3 6 0.53 12
1052 Marek Gibiec 3 4 0.64 12
1052 Yves Ledru IMAG 3 3 0.90 3
1052 Steven She 3 5 0.64 111
1052 Feng Shen 3 7 0.43 111
1052 Di Cui 3 7 0.43 3 7 0.4321
1052 Hiroyuki Sato 3 6 0.56 21
1052 Tongping Liu 3 4 0.75 2 4 0.44111
1052 Patrick O'Neil Meredith 3 4 0.90 111
1052 Reiko Heckel University of Leicester 3 3 1.12 111
1052 Lwin Khin Shar 3 4 0.75 1 4 0.2512
1052 Tanzirul Azim University of California 3 4 0.82 1 4 0.25111
1052 Ning Chen 3 3 0.90 111
1052 Arthur G. Ryman 3 5 0.60 111
1052 Eelco Dolstra 3 3 0.90 111
1052 Bernd Brügge TU Munich 3 2 1.29 111
1052 Gregory Gay Chalmers/GU 3 3 0.82 111
1052 Gilles Muller 3 5 0.64 111
1052 Leon Moonen 3 3 1.00 1 3 0.33111
1052 Laurent Réveillère 3 4 0.82 111
1052 Shuai Wang 0011 Hong Kong University of Science and Technology 3 7 0.53 3 7 0.5312
1052 Juha Savolainen 3 3 0.82 1 3 0.33111
1052 Klaus Pohl University of Duisburg-Essen 3 3 1.00 111
1052 Xiaoxue Ren 3 5 0.53 3 5 0.5321
1052 Yuan Tian 0008 Queen’s University 3 3 0.90 1 4 0.25111
1052 Cristian-Alexandru Staicu CISPA Helmholtz Center 3 5 0.69 2 4 0.50111
1052 Siyuan Jiang 3 3 0.90 3 3 0.9012
1052 Zhiyuan Wan Zhejiang University 3 4 0.69 3 4 0.69111
1052 Mikael Lindvall 3 4 0.69 111
1052 Boualem Benatallah UNSW 3 5 0.64 1 5 0.20111
1052 Facundo Molina 3 4 0.64 3 4 0.64111
1052 Guoliang Dong 3 8 0.43 3 8 0.4321
1052 Liangze Yin 3 4 0.75 2 4 0.50111
1052 Zhenhao Li 3 4 0.82 3 4 0.82111
1052 Youcheng Sun Queen's University Belfast 3 6 0.47 3 6 0.47111
1052 Robert W. Schwanke 3 3 0.90 12
1052 Jacek Czerwonka 3 4 0.69 1 5 0.20111
1052 Siobhán Clarke Trinity College Dublin 3 2 1.12 111
1052 Maria Heloisa (Lolo) Penedo 3 2 1.29 3
1052 Bonnie E. John Carnegie Mellon University 3 3 0.90 111
1052 Leonard J. Bass Carnegie Mellon University 3 4 0.82 111
1052 Stefan Hanenberg 3 5 0.60 1 6 0.17111
1052 Claudia Szabo University of Adelaide 3 4 0.90 3
1052 Alfonso Fuggetta Politecnico di Milano 3 3 1.12 3
1052 Joshua Sunshine 3 5 0.60 2 4 0.44111
1052 Gian Pietro Picco University of Trento 3 3 1.12 3
1052 Ataru T. Nakagawa 3 2 1.12 3
1052 Peixin Zhang 3 6 0.47 3 6 0.47111
1052 Ganesha Upadhyaya 3 4 0.82 3 4 0.8212
1052 Rachel K. E. Bellamy 3 4 0.75 111
1052 Michael Jackson 0001 Open University 3 1 2.25 3
1052 David Budgen Durham University 3 4 0.53 111
1052 Pearl Brereton Keele University 3 4 0.53 111
1052 John T. Stasko Georgia Institute of Technology 3 3 1.12 12
1052 Siegfried Rasthofer 3 7 0.43 1 4 0.2512
1052 Jörg Niere 3 5 0.56 21
1052 Reidar Conradi Norwegian University of Science and Technology 3 3 0.90 111
1052 Thodoris Sotiropoulos 3 5 0.69 3 5 0.6921
1052 Dimitris Mitropoulos 3 5 0.69 3 5 0.6921
1052 Ivica Crnkovic Chalmers/GU 3 3 1.12 21
1052 Dennis Heimbigner 3 3 1.00 3
1052 Emad Aghajani 3 7 0.47 3 7 0.47111
1052 Csaba Nagy 0001 Università della Svizzera italiana (USI) 3 7 0.47 3 7 0.47111
1052 Kenneth M. Anderson University of Colorado Boulder 3 3 1.00 12
1052 Michael Kläs 3 5 0.47 111
1052 Peter Freeman Georgia Institute of Technology 3 2 1.29 3
1052 Scott N. Woodfield Brigham Young University 3 2 1.29 3
1052 Jürgen Münch Reutlingen University 3 5 0.64 111
1052 Jung-Min Kim 3 3 0.90 12
1052 Jaejoon Lee 3 5 0.43 1 12 0.08111
1052 Judith Bishop Microsoft Research 3 5 0.82 111
1052 Florian Deißenböck 3 7 0.47 111
1052 Jonathan Streit 3 8 0.47 111
1052 Chakkrit Tantithamthavorn Monash University 3 4 0.69 1 4 0.25111
1052 Mingshu Li 3 4 0.75 12
1052 Ellis Horowitz University of Southern California 3 3 1.00 3
1052 Ping Zhang 0013 Avaya Labs Research 3 3 0.82 111
1052 Pankaj K. Garg 3 4 0.82 12
1052 Sebastian C. Müller 3 2 1.00 111
1052 Maurice H. ter Beek National Research Council 3 5 0.60 1 5 0.20111
1052 Henry Muccini University of L'Aquila 3 4 0.75 12
1052 Curtis R. Cook 3 6 0.53 111
1052 Roy H. Campbell Univ. of Illinois at Urbana-Champaign 3 2 1.29 3
1052 Watts S. Humphrey 3 3 1.12 3
1052 David H. Kitson 3 3 1.12 3
1052 Lucas Layman 3 4 0.75 111
1052 Giuliano Antoniol Polytechnique Montreal 3 4 0.75 21
1052 Wouter Joosen KU Leuven 3 3 0.82 111
1052 Wolfgang Mauerer 3 4 0.75 2 4 0.57111
1052 Luigi Lavazza 3 3 0.90 111
1052 Christian Hammer 0001 University of Potsdam 3 4 0.64 1 4 0.25111
1052 Christof Ebert 3 2 1.12 111
1052 Ralf H. Reussner Karlsruhe Institute of Technology 3 5 0.64 111
1052 Frank E. McGarry 3 4 0.69 12
1052 Rocky Slavin University of Texas at San Antonio 3 6 0.47 2 6 0.36111
1052 Travis D. Breaux Carnegie Mellon University 3 6 0.47 2 6 0.36111
1052 Nathan Cooper 3 6 0.50 3 6 0.5021
1052 Mark A. Ardis 3 3 0.82 12
1052 Alastair Dunsmore 3 3 1.00 12
1052 Marc Roper 3 3 1.00 12
1052 Claes Wohlin Blekinge Institute of Technology 3 2 1.29 12
1052 William E. Riddle 3 4 0.82 3
1052 Andreas Classen 3 5 0.60 111
1052 Davide Spadini 3 5 0.64 3 5 0.64111
1052 Zohar Manna Stanford University 3 2 1.50 3
1052 Helen Sharp Open University UK 3 3 1.00 111
1052 James C. Browne 3 2 1.80 3
1052 Oliver Laitenberger 3 3 1.00 3
1052 Maayan Goldstein 3 4 0.90 111
1052 Bogdan Dit Boise State University 3 6 0.56 21
1052 Richard B. Kieburtz 3 3 0.60 3
1052 Santosh Pande Georgia Institute of Technology 3 3 0.90 21
1052 Stefan Berner 3 3 1.29 111
1052 Mark Klein 3 4 0.75 12
1052 Peter H. Feiler Carnegie Mellon University 3 2 1.50 3
1052 Manuel Maarek Heriot-Watt University 3 4 0.56 21
1052 Fabiano Cutigi Ferrari 3 11 0.31 111
1052 Kisub Kim 3 8 0.36 3 8 0.36111
1052 Gina Venolia Microsoft Research 3 3 1.12 111
1052 Isao Miyamoto 3 1 0.82 3
1052 Robin Abraham 3 2 1.12 111
1052 Pekka Abrahamsson University of Jyväskylä 3 2 1.29 111
1052 Mark Rouncefield Lancaster University 3 4 0.82 21
1052 Steven E. Condon 3 6 0.53 3
1052 Kouichi Kishida 3 8 0.47 12
1052 Scott Henninger 3 3 1.29 3
1052 Willa K. Ehrlich 3 3 0.90 3
1052 Jinshui Wang 3 7 0.50 2 7 0.2921
1052 Junwen Yang 3 5 0.60 3 5 0.60111
1052 Cong Yan 3 5 0.60 3 5 0.60111
1052 Rebecca E. Grinter Georgia Institute of Technology 3 2 1.12 3