About
Technology
Issues
FAQ
Search
Scientometrics
Impact Factor
Discipline Ranks
h
-index
g
-index
Articles
Citations
Article Citations
Citation Distribution
Overviews
Top Institutions
Top Schools
Top Authors
Prolific Authors
Top Articles
Citing Bodies
Top Citing Authors
Top Citing Institutions
Top Citing Schools
Top Citing Journals
Top Citing Disciplines
exaly
›
Journals
›
ACM SIGPLAN Notices
›
top-authors
›
most-cited
›
lifetime
ACM SIGPLAN Notices
0.2
(top 100%)
impact factor
11.0K
(top 2%)
papers
103.0K
(top 5%)
citations
106
(top 5%)
h
-index
0.2
(top 100%)
extended IF
11.4K
all documents
112.0K
doc citations
170
(top 5%)
g
-index
Top Authors (by article citations)
#
Author
Articles
Citations
R ARank
R CRank
1
Vijay Janapa Reddi
1
1,105
5
1
1
Artur Klauser
1
1,105
2
1
1
Harish Patil
1
1,105
1
1
1
Robert Cohn
1
1,105
2
1
5
Arie van Deursen
1
899
10
1
5
Paul Klint
1
899
2
1
7
Steven Arzt
1
801
1
1
7
Eric Bodden
2
830
3
1
7
Jacques Klein
2
816
7
1
10
David S Bindel
1
756
5
1
11
Philip Wadler
8
725
1
1
11
Kevin Hammond
5
567
2
1
11
Simon Peyton Jones
30
976
1
1
11
Paul Hudak
11
879
1
1
15
Eric Brewer
4
677
1
1
16
Saman P Amarasinghe
26
1,184
1
1
16
Shih-Wei Liao
2
398
1
2
16
Monica S Lam
11
879
1
1
19
Jonathan Ragan-Kelley
1
342
2
2
19
Sylvain Paris
1
342
6
4
19
Fredo Durand
1
342
4
5
23
Vijay Saraswat
1
311
2
1
23
Vivek Sarkar
5
355
2
1
25
Jennifer Rexford
1
298
2
2
25
David Walker
7
374
1
3
25
Michael J Freedman
1
298
4
2
25
Rob Harrison
1
298
1
1
29
Gregor Kiczales
3
260
1
2
30
Luis Ceze
6
386
3
3
30
Adrian Sampson
5
333
1
1
30
Werner Dietl
2
259
1
1
33
Michael I Jordan
2
372
21
16
33
Ben Liblit
11
461
1
1
33
Alex Aiken
2
372
1
1
36
Henry Lieberman
1
214
4
2
37
Sumit Gulwani
14
625
1
1
38
Ponnuswamy Sadayappan
10
323
2
3
38
P Sadayappan
4
263
1
2
40
Willy Zwaenepoel
7
315
1
2
41
Antony L Hosking
16
257
1
1
41
Robin J Garner
2
190
1
1
41
Martin Hirzel
6
227
1
1
41
Amer Diwan
13
340
1
1
45
Martin Abadi
2
194
6
8
45
Cédric Fournet
8
261
2
2
47
David Meisner
2
193
1
1
48
David Maier
1
170
1
2
49
John B. Goodenough
3
184
38
51
50
Mary Shaw
9
198
2
4
51
Nobuko Yoshida
8
230
4
6
53
Thomas Reps
13
374
3
4
54
Kathryn S Mckinley
21
414
1
1
55
Eran Yahav
14
365
1
1
56
John Regehr
6
196
1
1
57
Roman Manevich
5
165
2
1
57
Zhendong Su
19
521
1
2
57
Andrew Lenharth
2
155
1
1
60
Richard W Vuduc
4
184
2
3
60
Jee W Choi
1
134
1
1
62
Xavier Rival
4
166
2
2
63
David Ungar
7
189
1
2
64
Tim Sheard
3
177
1
2
65
Carlos Varela
1
126
2
1
66
Rastislav Bodik
19
685
1
1
67
Andrew W Appel
17
283
1
4
67
Anurag Acharya
1
122
2
1
67
Mustafa Uysal
1
122
1
1
70
Todd A Proebsting
7
186
1
1
71
Andy Georges
5
152
1
2
71
Chandramohan Thekkath
1
120
1
1
71
Mark Horowitz
4
206
2
2
74
Naoki Kobayashi
13
262
2
3
74
Wontae Choi
2
124
1
1
74
George Necula
1
118
1
1
77
Garth A Gibson
3
134
1
5
77
Erik Riedel
1
117
1
1
77
Khalil Amiri
1
117
1
1
80
Andrew Grimshaw
1
116
5
2
80
James R Larus
10
343
1
1
82
Cormac Flanagan
14
538
1
1
83
Tushar Krishna
1
114
3
3
83
Hyoukjun Kwon
1
114
1
1
85
Seyong Lee
3
111
2
2
85
Patrice Godefroid
1
110
2
3
87
Jonathan A Rees
1
102
1
2
87
Rajiv Gupta
26
309
1
2
87
Andrew P Black
6
147
1
5
90
Benoît Valiron
1
100
2
1
90
Peter Selinger
2
106
4
5
92
Jean-Pierre Briot
4
108
2
1
93
Vitaly Chipounov
1
96
1
1
94
Brandon Lucia
3
131
1
1
95
Richard Mortier
1
94
4
2
95
Venkatesh-Prasad Ranganath
2
95
2
1
95
Jon Crowcroft
1
94
16
10
95
Charalampos Rotsos
1
94
2
2
95
Thomas Gazagnaire
3
99
1
1
95
John Hatcliff
1
94
4
2
101
Ranjit Jhala
3
120
2
4
102
David Zhang, Dapeng
1
89
61
49
102
Thomas Ball
2
117
1
3
102
Byron Cook
4
151
2
3
102
Andrey Rybalchenko
5
209
2
3
106
Scott Shenker
1
85
3
6
106
Alvin R Lebeck
3
111
2
1
106
Hans-J Boehm
8
228
1
1
109
Shan Lu
20
378
1
1
109
Dexter Kozen
3
98
3
5
109
Alexandra Fedorova
3
139
1
3
109
Sergey Blagodurov
1
83
1
5
113
Peter F Sweeney
5
122
1
1
113
Sebastian Burckhardt
2
90
1
1
115
Raymond Lo
1
81
1
1
116
James Noble
15
192
2
2
116
Chen Ding
6
110
1
2
116
Tim Harris
2
148
1
3
116
Sungpack Hong
2
86
1
1
116
Kunle Olukotun
7
187
1
2
121
Santosh Nagarakatte
10
261
1
1
121
Jianzhou Zhao
6
192
1
1
123
Bryan Ford
3
91
2
2
123
William Pugh
5
132
1
3
125
Eelco Visser
13
178
2
4
125
David Binkley
1
77
9
8
127
Veselin Raychev
6
173
1
1
128
Mark Batty
5
111
1
1
128
Peter Sewell
24
377
1
2
128
Susmit Sarkar
10
234
1
3
128
Scott Owens
11
230
2
4
128
David Callahan
4
173
1
2
133
William D Gropp
2
81
7
7
133
Wen-Mei W Hwu
4
115
1
3
135
John D Owens
4
135
4
5
135
Andreas Zeller
1
73
8
6
137
Rajeev Alur
3
109
4
6
138
Gilles Barthe
8
152
2
3
138
Peter Gorm Larsen
2
112
4
3
138
Santiago Zanella-Béguelin
4
145
2
2
138
Martin Rinard
17
370
1
1
138
Barbara G Ryder
9
264
1
1
143
Kavita Bala
2
69
5
5
143
Travassos, Gh
1
69
11
10
143
Keshav Pingali
8
192
1
1
143
Shaz Qadeer
9
258
2
2
143
Forrest Shull
1
69
7
6
143
Madanlal Musuvathi
2
79
1
2
143
Milind Kulkarni
4
115
1
1
150
Susmit Jha
2
68
3
2
150
Aske Plaat
2
74
3
4
150
Henri Bal
4
114
2
2
150
Amr Sabry
13
148
1
2
150
Thilo Kielmann
2
92
4
3
155
Luis Moniz Pereira
1
66
16
6
155
Grigore Roşu
7
197
3
5
155
Anoop Gupta
11
225
1
3
155
Isil Dillig
14
309
1
1
155
Mooly Sagiv
11
148
2
4
155
David R Hanson
6
138
2
3
161
Manu Sridharan
13
275
1
2
161
Ralf Lämmel
5
77
3
5
161
Aude Maignan
1
65
2
1
161
Stavros Tripakis
2
77
6
6
161
Nuno P Lopes
4
95
2
2
166
Alessandro Orso
1
63
2
4
167
Kadangode K Ramakrishnan
1
62
10
6
169
Zheng Wang
4
189
2
1
170
Greg Hamerly
1
60
2
4
170
Timothy Sherwood
5
129
4
3
172
Baowen Xu
12
185
2
9
173
Vicent Sanz Marco
1
58
1
1
173
John Mccarthy
2
62
4
4
175
Michael Hicks
19
282
1
3
175
Colin Fidge
2
63
7
5
175
Manuel Oriol
1
57
2
1
175
Iulian Neamtiu
1
57
1
2
179
Eric L Seidel
3
65
1
1
179
Atsushi Igarashi
10
86
2
4
179
Niki Vazou
5
68
1
2
179
Huiyang
5
131
1
1
179
Chucky Ellison
1
56
2
1
184
Emina Torlak
3
80
2
2
184
Sharad Malik
2
60
1
6
186
Jan Vitek
25
256
1
2
186
Danfeng Zhang
1
53
1
1
186
Andrew C Myers
4
97
1
5
189
Viktor Vafeiadis
17
294
2
2
189
Bertrand Meyer
2
57
7
6
189
Jeff Huang
7
104
1
1
189
Francesco Zappa Nardelli
4
109
1
3
193
Michael Carbin
2
59
1
1
194
Gang Tan
4
97
2
3
194
Antonio Gonzalez
4
90
7
6
194
John Hennessy
6
95
2
2
194
Kourosh Gharachorloo
4
98
2
2
198
Yossef Oren
1
49
2
3
198
Matthew Hicks
2
53
1
1
198
Ji-Dong Zhai
1
49
7
2
198
Frank Pfenning
10
111
2
8
198
Jidong Zhai
1
49
2
2
198
Weimin Zheng
1
49
12
6
198
Sarfraz Khurshid
4
90
3
4
198
Neha Rungta
1
49
1
2
206
Bruce J Maclennan
8
76
1
1
207
V T Rajan
4
73
1
3
207
Dino Distefano
1
47
2
2
207
Tung Thanh Nguyen
1
47
1
2
207
David F Bacon
14
145
1
1
207
Tien N Nguyen
1
47
2
4
207
Miryung Kim
2
85
1
1
207
Gary T Leavens
8
102
2
8
214
Filip Sieczkowski
1
46
2
2
214
Lars Birkedal
3
74
2
3
214
Ming Zhao
1
46
2
3
214
Steven Swanson
3
56
2
3
214
Aaron Turon
1
46
1
1
214
Ralf Jung
1
46
2
2
220
Zhong Shao
12
124
1
1
220
Mila Dalla Preda
1
45
5
3
220
Saumya Debray
1
45
2
2
220
Vu Le
1
45
1
1
224
Shin-ya Katsumata
3
53
2
2
224
Michael L Scott
10
155
2
4
224
Hafedh Mili
1
44
3
1
224
Michael F Spear
6
93
2
2
224
Devika Subramanian
1
44
1
2
224
Yu Feng
3
81
1
1
224
Victor Luchangco
1
44
2
3
224
Emmanuel Cecchet
2
57
1
1
224
Tevfik Bultan
1
44
7
11
224
Samik Basu
1
44
2
3
224
Maurice Herlihy
2
64
7
8
235
Chao Li
2
58
4
7
235
Stephanie Weirich
18
146
1
3
235
Xuanzhe Liu
1
43
5
4
235
Luca Cardelli
3
64
10
20
235
Steve Zdancewic
3
65
1
1
235
Dimitrios Vytiniotis
7
71
1
2
235
Nimrod Partush
1
43
1
1
235
Shengen Yan
1
43
1
1
235
Yunquan Zhang
1
43
2
1
235
Hong Mei
2
46
5
7
245
Caiwen Ding
1
42
2
2
245
Ji Li
1
42
2
2
245
Bo Yuan
1
42
1
1
245
Jade Alglave
3
60
2
4
245
Yanzhi Wang
1
42
4
7
245
Panagiota Fatourou
1
42
3
2
251
Gill Bejerano
1
41
12
19
252
Amal Ahmed
10
107
1
2
252
Nathan Chong
3
78
1
1
252
Nectarios Koziris
1
40
9
4
252
Matthias Felleisen
19
148
1
6
252
Lingjia Tang
3
70
2
2
252
Alexei Colin
1
40
1
1
252
Andreas Gal
2
42
1
1
252
Shriram Krishnamurthi
5
64
1
7
252
Georgios Goumas
1
40
2
3
252
Vasileios Karakasis
1
40
1
2
262
Ryosuke Sato
3
44
2
2
262
Satish Chandra
8
127
3
8
262
Gareth Baxter
1
39
7
5
262
Ewan David Tempero
2
43
5
5
262
Hiroshi Unno
4
73
2
2
262
Xu Liu
1
39
2
2
262
Federico Olmedo
1
39
3
3
262
Matt Visser
1
39
28
30
262
Boris Köpf
1
39
1
1
262
Jens Palsberg
9
101
1
3
262
Martin Odersky
10
106
1
4
262
Anne Rogers
2
51
1
1
274
Shangping Ren
1
38
7
3
274
Onur Kayiran
1
38
1
1
274
Conor Mcbride
3
44
3
4
274
Pavol Bielik
1
38
1
1
274
Nachiappan Chidambaram Nachiappan
1
38
1
1
274
Michael D Smith
3
57
1
2
274
Jeffrey S Foster
4
62
1
2
282
Johan Jeuring
2
47
5
5
282
Eric Eide
2
51
1
1
282
Frederic T Chong
5
73
4
7
282
Geoffrey Mainland
6
57
1
1
282
Christian Kästner
7
92
2
10
282
Enrique S Quintana-Ortí
1
37
23
15
282
Andres Löh
5
59
2
3
282
Oleksandr Polozov
1
37
1
1
282
Francisco Igual
1
37
10
7
282
Francisco D Igual
1
37
8
5
282
Kathleen Fisher
3
82
1
1
282
Daniel Marino
1
37
1
1
282
Satish Narayanasamy
4
76
1
1
282
Robert Giegerich
1
37
12
14
282
Pranav Garg
2
56
2
2
282
Abhayendra Singh
1
37
1
1
298
Nadia Polikarpova
1
36
2
1
298
Lujo Bauer
1
36
5
6
298
Anders Møller
9
80
1
4
298
Florian Zuleger
2
58
2
2
298
Vikram Adve
4
101
1
1
298
Jay Ligatti
1
36
3
4
304
Marco Carbone
1
35
2
4
304
Dmitry Evtyushkin
1
35
1
2
304
Damien Pous
2
47
2
2
304
Filippo Bonchi
2
51
6
3
304
Jens Krinke
1
35
8
7
304
Andreas Hildebrandt
1
35
11
11
304
Akimasa Morihata
7
50
2
1
304
Fabrizio Montesi
1
35
2
4
304
Rachid Guerraoui
1
35
2
4
304
Eric Koskinen
3
57
1
1
304
Masato Takeichi
5
53
2
2
304
Louis-Noel Pouchet
3
69
1
2
304
Cédric Bastoul
2
67
3
3
304
John Cavazos
2
49
2
3
318
Hans Vandierendonck
3
37
3
4
318
Dinghao Wu
1
34
5
5
318
Harry Wagstaff
1
34
1
1
318
Gennaro Parlato
3
63
2
2
318
Erik J Linstead
1
34
4
9
318
Dimitrios Dimitrios Nikolopoulos
2
39
7
8
318
Philippa Gardner
4
63
3
2
318
Karthikeyan Bhargavan
3
54
1
1
318
Wouter Swierstra
1
34
1
1
318
Huazhe Zhang
1
34
1
1
318
Calin Cascaval
2
36
1
2
318
John D Mcgregor
1
34
4
4
318
Keith Marzullo
1
34
4
3
318
Marcos Viera
1
34
2
1
318
Francois Irigoin
1
34
4
2
318
Margaret Burnett
2
40
4
11
318
Nikhil Swamy
7
65
1
2
335
Daichi Fujiki
1
33
1
1
335
Reetuparna Das
1
33
2
3
335
Jérôme Vouillon
4
37
1
2
335
Susan Horwitz
3
58
2
3
335
Serdar Tasiran
2
55
2
3
335
John Paul Shen
2
33
2
1
335
Benjamin C Pierce
2
35
4
5
342
Neto, Jj
1
32
3
2
342
Massoud Pedram
1
32
25
22
342
Peng Wu
2
52
38
66
342
Jagannathan Ramanujam
2
51
3
6
342
Marieke Huisman
1
32
5
4
342
Richard C Waters
2
33
2
2
342
Hassan Chafi
2
39
1
2
342
João José Neto
1
32
4
2
342
Nicolas Vasilache
1
32
1
2
342
Xuehai Qian
1
32
1
1
352
Aurelien Bouteiller
1
31
7
7
352
Éric Tanter
17
138
1
2
352
Aleksandar Prokopec
2
33
2
2
352
Giuseppe Castagna
3
36
1
4
352
Jack Dongarra
2
36
27
38
352
Rajeev Thakur
1
31
9
12
352
Prasad Kulkarni
1
31
1
1
352
John Launchbury
6
51
1
3
352
Véronique Benzaken
1
31
2
1
352
Kumud Bhandari
1
31
1
1
352
Tatiana Shpeisman
3
44
1
2
352
Adam Welc
1
31
1
1
352
Thomas Herault
1
31
7
7
352
David Whalley
4
42
1
3
352
Robert M Kirby Or Rm Kirby
1
31
15
19
352
Atanas Rountev
2
48
1
1
368
Julien Lange
2
45
2
2
368
Emilio Tuosto
1
30
6
4
368
Mohammad Shahrad
1
30
2
1
368
Christof Lutteroth
1
30
3
4
368
Damien Zufferey
1
30
3
2
368
Linzhang Wang
1
30
1
1
368
Sebastian Hunt
1
30
3
3
368
Michael Mckeown
1
30
1
1
368
Devika Subramanian
2
50
1
4
368
David Wentzlaff
1
30
1
2
368
Yaosheng Fu
1
30
2
2
368
Erik Meijer
2
35
2
4
368
Amirali Boroumand
1
30
1
2
368
Lawrence Rauchwerger
5
48
2
4
368
Bryan Catanzaro
1
30
2
3
368
Liviu Iftode
2
36
2
8
384
Sriram Sankaranarayanan
1
29
7
5
384
Paulo Borba
4
69
4
5
384
Marjan Mernik
5
103
5
8
384
Márcio Ribeiro
6
38
1
4
384
Matej Črepinšek
2
50
5
7
384
Indradeep Ghosh
1
29
2
2
384
Tao B Schardl
2
36
2
3
384
Lei Xia
1
29
1
1
384
Társis Toledo
1
29
1
1
384
Manuel Fahndrich
4
71
1
3
384
Christoph Von Praun
1
29
1
1
384
Faizan Javed
1
29
1
2
384
Robert Glück
3
53
2
3
398
Wei Wu
1
28
2
1
398
Sam Tobin-Hochstadt
12
103
1
2
398
Chandra Krintz
4
45
1
4
398
Jacques Noyé
2
37
1
2
398
Tiark Rompf
11
80
1
3
398
Brad Calder
7
92
2
3
398
Calvin Lin
3
59
2
2
398
Xinyu Feng
3
48
2
2
406
Quan Chen
1
27
6
4
406
Gerwin Klein
6
66
2
8
406
Osman S Unsal
4
39
5
4
406
Sergio Soares
2
29
3
5
406
Eduard Ayguadé
5
37
6
11
406
Jochen Hoenicke
2
35
2
2
406
Stéphane Lafortune
1
27
14
16
406
Friedrich Steimann
2
29
4
7
406
Jiajia Li
3
53
1
2
406
Adrian Cristal
4
39
5
6
406
Mateo Valero Cortés
8
51
7
17
406
Ferad Zyulkyarov
2
38
1
1
406
Ilya Sergey
4
46
2
2
406
Matthias Heizmann
2
34
2
2
406
Jason Mars
2
30
2
3
406
Takuo Watanabe
2
30
1
1
406
Saturnino Garcia
1
27
2
2
406
Bjarne Stroustrup
2
41
2
1
406
Greg Morrisett
6
68
2
5
406
Dan Grossman
8
83
1
1
427
Ugo Dal Lago
3
34
5
6
427
Onur Mutlu
2
35
8
21
427
John Shalf
2
30
5
16
427
Steven J Ramsay
3
33
1
1
427
Bor-Yuh Evan Chang
7
46
2
3
427
Vilas Sridharan
1
26
2
2
427
Jérémie Koenig
2
37
1
1
427
Gabriele Mencagli
1
26
9
9
427
James D Herbsleb
1
26
9
13
427
Xuehai Zhou
1
26
9
7
427
Jeremy G Siek
11
104
1
2
427
Sudhanva Gurumurthi
1
26
1
1
427
Scott Nettles
2
35
1
1
427
Ryan Culpepper
3
28
1
1
427
Yasuhiko Yokote
1
26
1
2
427
William Thies
2
42
1
4
427
Jurriaan Hage
1
26
4
2
427
Matthew Flatt
6
69
1
2
427
Karl Lieberherr
2
40
1
3
446
Bent Bruun B Kristensen
4
39
3
4
446
Konstantinos Sagonas
2
25
5
9
446
Lars Åke Fredlund
1
25
3
2
446
Leila Ismail
1
25
8
9
446
Xipeng Shen
21
200
1
2
446
Dirk Beyer
1
25
4
5
446
Behnam Robatmili
1
25
1
1
446
Hans Svensson
2
32
1
1
446
Assaf Schuster
1
25
12
16
446
Anant Agarwal
3
31
2
4
446
Karthikeyan Sankaralingam
3
26
2
4
446
Tony Nowatzki
1
25
1
2
446
Alex Kogan
2
42
1
1
446
Lorenzo De Carli
1
25
1
1
460
Frank Piessens
8
77
2
3
460
Ralf Hinze
4
47
2
3
460
Jeehoon Kang
3
42
1
1
460
Bart Jacobs
2
29
5
5
460
Hagit Attiya
2
27
10
12
460
Jeremy Gibbons
6
47
4
5
460
Westley Weimer
3
30
3
8
460
Alexandru Salcianu
1
24
1
1
460
Andrew Miller
1
24
1
2
460
Danny Hendler
2
31
5
6
460
Chung-Chieh Shan
3
32
1
4
460
Changhee Jung
2
29
1
1
460
Silvius Rus
1
24
2
2
460
Julian Dolby
3
52
1
3
460
Kalyan Veeramachaneni
1
24
1
1
460
Mandana Vaziri
1
24
1
1
460
Jason Ansel
1
24
2
1
460
Maged M Michael
1
24
1
1
460
Elaine Shi
2
43
1
4
479
Vincent Gramoli
1
23
4
4
479
Martin Kong
2
42
2
1
479
Sreepathi Pai
2
33
1
1
479
Marco Avvenuti
1
23
10
15
479
Gabriele Keller
14
97
1
2
479
Cinzia Bernardeschi
1
23
7
10
479
Yuriy Brun
1
23
6
10
479
Frank Tip
9
108
1
4
479
Magnus Madsen
1
23
1
1
479
Luiz Ramos
2
28
1
2
479
Michael Rodeh
1
23
3
4
479
Tao Xie
1
23
8
13
479
Tal Ben-Nun
1
23
2
4
479
Sorin Lerner
4
37
1
2
494
José F Martínez
3
37
2
3
494
Murdoch J Gabbay
1
22
9
9
494
Austin R Benson
1
22
4
9
494
Cristóbal Pareja-Flores
1
22
1
3
494
Alexey L Lastovetsky
1
22
15
13
494
Randy Goebel
1
22
7
5
494
Amin Timany
1
22
2
2
494
Andrew J Lumsdaine
14
129
2
9
494
J Ángel Velázquez-Iturbide
4
23
4
8
494
Grey Ballard
3
25
3
9
494
Pier Stanislao Paolucci
1
22
14
13
494
Zizhong Chen
3
24
2
8
494
Pallavi Joshi
1
22
4
3
494
Mary Lou Soffa
11
62
1
6
494
Chang-Seo Park
1
22
1
2
494
Jinglei Ren
1
22
1
1
494
Yangchun Fu
1
22
1
1
494
Dinakar Dhurjati
1
22
1
2
494
Yannis Smaragdakis
2
24
2
8
494
Zhiqiang Lin
1
22
1
2
494
Josh Berdine
1
22
1
2
494
Michael D Bond
5
40
1
1
494
Andrew M Pitts
5
34
1
8
494
Dave Clarke
3
33
3
5
494
Mayur Naik
8
65
1
2
494
Reinhard Von Hanxleden
1
22
3
3
520
Hao Zhong
1
21
6
7
520
Krishnendu Chatterjee
2
25
9
12
520
Petr Novotny
2
37
3
5
520
Hiromi Ishii
1
21
2
1
520
Gilles Duboscq
1
21
1
1
520
Matthias Grimmer
2
33
1
1
520
Manuel M T Chakravarty
2
24
1
3
520
Sam Lindley
1
21
1
1
520
Hani Jamjoom
1
21
1
1
520
Liuba Shrira
2
31
2
1
520
Torben Amtoft
1
21
4
5
520
Mike Rainey
3
25
1
2
520
Phitchaya Mangpo Phothilimthana
2
26
1
1
520
Junqiao Qiu
1
21
1
1
520
Patrick Lam
1
21
2
5
520
David R Kaeli
1
21
2
3
536
Michel Steuwer
3
24
2
1
536
Oleg Sokolsky
1
20
6
11
536
Xiaokang Qiu
3
52
2
1
536
Igor Konnov
1
20
5
5
536
Rupesh Nasre
2
21
2
3
536
Sandrine Blazy
3
25
3
3
536
Reinhard Wilhelm
3
32
1
4
536
Bernhard Egger
5
63
1
1
536
Feng Xia
1
20
43
65
536
Ana Sokolova
2
24
4
6
536
Marijana Lazic
1
20
2
2
536
Isabella Mastroeni
3
26
2
4
536
Josef Widder
1
20
3
6
536
Susan J Eggers
9
70
1
3
536
Michael Emmi
1
20
2
2
536
Harold Ossher
2
32
1
2
536
Helmut Veith
1
20
5
12
536
Tasuku Hiraishi
1
20
2
1
536
Jacques-Henri Jourdan
1
20
1
1
536
Siddhartha Chatterjee
2
29
1
2
536
Ahmed Bouajjani
2
31
4
5
536
Nathaniel Nystrom
4
42
1
1
536
Tomas Kalibera
2
22
1
2
559
Javier Esparza
2
32
7
11
559
Awais Rashid
1
19
9
11
559
Annette Bieniusa
1
19
2
2
559
Dakai Zhu
1
19
10
13
559
Ruzica Piskac
2
35
2
3
559
Franz Franchetti
2
36
2
7
559
Dominique Devriese
7
37
2
2
559
Arie Gurfinkel
2
33
4
6
559
Roberto Bruni
1
19
7
7
559
Hiroshi G Okuno
1
19
30
30
559
Marc Shapiro
4
33
2
3
559
Earl T Barr
3
27
2
5
559
Sooel Son
1
19
1
2
559
Carla Ferreira
1
19
2
3
559
Romain Robbes
2
19
4
9
559
Bin Bao
1
19
1
1
559
Peter-Michael Osera
1
19
1
1
559
Michał Cierniak
3
35
1
1
559
Kathryn E Gray
2
24
1
1
559
Jeffrey A Vaughan
1
19
1
1
559
Daniel Mosse
1
19
4
6
559
Martin Burtscher
1
19
1
3
559
Chit-Kwan Lin
1
19
1
3
559
Christophe Dony
3
44
1
1
559
Jacques Malenfant
1
19
1
1
559
Andreas Stefik
1
19
2
5
559
Nicholas P Carter
1
19
2
2
559
Mario Méndez-Lojo
1
19
1
3
559
Martin Maas
2
24
1
1
559
Xiaoya Xiang
2
26
1
1
559
Steve Zdancewic
1
19
1
1
559
Philippe Suter
1
19
2
2
559
Limin Jia
1
19
1
2
559
Mohit Tiwari
1
19
1
2
559
Trishul Chilimbi
2
33
1
1
559
Tsung-Han Lin
1
19
1
2
559
Hernán Melgratti
1
19
2
1
597
Wilhelm Hasselbring
1
18
11
17
597
Antonio Filieri
1
18
2
7
597
Gul Agha
1
18
7
12
597
Gunther H Weber
1
18
9
13
597
Vitor Santos Costa
2
19
3
7
597
Michael Hanus
4
25
3
8
597
Trent Jaeger
1
18
4
3
597
Tyler
1
18
1
1
597
Manuel V Hermenegildo
2
23
8
11
597
Dirk Riehle
5
35
2
8
597
Gerardo Schneider
1
18
7
5
597
Gilles Muller
1
18
1
2
597
Pavan Balaji
1
18
5
10
597
Naoshi Tabuchi
1
18
1
1
597
Kenny Q Zhu
1
18
1
1
597
Scott D Stoller
1
18
1
3
597
Michael Hind
2
25
1
4
597
Shirish Tatikonda
2
20
1
2
597
Parthasarathy Ranganathan
4
29
2
6
597
Berthold Reinwald
1
18
3
3
597
Willem Visser
1
18
5
8
597
Didier Rémy
4
30
2
4
597
Tachio Terauchi
2
29
2
2
597
Jisheng Zhao
3
27
1
2
597
Nai-Wei Lin
1
18
1
1
597
Raghavan Raman
2
21
1
1
597
James F Gimpel
1
18
1
1
597
Yanhong A Liu
7
29
2
5
597
Janis Voigtländer
3
32
2
2
597
Alan Schmitt
1
18
3
5
627
Rashina Hoda
1
17
7
10
627
Stuart R Marshall
1
17
2
5
627
Giovanni Agosta
1
17
5
4
627
Harald Søndergaard
2
19
4
11
627
Walter Binder
5
39
2
4
627
Bernhard Reus
1
17
6
5
627
Oscar Nierstrasz
4
28
5
11
627
Joost Visser
1
17
5
8
627
Philippe Kruchten
1
17
8
14
627
Marko Van Eekelen
1
17
2
2
627
Dirk Grunwald
4
35
2
6
627
Hongseok Yang
3
23
2
6
627
Simone Campanoni
1
17
1
1
627
Aibek Sarimbekov
1
17
2
2
627
Woosuk Lee
1
17
1
1
627
Jakob Rehof
2
17
3
3
627
Ravi Rajwar
1
17
1
3
627
Todd Gamblin
1
17
2
3
627
Sam Blackshear
2
22
1
1
627
Trevor Brown
1
17
1
1
627
Dong H Ahn
1
17
1
3
627
Martin Schulz
2
21
3
7
627
Ana Milanova
3
34
2
5
627
Andreas Sewe
1
17
1
2
627
Rinus Plasmeijer
3
31
2
3
652
Anton Setzer
1
16
4
7
652
Diego R Llanos
1
16
7
7
652
Haesun Park
1
16
5
13
652
Fabio Zanasi
1
16
6
4
652
Troels Henriksen
1
16
2
1
652
Jurgen J Vinju
3
18
4
7
652
Haibing Guan
3
20
8
20
652
Sudipta Chattopadhyay
2
17
3
5
652
Martin Elsman
2
18
2
4
652
Antoine Miné
1
16
5
7
652
Abhik Roychoudhury
3
17
4
14
652
Paweł Sobociński
1
16
7
6
652
Hongfei Fu
1
16
21
23
652
Henry J Gardner
1
16
5
8
652
Jayneel Gandhi
1
16
3
3
652
Achmad Imam Kistijantoro
1
16
2
2
652
Shengchao Qin
3
33
3
4
652
Dominic P Mulligan
2
19
2
1
652
Olivier Danvy
4
17
6
13
652
Charles Zhang
1
16
1
1
652
Matthew A Hammer
3
19
1
1
652
Cristina Cifuentes
1
16
2
4
652
George C Caragea
1
16
1
1
652
Christopher J Rossbach
2
16
1
3
652
Nir Shavit
3
22
4
13
652
Nikita Mishra
1
16
1
1
652
Umut A Acar
9
34
1
5
679
Hugo-Andrés López
1
15
2
2
679
Baris Kasikci
1
15
1
1
679
Gail C Murphy
1
15
4
7
679
Ludovic Henrio
1
15
4
3
679
Tom Schrijvers
11
64
2
4
679
Luca Ponzanelli
1
15
1
4
679
Bernardo Toninho
1
15
4
5
679
Aviral Shrivastava
4
42
5
5
679
Francisco Martins
2
18
2
4
679
Olivier Bouissou
1
15
2
3
679
Yunheung Paek
3
25
4
2
679
Christos D Antonopoulos
1
15
6
7
679
Eva Darulova
1
15
3
4
679
Eduardo R B Marques
1
15
2
1
679
Samir Genaim
3
20
5
9
679
Alexandre Chapoutot
1
15
4
5
679
Thomas Kühne
1
15
4
7
679
Andrea Mocci
1
15
2
4
679
Vasco Thudichum Vasconcelos
3
30
3
8
679
Jan Friso Groote
1
15
11
18
679
Yaqi Zhang
1
15
1
1
679
Henry Hoffmann
1
15
1
1
679
Martin Sulzmann
3
25
2
5
679
Saeed Maleki
1
15
1
1
679
Sriram Krishnamoorthy
5
26
1
7
679
R Clint Whaley
1
15
2
4
679
Nicholas Ng
2
30
2
2
679
Jongeun Lee
1
15
3
2
679
Peter M Chen
2
26
1
4
679
Eddy Z Zhang
1
15
2
3
679
Samuel Z Guyer
2
23
1
3
679
Todd Mytkowicz
3
32
1
1
679
Dominique Colnet
1
15
3
2
679
Michael Pradel
2
17
1
2
679
Christoph M Kirsch
4
24
1
2
679
Konstantinos Parasyris
1
15
1
1
679
Nick Benton
3
32
2
3
679
Mitchell Wand
5
40
1
10
679
Andreas Haas
1
15
2
3
679
Prabhanjan Kambadur
1
15
1
1
719
Daniel S Katz
1
14
10
20
719
Walid A Najjar
1
14
6
15
719
Chao Yang
1
14
18
17
719
Kai Li
3
21
3
18
719
Robert J Walker
1
14
2
7
719
Karl Crary
4
30
2
3
719
Florian Brandner
3
18
2
1
719
Roy H Campbell
3
23
3
28
719
Alex Potanin
3
24
1
3
719
Peter Schrammel
1
14
2
4
719
Irene Finocchi
3
19
3
10
719
Haohuan Fu
1
14
17
26
719
Emilio Coppa
1
14
2
5
719
Alex Groce
1
14
6
11
719
Jonathan Aldrich
2
24
3
3
719
Lin Gan
1
14
5
6
719
Weifeng Liu
1
14
4
6
719
James A Hendler
1
14
15
27
719
Walter Fontana
1
14
2
7
719
Min Feng
3
21
1
2
719
Xiangyu Zhang
7
57
1
3
719
Peter Mattson
1
14
2
3
719
Petr Maj
1
14
1
1
719
Bernd Bruegge
5
31
1
4
719
Lukasz Ziarek
3
21
1
3
719
Rajeev Balasubramonian
1
14
2
4
719
Ravi Sethi
1
14
3
7
719
Angelos Bilas
1
14
5
3
719
Mojtaba Mehrara
1
14
1
2
719
Pieter Koopman
1
14
1
2
719
Michael Wilde
1
14
5
15
719
David Gay
1
14
1
2
719
Peter Achten
2
14
2
3
719
Aarne Ranta
2
15
3
7
719
Ethan Blanton
1
14
1
1
719
Motohiro Kawahito
4
23
1
1
719
Scott Rixner
2
15
2
2
719
Brendan Cully
1
14
1
2
719
Kevin Bierhoff
1
14
1
1
719
Yili Zheng
1
14
1
4
719
Andrew Warfield
1
14
1
4
719
Toshio Nakatani
4
29
1
1
719
David Culler
1
14
2
10
719
Milo M K Martin
1
14
2
3
719
Neil Immerman
3
22
4
11
719
Cezary Dubnicki
1
14
2
1
719
Chaoqiang Zhang
1
14
1
3
719
Justin M Wozniak
1
14
3
7
767
John Wickerson
5
44
1
2
767
Schahram Dustdar
1
13
42
65
767
Alex Villazon
3
20
2
4
767
Ramin Zabih
1
13
5
12
767
Margaret Martonosi
5
31
4
10
767
Emilio Vivancos
1
13
1
2
767
Clément Pit-Claudel
1
13
2
2
767
Oleg Kiselyov
1
13
4
5
767
Rodney Van Meter
1
13
12
18
767
James Brotherston
3
22
2
2
767
Richard E Jones
7
30
1
1
767
Sai Charan Koduru
1
13
1
1
767
Tyler Sorensen
3
25
1
1
767
Munindar P Singh
1
13
20
32
767
Martin C Carlisle
1
13
6
6
767
Ulrik Pagh Schultz
4
19
2
8
767
Boris Grot
2
21
3
5
767
Todd Millstein
2
22
1
1
767
Keval Vora
1
13
2
3
767
Noah D Goodman
1
13
12
20
767
Nicholas Carriero
1
13
6
14
767
Trevor Mudge
3
24
2
8
767
Antonio L Furtado
1
13
3
4
767
Ming Fu
1
13
2
1
767
Yi Yang
1
13
1
1
767
Dongyun Jin
1
13
1
4
767
Aseem Rastogi
2
18
1
1
767
Zhenlin Wang
1
13
3
4
767
Pierre Ganty
1
13
3
5
767
Dan Suciu
1
13
11
15
767
Mahmut Kandemir
2
21
3
6
767
Benjamin Livshits
1
13
1
1
767
Suresh Jagannathan
6
32
1
5
767
Xiaolin Wang
1
13
5
3
767
Darrell Woelk
1
13
1
3
767
Nirmit Desai
1
13
2
3
767
Birger Møller-Pedersen
2
13
2
3
767
Amit K Chopra
1
13
2
3
767
Ole Lehrmann Madsen
5
31
2
3
767
Mehrzad Samadi
1
13
1
1
767
Avik Chaudhuri
2
14
1
1
767
He Zhu
2
17
1
2
767
George Varghese
1
13
4
13
767
Richard Jones
2
17
1
2
811
Sreenivas Subramoney
2
12
1
3
811
David Chisnall
2
13
4
7
811
Stephen Michael Blackburn
2
16
1
2
811
Duncan Coutts
1
12
2
2
811
John R Levine
1
12
1
1
811
Hanspeter Mössenböck
11
26
1
5
811
Meng Wang
4
22
2
4
811
Alberto Pettorossi
2
13
6
9
811
António Ravara
1
12
4
5
811
Luca Padovani
3
13
2
10
811
Frank Mueller
3
20
4
8
811
Hanjun Kim
5
25
1
2
811
Andrea Vandin
1
12
3
7
811
Sibin Mohan
1
12
1
5
811
Nicolas Wu
6
33
1
1
811
Mirco Tribastone
1
12
8
15
811
David A Bader
1
12
16
22
811
Zhenjiang Hu
2
20
2
3
811
Samuel P Midkiff
7
42
2
9
811
Keisuke Nakano
3
23
2
2
811
Patrik Jansson
6
35
2
3
811
Maurizio Proietti
1
12
8
8
811
Tom Van Cutsem
1
12
4
3
811
Bo Wu
1
12
1
2
811
Aman Kansal
1
12
1
1
811
Andrew D Gordon
4
31
5
9
811
Igor Böhm
1
12
1
1
811
Yuanyuan Zhou
1
12
3
7
811
Harini Ramaprasad
2
16
1
2
811
Beta Ziliani
1
12
2
2
811
Yutaka Ishikawa
3
19
1
2
811
Kunwadee Sripanidkulchai
1
12
1
3
811
Daniel Wagner
1
12
1
1
811
Thomas Arts
2
19
2
7
811
Azadeh Farzan
4
40
1
1
811
Olin Shivers
2
14
1
1
811
Jie Zheng
1
12
1
2
811
David A Wood
3
20
3
12
811
Josep Torrellas
1
12
4
8
811
Jiho Choi
1
12
1
1
811
Simon J Gay
1
12
3
7
811
Dimitar Dimitrov
1
12
1
1
853
Pramod Ganapathi
2
14
2
1
853
Daniel A Jiménez
1
11
3
4
853
Janez Brest
3
21
5
15
853
Paul V Gratz
2
18
5
9
853
Max Schaefer
1
11
1
1
853
James Chapman
1
11
3
5
853
Peter Kokol
5
28
3
16
853
Agostino Cortesi
2
12
11
16
853
Dariusz Biernacki
2
15
4
5
853
Massimo Merro
1
11
7
11
853
German Vidal
5
21
3
9
853
Takeshi Ogasawara
2
13
1
1
853
Martin E Törngren
1
11
9
22
853
Ramakrishna Upadrasta
1
11
1
1
853
Gerald Q Maguire Jr
1
11
15
28
853
Leopoldo M Teixeira
2
12
2
6
853
Koen Om De Bosschere
9
48
3
8
853
Moreno Falaschi
1
11
8
13
853
Dominic Orchard
4
35
2
2
853
João P Cachopo
2
11
2
4
853
Chen Pan
1
11
1
7
853
Laura Kovacs
2
20
2
3
853
MarÍa Alpuente
2
14
6
10
853
Chia-Lin Yang
1
11
9
9
853
Paulo Ferreira
2
13
3
10
853
Vander Alves
1
11
4
4
853
Mimi Xie
1
11
3
4
853
Ian Foster
1
11
36
78
853
Peng-sheng Chen
1
11
3
2
853
Amro Awad
1
11
4
4
853
Jingtong Hu
1
11
10
16
853
Marten Van Dijk
1
11
7
12
853
Stefan Udo Hanenberg
2
17
1
1
853
Jieung Kim
1
11
1
1
853
Antoniu Pop
1
11
1
3
853
Milos Gligoric
1
11
2
3
853
Wolfram Schulte
1
11
4
10
853
Andrew Kennedy
3
25
1
3
853
Jinchun Kim
1
11
1
1
853
Yan Solihin
1
11
4
7
853
John C Mitchell
4
22
1
7
853
Qirun Zhang
4
30
1
1
853
Asger Feldthaus
1
11
1
1
853
Jenq Kuen Lee
2
13
4
5
853
Robert France
1
11
3
9
853
Didier Parigot
1
11
2
2
853
Stephan Diestelhorst
1
11
2
2
853
Mihaela Sighireanu
1
11
2
2
853
Tahina Ramananandro
1
11
1
2
853
Yi Zou
1
11
1
2
853
Chris Wilkerson
1
11
2
3
853
Zoran Budimlic
1
11
3
3
853
Seth H Pugsley
1
11
1
1
853
Noam Rinetzky
1
11
1
2
853
Robert M Siegfried
2
15
1
2
853
Stephen Chong
2
14
1
2
853
Vaibhav Gogte
1
11
1
1
853
Matteo Frigo
1
11
1
3
911
Alexandra Silva
1
10
2
2
911
Bartek Klin
2
20
4
6
911
Gagandeep Singh
2
19
6
18
911
Alfred L Brown
1
10
2
4
911
Xiao Wang
2
16
1
7
911
Alan Mycroft
2
11
2
6
911
Olaf Chitil
1
10
1
1
911
José Emilio Labra-Gayo
2
15
5
12
911
Philippas Tsigas
4
17
3
13
911
Ambrus Kaposi
1
10
5
7
911
José-Luis Sierra
1
10
7
17
911
Frédéric Vivien
2
20
8
14
911
Deepak Garg
1
10
3
3
911
Fabio Massacci
1
10
14
30
911
Roland Leißa
3
14
1
2
911
Nikil Dutt
3
16
8
34
911
Marco Di Natale
1
10
9
10
911
Jon Doyle
1
10
6
12
911
Thorsten Altenkirch
1
10
5
7
911
Daniel Kroening
4
12
5
15
911
David Gries
3
17
6
11
911
Umang Mathur
1
10
2
2
911
Baltasar Fernández Manjón
1
10
14
31
911
Minh Ngo
1
10
2
1
911
Justin Hsu
3
19
2
2
911
Gagandeep Singh
1
10
2
2
911
Rachel
1
10
2
9
911
Tingting Yu
1
10
3
3
911
Uwe Meyer
1
10
2
1
911
Sébastien Gérard
2
19
4
5
911
Francisco Ortín Soler
2
14
10
13
911
Matteo Sammartino
1
10
4
2
911
Amit Levy
2
10
1
2
911
Madhu Mutyam
1
10
7
8
911
Tei-Wei Kuo
1
10
20
20
911
Mirko Viroli
2
11
9
31
911
Vesal Vojdani
2
12
2
3
911
Anand Raghunathan
1
10
17
24
911
Khanh Nguyen
2
20
1
1
911
Masahito Hasegawa
1
10
5
6
911
Amit Sabne
2
20
1
1
911
Simon Marlow
1
10
1
1
911
Marco Gaboardi
2
19
1
2
911
Mahesh Viswanathan
1
10
6
7
911
Boris Magnusson
1
10
2
3
911
Murali Krishna Ramanathan
1
10
1
3
911
Patrick Stuedi
1
10
1
1
911
Elisa Baniassad
1
10
2
2
911
June Andronick
1
10
3
4
911
Todd C Mowry
5
26
2
6
911
Putt Sakdhnagool
1
10
1
1
911
Aaron Kans
1
10
1
1
911
Marko Rosenmüller
1
10
1
5
911
Edouard Bugnion
1
10
2
2
911
Deian Stefan
1
10
1
2
911
Charles A Bouman
1
10
6
8
911
Tomas Petricek
1
10
1
2
911
Bernard Metzler
1
10
1
1
911
Andreas Buja
1
10
9
26
911
Dileep Kini
1
10
1
1
911
James Hook
1
10
1
2
911
James Devine
1
10
1
1
911
Lavanya Subramanian
1
10
1
4
911
Matthias Blume
2
20
1
3
911
Sherman J Kisner
1
10
1
1
911
Chi-Keung Luk
1
10
2
4
911
Lu Fang
2
20
1
1
911
Allan Heydon
1
10
1
3
911
Johannes Borgström
3
15
1
3
911
Werner Stuetzle
1
10
3
8
911
Aarti Gupta
1
10
2
5
911
Jae W Lee
1
10
1
3
911
Malavika Samak
1
10
1
1
911
Alejandro Russo
1
10
2
3
911
Lodewijk Bergmans
1
10
1
2
986
Claus Brabrand
1
9
3
7
986
Kari-Jouko Räihä
1
9
4
15
986
Christian Hammer
1
9
3
7
986
Andrew Pitts
1
9
6
9
986
Catalin Hritcu
4
23
1
3
986
Christian Höner zu Siederdissen
1
9
8
14
986
Anindya Banerjee
1
9
1
2
986
Tarmo Uustalu
3
11
5
9
986
Zili Shao
4
28
9
19
986
Germán Andrés Delbianco
1
9
1
2
986
Alfons Laarman
1
9
3
4
986
João Costa Seco
1
9
1
2
986
Luis Caires
1
9
4
6
986
Jian Yang
1
9
25
72
986
Sam Ainsworth
1
9
1
2
site/software ©
exaly
; All materials licenced under
CC by-SA
.