Systems: Programming Languages

This list contains only authors with at least 3 publications.
The top conferences are: PLDI, POPL, ICFP, OOPSLA
(A) shows the median number of authors across all publications.
(A5) shows the median number of authors of the last 5 years.
(Rel) shows the overall relative number of papers an author wrote, e.g., if you wrote 2 papers with 3 authors each you would get 2 times 1/3, i.e., 2/3.
(Rel5) shows the relative number of papers an author wrote for the last 5 years.
Click on the column name to sort.
Back to the main pubstat page.
Data was processed on 2024-09-25.

Rank	Name	Affiliation	Total	(A)	(Rel)	20-24	(A5)	(Rel5)	24	23	22	21	20	19	18	17	16	15	14	13	12	11	10	9	8	7	6	5	<=4
1	Simon L. Peyton Jones	Microsoft Research	59	4	18.72	6	4	1.32		1	1	1	3	2	3	2	1	2	5	2	2	1	1	3	2	2	2	3	20
1	Alex Aiken	Stanford University	59	3	18.59	5	4	1.21			3	1	1	1	2	2	3	5	3	3	3	5	1		1	3	1	4	17
3	Derek Dreyer	Max Planck Society	48	4	13.85	17	6	3.30		2	7	4	4		3	3	2	3	2	4	2	2	2	2	1	2		1	2
4	Martin T. Vechev	ETH Zurich	45	4	12.15	8	4	1.98			1	4	3	3	6	2	4	4	2	2	3	5	1	1	2	1	1
4	Martin C. Rinard	Massachusetts Institute of Technology	45	3	17.63	4	4	1.17				2	2	3	1		2	2	3	1	4	2	1	1	1	2			18
6	Matthias Felleisen	Northeastern University	43	3	16.27	5	3	1.50	1	1		1	2	1	1	1	2		1	1	3	2	2	1	1	1	1	2	18
7	Shmuel Sagiv	Tel Aviv University	42	4	9.76	4	4	0.92			1	1	2	1	4	1	2	2	2	2	4	5	3	1		1		2	8
8	Sumit Gulwani	Microsoft Research	41	3	14.22	6	6	1.09		1		3	2	1	2		3	3	2	2	1	5	4	4	3	1	1	1	2
8	Kathryn S. McKinley	University of Texas at Austin	41	3	12.33	1	3	0.33			1				1	1			2	4	1	5	3	4	2	4	2		11
10	Benjamin C. Pierce	University of Pennsylvania	39	3	12.78	4	5	0.79		2			2	3	3	2			1	2	1	1	3		3			2	14
11	Isil Dillig	University of Texas at Austin	38	4	10.38	11	5	2.58	2		2	4	3	3	6	4	3	3	1	1	1	2	1		1	1
11	Thomas W. Reps	University of Wisconsin - Madison	38	3	13.48	9	3	2.75		2		4	3	2	2	3	3	2										2	15
13	Rastislav Bodík	University of Washington	37	3	12.16	4	4	1.15		1	1		2		2	3	1	1	2	1		1	2		2	3	1	5	9
14	Zhong Shao	Yale University	36	3	13.43	9	4	2.38	1	1	3	2	2	2	1		2	2	1		1		1		1	2	2	1	11
14	Ranjit Jhala	Univ. of California - San Diego	36	4	9.39	7	7	1.19	1	1	1	1	3	3	1	3	3	1	1		4		1	2	3	3		1	3
14	Lars Birkedal	Aarhus University	36	4	9.60	16	5	3.69	6	2	1	6	1	4	1	2	1	1		3		2	2		1		1		2
17	Zhendong Su 0001	ETH Zurich	35	3	10.92	10	4	2.83	1		1	2	6	2	2	3	2	2	2	4	1	1	1			1	1		3
18	Viktor Vafeiadis	Max Planck Society	34	4	9.47	9	4	2.43		2	2	2	3	6	2	2	2	4	1	3	1	1	1	1				1
18	Robert Harper 0001	Carnegie Mellon University	34	3	12.67	2	4	0.50	1		1			2	1	3			1	1	1			1	1	2			19
20	Jan Vitek	Northeastern University	33	5	7.96	8	5	1.63			1	4	3	2	3	2	1			3	2	1	3	1		1		1	5
21	David Walker 0001	Princeton University	32	4	9.84	5	4	1.58			1	1	3	1	2	1	2		2		1	2	2		1	2	3	2	6
22	Suresh Jagannathan	Purdue University	31	3	9.90	2	4	0.50				2		3	3		1	3	1	2	1	4		2		1	1	1	6
23	Umut A. Acar	Carnegie Mellon University	30	3	8.38	9	4	2.15	2		2	2	3	1	2	1	2		1		2	3	1	2	2		2		2
23	Dan Grossman	University of Washington	30	4	8.73	4	6	0.65				3	1	1	1	2	2	1	3	2	2	1	2		3	3		1	2
23	Eran Yahav	Technion	30	3	10.15	4	3	1.25					4	1	1	1	2		3	1	3	5	1	1	3	1	1		2
23	Michael Hicks 0001	Amazon Web Services	30	4	7.76	4	4	0.87		1		1	2	3		1		1	3		2	2	1	3	1		2	1	6
27	Stephanie Weirich	University of Pennsylvania	29	3	9.98	6	4	2.08	1	1	1	3		1	1	1		1	3	1		2	2		2		2	1	6
27	Peter Sewell	University of Cambridge	29	6	6.74	4	6	0.62	1	1	2			2	1	1	5		1		2	3		1		2	1	2	4
29	Steve Zdancewic	University of Pennsylvania	28	4	8.28	9	4	2.52	1	2	1	3	2	1	2	1	1	2		2	1	1	1	1	1	1		1	3
29	Rupak Majumdar	Max Planck Society	28	3	8.88	9	4	2.65	2	1	2	1	3	1	2	1			1	1	1	1	1	1	1	3		1	4
29	Craig Chambers	University of Washington	28	3	9.16																		1		1	2		1	23
32	Armando Solar-Lezama	Massachusetts Institute of Technology	27	3	7.57	8	4	1.79		2	2	1	3	2	2	2	4		1	2	1	1	1		1	1		1
32	Yannis Smaragdakis	University of Athens	27	4	8.58	5	5	1.02				2	3		3	3		1	2	4	1	2	2	1	1	1			1
32	Martin Odersky	EPFL	27	3	10.25	2	4	0.45			1		1		1	1	1	1	3	3			2	1	1			1	10
35	Jens Palsberg	Univ. of California - Los Angeles	26	2	11.42	4	2	1.59			1	2	1	1	2	1	1	2				2	1		2	1			9
35	Adam Chlipala	Massachusetts Institute of Technology	26	2	15.23	7	4	2.38		1	3	2	1	1	1	3	1	4	1	1		1	2	1	1	1	1
35	Robert Bruce Findler	Northwestern University	26	4	8.10	1	5	0.20					1	1	1	1	2			1	2	2	2	2		2	1	1	7
38	Gilles Barthe	Max Planck Society	25	5	5.49	12	5	2.80	1	1	2	4	4	3	2	3		1	1		1			1					1
38	Philip Wadler	University of Edinburgh	25	2	12.63	1	8	0.12					1		2	2		1		1	1	1	1						15
38	Cormac Flanagan	Univ. of California - Santa Cruz	25	2	10.21	1	2	0.50					1		1	1	1				2	3	1	1	1		1	1	11
41	Todd D. Millstein	Univ. of California - Los Angeles	24	4	7.47	2	4	0.58					2	1	1	2	1	1		1		2	1			1	2	2	7
41	Andrew C. Myers	Cornell University	24	3	10.18	4	4	1.12			2	1	1	1	1	1	1	3	1	1	1		1	2			2		5
41	Matthew Flatt	University of Utah	24	3	9.02	1	2	0.50					1	1			2				2	1	2	2		1	1	1	10
44	Robbert Krebbers	Radboud University	23	4	6.23	15	5	3.62	1	2	6	3	3	1	4	1	1		1
45	Éric Tanter	University of Chile	22	3	6.52	5	4	1.23	1		2	1	1	4	2	1	2	1	2		1	1				1	1		1
45	Tiark Rompf	Purdue University	22	4	6.59	4	4	0.95	2			1	1	4	2	2	2	2	3	1			1	1
45	Saman P. Amarasinghe	Massachusetts Institute of Technology	22	4	6.02	5	3	1.27			2	1	2	1	3	1		2	1	1				1					7
45	Jeffrey S. Foster	Tufts University	22	3	6.85	2	3	0.67				2		2			1	1	1		1	2	2	1	1	2	1	1	4
45	Dimitrios Vytiniotis		22	4	5.63	2	6	0.38				1	1	1	1	2		3	4	2	1	1	1	1	1		2
45	Andrew W. Appel	Princeton University	22	2	9.32	3	3	1.03	1			2		1		1		1			1		1			1			13
45	J. Gregory Morrisett	Cornell University	22	3	6.83	2	5	0.40		1	1					1					1	1	1	1	2	1	1	1	10
52	Klaus Ostermann	University of Tübingen	21	3	6.63	5	4	1.37			2		3		2		2	1	2		1	2	1	1		1	1		2
52	Nobuko Yoshida	Imperial College London	21	3	8.03	6	4	1.61				2	4	4		1	1	2				1			1			2	3
52	Frank Tip	Northeastern University	21	3	6.54	1	3	0.33				1			2	2	1	1		1		1					2	1	9
52	Mayur Naik	University of Pennsylvania	21	4	5.93	2	6	0.37				1	1	1	2	1	2		2	1	1	2	1	2		1	1	1	1
52	Chung-Kil Hur	Seoul National University	21	5	4.53	7	6	1.27		1	1	2	3	1	2	3	1	2	1	1	1	1		1
52	Sorin Lerner	Univ. of California - San Diego	21	4	5.88	3	5	0.57				2	1		1		1	1	1		1	1	2	3	2	1		1	3
58	Zachary Tatlock	University of Washington	20	5	4.50	5	6	0.84		1	1	2	1	1	4	1	2	2	1				1	2	1
58	Nate Foster	Cornell University	20	5	4.21	4	6	0.67			2	1	1	1		1	2	3	1	1	1	2	1		2			1
58	Emery D. Berger	University of Massachusetts	20	3	7.45	1	2	0.50					1	2	2		1		3		1	1		2		1	1	2	3
58	Neelakantan R. Krishnaswami	University of Cambridge	20	2	8.60	6	2	2.17		2	1	1	2	3			1	1	1	3	2	1		1				1
58	David Van Horn	University of Maryland - College Park	20	3	6.71	2	4	0.58				2		2	2	1	2	3	1	1	2		2		1	1
58	Ondrej Lhoták	University of Waterloo	20	3	7.10	4	2	1.53					4	1		4	2	1			1	2			1			2	2
58	Sam Tobin-Hochstadt	Indiana University	20	4	5.63	2	4	0.58				1	1	3	1	1	1	2	2		5	1	1		1
58	J. Eliot B. Moss	University of Massachusetts Amherst	20	3	6.87									1			2										1		16
58	Shaz Qadeer	Microsoft Research	20	3	7.06	2	6	0.33					2		1			1		2	1	1		2	2	2	1	1	4
58	Rajiv Gupta 0001	Univ. of California - Riverside	20	3	8.42									1				1	1		1		1			1	1		13
68	Ori Lahav 0001	Tel Aviv University	19	4	5.81	10	3	3.46		2	1	4	3	3	1	2	1	1	1
68	Hongseok Yang	KAIST	19	4	5.03	3	4	0.71	1	1			1		1	1	2	1	4	2	1	2		1					1
68	Amal Ahmed 0001	Northeastern University	19	3	6.62	2	4	0.58			1		1	2	4	2	1	1		1		2		1	2			1
68	Mira Mezini	TU Darmstadt	19	4	6.38	1	5	0.20			1			2	2			1	2	1		1		1		1	2		5
68	Karl Crary	Carnegie Mellon University	19	2	11.67									1		1		2					1			1			13
68	Manu Sridharan	Univ. of California - Riverside	19	4	5.18	2	4	0.58				1	1	1			2	1	1	4	1	1		2		1	1	1	1
68	François Pottier		19	2	11.25	6	3	2.25	1	1	1	1	2			1			1	1		1	1		1		1		6
68	Jan Hoffmann 0002	Carnegie Mellon University	19	3	6.32	8	3	2.78		1		5	2	2	3	2		1	1		1	1
68	Viktor Kuncak	EPFL	19	3	6.67	2	2	0.83	1				1	1	1	1		3	1	2	2	1	2	1	1				1
68	Keshav Pingali		19	3	6.12									1	1		1	1			1	3	1			1			9
68	Matthew Might	University of Utah	19	3	7.18											3	3	1		2	1	3	2			1	3
68	Mitchell Wand	Northeastern University	19	2	11.92										1	1			1			1					1		14
68	Guy E. Blelloch	Carnegie Mellon University	19	3	6.57	4	4	1.12			2	1	1	1		1	1			1			1		1		1		8
68	Hans-Juergen Boehm	Google	19	1	13.07	1	1	1.00					1				1		1		1	1			1			1	12
82	Nicolas Wu	Imperial College London	18	3	6.12	11	4	3.53	1	2	5	2	1		2		1	1	1	1		1
82	Sebastian Erdweg	University of Mainz	18	3	5.40	5	3	1.50		1		3	1	2	3		1	2	1	1	1	2
82	Bruno C. d. S. Oliveira	University of Hong Kong	18	3	6.20	7	3	2.33		3		1	3	1		1	1	1		2	2	1	1		1
82	Nikhil Swamy		18	6	3.25	3	7	0.41			1	1	1	1	1	2	1	1	2	2	1	2	1	1
82	Krishnendu Chatterjee	IST Austria	18	4	4.58	6	5	1.30				4	2	4	3	1	2	2
82	Deepak Garg 0001	Max Planck Society	18	5	4.14	8	6	1.73		1	3	3	1	4	1	3	1				1
82	Peter Thiemann 0001	University of Freiburg	18	2	8.42	4	2	2.17		1		1	2			1	1	2			1							1	8
82	Vivek Sarkar	Georgia Institute of Technology	18	3	7.26											1	1		1	1	2	1						1	10
82	Michael D. Bond	Ohio State University	18	4	5.32	3	3	0.79			1		2	1	1	1		1	1	2		2	2	1	1	2
82	Xavier Leroy	INRIA	18	2	10.53	1	2	0.50				1				1		1			1	1	1	1	1		1		9
82	John C. Mitchell	Stanford University	18	2	9.25																1								17
93	Amr Sabry	Indiana University	17	3	6.58	3	3	1.08	1		1	1						1			1			1			1	1	9
93	Zhenjiang Hu	Peking University	17	4	4.33	4	4	0.87	1			1	2		1		1			1			2	1		2			5
93	Giuseppe Castagna	Université de Paris	17	3	6.83	3	3	1.58	1	1	1			1		1	1	1	1	1		1			2			1	4
93	Swarat Chaudhuri	University of Texas at Austin	17	4	5.50	1	5	0.20			1			1		1	1	1	4	1		2	2	1	1		1
93	P. Madhusudan	Univ. of Illinois at Urbana-Champaign	17	3	5.18	3	5	0.87			1	1	1	2	2		1		2	1	1	2		1			1	1
93	Jeremy G. Siek	Indiana University	17	4	5.29									2		4	1	2	1			1	1				2	1	2
93	Marco Gaboardi	Boston University	17	5	4.23	4	4	1.00			2	2		3	1	3	1	2		1		1			1
93	Alastair F. Donaldson	Imperial College London	17	4	4.69	4	6	0.73		1		3		2		2	3	3	1	1	1
93	Daan Leijen	Microsoft Research	17	3	8.40	6	2	2.28		2	1	2	1			1						2	1	2	1	1		1	2
93	Aleksandar Nanevski	IMDEA Software Institute	17	3	5.99	4	4	1.34			1	2	1	1			1	1	1	3		1	1		1		1		2
93	Thomas R. Gross	ETH Zurich	17	2	7.67										2			1		1	1		1			1			10
93	Martín Abadi	University of California	17	3	6.92	1	2	0.50					1									1		1	1		1		12
93	Erez Petrank	Technion	17	3	6.27	2	4	0.53				1	1	1	1			1		1		1		2	1		1		6
93	Ryan Newton	Indiana University	17	4	4.02	2	6	0.34				2		2	2	2	2	2	3		1			1
93	Paul Hudak	Yale University	17	2	7.67														1					1					15
93	David M. Ungar		17	2	7.78																								17
93	Laurie J. Hendren	McGill University	17	3	5.79														1		1	1			1			2	11
110	Michael D. Ernst	University of Washington	16	4	4.74									1	1	1	2	1		1	3		1		1			1	3
110	Kathleen Fisher	Tufts University	16	4	4.58	1	4	0.25				1		1	2		1		1		1	3			1	1	1	2	1
110	Justin Hsu	Cornell University	16	5	3.94	6	4	1.45			2	1	3	3	2	2		1		2
110	Cédric Fournet	Microsoft Research	16	4	4.43										1	1	1	1	2	1	1	1	1		1				5
110	Andreas Podelski	University of Freiburg	16	3	5.53	3	3	1.00	1	1	1				1	1		1	1	1			2			2	1	1	2
110	Xiangyu Zhang 0001	Purdue University	16	4	4.54	1	5	0.20					1	3			1	2	1	1	1	2			1	1	1		1
110	James R. Larus	EPFL	16	3	6.58										1	1				1									13
110	Rahul Sharma 0001	Microsoft Research	16	4	4.48	1	3	0.33					1	2	2	2	4	2	2	1
110	Loris D'Antoni	Univ. of California - San Diego	16	4	5.12	6	4	1.75		1	1	1	3	1		5		2	2
110	Ken Kennedy	Rice University	16	2	7.00																								16
110	G. Ramalingam	Microsoft Research	16	3	6.90													1		2		1	2						10
110	Sriram K. Rajamani	Microsoft Research	16	4	4.11	1	7	0.14			1			1			1	1	1	2	1		2	1	1				4
122	Richard A. Eisenberg		15	4	4.28	7	4	1.78			2	2	3	1		3			2	2
122	Ilya Sergey	National University of Singapore	15	4	4.88	4	4	0.98			1	3		3	2		2	1	1	1	1
122	Dominique Devriese	KU Leuven	15	3	4.85	5	3	1.38	1		1	3		2	1	1	2		1	2		1
122	Ugo Dal Lago	Università degli Studi di Bologna	15	3	5.50	8	3	3.08	1		4	3		1		2	1	1	1	1
122	Shriram Krishnamurthi	Brown University	15	4	4.78	3	2	1.25	1	1	1				2	1		1	1	1				2				1	3
122	Andreas Pavlogiannis	Aarhus University	15	4	5.23	8	4	3.28	2		2	3	1	2	2		1	2
122	Olin Shivers	Northeastern University	15	2	7.70	3	8	0.53		1	1	1				1						2					4	1	4
122	Constantin Enea		15	4	4.66	5	5	0.99				1	4	3	1	1	1	2	1			1
122	Azadeh Farzan	University of Toronto	15	3	6.17	7	3	2.83	2	1	2	1	1	1	1	1		1	2	1	1
122	Guoqing Harry Xu	Univ. of California - Los Angeles	15	5	4.85	6	6	1.26			2	2	2	1	1		1			1	1	1	2	1
122	Naoki Kobayashi 0001	University of Tokyo	15	3	6.45	2	4	0.58		2						1	3			1		1	1	1					5
122	Zachary Kincaid	Princeton University	15	3	5.12	4	2	1.58	1	1		1	1	2	2	1		1	3	1	1
122	P. Sadayappan	University of Utah	15	6	2.74	2	6	0.37				1	1		2		2	1	2	1	1	1			1	1			1
122	Rajeev Alur	University of Pennsylvania	15	4	4.35	4	4	0.95		2		1	1	2	1	1		1		1		1				1	1	1	1
122	Milind Kulkarni 0001	Purdue University	15	5	3.92	3	5	0.65				3		3		1		2		1	1	3				1
122	Patrick Cousot	New York University	15	2	7.54	1	1	1.00	1					1		1					2	1							9
122	R. Kent Dybvig	Indiana University	15	3	6.21	1	2	0.50					1	1				1		1		1			1	1	1		7
122	William R. Cook	University of Texas at Austin	15	3	6.75										1		1				1	2		1	1	1	1		6
122	Madan Musuvathi	Microsoft Research	15	4	4.36	1	6	0.17					1	2		2				1	1	1	3	2	1	1
122	John H. Reppy	University of Chicago	15	3	6.60	2	2	0.83			1		1						1		2		1	1	2	1			5
122	Monica S. Lam	Stanford University	15	2	7.45	1	4	0.25				1		1											1			1	11
122	George C. Necula	Univ. of California - Berkeley	15	2	6.78														1	2		1						1	10
122	David F. Bacon	Google	15	4	4.27																2		1	1		2	2		7
122	Toshio Nakatani		15	4	3.98																2	1		2			2		8
122	Manuel Fähndrich	Microsoft Research	15	3	5.45														1	1			1		1	1			10
122	Steve Blackburn		15	5	3.73	2	6	0.46			2								1	2	1	1	1	1	1		1		4
148	Amin Timany	Aarhus University	14	4	3.47	10	5	2.26	3	1		4	2	1	2	1
148	Nadia Polikarpova	Univ. of California - San Diego	14	5	3.20	11	5	2.12		1	2	3	5	2			1
148	Jonathan Aldrich	Carnegie Mellon University	14	3	4.82	4	4	1.00	1				3		1	1					1	1		2	1	1		1	1
148	Ross Tate		14	3	5.70	3	5	0.87				2	1		2	1	1	1	1	1		1	2	1
148	Christos Dimoulas	Northwestern University	14	4	3.62	5	4	1.37	1	1	1	1	1	1		2	2			1	2	1
148	Tom Schrijvers	KU Leuven	14	4	4.20	4	4	1.25			1	1	2	2			1	1		2	1	1		1	1
148	Atsushi Igarashi	Kyoto University	14	3	5.58	1	3	0.33					1	1		3		1			1	1	1	1		1			3
148	Andrew D. Gordon 0001	Microsoft Research	14	3	4.79									1			2		1	1			2						7
148	Frank Pfenning	Carnegie Mellon University	14	2	5.83	1	4	0.25	1						1	1	1											1	9
148	Norman Ramsey	Tufts University	14	2	8.33	1	1	1.00			1					1			1		1	1	1				1	1	6
148	Xipeng Shen	North Carolina State University	14	4	3.38	2	9	0.32				2		1		2		1	2		1	1	1			2			1
148	David I. August	Princeton University	14	5	3.12	2	6	0.37				1	1							1	2	3				2	3		1
148	Matthew J. Parkinson	Microsoft Research	14	3	4.53											2		1		1	1	1	1	1	2	2		2
148	Amer Diwan	University of Colorado	14	3	4.63																		1	2	1		1	1	8
148	Thomas A. Henzinger	IST Austria	14	4	3.97	1	5	0.20					1				1	1	1	2					2	1			5
148	Matthew Arnold		14	4	3.77																		2	2	2	1	3	1	3
164	Anders Møller	Aarhus University	13	3	4.90	2	2	0.83					2	1	1	3		1	2	1		1							1
164	Michael Carbin	Massachusetts Institute of Technology	13	3	3.77	7	3	2.07			1	3	3	1	1				1	1	2
164	Brandon Lucia	Carnegie Mellon University	13	3	4.95	3	3	1.17				1	2	3		1	1	3			1	1
164	Eelco Visser	Delft University of Technology	13	3	4.40	2	4	0.53				1	1		2							2	2	1	1		1		2
164	Matthew Fluet	Rochester Institute of Technology	13	3	4.48	2	4	0.50	1				1					1	1				1	1	3		1	1	2
164	Sharon Shoham	Tel Aviv University	13	4	3.00	6	4	1.56	1		2	1	2		2	1	2	1			1
164	Mahmut T. Kandemir	Pennsylvania State University	13	5	3.61	3	5	0.59				3		1	1			1			1		1			1	2		2
164	Eric Koskinen	Stevens Institute of Technology	13	3	4.37	3	5	0.62		2			1	1		1	1	1	1	2		1	1	1
164	Atsushi Ohori		13	2	6.14										1		1		1			2				1			7
164	Louis-Noël Pouchet	Colorado State University	13	5	2.70	1	5	0.20					1	2	2		2	1	1	1	1	1			1
164	Koushik Sen	Univ. of California - Berkeley	13	4	4.35	1	4	0.25				1		3	1				1	2		2		1	1			1
164	Santosh Nagarakatte	Rutgers University	13	4	4.33	5	3	1.92			2	2	1	1		1		1		2	2			1
164	Grigore Rosu	Univ. of Illinois at Urbana-Champaign	13	3	5.35	2	4	0.70					2	1			1	3	1		2	1				1	1
164	Veselin Raychev		13	4	3.62	1	4	0.25				1		2	1		2	3	2	2
164	Andrey Rybalchenko	Max Planck Institute for Informatics	13	3	4.02												2		1		1	2		1	1	3	1	1
164	Amir Pnueli		13	3	5.00																								13
180	Azalea Raad	Imperial College London	12	3	3.70	7	4	2.00		1	2	2	2	4	1
180	Peter W. O'Hearn	Facebook Research	12	3	4.53	2	2	1.25			1		1	1	1				1					1		2		1	3
180	Charles Zhang 0001	HKUST	12	4	3.82	3	4	0.83				3			1		1		2	1	2		1						1
180	Arjun Radhakrishna		12	6	2.34	6	7	0.90		1	1	2	2	3				1	1	1
180	Qirun Zhang	Georgia Institute of Technology	12	3	3.78	6	3	2.08		2	1	1	2		1	2			2	1
180	Frank Piessens	KU Leuven	12	3	4.23									1	1		2	2	1	2		2			1
180	Scott Owens	University of Kent	12	5	2.86									1		1	1		2		3	1		1		1	1
180	Oded Padon		12	5	2.57	5	4	1.21	1		2	1	1	1	2	1	2	1
180	Sasa Misailovic	Univ. of Illinois at Urbana-Champaign	12	4	2.88	3	4	0.75			1		2	2	1				1	1	3		1
180	Sebastian Burckhardt		12	4	3.10	1	6	0.17				1			1	1			1	1	1	1	3	1		1
180	Deian Stefan	Univ. of California - San Diego	12	6	1.88	7	7	1.02		1	1	2	3	4							1
180	Jeehoon Kang	KAIST	12	5	2.49	6	5	1.43			2	1	3	1	1	2	1	1
180	Vikram S. Adve	Univ. of Illinois at Urbana-Champaign	12	3	3.58	2	4	0.53					2	2	1							1		1		1	1	1	2
180	Michael Greenberg 0002	Stevens Institute of Technology	12	3	4.43	6	3	2.08		1	1	2	2				1	1	1				2	1
180	Satish Chandra 0001	Google	12	4	3.40									2			2						1	1	1			1	4
180	Aditya V. Nori	Microsoft Research	12	4	3.38											1	1	2	2	1	1	1	1	1		1
180	Ralf Hinze	TU Kaiserslautern	12	1	8.92										1			1		1		2		1	1				5
180	Ali-Reza Adl-Tabatabai	Carnegie Mellon University	12	4	3.29																				2	1	2		7
180	Peter F. Sweeney		12	2	4.53															1			1					1	9
180	Robert Cartwright	Rice University	12	2	6.67																				1	1			10
180	Luca Cardelli	University of Oxford	12	2	6.12												1												11
201	J. Garrett Morris	University of Iowa	11	2	4.83	4	4	1.25	1	2			1	2	1	1	2						1
201	Pavel Panchekha	University of Utah	11	4	2.93	3	3	1.00	1		1	1		1	3		1	2	1
201	Catalin Hritcu	Max Planck Society	11	7	1.67	2	6	0.39	1				1	1	1	3	1		1	1			1
201	Meng Wang 0002	University of Bristol	11	4	3.33	7	4	1.92		2	3	1	1					1				1	1		1
201	Peter Müller 0001	ETH Zurich	11	4	3.16	4	5	0.74				2	2	2	1	1			1			1				1
201	Hakjoo Oh	Korea University	11	4	3.23	3	3	1.08			1		2	1	2	2		1	1		1
201	Xinyu Wang 0006	University of Michigan	11	4	2.85	6	5	1.27	1		1	2	2		2	1	1	1
201	Sam Lindley	University of Edinburgh	11	4	3.28	4	4	1.03	1		1		2	1		2	1	1		2
201	Stephen Chong	Harvard University	11	3	3.95	2	3	0.67		1			1			1	3	1		2	1								1
201	Niki Vazou	IMDEA Software Institute	11	3	2.96	5	3	1.42	1		2		2	2	2			1	1
201	Philippa Gardner	Imperial College London	11	4	2.98	1	4	0.25					1	2	1			1	1	1	1	1				1		1
201	Aseem Rastogi		11	7	1.72	3	7	0.41			1	1	1	1	1	2	1	1	1		1
201	Pierre-Yves Strub		11	6	1.99	1	5	0.20		1					1	2	1	1	2	1	1	1
201	Guido Salvaneschi	TU Darmstadt	11	5	2.55	2	4	0.53					2	2	3		1	1	2
201	Emina Torlak	Amazon Web Services	11	3	3.83	1	4	0.25			1				2	2	4		1				1
201	Tachio Terauchi	Waseda University	11	3	4.62	2	4	0.50	1	1					1	1	1			1			1		1			1	2
201	Sheng Chen 0008	University of Louisiana - Lafayette	11	3	4.28	2	2	0.83	1				1	1	2	2	1		2		1
201	Michael Emmi	University of California	11	3	3.89	1	4	0.25					1	1	1		1	2			1	1	1		1	1
201	Nada Amin	Harvard University	11	2	4.25	2	4	0.64		1	1				2	2	2	1	1	1
201	Benjamin G. Zorn	Microsoft Research	11	3	3.92										1			1						1		1	1		6
201	Susmit Sarkar	University of St Andrews	11	6	1.98										1	1	2			1	2	2		1		1
201	Guy L. Steele Jr.		11	3	4.80	2	5	0.62		1		1		1					1			1							6
201	Arthur Charguéraud		11	3	5.07	2	2	1.33		1			1		2		1		1			2	1		2
201	Simon Marlow	Facebook UK Ltd.	11	4	3.32									1					2					1		1		1	5
201	David A. Padua	Univ. of Illinois at Urbana-Champaign	11	3	3.64										1			1									1		8
201	Xinyu Feng 0001	Nanjing University	11	2	4.82	2	2	0.83			1	1		1	1		1			1	1			1	1		1	1
201	Luis Ceze	University of Washington	11	4	2.73	1	5	0.20				1					1	1	3	1	1	2	1
201	Susan Horwitz	University of Wisconsin-Madison	11	3	5.00																								11
201	Peter Lee 0001	Microsoft Research	11	2	4.25																		1						10
201	Barbara G. Ryder	Virginia Tech	11	2	5.03																								11
201	John Launchbury	Galois Inc.	11	2	5.28														1		1								9
201	Barbara Liskov	Massachusetts Institute of Technology	11	3	3.85												1	1											9
201	Omer Tripp	Amazon Web Services	11	4	2.95												1	2	1	1	1	3	1	1
201	Benjamin Livshits	Imperial College	11	5	2.68	1	6	0.17			1							2	2	3	1			1				1
201	Trishul M. Chilimbi		11	3	4.70																		1	1	1	1	2		5
201	Saumya K. Debray	University of Arizona	11	3	4.89																					1			10
201	Stéphane Ducasse	CRIStAL	11	3	4.08	1	3	0.33			1							2								1		1	6
201	David Grove		11	4	2.75																1						1		9
201	Perry Cheng		11	3	3.32																2		1				1		7
201	Oege de Moor	University of Oxford	11	3	3.09																1		2		2	2		2	2
201	James Noble 0001	Creative Research & Programming	11	4	3.04																		2		2	1	3		3
201	Harry G. Mairson	Brandeis University	11	2	6.75															1					1	1			8
243	Ralf Jung 0002	ETH Zurich	10	6	1.85	5	7	0.91			2	1	2		3		1	1
243	Stefan K. Muller	Illinois Institute of Technology	10	3	4.00	5	3	2.25	2		1	1	1	1	1	1	1				1
243	John Wickerson	Imperial College London	10	4	2.56	5	4	1.06		1		3	1	1	1	1	1	1
243	Brian Demsky	Univ. of California - Irvine	10	2	4.28	2	4	0.53			1		1		1			2	1	1	1		1						1
243	Mark Batty	University of Kent	10	5	2.17	1	6	0.17			1					2	2	1		1	2	1
243	James Cheney	University of Edinburgh	10	4	4.12	3	4	0.78			1	1	1		1	1				1	1				1			1	1
243	Roberto Giacobazzi	University of Verona	10	4	3.03	4	4	1.03	1		2		1	1				2											3
243	Benjamin Delaware	Purdue University	10	4	2.78	4	4	1.17		1	1	2		2				1		2		1
243	Jeremy Gibbons	University of Oxford	10	3	3.83										2			1	1	1		2			1		1		1
243	James R. Wilcox	University of Washington	10	6	1.99	5	5	0.97			2	1	2		3			2
243	Keith D. Cooper	Rice University	10	2	4.45										1														9
243	Aws Albarghouthi	University of Wisconsin - Madison	10	3	3.45	2	4	0.58			1		1	2	1	1	2		1		1
243	Atanas Rountev	Ohio State University	10	5	2.63	2	6	0.37				1	1								1	1	2	1		1			2
243	Nicolas Tabareau		10	3	3.45	6	2	2.28		1	2	1	2	2	1		1
243	Ronald Garcia	University of British Columbia	10	3	3.87	2	4	0.58			1	1		1			1	1	2	1				1					1
243	Magnus O. Myreen	Chalmers/GU	10	5	3.12	1	5	0.20					1	1	1	1	1		1	1	1		1	1
243	Bor-Yuh Evan Chang	University of Colorado Boulder	10	3	3.58	2	4	0.58			1	1		1		1		1	1	1		1	1		1
243	Hiroshi Unno 0001	University of Tsukuba	10	3	3.37	5	3	1.83	1	3	1				1		1			1		1	1
243	Satish Narayanasamy	University of Michigan	10	4	2.31	1	4	0.25					1		1				2		2	1	1	1		1
243	Ravi Chugh	University of Chicago	10	4	2.75	2	5	0.42				1	1	1	1		1				2		1	1	1
243	Francesco Zappa Nardelli	INRIA	10	5	2.04									1	1			1		2		1	1	1		1		1
243	Samuel Z. Guyer	Tufts University	10	3	3.20	1	2	0.50				1					1					1	2	1		1	2		1
243	Didier Rémy	INRIA Paris	10	2	6.50										1			1			1			1	1			1	4
243	Vu Le 0002	Microsoft Corporation	10	4	2.68	4	6	0.80		1		2	1	1			1	1	2	1
243	Koen Claessen	Chalmers/GU	10	3	3.43	1	8	0.12		1								1		3				2					3
243	John Regehr	University of Utah	10	4	2.38	3	4	0.78				1	2		1	1		1		1	1	1				1
243	Anindya Banerjee 0001	IMDEA Software Institute	10	4	3.53	1	5	0.20				1		1			1	1	1					1			1		3
243	Ronghui Gu	Columbia University	10	6	1.85	5	6	0.88	1		1	1	2		1	1	2	1
243	C.-H. Luke Ong	University of Oxford	10	3	3.83	3	3	1.17			2	1			1		1	1	1		1	1							1
243	Mike Rainey		10	4	2.33	3	5	0.59	1			2		1	1		1					1	1		2
243	Stephen N. Freund	Williams College	10	2	4.50	1	2	0.50					1			1							1	1	1				5
243	Hideaki Komatsu		10	4	2.50																			1			2		7
243	Thomas Ball 0001	Microsoft Research	10	3	3.33														1		2	1							6
243	Susan L. Graham	University of California at Berkeley	10	2	4.25																								10
243	Todd A. Proebsting	University of Arizona	10	2	6.20																								10
243	Lieven Eeckhout	Ghent University	10	4	2.81										1					1	1		1		1	2	1		2
243	Rachid Guerraoui	EPFL	10	4	3.00											1					1	1		2	2	1			2
243	Alan J. Demers		10	3	4.17																								10
243	Radhia Cousot	ENS Paris	10	2	4.21																2	1							7
243	Aaron Turon	Max Planck Institute for Software Systems	10	3	4.01													1	2	2	2	3
243	Joseph Gil	Technion	10	2	5.17																				1		1	1	7
243	Ralph E. Johnson	University of Illinois	10	2	5.33																			1					9
243	Cristiano Calcagno	Imperial College London	10	3	4.17																1		1	2	1	1	1	2	1
243	Albert R. Meyer	Massachusetts Institute of Technology	10	2	4.42																								10
287	Jacques-Henri Jourdan		9	4	2.49	6	4	1.92	1		1	1	3		2			1
287	Mingsheng Ying	Tsinghua University	9	3	2.57	4	5	0.90		1	1		2	2	1	1						1
287	Jonathan Immanuel Brachthäuser	University of Tübingen	9	3	2.62	6	4	1.62		1	2		3		1		1		1
287	Arjun Guha	Northeastern University	9	4	2.24	2	4	0.58				1	1	1	1		1	1	1	1				1
287	Martin Hirzel		9	5	2.43	1	5	0.20				1				1							2	1		1	1		2
287	Umang Mathur 0001	National University of Singapore	9	3	3.03	6	4	2.03	3	1		1	1	1	1	1
287	Graham Hutton	University of Nottingham	9	2	4.83	5	2	2.33	1	1	1	1	1	1	1				1										1
287	Fernando Magno Quintão Pereira	UFMG	9	4	2.89	3	2	1.33				1	2	1	1	1		1	1						1
287	Conal Elliott	Target	9	1	8.00	2	1	2.00		1		1			1	2								1		1			2
287	Ben Greenman	University of Utah	9	3	3.37	3	4	1.50		1	1	1		1	2	1	1		1
287	Anthony Widjaja Lin	TU Kaiserslautern	9	4	2.63	4	4	1.19	3		1			1	2		1	1
287	Xiaokang Qiu		9	3	2.84	3	4	0.95	1	1			1	1		1			1	1	1	1
287	Magnus Madsen	Aarhus University	9	3	3.50	5	2	2.25		1		1	3		1	1	1	1
287	Margus Veanes		9	4	2.65	2	4	0.50				1	1			2		2	2		1
287	Osbert Bastani	University of Pennsylvania	9	4	2.45	2	4	0.50	1			1		2	2	1		2
287	Di Wang 0017	Peking University	9	3	2.95	5	3	1.53		1		2	2	2	1	1
287	Iulian Neamtiu	NJIT	9	3	2.95	1	4	0.25					1				1	1		1	1			1	1		1	1
287	Ohad Kammar	University of Edinburgh	9	3	2.68	2	4	0.50	1		1			1	3	1				1	1
287	Sarfraz Khurshid	University of Texas at Austin	9	4	2.39	2	6	0.33					2			1			1	1	1	1				1			1
287	Sriram Krishnamoorthy		9	5	2.23										2	1	2	1	1	1						1
287	Akimasa Morihata		9	2	4.48	1	2	0.50				1		1			1			1		2		1	1	1
287	Shachar Itzhaky	Technion	9	5	1.75	3	5	0.62				1	2	1			2		2				1
287	Michael D. Adams 0001	University of Michigan	9	2	4.53	1	2	0.50					1			1	3	1		1		1			1
287	Leonidas Lampropoulos	University of Maryland - College Park	9	3	2.43	4	4	1.12	1	1	2			1	2	1				1
287	Gordon D. Plotkin	University of Edinburgh	9	2	3.41	1	2	0.50					1			1	1				1			1					4
287	Joseph Tassarotti	New York University	9	5	2.14	4	6	0.74	1		2	1		2	1			1			1
287	Jana Dunfield	Queen's University	9	2	4.73									1		1		2		1	2	1							1
287	Shuvendu K. Lahiri	Microsoft Research	9	3	3.12	1	5	0.20			1				2				1	1	1			1	1		1
287	Michael Pradel	University of Stuttgart	9	3	3.08	1	2	0.50			1			1	2	2		1	1		1
287	Santosh Pande	Georgia Institute of Technology	9	2	3.48	2	4	0.45				1	1							1	1	2						1	2
287	K. C. Sivaramakrishnan	IIT Madras	9	4	2.36	3	6	0.53			1	1	1	1	2			1				1		1
287	Albert Cohen 0001	Ecole Normale Superieure	9	4	2.38	1	5	0.20				1			1		2			1		1			1		1		1
287	Thomas Dillig	Stanford University	9	3	2.62											1			1	1	1	2	1		1	1
287	Scott F. Smith 0001	Johns Hopkins University	9	3	3.50	1	4	0.25					1									1	1				1	1	4
287	Ahmed Bouajjani	University Paris Diderot (Paris 7)	9	4	2.70	1	5	0.20				1				1		1	1		1	1	1						2
287	Wei-Ngan Chin	National University of Singapore	9	3	3.00										1			1				1			1		1		4
287	Gabriele Keller	Utrecht University	9	4	2.63	1	7	0.14		1										1	1		1			1		2	2
287	Julian Dolby		9	3	3.61	1	9	0.11					1							2	1		1				1		3
287	Mary Lou Soffa	University of Virginia	9	3	3.50																								9
287	Patrice Godefroid		9	2	5.25																1	1	1		1	1		2	2
287	Kwangkeun Yi	Seoul National University	9	4	2.36	1	4	0.25					1		1			1	1		2	1					1		1
287	Barry K. Rosen		9	2	5.20																								9
287	John Field	Google Research	9	4	3.24																1	1		1				1	5
287	Vijay A. Saraswat		9	3	3.46																1				1	1		1	5
287	Jeff Huang 0001	Texas A&M University	9	2	4.33	1	6	0.17				1			1		2	1	1	1	2
287	Tamiya Onodera		9	4	3.14																		1	1	1		1		5
287	Byron Cook		9	3	2.90															1		1		1		4	1		1
287	David Gay		9	2	3.50																	1		1	1	1	1		4
287	Jong-Deok Choi		9	3	2.70																						1		8
287	Ben Liblit	University of Wisconsin-Madison	9	4	2.43											1						1	1	2		1		1	2
287	Olivier Danvy	National University of Singapore	9	2	6.00																				1	1			7
287	Andrew Lumsdaine		9	3	2.82														1					1			2	3	2
287	Urs Hölzle	University of California	9	2	4.00																								9
287	John Hughes 0001	Chalmers/GU	9	3	2.87											1				1				1			1		5
287	Andrew Kennedy	Microsoft Research	9	2	4.83															2						1		1	5
287	Daniel P. Friedman	Indiana University	9	2	4.08																							1	8
287	Gavin M. Bierman		9	4	2.66													1	1				1	1	1	1		2	1
287	Jeffrey D. Ullman	Stanford University	9	3	3.67																								9
287	Nick Benton	Microsoft Research	9	3	4.17													1	1	1	1	1		1					3
287	Manuel M. T. Chakravarty	University of New South Wales	9	4	2.73															1	1		1		1	1		2	2
347	Mark P. Jones	Portland State University	8	2	4.25	1	3	0.33					1										1					2	4
347	Shoaib Kamil 0001	Adobe Systems Inc.	8	5	1.52	2	6	0.33					2	1	2	1	1	1
347	Andreas Abel 0001	Chalmers/GU	8	3	3.08	2	2	0.83		1			1	1	2	1				2
347	Jean-Philippe Bernardy		8	2	3.73	2	4	0.70			1		1	1	1	1				2			1
347	Jeremy Yallop	University of Cambridge	8	3	3.33	4	4	1.00	1	1	1	1		2	1	1
347	Parosh Aziz Abdulla	Uppsala University	8	4	1.70	3	5	0.64				1	2	2	1	1			1
347	Mohamed Faouzi Atig	Uppsala University	8	4	1.70	3	5	0.64				1	2	2	1	1							1
347	Steven Ramsay	University of Bristol	8	3	3.17	4	2	1.67	1	1	1	1			1				1		1	1
347	Mohsen Lesani	Univ. of California - Santa Cruz	8	3	2.53	3	3	0.92			1	1	1	1	1		1	1		1
347	Adrian Sampson	Cornell University	8	6	1.64	3	6	0.48				1	2			1		1	1			1	1
347	Daniel R. Licata	Wesleyan University	8	3	3.00	2	4	0.58					2	1				1	1		1		1	1
347	Filip Sieczkowski	University of Wroclaw	8	4	1.93	3	4	0.83	1	1			1	1	2		1	1
347	Thomas Wies	New York University	8	3	2.83	3	4	0.83				2	1		1			1	1	1			1
347	Thomas P. Jensen	Inria	8	2	3.83	3	2	1.33				1	2	2										1					2
347	Tahina Ramananandro		8	8	1.49	2	8	0.24			1	1			1	1		1	1		1	1
347	Amir Kafshdar Goharshady	HKUST	8	4	1.82	4	4	0.90			1	2	1	3			1
347	Vikash Mansinghka 0001		8	4	1.85	4	4	1.03		1		1	2	2	2
347	Taro Sekiyama	National Institute of Informatics	8	3	3.08	4	2	1.58	1	1		1	1	1		2		1
347	Brigitte Pientka	McGill University	8	2	3.58	1	4	0.25			1			1			1		1	2	1				1
347	Danfeng Zhang	Duke University	8	4	2.68	2	6	0.39				2		1	1	1		1	1		1
347	Fredrik Kjolstad	Stanford University	8	3	2.30	6	3	1.77			2	2	2		1	1
347	Kayvan Memarian		8	6	1.44	3	6	0.50		1	1	1		1			2				2
347	Rishabh Singh		8	3	2.92	1	4	0.25					1		3	1	2			1
347	Yu Feng 0001	Univ. of California - Santa Barbara	8	5	1.83	3	5	0.73			2		1	1	1	2		1
347	Sam Staton	University of Oxford	8	4	2.81	4	4	0.88	1	2		1		1	1			1		1
347	Ashish Tiwari 0001	SRI International	8	6	1.93	3	8	0.39		1		1	1	1								2			1		1
347	Flemming Nielson	DTU	8	2	4.03											1													7
347	Zena M. Ariola	University of Oregon	8	4	2.62	1	4	0.25					1			1	1	1	1										3
347	Tobias Grosser		8	6	1.44	5	6	0.91	1		1	1	2	1				1	1
347	Dexter Kozen	Cornell University	8	5	2.19	2	4	0.67					2	1		1		1	1										2
347	Luc Maranget		8	4	2.73	1	3	0.33			1					1	1				1	1							3
347	Noam Rinetzky	Tel Aviv University	8	6	1.56	2	6	0.31					2	2	1								1			1		1
347	Andreas Rossberg	Google	8	3	3.86									1		1		1					1	2	1		1
347	Todd Mytkowicz	Microsoft Corporation	8	4	1.88									1		2		1	1	1			1	1
347	Fritz Henglein	University of Copenhagen	8	3	3.32										1	1	1					1			1				3
347	Erik Meijer 0001	Facebook	8	4	2.99	1	14	0.07				1														2			5
347	David Sands 0001	Chalmers/GU	8	2	4.67	1	3	0.33		1								1					1				1		4
347	Jakob Rehof	TU Dortmund	8	2	4.00									1		1													6
347	Matthew A. Hammer	none	8	4	2.01									2		1		1	1			2		1
347	Westley Weimer	University of Michigan	8	3	2.60	1	5	0.20					1			1	1					1		1					3
347	Matthias Hauswirth	Università della Svizzera italiana	8	4	2.42									1				1			1	1	1					1	2
347	Matthias Blume	Google	8	2	3.42																	1			2		2		3
347	Charles Consel	INRIA	8	2	3.17																		1						7
347	Scott A. Mahlke	University of Michigan	8	4	2.23												1				1			2	1				3
347	Ron Cytron	Washington University in St. Louis	8	3	2.87																								8
347	Mark N. Wegman	IBM Research	8	3	3.40																								8
347	F. Kenneth Zadeck		8	3	2.87																								8
347	Steven Lucco		8	2	4.62																								8
347	Fabrice Rastello	INRIA	8	6	1.30	2	6	0.37				1	1		1		2	2	1
347	Stephen J. Fink	IBM Research	8	4	1.97														1		1		1	2		1			2
347	Charles N. Fischer	University of Wisconsin-Madison	8	2	3.83																								8
347	Jeanne Ferrante	Univ. of California - San Diego	8	3	2.87																								8
347	Chandrasekhar Boyapati		8	3	2.87																		1		1		1		5
347	Shan Lu 0001	University of Chicago	8	5	2.03									1			1		1	1	1	1	2
347	Akinori Yonezawa	University of Tokyo	8	3	3.00																							1	7
347	Christopher W. Fraser		8	2	4.70																								8
347	Michael I. Schwartzbach	Aarhus University	8	2	3.42																								8
347	Yu David Liu	Binghamton University	8	2	3.25											1	1		2		1		1				1	1
347	Nevin Heintze	Carnegie Mellon University	8	2	3.58																								8
347	Francesco Logozzo		8	3	2.48													1	2		2	1	1		1
347	Masato Takeichi		8	4	2.15																			1	1	2			4
347	Antony L. Hosking	Australian National University	8	3	2.55												1	1					1				1	1	3
347	Oscar Nierstrasz	University of Bern	8	3	3.87																	1	1			1		1	4
347	Claudio V. Russo	Microsoft Research Cambridge	8	2	3.79												1		1	1		1		1	1			1	1
347	Vaughan R. Pratt	Stanford University	8	1	7.50																								8
347	Martin Hofmann 0001	LMU Munich	8	3	3.58														1		1	2	1						3
413	Jules Jacobs		7	3	3.33	7	3	3.33	1	3	2	1
413	Ningning Xie	University of Toronto	7	4	1.95	6	4	1.70		1	1	2	2	1
413	Joost-Pieter Katoen	RWTH Aachen University	7	4	1.57	5	4	1.12	1	1		2	1	1	1
413	Xavier Rival	Ecole Normale Superieure	7	3	2.96	2	4	0.58		1			1			1						1			1				2
413	Andrei Popescu 0001	University of Sheffield	7	2	3.33	3	2	1.75	2	1				1	1			1				1
413	Kim Nguyen 0001	Université Paris-Sud	7	4	2.08	2	4	0.58	1		1						1	1	1	1					1
413	David Pichardie	Ecole Normale Superieure de Rennes	7	5	1.49	3	5	0.68		1		1	1				1	1	1	1
413	Joxan Jaffar	National University of Singapore	7	3	2.58	1	3	0.33					1					1											5
413	Yuepeng Wang 0001	Simon Fraser University	7	4	1.87	2	4	0.58	1			1		1	2	2
413	Mahesh Viswanathan 0001	Univ. of Illinois at Urbana-Champaign	7	3	1.98	4	4	0.98		1		2	1	1	1	1
413	Limin Jia 0001	Carnegie Mellon University	7	3	1.98	3	3	0.92				2	1	1			1						1		1
413	William J. Bowman	University of British Columbia	7	3	2.42	2	4	0.58	1				1		2		1	2
413	Matthew Hague	Royal Holloway University of London	7	4	1.76	2	6	0.44	1		1			1	1		1	1		1
413	Yizhou Zhang 0001	University of Waterloo	7	3	2.48	3	3	1.08		1	1		1	1		1	1	1
413	Hongfei Fu 0001	Shanghai Jiao Tong University	7	5	1.52	4	5	0.85				2	2	2			1
413	Gabriel Scherer	INRIA Saclay	7	3	2.92	2	4	0.58	1			1			3	1		1
413	Shin-ya Katsumata	National Institute of Informatics	7	4	2.65	3	4	0.75			2	1				1	1		1								1
413	Xin Zhang 0035	Peking University	7	4	1.87									1		1	2		2	1
413	Benjamin Grégoire	Research Centre Inria Sophia Antipolis - Méditerranée: Valbonne	7	5	1.69	1	7	0.14					1	1	1	1			1					1					1
413	Michael Sammler		7	6	1.14	7	6	1.14		2	3	1	1
413	Gang Tan	Pennsylvania State University	7	3	2.48	2	4	0.58				2		1					1		1	1				1
413	Tyler Sorensen 0001	Univ. of California - Santa Cruz	7	4	1.93	3	4	0.64				2	1		1	1	2
413	Kazutaka Matsuda		7	4	2.12	3	4	1.00		1		1	1					1					2			1
413	Takeshi Tsukada		7	3	2.67	6	2	2.42	1	2	1	1	1				1
413	Gagandeep Singh 0001	Univ. of Illinois at Urbana-Champaign	7	4	1.95	3	4	0.70			2		1	1	1	1		1
413	Markus Püschel	ETH Zurich	7	3	2.03	2	4	0.45			1		1	1	1	1		1										1
413	Alvin Cheung	Univ. of California - Berkeley	7	4	1.95	2	4	0.45			1		1		1	2	1			1
413	Xiaodi Wu 0001	University of Maryland - College Park	7	4	1.78	5	4	1.28	2		1	1	1	1		1
413	Davide Sangiorgi	University of Bologna	7	2	4.83	1	1	1.00			1						1	1	1										3
413	Hanne Riis Nielson	DTU	7	2	3.03											1													6
413	Christopher Pulte		7	8	0.97	2	7	0.29		1			1	2	1	1	1
413	Chung-chieh Shan	Indiana University	7	3	2.62									1		2	1							1			1	1
413	Ruzica Piskac	Yale University	7	4	1.60	2	4	0.50			1	1		1		2				1			1
413	Andrew P. Tolmach	Portland State University	7	4	1.81										1				1				1					1	3
413	Guannan Wei 0001	Purdue University	7	4	1.78	3	5	0.62	1			1	1	3	1
413	Neil Immerman	University of Massachusetts Amherst	7	5	1.48	2	4	0.50					2				1	1	1				2
413	Patrick Eugster	Università della Svizzera italiana	7	3	2.62	2	4	0.45				1	1		1							1		1			1		1
413	David Darais	Galois	7	4	1.90	1	4	0.25					1	1		1	1	1		1		1
413	Nuno P. Lopes	Universidade de Lisboa	7	5	1.33	1	5	0.20				1			1	1	2	1			1
413	Robert Atkey	University of Strathclyde	7	3	3.51	1	1	1.00	1					1	1				2	2
413	Kunle Olukotun	Stanford University	7	7	1.11	1	7	0.14				1			1				1	1			1	1			1
413	Stephen Dolan		7	4	2.49	4	7	0.65	1			1	2		1	1				1
413	Karthikeyan Bhargavan	INRIA	7	6	1.40											1	1		1			1	1						2
413	Conor McBride	University of Strathclyde	7	2	3.78										1	1			1	1	1		1		1
413	Pavol Cerný	TU Wien	7	4	2.17									1			1	1		1		1		1				1
413	Hongjin Liang 0001	Nanjing University	7	2	2.87	2	2	0.83			1	1		1	1		1			1	1
413	Nathaniel Nystrom	Università della Svizzera italiana	7	4	1.79									1				1			1			1	1		1		1
413	Milo M. K. Martin		7	4	1.67															3	2			1		1
413	Michael Sperber	University of Tübingen	7	2	3.75																		1						6
413	Tatiana Shpeisman		7	7	1.22												1			1		1			1	1	2
413	Bratin Saha		7	6	1.38																			1	1	1	1		3
413	Chen Ding 0001	University of Rochester	7	4	1.78										1							1				2	1		2
413	Michael Hind		7	4	2.03																					1	1		5
413	J. Ramanujam	Louisiana State University	7	7	1.15												1	1	1			1			1	1			1
413	Brad Calder	University of California	7	3	2.28																					1	1		5
413	Guang R. Gao	University of Delaware	7	3	2.58																							1	6
413	Dave Clarke 0001	Uppsala University	7	3	2.23													1		1							1		4
413	Alexey Gotsman	IMDEA Software Institute	7	4	1.98												1		1	1		1		1		2
413	Peng Wu 0001	Meta	7	4	1.74													1			2	1					1		2
413	William W. Pugh	University of Maryland	7	2	4.33																							1	6
413	Tillmann Rendel		7	3	2.00												1	1	2			2		1
413	Georg Neis		7	4	1.83													1		1	1	1	2	1
413	Neil D. Jones	University of Copenhagen	7	2	3.08																								7
413	Joseph Y. Halpern	Cornell University	7	2	3.42																								7
413	Zohar Manna	Stanford University	7	2	3.00																								7
413	Jérôme Vouillon	Pierre and Marie Curie University	7	2	3.92																			1		1	1		4
413	Tim Sheard		7	2	4.00																1	2							4
480	Philipp Schuster		6	4	1.70	5	4	1.37		1	1		3		1
480	Andres Löh		6	4	1.85	1	6	0.17			1													1	2			1	1
480	Benjamin Lucien Kaminski	Saarland University	6	4	1.32	4	4	0.87		1		2	1	1	1
480	Christoph Matheja		6	5	1.22	5	5	1.02		1		3	1	1
480	Anders Miltner		6	6	1.11	2	4	0.45			1		1	2	2
480	Gregor Richards		6	4	1.41											1				1	1	1	1	1
480	Beniamino Accattoli		6	3	2.08	3	3	1.17			2	1			1				2
480	Alexandra Silva 0001	Cornell University	6	5	1.24	2	4	0.50				1	1	1		2		1
480	Alexander J. Summers	University of British Columbia	6	4	1.68	3	5	0.60				2	1	2								1
480	Avraham Shinnar		6	5	1.30	1	5	0.20				1				1							1	1	1		1
480	Wouter Swierstra	Utrecht University	6	2	2.67	2	2	0.83		1	1			2										1	1
480	Nils Anders Danielsson	Chalmers/GU	6	1	4.58	1	3	0.33		1					1						1		1		1		1
480	Michalis Kokologiannakis		6	4	1.75	3	4	0.83		1	1	1		2	1
480	David Monniaux	University of Grenoble	6	3	3.04	1	3	0.33					1	1				1						1					2
480	Kihong Heo	KAIST	6	4	1.40									1	2	1			1		1
480	Jérémie Koenig	Yale University	6	5	1.39	4	4	1.15	1		2	1			1			1
480	Mike Dodds		6	3	1.73	1	5	0.20		1								1		1	1	2
480	Max S. New	University of Michigan	6	3	1.92	1	3	0.33					1	1	1		3
480	Neville Grech	University of Malta	6	4	1.57	3	5	0.65				1	2		1	2
480	Bernhard Scholz	University of Sydney	6	4	1.48	3	5	0.65				1	2		1			2
480	Alan Schmitt		6	4	1.61									1					1						1	1		1	1
480	Alejandro Aguirre 0001	Aarhus University: Aarhus	6	6	1.40	4	6	1.03	1	1		2		1		1
480	Michael Norrish	Australian National University	6	6	1.26									1		1	1		1							1	1
480	Jesper Cockx	TU Delft	6	3	2.25	2	2	0.83			1	1		1	1		1		1
480	Matthieu Sozeau		6	2	2.78	1	5	0.20					1	2	1			1								1
480	Sam Westrick		6	3	1.83	5	3	1.50	2		1	1	1	1
480	Danel Ahman	University of Ljubljana	6	6	2.10	2	4	0.67				1	1	1	2	1
480	Phuc C. Nguyen		6	4	1.83	1	4	0.25				1		1	1	1		1	1
480	Murali Krishna Ramanathan		6	3	2.25	1	2	0.50			1			1			1	1	1							1
480	Jonathan Ragan-Kelley	Massachusetts Institute of Technology	6	6	1.03	4	6	0.74			2	2						1		1
480	Dominic A. Orchard	University of Kent	6	3	1.95									1		1	2		1	1
480	Marco Patrignani	University of Trento	6	4	1.45	4	6	0.79		1	1	1	1		1		1
480	Patrick Bahr	IT University of Copenhagen	6	2	2.50	4	2	1.83		2	1	1		1				1
480	John Peter Campora III		6	3	1.95	2	2	0.83	1				1	1	2	1
480	Timon Gehr		6	4	1.40	3	4	0.78				1	2	1	2
480	Akash Lal		6	4	1.63	2	4	0.45				1	1				1	2			1
480	Mukund Raghothaman	University of Southern California	6	4	1.40	2	6	0.37				1	1	1	1	1		1
480	Cyrus Omar	University of Michigan	6	4	1.53	3	6	0.58	1			1	1	1	1	1
480	John Cyphert		6	4	1.75	3	4	1.00	1				2	2	1
480	Nachshon Cohen		6	2	2.87									1	2	1		1		1
480	Zoe Paraskevopoulou		6	3	2.33	3	3	1.17			1	2		1	1		1
480	Jurriaan Hage	Utrecht University	6	4	1.77	1	4	0.25					1		1								1		1	1			1
480	Paul Downen	University of Massachusetts Lowell	6	4	1.78	2	4	0.45			1		1			1	1	1	1
480	Martin Erwig	Oregon State University	6	2	3.08										1		1		2		1								1
480	Ben Hardekopf	Univ. of California - Santa Barbara	6	4	1.81	3	4	0.67			1	2										1		1		1
480	Jean Yang 0001	Akita Software	6	6	1.50	2	6	0.33			1		1				1				1	1	1
480	Vasco Thudichum Vasconcelos	Universidade de Lisboa	6	4	1.76	1	2	0.50					1			2	1	1					1
480	Fei He 0001	Tsinghua University	6	2	2.42	4	2	1.67				1	3		1			1
480	Andrei Stefanescu		6	4	1.71	1	11	0.09				1					1	1		1	2
480	Ton Chanh Le		6	4	1.62	2	6	0.37		1			1	2	1			1
480	Pavol Bielik		6	4	1.65	1	5	0.20				1			1		3	1
480	Jonathan Protzenko		6	3	1.88	3	3	1.17		1	1	1				2				1
480	Manuel Serrano	INRIA	6	2	3.50	2	2	1.50				1	1				1												3
480	Konstantinos Mamouras	Rice University	6	4	1.88	3	2	1.14	1		1		1	2		1
480	Sebastian Hack	Saarland University	6	2	2.29	2	2	0.83				1	1		2						1				1
480	Martin Elsman	University of Copenhagen	6	3	3.12	1	1	1.00	1						1	1		1											2
480	Pat Hanrahan	Stanford University	6	5	1.09	2	6	0.36			1		1			1			1	1			1
480	Vincent St-Amour		6	4	1.68										1	1		1		1	1	1
480	Gowtham Kaki	University of Colorado Boulder	6	4	1.92	1	3	0.33			1			1	2			1	1
480	Jean Pichon-Pharabod	Aarhus University	6	6	1.45	3	8	0.42	1		1		1	2			1
480	Jad Hamza		6	3	1.83	1	3	0.33					1	1		1		2	1
480	Percy Liang	Stanford University	6	4	1.92									1	1	1						2	1
480	Sophia Drossopoulou	Imperial College London	6	4	2.00											1				1						1		1	2
480	Tobias Wrigstad	Uppsala University	6	4	1.49	1	3	0.33					1			1		1					2	1
480	Paolo G. Giarrusso		6	4	1.65	3	5	0.90				1	2				1		1			1
480	Guilherme Ottoni		6	4	2.00	1	3	0.33				1			1				1		1						2
480	Kapil Vaswani		6	4	1.60											2	1			1			1			1
480	Jean-Baptiste Tristan	Boston College	6	2	2.37											1					1	1	1	1	1
480	Jack W. Davidson	University of Virginia	6	2	2.67																								6
480	Susan J. Eggers	University of Washington	6	3	2.07																								6
480	Camil Demetrescu	Sapienza University of Rome	6	3	2.25										1					1	2	2
480	Max Schäfer		6	4	2.03															2		1	2		1
480	Roman Manevich		6	4	1.58													1			2	2	1
480	Saurabh Srivastava 0001	Sparkz	6	3	1.92															1		2	1	1	1
480	Jon G. Riecke		6	2	3.25																								6
480	Guei-Yuan Lueh		6	3	1.81																					1			5
480	Walter Binder	Università della Svizzera italiana	6	4	1.45									1			1	1				2							1
480	Pierre-Évariste Dagand		6	4	1.92									1		1	1			1	1		1
480	Hongwei Xi	Boston University	6	2	2.83																							1	5
480	Manish Gupta 0002	IIIT Bangalore	6	4	1.73																								6
480	Gregory F. Johnson		6	2	3.50																								6
480	Juan Chen 0002	Microsoft Research	6	6	1.26														1	2	1	1	1
480	Cole Schlesinger		6	6	1.24	1	6	0.17			1						2		2	1
480	Mario Tokoro		6	2	2.83																								6
480	Koen De Bosschere	Ghent University	6	4	1.58																					1	1		4
480	Kent L. Beck	Facebook	6	3	2.06																								6
480	Gary T. Leavens	University of Central Florida	6	2	2.58																					1			5
480	Kiyokuni Kawachiya		6	4	1.64																		1		1		1		3
480	William H. Harrison		6	2	2.78																								6
480	Harold Ossher		6	3	2.55																		1						5
480	Neal Glew	Intel Labs	6	2	3.23															1							1		4
480	Bjørn N. Freeman-Benson		6	3	3.03																								6
480	Sungwoo Park	POSTECH	6	3	2.75														1	1		1			1	1		1
480	Kohei Honda 0001	Queen Mary University of London	6	2	3.67																				1			1	4
480	Janis Voigtländer	University of Duisburg-Essen	6	1	4.75																		1	2	1				2
480	Edmund M. Clarke	Carnegie Mellon University	6	3	3.25																								6
480	Nissim Francez	Technion - Israel Institute of Technology	6	2	2.92																								6
480	E. Allen Emerson	University of Texas at Austin	6	2	2.67																								6
578	Stephen Chang 0001	University of Massachusetts Boston	5	3	1.75	1	4	0.25					1		1	2			1
578	Kenji Maillard		5	6	0.93	2	4	0.50			1		1	1	1	1
578	Yufei Ding	Univ. of California - San Diego	5	6	1.23	1	6	0.17					1			2		1	1
578	Stephanie Balzer	Carnegie Mellon University	5	3	2.00	4	3	1.50	1	1	2					1
578	Sam Blackshear		5	3	1.67										1			1	1	2
578	Delia Kesner	University Paris-Diderot	5	3	2.17	2	2	1.33		1	1				1	1			1
578	Wonyeol Lee 0001	KAIST	5	3	1.75	2	4	0.58		1			1		1		1		1
578	Arthur Azevedo de Amorim	Rochester Institute of Technology	5	5	1.04	2	4	0.58	1		1					1			1	1
578	Hila Peleg	Technion - Israel Institute of Technology	5	5	1.13	5	5	1.13				2	3
578	James Riely	DePaul University	5	3	1.83	2	4	0.50			1		1		1														2
578	Anton Podkopaev	JetBrains Research	5	6	0.97	4	6	0.63			1	1	2	1
578	Sandrine Blazy	INRIA	5	5	1.21	3	5	0.68		1		1	1				1	1
578	Yuanbo Li		5	3	1.58	5	3	1.58		1	1	1	2
578	Casper Bach Poulsen	TU Delft	5	4	1.48	2	4	0.70		1			1		3
578	Jonas Kastberg Hinrichsen		5	3	1.34	5	3	1.34	2	2			1
578	Chandrakana Nandi		5	6	0.75	4	6	0.59		1		2	1		1
578	Roly Perera		5	4	1.33	2	4	0.50			2				1	1					1
578	Dariusz Biernacki	University of Wroclaw	5	4	1.58	2	4	0.58		1			1	1	1							1
578	Paul-André Melliès	Pierre and Marie Curie University	5	2	2.45	1	5	0.20			1			1				1								1			1
578	Damiano Mazza		5	3	1.75	2	2	0.83				1	1	1	1				1
578	Guido Martínez	CIFASIS-CONICET & Universidad Nacional de Rosario	5	7	0.72	3	7	0.45	1			1	1	1		1
578	Benjamin Sherman		5	5	1.23	3	5	0.70				1	2	1		1
578	Max Willsey	UC Berkeley	5	6	0.84	5	6	0.84		1	1	2	1
578	Joachim Breitner	DFINITY Foundation	5	4	2.04	2	4	1.12		2					1	1			1
578	William Mansky	University of Illinois at Chicago	5	5	1.34	2	4	0.64	1		1					2		1
578	Yong Kiam Tan		5	5	0.91	1	5	0.20					1	1	1	1	1
578	Klaus von Gleissenthall	VU Amsterdam	5	5	1.05	2	8	0.27				1	1	1		1	1
578	Simon Spies		5	7	0.89	5	7	0.89		1	2	2
578	Youngju Song		5	7	0.69	3	6	0.48		2			1		1	1
578	Stephen Chou		5	5	1.13	3	7	0.60				1	2		1	1
578	Stephen Kell	King's College London	5	3	2.81									2			2						1
578	Davide Ancona	University of Genoa	5	3	1.92											1	1											1	2
578	Elena Zucca	University of Genoa	5	3	1.92											1							1					1	2
578	Somesh Jha	University of Wisconsin - Madison	5	4	1.29	1	4	0.25			1						1				1					1			1
578	Georg Zetzsche	Max Planck Society	5	4	1.20	5	4	1.20	2	1	1	1
578	Michele Pagani		5	3	1.83	2	2	0.83				1	1		1				2
578	Andrew M. Pitts	University of Cambridge	5	2	3.33	1	1	1.00		1										1			1			1			1
578	Katsuhiro Ueno		5	3	1.81										1		1		1			2
578	Zhoulai Fu	IT University of Copenhagen	5	3	1.75	2	5	0.42			1		1	1		1		1
578	Hoang-Hai Dang		5	4	1.02	5	4	1.02			2	1	2
578	Alan Leung		5	6	1.08	1	8	0.12					1	1				1			1	1
578	Uri Alon 0002	Google	5	3	1.50	3	3	1.00					3	1	1
578	James Koppel		5	3	1.53	3	3	0.87			2		1		2
578	Milos Gligoric 0001	University of Texas at Austin	5	4	1.08	2	5	0.42				1	1	1		1			1
578	Ryosuke Sato 0001	University of Tokyo	5	4	1.37	2	4	0.58		2							2					1
578	Jason Breck		5	4	1.25	1	4	0.25					1	2	1	1
578	Shaked Flur		5	8	0.60	1	8	0.12					1	1	1	1	1
578	Radha Jagadeesan	DePaul University	5	3	1.83	1	3	0.33					1		1														3
578	Olivier Flückiger		5	5	0.98	4	5	0.82			1	2	1		1
578	Aviral Goel		5	5	1.32	3	5	0.65				2	1	1	1
578	Minki Cho		5	6	0.93	5	6	0.93		1	1	1	2
578	Philip W. Trinder	University of Glasgow	5	5	1.23	2	6	0.37	1	1																1			2
578	Conrad Watt	Nanyang Technological University	5	8	0.87	3	8	0.34		1	1		1	2
578	Christoph M. Kirsch	University of Salzburg	5	4	1.48	1	5	0.20				1						2		1									1
578	Woosuk Lee		5	4	2.20	3	2	1.75		1		1	1		1						1
578	Sarita V. Adve	Univ. of Illinois at Urbana-Champaign	5	7	1.18									1								1		1	1			1
578	Zhiqiang Zuo 0002	Nanjing University	5	7	0.76	3	8	0.39				2	1		1		1
578	Oliver Bracevac	Galois	5	5	0.98	3	5	0.62	1			1	1		1			1
578	Soham Chakraborty 0001	TU Delft	5	5	1.24	3	7	0.54	1		1		1	1				1
578	Henrik Nilsson	University of Nottingham	5	1	4.00											1								1				1	2
578	Torsten Hoefler	ETH Zurich	5	4	1.16	3	5	0.66				1	2	1			1
578	Guy Golan-Gueta		5	5	1.09										1		1	1		1		1
578	Jay P. Lim		5	3	1.92	5	3	1.92			2	2	1
578	Ryan Beckett		5	4	1.37	3	4	0.83			1		2			1	1
578	Stefan Marr	University of Kent	5	4	1.53										1		2	2
578	Luca Padovani		5	2	2.00	1	2	0.50			1					1		1	1						1
578	Santiago Zanella Béguelin		5	6	0.92											1	1		1		1			1
578	Aggelos Biboudis	EPFL	5	4	1.20	1	5	0.20					1		1	1		1		1
578	Kathryn E. Gray		5	8	0.84									1		1	1		1									1
578	Lukasz Ziarek	University at Buffalo	5	3	1.42	1	4	0.25				1										1	1	1			1
578	Caleb Stanford	Univ. of California - Davis	5	3	1.45	3	3	0.92		1		1	1	2
578	Wen-Mei W. Hwu	University of Illinois at Urbana-Champaign	5	4	1.70											1													4
578	Chris Hawblitzel		5	3	1.64									1									2	1	1
578	Venkatesh Srinivasan		5	2	2.17											1	2	2
578	Siau-Cheng Khoo	National University of Singapore	5	4	1.53										1		1										1		2
578	Dean M. Tullsen	Univ. of California - San Diego	5	6	1.27	2	8	0.27				1	1								1		1					1
578	Ruben Martins		5	4	1.15	2	4	0.50				1	1		1	2
578	Kenneth L. McMillan	University of Texas at Austin	5	5	1.02	1	5	0.20			1				1		1			1									1
578	Marc Pouzet	Ecole Normale Superieure	5	6	1.33	2	4	0.50					2			1											1		1
578	Vilhelm Sjöberg		5	4	1.44									1	1			1	1				1
578	Jianzhou Zhao		5	4	1.14															1	1		1	1	1
578	Don Syme	Microsoft Research	5	3	2.00												1									1			3
578	David B. Whalley	Florida State University	5	2	2.00																								5
578	Juan Chen		5	3	2.23																		1		1	1		1	1
578	Richard L. Hudson		5	4	1.21															1						1			3
578	John L. Hennessy	Stanford University	5	2	2.83																								5
578	Daniel Frampton		5	5	0.98																1	1	1				2
578	Tayfun Elmas		5	3	1.50															1		1		1		1		1
578	Xulong Tang	University of Pittsburgh	5	5	0.99	2	6	0.34				2		1	1			1
578	William Landi		5	2	2.17																								5
578	Kevin Hammond		5	4	1.48												1				1		2						1
578	Olaf Chitil	University of Kent	5	1	4.00												1	1			1								2
578	Yan Chen 0001	Max Planck Institute for Software Systems	5	3	1.50														1		1	2		1
578	Jennifer B. Sartor		5	4	1.40										1					1	1	1	1
578	K. Rustan M. Leino	Amazon Web Services	5	2	2.50																1								4
578	Andrew A. Chien	University of Chicago	5	2	2.17																								5
578	Trevor Jim		5	2	2.50																		1						4
578	Jay Ligatti	University of South Florida	5	3	1.53																1					1	1	1	1
578	Nikolaj S. Bjørner	Microsoft Research	5	5	1.19	1	3	0.33				1					2		1		1
578	Calvin Lin	University of Texas at Austin	5	3	1.92													2						1		1			1
578	Gerwin Klein	University of New South Wales	5	3	1.36												1		1	1				1		1
578	Patrick Maxim Rondon		5	3	1.58																2		1	1	1
578	Mauricio J. Serrano		5	4	1.20																						1		4
578	Tim Teitelbaum	GrammaTech	5	3	2.00																								5
578	Fan Long	University of Toronto	5	3	1.67	1	3	0.33					1				1	1	2
578	Tim Harris 0001	Microsoft	5	4	1.75																	1			1	1	1		1
578	Nathan Chong		5	4	1.32										1			1	1	1	1
578	William D. Clinger	Northeastern University	5	2	3.50																								5
578	Radu Rugina	Cornell University	5	2	2.33																				1	1		1	2
578	Ayal Zaks	Intel	5	4	1.37															1	2						1		1
578	Nick Mitchell		5	4	1.62															1			2	1		1
578	Michael Rodeh		5	3	1.75																								5
578	Ivan Kuraj		5	3	1.50											1	1	1		2
578	Robert Grimm 0001	Brooklyn	5	2	2.45																1		1	1		1	1
578	Dimitrios Prountzos		5	4	1.20													1			1	3
578	Sung-Hwan Lee 0001	Seoul National University	5	5	1.04	4	4	0.84			1	2	1	1
578	Yitzhak Mandelbaum		5	3	1.45																		1			1	1		2
578	S. Doaitse Swierstra	Utrecht University	5	3	2.00																			1					4
578	Kiminori Matsuzaki		5	4	1.48												1					1		1	1	1
578	Uday Bondhugula	IISc Bangalore	5	4	1.23										1		1					1			1	1
578	Pavel Avgustinov		5	7	0.93																				1	2		2
578	Damien Sereni		5	7	1.59																				1	2		2
578	Walid Taha	Halmstad University	5	3	1.67																		1						4
578	Ole Agesen		5	3	1.83																								5
578	Mads Tofte	IT University of Copenhagen	5	3	2.33																								5
578	Vlad Ureche		5	4	1.42												1	2	1	1
578	Yoav Zibin		5	2	2.03																		1						4
578	Lennart C. L. Kats		5	3	1.75																	1	2	1	1
578	Pierre Cointe		5	3	2.42																								5
578	Dries Buytaert	Ghent University	5	4	1.33																				1	2	1		1
578	Martin Bravenboer		5	3	2.00																	1		1	1		1		1
578	Gregor Kiczales	University of British Columbia	5	2	2.17															1			1						3
578	Valery Trifonov	Yale University	5	3	1.50																								5
578	Ivar Jacobson		5	2	2.81																								5
578	Roy H. Campbell	Univ. of Illinois at Urbana-Champaign	5	2	2.17																								5
578	Daniel Jackson 0001	Massachusetts Institute of Technology	5	3	1.75												1	1										1	2
578	Dennis de Champeaux		5	3	1.50																								5
578	David H. Lorenz	Open University of Israel	5	2	3.00																	1				1		1	2
578	Julia Lawall	Sorbonne University	5	2	1.95														1					1					3
578	Wilf R. LaLonde	Carleton University	5	2	2.58																								5
578	Roberto Lublinerman		5	3	1.40															1		1	1	2
578	Dominic Duggan	Stevens Institute of Technology	5	2	3.50																								5
578	Gabriel Dos Reis		5	3	1.67																2	1					2
578	Dirk Riehle	University of Erlangen–Nuremberg	5	1	3.75																			1					4
578	Andy Georges		5	3	1.42																				1	2			2
578	Gilad Bracha	Google	5	2	2.25																								5
578	Alan Borning	University of Washington	5	3	1.62													1											4
578	Andrzej Filinski	University of Copenhagen	5	1	4.50																		1			1			3
578	Daniel Leivant	Indiana University	5	1	4.50																								5
578	Matthias Neubauer	University of Freiburg	5	2	2.25																							1	4
578	James E. Donahue		5	2	2.03																								5
578	Patricia Johann	Appalachian State University	5	3	1.92														1	1					1			1	1
578	Georges Gonthier		5	3	1.92																	1							4
578	Andrea Asperti	University of Bologna	5	2	3.17																				1				4
578	Stephen C. Johnson		5	3	3.00																								5
578	Joe B. Wells	Heriot-Watt University	5	4	1.70																							1	4
578	Alfred V. Aho	Columbia University	5	3	2.00																								5
578	Keith Wansbrough		5	5	1.26																						1	1	3
578	Ravi Sethi	University of Arizona	5	2	2.67																								5
578	John H. Reif	Duke University	5	2	3.50																								5
578	John C. Reynolds	Carnegie Mellon University	5	2	3.17																1								4
578	Dan R. Ghica	University of Birmingham	5	2	3.33														1			2				1		1
578	Robert Paige	New York University	5	2	3.00																								5
741	Exequiel Rivas		4	6	1.04	2	6	0.39	1				1	1				1
741	Li Zhou		4	5	0.90	3	5	0.57		1			2	1
741	Nengkun Yu	Stony Brook University	4	4	1.20	3	5	0.87				1	2	1
741	Yingfei Xiong 0001	Peking University	4	4	0.87	4	4	0.87				1	3
741	Kevin Batz		4	4	0.90	3	4	0.70	1	1		1		1
741	Bengt Jonsson 0001	Uppsala University	4	4	1.67									1	1				1										1
741	Raymond Hu	Queen Mary University of London	4	5	0.78	3	5	0.57				1	2	1
741	Eric Bodden	Paderborn University	4	4	0.94									1		1			1	1
741	Nick Giannarakis		4	4	1.08	2	4	0.58				1	1	1			1
741	Joshua S. Auerbach		4	4	0.90											1							1			1	1
741	Louis Mandel		4	5	0.77	3	5	0.57				2	1			1
741	Yuting Wang 0001	Shanghai Jiao Tong University	4	4	1.03	3	4	0.70	1		1		1	1
741	Carlo Angiuli	Indiana University	4	4	1.17	2	4	0.58		1		1				1			1
741	Daniel Perelman		4	5	0.81	1	7	0.14		1					1				1		1
741	Gustavo Soares		4	8	0.54	3	8	0.42				2	1	1
741	Zheng Guo 0003	University of California	4	6	0.65	4	6	0.65			2		2
741	Alex Potanin	Australian National University	4	4	0.95	1	4	0.25					1										1		1		1
741	Fabian Muehlboeck	Australian National University	4	2	1.83	1	2	0.50				1			1	1			1
741	Alan Jeffrey		4	3	1.83	2	4	0.50			1		1							1									1
741	Jan-Oliver Kaiser		4	6	0.74	1	4	0.25					1		2			1
741	Beta Ziliani	Universidad Nacional de Córdoba	4	4	1.15										1			1		1		1
741	Andreas Haeberlen	University of Pennsylvania	4	5	0.85	1	5	0.20					1	1		1				1
741	Aaron Roth 0001	University of Pennsylvania	4	5	0.82	1	5	0.20					1	1		1		1
741	Ryan G. Scott		4	4	0.93	2	4	0.53		1			1		1	1
741	Armaël Guéneau		4	5	0.88	4	5	0.88	2			2
741	Clément Pit-Claudel	EPFL	4	4	0.90	2	4	0.45			1		1	1				1
741	Lindsey Kuper	Univ. of California - Santa Cruz	4	4	1.00	2	4	0.50		1			1						2
741	Maciej Piróg	University of Wroclaw	4	4	1.25	1	4	0.25					1	1	1		1
741	Dennis E. Shasha	New York University	4	4	1.17	2	4	0.50				1	1		1														1
741	Martin Avanzini		4	3	1.50	2	3	0.67				1	1			1		1
741	Yannick Zakowski		4	6	0.84	4	6	0.84		1	1	1	1
741	Minseok Jeon		4	3	1.42	2	2	0.83			1		1		1	1
741	Arjen Rouvoet		4	4	0.98	2	4	0.53				1	1		2
741	Taolue Chen 0001	School of Computing and Mathematical Sciences	4	5	0.76	2	6	0.36	1		1			1	1
741	Philipp Rümmer	University of Regensburg	4	6	0.65	1	9	0.11			1			1	1	1
741	Matt Brown		4	2	2.00										1	1	1	1
741	Aaron Stump	University of Iowa	4	4	1.08	2	5	0.42		1			1		1													1
741	Aymeric Fromherz		4	6	0.81	3	6	0.64		1		1	1	1
741	Marco F. Cusumano-Towner	Massachusetts Institute of Technology (MIT)	4	5	0.85	1	5	0.20					1	2	1
741	Pierre Clairambault	Ecole Normale Superieure de Lyon	4	2	1.67	2	2	1.00		1			1	1	1
741	Jonathan Sterling		4	4	1.08	3	4	0.75	2		1			1
741	Lukas Lazarek		4	4	0.95	3	4	0.70		1		1	1		1
741	Christian Kästner	Carnegie Mellon University	4	4	1.00										1						1	2
741	Lukás Holík	Brno University of Technology	4	6	0.62	2	8	0.28					2		1	1
741	Olli Saarikivi		4	6	0.71	2	6	0.33					2	1		1
741	Ramana Kumar		4	6	0.76									1		1	1		1
741	Reuben N. S. Rowe	Royal Holloway University of London	4	4	0.95	2	4	0.45	1			1		1			1
741	Radu Grigore	University of Kent	4	3	1.95											2	1		1
741	Vincent Laporte		4	6	0.84	1	7	0.14					1				1	1		1
741	Thomas Gilray	University of Alabama - Birmingham	4	4	1.03									1	1		2
741	Petr Novotný 0001	Masaryk University	4	4	1.17	1	4	0.25				1			1	1	1
741	Benoît Montagu		4	2	1.75	2	2	1.00				1	1	1										1
741	Alexander Bakst		4	4	1.03									1		1		1			1
741	Giuliano Losa		4	5	0.88										2	1					1
741	Mirko Köhler 0001	Technische Universität Darmstadt	4	5	0.90	1	5	0.20					1	1	1				1
741	Philipp Haller	KTH Royal Institute of Technology	4	4	1.17	1	4	0.25		1				1			1			1
741	Léo Stefanesco		4	5	0.79	3	5	0.54	1		1		1		1
741	Leo White		4	5	1.03	3	6	0.53		1		1	1	1
741	Hridesh Rajan	Iowa State University	4	3	1.42											1	1	1					1
741	Peter M. Chen	University of Michigan	4	5	0.79	1	4	0.25					1		1				1		1
741	Yotam M. Y. Feldman		4	4	0.89	4	4	0.89			1	1	2
741	Rodolphe Lepigre		4	6	0.60	4	6	0.60			2	1	1
741	Jatin Arora 0002	Amazon.com	4	3	1.25	3	3	1.00	1		1	1		1
741	Roopsha Samanta	Purdue University	4	4	0.90	2	4	0.45				1	1	1				1
741	Markus Müller-Olm	University of Münster	4	3	1.37	2	3	0.67	1			1										1							1
741	Yue Li 0006	Nanjing University	4	4	0.91	2	6	0.33				2			1	1
741	Paul He		4	6	0.68	3	7	0.43		1		1	1			1
741	Ramanathan S. Thinniyam		4	4	0.95	4	4	0.95	1	1	1	1
741	Kia Rahmani		4	4	0.82	3	5	0.57	1			2		1
741	Christian Wimmer		4	6	0.69	1	4	0.25				1		1		1						1
741	Thomas Würthinger		4	8	0.52									2		1						1
741	Gilbert Louis Bernstein	University of Washington	4	5	0.76	3	5	0.56			2		1			1
741	Grégory M. Essertel		4	4	0.95									3			1
741	Lu Zhang 0023	Peking University	4	6	0.87	2	6	0.37					2					1		1
741	Chenglong Wang		4	4	1.12	2	4	0.45			1		1		1	1
741	Michel Steuwer	Technische Universität Berlin	4	6	0.75	3	6	0.50	2				1					1
741	Matthijs Vákár		4	2	1.43	2	2	1.00	1	1				1	1
741	Runzhou Tao		4	5	0.79	4	5	0.79	2		1	1
741	Eric Atkinson	Binghamton University	4	4	1.20	4	4	1.20				2	2
741	Tongping Liu		4	4	1.15	1	5	0.20					1		1							1		1
741	Daniel W. Barowy		4	4	1.17										1			1	1		1
741	Benjamin Chung		4	6	0.68	2	6	0.37				1	1		2
741	Filip Niksic		4	4	1.15	2	4	0.45					2		2
741	Mila Dalla Preda	University of Verona	4	4	1.08	2	4	0.58	1		1							1								1
741	Sarah E. Chasins	Univ. of California - Berkeley	4	3	1.42	1	2	0.50				1				1	1		1
741	Josh Berdine	Facebook	4	4	1.03	1	4	0.25			1												1			2
741	Jan Midtgaard		4	6	1.01											1				1		1		1
741	Michal Friedman 0001	ETH Zurich	4	4	1.07	2	4	0.53				1	1	1		1
741	Alejandro Russo	Chalmers/GU	4	4	1.70									1				2			1
741	Cezara Dragoi	Ecole Normale Superieure	4	4	1.12	2	4	0.53					2				1					1
741	Francesco Gavazzo	University of Pisa	4	2	1.75	4	2	1.75		1	3
741	Konstantinos Kallas		4	4	0.87	4	4	0.87		1		2	1
741	Ankush Das	Boston University	4	3	1.25	2	4	0.58	1	1					1	1
741	Dmitriy Traytel	University of Copenhagen	4	2	1.58	1	2	0.50		1				1				1		1
741	Giorgio Ghelli	University of Pisa	4	2	2.42	1	6	0.17	1																				3
741	Feras Saad	Carnegie Mellon University	4	4	1.03	2	4	0.58				1	1	2
741	Kartik Nagar	IIT Madras	4	4	1.00	2	4	0.50			1	1		1	1
741	Marcelo P. Fiore	University of Cambridge	4	2	2.17	1	2	0.50			1						1												2
741	Werner Dietl	University of Waterloo	4	4	1.00	2	4	0.58				1	1								1	1
741	Rasmus Ejlers Møgelberg	IT University of Copenhagen	4	2	1.67	2	2	0.83		1		1		2
741	Germán Andrés Delbianco		4	4	1.20	1	5	0.20				1		1			1			1
741	Tamás Szabó		4	3	1.25	3	3	1.00				2	1		1
741	Damien Zufferey	Massachusetts Institute of Technology	4	3	1.17	2	3	0.67					2				1			1
741	Heather Miller	Carnegie Mellon University	4	4	1.08	1	3	0.33					1	1	1					1
741	Lingming Zhang 0001	Univ. of Illinois at Urbana-Champaign	4	4	1.20									1		1		1		1
741	Xi Wang 0005	University of Washington	4	6	0.66	1	4	0.25			1							1	1						1
741	Jianan Yao		4	6	0.74	4	6	0.74	1		1	1	1
741	Leonardo Mendonça de Moura		4	4	1.28	3	3	1.08			1	1	1			1
741	Francesco Ranzato	University of Padova	4	3	1.25	1	4	0.25			1			1				1	1
741	Timos Antonopoulos		4	6	0.87	2	6	0.37		1			1	1		1
741	David A. Naumann	Stevens Institute of Technology	4	4	1.20	1	6	0.17		1						1										1			1
741	Filippo Bonchi	University of Pisa	4	3	1.37	1	3	0.33		1				1				1		1
741	Gustavo Petri		4	4	1.28	1	5	0.20					1	1			1							1
741	Keval Vora	Simon Fraser University	4	3	1.17	1	3	0.33				1		1				1	1
741	Simon Oddershede Gregersen		4	5	0.79	4	5	0.79	2			2
741	Chengyu Zhang 0001	ETH Zurich	4	3	1.25	3	3	0.92				1	2	1
741	Stefan Monnier	University of Montreal	4	3	1.42	1	4	0.25			1														1				2
741	ThanhVu Nguyen	George Mason University	4	4	1.01	2	4	0.53				1	1	2
741	Juneyoung Lee		4	7	0.58	1	5	0.20				1			2	1
741	David Castro-Perez	Imperial College London	4	4	1.28	2	3	0.75				1	1	1			1
741	Liam O'Connor	University of Edinburgh	4	6	0.92	3	6	0.81	1	1	1						1
741	Thibaut Balabonski		4	2	2.45											1		1		1	1
741	Neil Mitchell		4	2	2.67	1	3	0.33					1		1						1		1
741	Stefanos Chaliasos		4	5	0.92	4	5	0.92	1		1	1	1
741	Thodoris Sotiropoulos	ETH Zurich	4	5	0.92	4	5	0.92	1		1	1	1
741	Eva Darulova	Max Planck Society	4	2	1.48	2	5	0.48					2						1			1
741	Cosmin E. Oancea	University of Copenhagen	4	3	1.45										1	1					1							1
741	Théo Winterhalter		4	4	1.01	3	5	0.68	1			1	1			1
741	Arie Gurfinkel	University of Waterloo	4	4	0.99	1	3	0.33			1			1			1		1
741	Andrea Vezzosi		4	3	1.33									1	1	2
741	Malavika Samak		4	3	1.50	1	3	0.33					1				1	1	1
741	Deokhwan Kim		4	4	1.33	1	3	0.33					1						1		1	1
741	Sanjit A. Seshia	Univ. of California - Berkeley	4	6	0.73									1	1		1									1
741	Luís Caires	Universidade de Lisboa	4	2	2.00	1	2	0.50				1		1				1		1
741	Edward Aftandilian		4	4	1.12											1						1	1	1
741	Geoffrey Mainland	Drexel University	4	2	2.67											1				1	1				1
741	Konstantinos Sagonas	Uppsala University	4	5	0.81									1	1				1										1
741	Tao Xie 0001	Peking University	4	6	0.73	2	6	0.33				1	1	1								1
741	Darko Marinov	Univ. of Illinois at Urbana-Champaign	4	4	1.20	1	6	0.17					1	1															2
741	Andres Erbsen		4	5	0.88	4	5	0.88		1	2	1
741	Anil Madhavapeddy	University of Cambridge	4	5	0.86	2	8	0.28				1	1		1								1
741	Kaan Genç		4	3	1.25	2	3	0.67					2	1	1
741	Sandro Stucki		4	4	1.20	2	2	0.83		1		1			1				1
741	Steffen Smolka		4	6	0.76	1	6	0.17					1	1		1		1
741	Yaniv David		4	3	1.50	1	3	0.33					1			1	1		1
741	Avik Chaudhuri		4	4	1.78											1					1	1		1
741	Alexandru Nicolau	Univ. of California - Irvine	4	3	1.26										1														3
741	Josep Torrellas	Univ. of Illinois at Urbana-Champaign	4	4	0.96									2	1				1
741	Serdar Tasiran		4	3	1.25											1								1		1		1
741	Norman Danner		4	3	1.42	2	4	0.58					2					1									1
741	Qinheping Hu		4	4	1.25	2	4	0.50				1	1	1		1
741	Carl Friedrich Bolz-Tereick	Heinrich Heine University of Düsseldorf	4	4	0.93											2		1		1
741	Pranav Garg 0001	Amazon Web Services	4	4	1.03										1		1		1	1
741	Paul Thomson		4	5	0.82	1	6	0.17				1				1		1			1
741	Manuel Costa	Microsoft Research	4	6	0.63											2	1						1
741	Justin Pombrio		4	2	1.83										1	1		1	1
741	John Renner		4	6	0.67	2	6	0.37				1	1	2
741	Sunjay Cauligi		4	8	0.57	2	8	0.27				1	1	2
741	Daniel Patterson 0001	Northeastern University	4	4	1.12	1	4	0.25			1			1		1				1
741	Linzhang Wang	Nanjing University	4	6	0.77	3	7	0.52				2	1							1
741	Simon J. Gay	University of Glasgow	4	4	1.90	1	5	0.20		1													1					1	1
741	Shankara Pailoor		4	4	1.08	3	4	0.83	1			1	1	1
741	Joseph Devietti	University of Pennsylvania	4	4	1.03										1	2	1
741	Eric Schkufza		4	4	1.08												1	1	1	1
741	David Callahan		4	2	2.17																								4
741	Vijay Menon 0002	Intel Corporation	4	6	0.68																				1	1	2
741	Benjamin Bichsel		4	4	0.95	2	4	0.50				1	1	1	1
741	Jens Knoop	TU Wien	4	3	1.33																								4
741	Oliver Rüthing		4	3	1.33																								4
741	Bernhard Steffen	TU Dortmund	4	3	1.33																								4
741	Pascal Van Hentenryck	Georgia Institute of Technology	4	2	1.67																								4
741	Ravi Mangal		4	4	0.95												2		2
741	Keith H. Randall		4	3	1.50																								4
741	Gilles Pokam		4	4	0.82									1			1		1		1
741	Sriram Sankaranarayanan 0001	University of Colorado Boulder	4	3	1.25														1	1			1						1
741	David K. Gifford	Massachusetts Institute of Technology	4	2	2.00																								4
741	Mae Milano	Princeton University	4	4	1.16	1	3	0.33			1				1			1		1
741	Rakesh Ghiya		4	2	1.67																								4
741	Benjamin Goldberg	New York University	4	2	3.00																								4
741	Wilson C. Hsieh		4	3	1.50																								4
741	John Cavazos	University of Delaware	4	2	1.75																1				1		1		1
741	Jonathan T. Moore		4	4	1.07																							1	3
741	Scott Nettles		4	3	1.37																								4
741	Xiao Xiao 0003	Sourcebrella	4	5	0.82										1		1		2
741	He Zhu 0001	Rutgers University	4	3	1.25									1	1		1	1
741	Stephen Magill		4	4	1.08									1	1						1		1
741	Motohiro Kawahito		4	5	0.80																								4
741	Hiroshi Inoue		4	4	1.33																1	1		2
741	Glenn Ammons		4	3	1.42																								4
741	Fred C. Chow		4	4	1.70																	1							3
741	Gregor Snelting	Karlsruhe Institute of Technology	4	2	1.58																						1		3
741	Pedro C. Diniz	University of Southern California	4	2	1.83																								4
741	David Bernstein		4	3	1.31																								4
741	Chandra Krintz	Univ. of California - Santa Barbara	4	2	1.83																		1		1				2
741	Prakash Prabhu		4	5	0.90																1	2	1
741	Nick P. Johnson		4	5	0.82															1	1	2
741	Pierre Genevès	CNRS	4	3	1.50													1				1		1		1
741	Michal Cierniak		4	3	1.37																								4
741	David B. MacQueen		4	2	2.17																								4
741	Philippe Suter		4	4	1.17															1	1		2
741	Michael Wolfe		4	2	2.03																								4
741	Victor Nicolet		4	2	1.83	2	2	0.83			1	1		1		1
741	Erik Ruf	Microsoft Research	4	1	3.50																								4
741	Richard Johnson		4	3	1.37																								4
741	Linhai Song	Pennsylvania State University	4	5	1.10	1	5	0.20					1						1		1	1
741	Samuel P. Midkiff	Purdue University	4	4	1.28																		1				1		2
741	Zachary R. Anderson		4	2	2.08																1	1		1	1
741	Jade Alglave		4	6	0.95											1					1	1		1
741	Earl T. Barr	University College London	4	4	1.25	1	4	0.25					1						1	1	1
741	David W. Wall		4	1	3.50																								4
741	Eric Eide	University of Utah	4	6	0.76															1	1	1							1
741	Preston Briggs		4	4	1.33														1										3
741	Evelyn Duesterwald		4	3	1.20																			1					3
741	Ruy Ley-Wild	Carnegie Mellon University	4	3	1.37															1			1	1	1
741	Ming Kawaguchi		4	3	1.25																1		1	1	1
741	Michelle Mills Strout		4	4	1.02									1				1								1			1
741	Lucas Brutschy		4	4	1.08										1	1		1	1
741	Dimitar K. Dimitrov 0002	ETH Zürich	4	4	0.95										1	1		1	1
741	Stelios Sidiroglou-Douskos		4	4	1.08													1	2				1
741	Guangyu Chen	Penn State	4	4	1.00																					1	2		1
741	David R. Hanson		4	2	1.70																								4
741	David Tarditi		4	4	1.25																						1	1	2
741	Vugranam C. Sreedhar	IBM Research	4	3	1.37																								4
741	Dawson R. Engler	Stanford University	4	3	1.92																								4
741	Nils Klarlund	AT&T Inc	4	3	1.42																							1	3
741	M. Anton Ertl	TU Wien	4	2	2.83																						1		3
741	Bruno Blanchet	ENS Paris	4	2	2.62																								4
741	Chengnian Sun	University of Waterloo	4	3	1.20											1	2	1
741	Ben L. Titzer	Carnegie Mellon University	4	2	2.36											1				1						1	1
741	Oscar Waddell		4	3	1.50																								4
741	Peng Liu 0010	Purdue University	4	4	0.93									1			1	1	1
741	Yunhui Zheng		4	4	1.00													2			1	1
741	Gérard Berry		4	2	1.83	1	2	0.50					1																3
741	Bjarne Steensgaard	Microsoft Research	4	3	1.92																			1	1				2
741	Irene Finocchi	Luiss Guido Carli University	4	3	1.25																2	2
741	Michael F. P. O'Boyle	University of Edinburgh	4	3	1.50	1	4	0.25			1							1						1			1
741	Kuat Yessenov	Massachusetts Institute of Technology	4	3	1.14											1	1				1	1
741	Mary W. Hall	University of Utah	4	4	1.02									1				1				1							1
741	V. T. Rajan		4	3	1.20																							1	3
741	Jeffrey Dean	Google	4	4	1.03																								4
741	Simone Campanoni	Northwestern University	4	6	0.76	4	6	0.76			1	1	2
741	Ben Wiedermann		4	4	1.08																		1		1	1	1
741	Olivier Tardieu		4	3	1.45																2								2
741	Nicolas Halbwachs	IMAG	4	2	1.58																				1				3
741	David A. McAllester	TTI Chicago	4	2	2.00																								4
741	Yanhong A. Liu	Stony Brook University	4	4	0.98																1							1	2
741	Scott D. Stoller	Stony Brook University	4	4	0.98																1							1	2
741	Lal George		4	2	2.00																								4
741	Greg Nelson		4	4	1.70																								4
741	Rodric M. Rabbah		4	4	0.95														1		1		1					1
741	Polyvios Pratikakis	University of Crete	4	4	1.06																				2		1		1
741	Youfeng Wu		4	4	1.68												1		1								1		1
741	Helmut Seidl	TU Munich	4	2	1.53															1		1							2
741	M. Frans Kaashoek	Massachusetts Institute of Technology	4	3	1.42									1															3
741	Xin Qi 0012	Facebook Inc.	4	2	1.83																		1	2			1
741	Corneliu Popeea		4	4	1.08														1		1	1					1
741	Liuba Shrira	Brandeis University	4	2	1.53																								4
741	Christian S. Collberg	University of Arizona	4	2	1.98																								4
741	Daniel von Dincklage		4	2	1.55																			1	1		1		1
741	Peter J. Stuckey	University of Melbourne	4	3	1.50																								4
741	Siddhartha Chatterjee	The University of Texas at Austin	4	4	0.98																						1		3
741	Matthew Hertz		4	3	1.37																							2	2
741	John Whaley		4	2	2.33																						1		3
741	Ganesh Sittampalam		4	8	0.70																							2	2
741	Julian Tibble		4	8	0.68																					2		2
741	Robert E. Strom		4	2	2.33																								4
741	Jaakko Järvi	University of Bergen	4	5	0.90																						2	1	1
741	Hideya Iwasaki		4	4	1.28												1					1							2
741	Kemal Ebcioglu		4	4	0.82																							2	2
741	Marco Pistoia	JPMorgan Chase	4	4	0.95													1				1		1					1
741	David Molnar		4	4	0.90													2	1		1
741	Toshiaki Yasue		4	5	0.80																								4
741	Michael J. Carey 0001	Univ. of California - Irvine	4	2	1.58																								4
741	Daniel H. H. Ingalls		4	4	1.90																								4
741	Yasuhiko Yokote		4	2	2.33																								4
741	Ole Lehrmann Madsen	Aarhus University	4	2	2.08																								4
741	Nathan Bronson	Rockset	4	5	0.92																1	2		1
741	Stefan Hanenberg		4	2	2.70															1	1		2
741	Christian Grothoff		4	4	1.04																				1			2	1
741	Richard P. Gabriel		4	2	2.17																		1		1		1		1
741	Karel Driesen		4	2	2.25																								4
741	Dave A. Thomas		4	4	1.23																								4
741	Grzegorz Czajkowski		4	2	2.25																								4
741	Kenneth M. Kahn		4	4	1.25																								4
741	Adam Welc		4	5	0.88																	1			1			2
741	Mangala Gowri Nanda		4	3	1.25															1				1				1	1
741	Kazunori Ogata		4	5	0.80																		1		1		1		1
741	Stanley B. Zdonik	Brown University	4	2	2.00																								4
741	Bjarne Stroustrup	AT&T Inc	4	4	1.25																1			1			2
741	Satoshi Matsuoka	Tokyo Institute of Technology	4	4	1.33																								4
741	Richard Helm		4	4	1.23																								4
741	Daniel G. Bobrow	Palo Alto Research Center Incorporated	4	5	0.92																								4
741	Bowen Alpern		4	4	1.13																								4
741	Takeshi Ogasawara		4	5	1.55																1			1					2
741	Grady Booch		4	6	0.95																								4
741	James E. Rumbaugh		4	2	2.39																								4
741	Robert Muller	Boston College	4	4	1.62																								4
741	Derek Coleman		4	4	1.23																								4
741	David Harel	Weizmann Institute of Science	4	2	2.17																								4
741	Marvin H. Solomon	University of Wisconsin-Madison	4	2	2.83																								4
741	Christophe Dony	LIRMM Montpellier	4	2	2.08																								4
741	Tobias Nipkow	TU Munich	4	2	1.75															1							1		2
741	Henry M. Levy	University of Washington	4	3	1.50																								4
741	Patrick Lam 0001	University of Waterloo	4	4	1.23												1	1											2
741	John Tang Boyland	University of Wisconsin - Milwaukee	4	2	2.00																							1	3
741	Bard Bloom		4	2	2.46																			1					3
741	Jacques Garrigue	Nagoya University	4	2	1.75																	1					1		2
741	Greta Yorsh		4	4	1.17																	2	1		1
741	Maurice Herlihy	Brown University	4	3	1.50																		1				1		2
741	Jean-Jacques Lévy	INRIA	4	3	1.42																								4
741	Ehud Shapiro	Weizmann Institute of Science	4	2	2.75																								4
741	Prateek Mishra		4	2	1.83																								4
741	Edward L. Wimmers		4	3	1.42																								4
741	Derek C. Oppen		4	2	2.50																								4
741	Irene Greif	IBM	4	2	1.50																								4
741	Carl A. Gunter	Univ. of Illinois at Urbana-Champaign	4	3	1.95																								4
741	Haruo Hosoya		4	2	1.67																						1	1	2
741	James Brotherston	University College London	4	2	1.58												1		1					1	1
741	Assaf J. Kfoury	Boston University	4	2	2.08																								4
741	Robin Milner		4	2	1.53																								4
741	Richard J. Lipton	Georgia Institute of Technology	4	3	1.92																								4
741	Mark Shields		4	4	1.33																								4
741	Steven S. Muchnick		4	2	2.00																								4
741	Yasuhiko Minamide	Tokyo Institute of Technology	4	2	2.08																			1					3
741	Norihisa Suzuki		4	2	3.00																								4
741	Prakash Panangaden	McGill University	4	3	1.25														1										3
741	Reinhard Wilhelm	Saarland University	4	3	1.87																							1	3
741	Christian Queinnec	LIP6	4	2	2.33																								4
741	Nils Gesbert	University of Glasgow	4	3	1.37													1				1	1		1
741	Samuel N. Kamin	Univ. of Illinois at Urbana-Champaign	4	2	3.00																								4
741	Neil Ghani	University of Strathclyde	4	2	1.58														1						1			1	1
741	Matthew Hennessy	Trinity College Dublin	4	2	1.83																								4
741	David N. Turner	University of Kent	4	2	1.67																								4
741	Johannes Borgström	Uppsala University	4	6	0.71												2		1	1
741	Amelia C. Fong		4	2	2.83																								4
741	Michael Hanus	University of Kiel	4	4	1.78																					1			3
741	Leslie Lamport	Microsoft Research	4	1	3.50																								4
741	Tom Ridge	University of Cambridge	4	6	1.47														1					2		1
741	I. V. Ramakrishnan	Stony Brook University	4	3	1.14																								4
741	Stephen Weeks		4	2	1.75																								4
741	Pierre-Louis Curien	CNRS - Université Paris 7	4	3	1.42												1												3
741	Matteo Cimini	University of Massachusetts Lowell	4	2	1.75											1	2	1
741	Oleg Kiselyov		4	4	1.17											1								1			1	1
741	Johan Jeuring	Utrecht University	4	4	1.18																			1	1				2
741	Satnam Singh		4	3	1.42																	1		1		1			1
741	Frank Huch	University of Kiel	4	2	2.03																		1			1			2
741	Sebastian Fischer 0001	University of Kiel	4	3	1.37																		1	1	1	1
741	Stefan Holdermans		4	4	1.18																		1	1	1	1
741	Roman Leshchinskiy		4	4	1.07															1	1		1			1
741	Franklyn A. Turbak	Wellesley College	4	4	1.70																								4
741	Chris Okasaki		4	1	4.00																								4
741	Martin Sulzmann		4	4	1.25																			1	1				2
1093	Vikraman Choudhury		3	3	0.98	2	2	0.83			1		1		1
1093	Ruyi Ji		3	4	0.70	3	4	0.70				1	2
1093	Tien N. Nguyen	University of Texas at Dallas	3	4	0.67									1		1							1
1093	Eric Van Wyk	University of Minnesota	3	4	1.00											1								1					1
1093	Matthew Pickering		3	3	0.83	2	4	0.50			1		1		1
1093	Nikos Gorogiannis		3	4	0.83									1	1		1
1093	Alexi Turcotte		3	3	0.92	2	4	0.58				1	1			1
1093	Peisen Yao	Zhejiang University	3	4	0.83	3	4	0.83				3
1093	Qingkai Shi		3	4	0.67	2	4	0.50				2			1
1093	Francisco Ferreira 0001	Royal Holloway University of London	3	4	0.70	2	4	0.45				1	1						1
1093	Eddie Jones		3	3	1.17	3	3	1.17		1	1	1
1093	Yuriy Brun	University of Massachusetts Amherst	3	4	0.78	1	3	0.33					1	1							1
1093	Jérôme Siméon		3	4	0.95											1				1									1
1093	Csongor Kiss		3	4	0.78	1	5	0.20			1			1	1
1093	Saswat Padhi		3	4	0.75	1	4	0.25					1		1		1
1093	Xiang Gao 0012	Beihang University	3	6	0.62	3	6	0.62				1	2
1093	Abhik Roychoudhury	National University of Singapore	3	4	0.75	3	4	0.75				2	1
1093	Minh-Thai Trinh		3	3	0.87	2	4	0.53					2					1
1093	Sven Keidel		3	3	1.17	1	3	0.33		1				1	1
1093	Hengchu Zhang		3	5	0.73	1	5	0.20					1	1	1
1093	Roberto Bruni	University of Pisa	3	4	0.78	2	4	0.45			1		1															1
1093	Jan Stolarek		3	4	0.70	2	4	0.45			1		1			1
1093	Ivan Perez 0001	National Institute of Aerospace	3	2	1.70	1	5	0.20		1					1	1
1093	Robert Dockins		3	5	0.73	1	5	0.20		1				1									1
1093	Ke Wang 0022		3	3	0.96	2	5	0.62				1	1		1
1093	Irene Yoon 0001	University of Pennsylvania	3	6	0.67	3	6	0.67			1	1	1
1093	Thomas Dinsdale-Young		3	5	0.57	1	6	0.17				1								1		1
1093	Kasper Svendsen		3	6	0.64	1	6	0.17				1				1		1
1093	Nikos Tzevelekos		3	2	1.67	1	6	0.17				1							1			1
1093	Yao Li 0004	University of Pennsylvania	3	3	1.00	2	2	0.83			1	1			1
1093	Li-yao Xia		3	6	0.64	2	5	0.48				1	1			1
1093	Andrew W. Fitzgibbon	Graphcore	3	5	0.62	2	6	0.37			1	1		1
1093	Tomas Petricek 0001	Charles University	3	3	0.92	1	4	0.25			1						1		1
1093	Zhixuan Yang		3	2	1.33	3	2	1.33	1	1		1
1093	Piotr Polesiuk		3	4	0.75	1	4	0.25					1	1	1
1093	James Worrell 0001	University of Oxford	3	5	0.59	3	5	0.59	1		1	1
1093	Calvin Smith		3	2	1.33									2			1
1093	Glen Mével		3	3	1.08	3	3	1.08	1			1	1
1093	Siddharth Krishna 0001	Microsoft Research	3	4	0.83	2	4	0.50				1	1		1
1093	Milijana Surbatovich		3	3	1.00	2	3	0.67				1	1	1
1093	Ian Briggs		3	3	1.00	2	2	0.83	1		1					1
1093	Zhilin Wu	Chinese Academy of Sciences	3	5	0.51	1	9	0.11			1			1	1
1093	S. Krishna 0004	IIT Bombay	3	4	0.75	2	4	0.50	2					1
1093	Peter Selinger	Dalhousie University	3	4	0.78	1	4	0.25		1									1	1
1093	Burcu Kulahcioglu Ozkan	TU Delft	3	5	0.73	1	5	0.20					1	1	1
1093	Denis Merigoux		3	6	0.64	3	6	0.64				2	1
1093	Alexander K. Lew		3	4	0.70	2	4	0.45		1			1	1
1093	Yisu Remy Wang		3	6	0.53	3	6	0.53			1	2
1093	Marc de Visme		3	3	1.08	1	2	0.50					1	2
1093	Kiwan Maeng	Pennsylvania State University	3	2	1.33	1	2	0.50					1	1		1
1093	Michael Ballantyne		3	3	0.92	3	3	0.92					3
1093	Ivan Radicek		3	5	0.73	1	5	0.20					1		2
1093	Florian Zuleger	TU Wien	3	3	1.03										2								1
1093	Pawel Sobocinski 0001	Tallinn University of Technology	3	4	0.78	1	4	0.25				1		1				1
1093	Cristina V. Lopes	Univ. of California - Irvine	3	4	0.88											1		1							1
1093	Rohan Yadav		3	4	0.73	3	4	0.73			1	1	1
1093	Rami Gökhan Kici		3	5	0.57	1	8	0.12				1		1		1
1093	András Kovács		3	1	2.33	2	1	2.00			1		1	1
1093	Martin Clochard		3	3	0.81	2	5	0.48					2						1
1093	Andrew Adams		3	6	0.53	2	6	0.37				1	1							1
1093	Eric Walkingshaw	Oregon State University	3	3	0.92										2						1
1093	Cristina David	University of Bristol	3	4	1.00	1	4	0.25				1										1			1
1093	Brad A. Myers	Carnegie Mellon University	3	3	1.08	1	4	0.25					1																2
1093	Joshua Sunshine	Carnegie Mellon University	3	5	0.62	2	5	0.42					2									1
1093	Tian Tan 0001	Nanjing University	3	4	0.78	1	5	0.20				1			1	1
1093	Daniel Gratzer		3	4	0.73	1	7	0.14				1		2
1093	Gregory Malecha	BedRock Systems	3	5	0.59	1	7	0.14					1										1	1
1093	Pascal Baumann 0001	Max Planck Institute for Software Systems	3	4	0.70	3	4	0.70		1	1	1
1093	David M. Kahn		3	3	0.98	2	2	0.83				1	1	1
1093	Alexey Radul		3	6	0.49	2	6	0.33		1		1			1
1093	Gabriel Radanne		3	3	1.00	2	3	0.67		1			1					1
1093	Dominik Klumpp		3	3	1.00	3	3	1.00	1	1	1
1093	Vojin Jovanovic		3	8	0.49	1	4	0.25				1		1						1
1093	Pantazis Deligiannis		3	5	0.57	1	4	0.25					1			1		1
1093	Zhijia Zhao 0001	Univ. of California - Riverside	3	6	0.56	1	4	0.25					1						1		1
1093	Youyou Cong		3	4	1.00									1	2
1093	Shraddha Barke		3	5	0.66	3	5	0.66				1	2
1093	Anton Lorenzen		3	2	1.33	3	2	1.33		2	1
1093	Mikaël Mayer		3	4	0.83										1			1					1
1093	Adam Scibior		3	6	0.60										2		1
1093	Yufei Cai		3	4	0.68										1		1		1
1093	Chris Heunen	University of Edinburgh	3	4	0.85	2	3	0.75	1		1				1
1093	Yuxiang Peng		3	4	0.83	3	4	0.83	2		1
1093	Dominic P. Mulligan		3	4	0.78											1	1		1
1093	Laura Kovács	TU Wien	3	3	1.00	1	3	0.33	1							1					1
1093	Matija Pretnar	University of Ljubljana	3	4	1.00	2	3	0.75				2				1
1093	Daniel Hillerström	Huawei Technologies	3	4	0.78	3	4	0.78	1				2
1093	Marianna Rapoport		3	4	0.89	1	7	0.14					1	1		1
1093	Bart Jacobs 0002	KU Leuven	3	3	0.98	1	7	0.14					1					1				1
1093	Julia Belyakova		3	6	0.53	2	6	0.37				1	1		1
1093	Alceste Scalas	Technical University of Denmark	3	3	1.03	1	5	0.20				1		2
1093	Gabriele Vanoni		3	3	1.00	3	3	1.00	1		1	1
1093	Ana L. Milanova	Rensselaer Polytechnic Institute	3	3	1.58	1	1	1.00					1								1								1
1093	Sreepathi Pai	University of Rochester	3	4	1.00										1	1	1
1093	G. A. Kavvos	University of Bristol	3	3	1.58	2	4	0.58				1	1	1
1093	Jesse A. Tov		3	2	1.25									1								2
1093	Roberto Di Cosmo	INRIA	3	3	1.67											1													2
1093	Wenlei Bao		3	5	0.57										1		2
1093	Marco Vassena	Utrecht University	3	8	0.42	2	10	0.22		1		1		1
1093	Andrew K. Hirsch	University at Buffalo	3	2	1.50	2	2	1.00			1	1			1
1093	Aquinas Hobor	National University of Singapore	3	3	1.08									1						1			1
1093	Joonwon Choi		3	5	0.49	1	5	0.20				1			1	1
1093	Arvind	Massachusetts Institute of Technology	3	4	0.78	1	4	0.25					1			1													1
1093	Nick Rioux		3	4	1.00	2	3	0.75		1			1		1
1093	Baijun Wu		3	3	1.03									1		2
1093	Paulo Borba	UFPE	3	3	0.83											1				1									1
1093	Caroline Lemieux	University of British Columbia	3	5	0.65	1	4	0.25				1		2
1093	Ming-Ho Yee		3	6	0.67	1	6	0.17					1		1		1
1093	Jan Jecmen		3	5	0.62	3	5	0.62			1	1	1
1093	Abhishek Udupa		3	6	0.62									1						1		1
1093	Elaine Shi	Carnegie Mellon University	3	5	0.65	2	5	0.40		1		1							1
1093	Bartek Klin	University of Oxford	3	4	0.95	1	2	0.50	1							1					1
1093	Joshua B. Tenenbaum	Massachusetts Institute of Technology (MIT)	3	7	0.50	3	7	0.50		2		1
1093	Filip Krikava		3	4	0.78	2	4	0.45				1	1	1
1093	Peng Wang 0048	Massachusetts Institute of Technology	3	3	0.76											2			1
1093	Paul Krogmeier		3	5	0.90	3	5	0.90			1	1	1
1093	Joscha Drechsler		3	4	0.75									1	1				1
1093	Ragnar Mogk	Technische Universität Darmstadt	3	4	0.75									1	1				1
1093	Shigeru Chiba	University of Tokyo	3	3	1.58									1									1						1
1093	Antoine Voizard		3	4	0.75									1	1	1
1093	Gianfranco Bilardi		3	2	1.33									1															2
1093	Ennan Zhai		3	5	0.65	1	4	0.25				1				2
1093	Thomas Sewell		3	6	0.61	1	6	0.17		1							1			1
1093	Robert Rand 0001	University of Chicago	3	4	0.78	2	4	0.45		1		1				1
1093	Craig Disselkoen		3	8	0.36	3	8	0.36		1		1	1
1093	Bryan Parno	Carnegie Mellon University	3	8	0.38	2	10	0.22		1			1	1
1093	Guillaume Baudart		3	5	0.57	3	5	0.57				2	1
1093	Laith Sakka		3	4	0.75									2		1
1093	Kirshanthan Sundararajah		3	3	1.08									2		1
1093	Iavor S. Diatchki		3	4	0.78									1							1							1
1093	Peng Li		3	2	1.12	1	8	0.12					1													1		1
1093	James Bornholt	University of Texas at Austin	3	2	1.25										1	1	1
1093	Rishi Surendran		3	5	0.87											1	1		1
1093	Benjamin Cosman		3	3	1.03	1	5	0.20					1			1	1
1093	Farzin Houshmand		3	3	1.17	2	3	0.67			1	1		1
1093	Léon Gondelman		3	5	0.54	3	5	0.54	1	1		1
1093	Dominik Winterer		3	3	0.92	3	3	0.92				1	2
1093	Sifis Lagouvardos		3	5	0.65	3	5	0.65				1	2
1093	Tarmo Uustalu	Reykjavik University	3	4	0.70	1	4	0.25			1						1											1
1093	Hannes Payer		3	5	0.57										1		1			1
1093	Margaret Martonosi	Princeton University	3	4	0.73	2	6	0.39				1	1																1
1093	James Parker		3	4	0.75	2	5	0.42			1		1	1
1093	Ryan Culpepper		3	4	0.95										1							1	1
1093	Georg Moser	University of Innsbruck	3	3	1.17	1	3	0.33					1				1	1
1093	Zhengyang Liu 0003	University of Utah	3	5	0.62	2	4	0.45				1	1		1
1093	Aarti Gupta	Princeton University	3	4	1.00	1	4	0.25					1										1			1
1093	Nicholas Labich		3	4	0.64											1		1		1
1093	Yannick Forster 0002	INRIA Nantes	3	4	0.78	2	4	0.53					2			1
1093	Jennifer Hackett	University of Nottingham	3	2	1.50									1	1				1
1093	Rohan Bavishi		3	4	0.78	1	4	0.25				1		1			1
1093	Andrew W. Keep		3	6	0.79									1						1		1
1093	Dimitris Mitropoulos		3	6	0.58	3	6	0.58			1	1	1
1093	Diomidis Spinellis	AUEB	3	6	0.58	3	6	0.58			1	1	1
1093	Jieung Kim		3	4	0.61	2	4	0.50			1	1			1
1093	Xuejing Huang		3	3	1.08	3	3	1.08		2		1
1093	Konstantin Weitz		3	6	0.58											2	1
1093	Ankush Desai		3	4	0.75										1				1	1
1093	Aditya V. Thakur	Univ. of California - Davis	3	3	1.08	2	2	0.83				1	1										1
1093	Ambrus Kaposi		3	3	1.08	1	4	0.25	1					1			1
1093	Thorsten Altenkirch	University of Nottingham	3	3	1.08	1	4	0.25	1					1			1
1093	Damien Pous		3	2	1.83	1	3	0.33				1						1		1
1093	Marcelo Sousa		3	3	1.03										1		1		1
1093	Daniel Feltey		3	5	0.57										1	1	1
1093	Mohammad Raza		3	7	0.47	3	7	0.47			1	1	1
1093	Hanspeter Mössenböck	JKU Linz	3	5	0.65										1		1					1
1093	Dustin Jamner		3	4	0.78	2	4	0.53			1		1			1
1093	David Costanzo		3	7	0.59	1	7	0.14					1		1		1
1093	Georgios Karachalias		3	4	0.75	2	4	0.50				1	1					1
1093	Claudia Faggian		3	3	0.92	2	3	0.67	1			1				1
1093	Jake Roemer		3	3	0.92	1	3	0.33					1	1	1
1093	Yiyun Liu		3	4	0.92	3	4	0.92	1	1			1
1093	Zvonimir Pavlinovic		3	3	1.00	1	3	0.33				1						1	1
1093	Julien Lange	Royal Holloway University of London	3	4	0.71	1	8	0.12					1			1		1
1093	Bernardo Toninho	Universidade NOVA de Lisboa	3	4	0.88	1	8	0.12					1	1		1
1093	Changwan Hong		3	8	0.38	1	8	0.12					1		1		1
1093	Nicholas Ng		3	5	0.59									1		1		1
1093	Panagiotis Vekris		3	5	0.73											1	1	1
1093	Lionel Parreaux	HKUST	3	4	1.50	2	2	1.25	1				1		1
1093	Sukyoung Ryu	KAIST	3	4	0.89									1							1	1
1093	Christine Rizkallah	University of Melbourne	3	7	0.42	1	7	0.14		1					1		1
1093	Alastair Reid 0001	Intel	3	5	1.27									1		1													1
1093	Jingling Xue	UNSW	3	2	1.33									2		1
1093	Lennard Gäher		3	7	0.41	3	7	0.41			2	1
1093	Charith Mendis	Univ. of Illinois at Urbana-Champaign	3	3	0.96	1	3	0.33			1				1			1
1093	Benjamin P. Wood		3	4	0.83											1						1	1
1093	Antonis Stampoulis		3	2	1.50										1						1		1
1093	Christopher J. Rossbach	University of Texas at Austin	3	4	0.62	1	4	0.25				1		1												1
1093	Jason R. Koenig		3	4	0.78	3	4	0.78			1	1	1
1093	Tony Field	Imperial College London	3	4	0.78									1							1								1
1093	Shih-Han Hung		3	5	0.62	2	4	0.45				1	1	1
1093	Laure Gonnord	Ecole Normale Superieure de Lyon	3	3	0.83	1	3	0.33		1								1	1
1093	Shu-Chun Weng		3	4	0.71									1		1		1
1093	José Fragoso Santos	Universidade de Lisboa	3	4	0.70	1	4	0.25					1	1	1
1093	Petar Maksimovic		3	4	0.70	1	4	0.25					1	1	1
1093	Ian Voysey		3	5	0.62	1	6	0.17				1		1		1
1093	Eric L. Seidel		3	5	0.73											1	1		1
1093	Craig McLaughlin		3	6	0.64	1	7	0.14		1						1		1
1093	Jochen Hoenicke	Certora	3	3	0.83										1	1							1
1093	Raghavan Komondoor	IISc Bangalore	3	2	1.33										1							1							1
1093	Frederic T. Chong	University of Chicago	3	7	0.43	2	7	0.29			1	1										1
1093	Timothy Sherwood	Univ. of California - Santa Barbara	3	6	0.56	2	5	0.42			1	1										1
1093	Daniel Marino		3	5	0.73																	1	1	1
1093	Nimrod Partush		3	3	1.17											1	1		1
1093	Paul R. Wilson 0001	University of Texas at Austin	3	2	1.33																								3
1093	Thomas G. Moher	University of Illinois at Chicago	3	2	1.33																								3
1093	Carl Bruggeman		3	3	1.00																								3
1093	Colin S. Gordon	Drexel University	3	5	0.68												1			1	1
1093	Chucky Ellison		3	3	1.00													1			2
1093	Dinghao Wu	Pennsylvania State University	3	3	1.08																	1							2
1093	Hassan Chafi		3	7	0.43														1				1				1
1093	Christoforos E. Kozyrakis	Stanford University	3	7	0.57										1									1			1
1093	Dror E. Maydan		3	3	0.83																								3
1093	Kanat Tangwongsan		3	4	0.78														1				1				1
1093	Jeremy Condit		3	5	0.59																			1	1				1
1093	Roland H. C. Yap	National University of Singapore	3	3	1.08										1														2
1093	Dirk Grunwald	University of Colorado Boulder	3	3	1.00																								3
1093	Maged M. Michael	IBM Research	3	2	1.67																	1	1						1
1093	Jaejin Lee	Seoul National University	3	5	0.70	2	4	0.50				1	1				1
1093	Daniele Cono D'Elia		3	2	1.33										1					1		1
1093	Yutao Zhong 0001	George Mason University	3	4	0.95																						1		2
1093	Thomas Shull		3	3	0.87									2					1
1093	Alex Sanchez-Stern		3	4	0.70	1	5	0.20				1			1			1
1093	Fraser Brown		3	6	0.47	2	6	0.37				1	1	1
1093	Andrew K. Wright		3	2	1.25																								3
1093	David R. Chase		3	1	2.33																								3
1093	Wonchan Lee		3	5	0.60														1		2
1093	Wontae Choi		3	4	0.78															1	1	1
1093	Roshan Dathathri		3	8	0.42	1	6	0.17					1	1	1
1093	Martin Kong	Ohio State University	3	6	0.81									1					1	1
1093	Peng Tu		3	5	0.87																								3
1093	Dorde Zikelic	Singapore Management University	3	4	0.83	2	4	0.50			1	1				1
1093	Youngjoon Jo		3	2	1.20													1			1	1
1093	Yuan Yu		3	3	0.87																	1	1						1
1093	Shengchao Qin	Teesside University	3	4	0.83													1							1				1
1093	Chao Wang 0001	University of Southern California	3	2	1.33									1				1				1
1093	Ron Y. Pinter	Technion	3	3	0.98																								3
1093	Xiaotong Zhuang		3	2	1.25																						1	1	1
1093	Haryadi S. Gunawi	University of Chicago	3	5	0.73									1								1		1
1093	Rongxin Wu	Xiamen University	3	5	0.62	1	4	0.25				1			1		1
1093	Michael D. Smith 0001	Harvard University	3	3	0.92																								3
1093	Gareth Paul Stoyle		3	5	0.65																						1	1	1
1093	Linda Torczon	Rice University	3	3	1.08																								3
1093	Yu-Fang Chen 0001	Academia Sinica	3	7	0.40	1	9	0.11					1		1	1
1093	Alain Deutsch		3	1	3.00																								3
1093	Nabil Layaïda		3	3	1.00																	1		1		1
1093	Zoran Budimlic		3	5	0.57															1		1							1
1093	Ross McIlroy		3	4	0.95												1					1	1
1093	Alexandre E. Eichenberger	IBM Research	3	2	1.33																								3
1093	Zach DeVito		3	5	0.53														1	1			1
1093	Mikel Luján		3	4	0.78	1	5	0.20					1			1													1
1093	Akira Koseki		3	3	0.74																								3
1093	Mark D. Weiser	Xerox PARC	3	6	0.83																								3
1093	Tatsushi Inagaki		3	4	0.57																						1		2
1093	Robert R. Henry		3	3	1.00																								3
1093	Mark D. Hill	University of Wisconsin-Madison	3	3	1.00																							1	2
1093	Frances Perry		3	7	0.45																		1		1	1
1093	William Thies		3	3	0.92																	1							2
1093	James M. Stichnoth		3	3	0.87																								3
1093	Doug Woos		3	7	0.43										1		1	1
1093	Christopher Colby		3	3	1.00																								3
1093	Adam Kiezun	MIT Computer Science and Artificial Intelligence Laboratory	3	3	0.92																				1				2
1093	Michael Y. Levin		3	3	1.67																				1				2
1093	Robert Ennals		3	2	1.25																				1	1			1
1093	Eric A. Brewer	Univ. of California - Berkeley	3	4	0.67																				1		1		1
1093	Bernard Lang		3	2	1.83																								3
1093	Reinhard von Hanxleden	University of Kiel	3	2	1.12														1										2
1093	Wenguang Chen	Tsinghua University	3	7	0.58														1			1	1
1093	Yang Chen 0024	University of Utah	3	6	0.56															1	1	1
1093	Roy Dz-Ching Ju	Intel	3	7	0.79																							1	2
1093	Gene Novark		3	3	0.92																			2		1
1093	Thomas H. Austin	San Jose State University	3	3	1.00												1				1	1
1093	Xuandong Li	Nanjing University	3	7	0.52	2	8	0.27				2								1
1093	David Scott Warren	Stony Brook University	3	3	0.81																								3
1093	John M. Mellor-Crummey	Rice University	3	3	1.03														1					1					1
1093	Pierre Jouvelot		3	2	2.00																								3
1093	Xiongnan (Newman) Wu		3	8	0.44										1		1	1
1093	David Mandelin		3	4	0.56																			1				1	1
1093	Matthai Philipose	Microsoft Research	3	5	0.73																								3
1093	Zheng Wang 0001	University of Leeds	3	5	0.56	2	7	0.31				1	1											1
1093	Sankha Narayan Guria	University of Kansas	3	4	0.78	2	4	0.58			1	1		1
1093	Gordon V. Cormack	University of Waterloo	3	2	2.00																								3
1093	Jason Ansel		3	7	0.42													1				1		1
1093	Emmett Witchel	University of Texas at Austin	3	6	0.49																			1		1		1
1093	Feihui Li	Penn State	3	4	0.83																					1	2
1093	Andrew McCreight		3	4	0.73																		1			1	1
1093	Michael Franz	Univ. of California - Irvine	3	4	0.56														1					1					1
1093	Andreas Krall	TU Wien	3	1	2.33																								3
1093	Paul Govereau		3	3	0.87																	1			1			1
1093	Guoliang Jin	North Carolina State University	3	5	0.65																1	1	1
1093	Yuanhao Wei		3	3	0.87	3	3	0.87			1	1	1
1093	Aleksandr Karbyshev		3	6	0.49												1	1	1
1093	Berkeley R. Churchill	Stanford University	3	4	0.75									1				1		1
1093	William S. Evans	University of British Columbia	3	2	1.20																								3
1093	Andrew Ayers		3	4	0.75																							1	2
1093	Richard Schooler		3	4	0.75																							1	2
1093	Quentin Carbonneaux		3	3	0.92										1			1	1
1093	Daejun Park 0001	University of Illinois at Urbana-Champaign	3	5	0.73									1			1	1
1093	Yoav Ossia		3	4	0.75																								3
1093	Elliot K. Kolodner		3	3	0.83																								3
1093	David Gelernter	Yale University	3	3	1.00																								3
1093	Arun Raman		3	4	0.70																1	2
1093	Martin Burtscher	Texas State University	3	3	0.75												1					1							1
1093	Gary Sevitsky		3	5	0.87																		1	1		1
1093	Jurgen J. Vinju	CWI	3	2	1.20										1			1						1
1093	Bryan Ford	EPFL	3	1	2.20																								3
1093	Gary Lindstrom	University of Utah	3	3	1.53																								3
1093	Giovanni Campagna		3	5	0.62	1	4	0.25				1		1				1
1093	Miryung Kim	Univ. of California - Los Angeles	3	6	0.62	1	8	0.12			1											1	1
1093	Richard E. Jones	University of Kent	3	4	1.00																1								2
1093	Ezgi Çiçek		3	5	0.73									1		1	1
1093	Peter A. Dinda	Northwestern University	3	5	0.59	2	6	0.39				1	1										1
1093	Christopher Lidbury		3	2	1.25									1		1		1
1093	George Kastrinis		3	3	1.17														1	2
1093	George Balatsouras		3	3	1.17														1	2
1093	Kyndylan Nienhuis		3	7	0.59											1	2
1093	Samuel Steffen		3	4	0.83	2	4	0.58				1	1	1
1093	Peter-Michael Osera		3	4	0.92												1	1		1
1093	John Kodumal		3	2	1.25																					1			2
1093	William R. Harris		3	3	1.08											1						1	1
1093	Hiralal Agrawal		3	1	2.50																								3
1093	David Notkin	University of Washington	3	2	1.20																1								2
1093	Prasad A. Kulkarni	University of Kansas	3	4	1.42													1				1							1
1093	Mark Lillibridge	Hewlett Packard Enterprise Labs	3	2	1.17																								3
1093	Raymie Stata		3	2	1.17																								3
1093	Jisheng Zhao		3	5	0.60															1	1	1
1093	Jaeheon Yi		3	5	0.73																1	1			1
1093	Mary Jane Irwin	Pennsylvania State University	3	6	0.58																		1				1		1
1093	Yuanrui Zhang		3	5	0.57													1			1		1
1093	Bo Joel Svensson		3	4	1.00											1	1			1
1093	Brian Hackett		3	2	1.25																1			1				1
1093	Shu-yu Guo		3	2	1.12	1	8	0.12					1								1	1
1093	Robert O'Callahan		3	3	1.00																							1	2
1093	Manuvir Das	Microsoft Research	3	3	1.67																								3
1093	Gurindar S. Sohi	University of Wisconsin - Madison	3	3	1.00														2										1
1093	Swarnendu Biswas		3	4	0.62													1	1	1
1093	Jipeng Huang		3	4	0.88														1	2
1093	Manohar Jonnalagedda		3	5	0.51									1					1	1
1093	Neil Vachharajani		3	3	0.92																					1	1		1
1093	Zhiyuan Li 0001	Purdue University	3	2	1.33															1									2
1093	Yoonseung Kim		3	8	0.42										1	1	1
1093	Barton P. Miller	University of Wisconsin - Madison	3	3	1.17																								3
1093	Michael Bauer 0001	NVIDIA	3	3	0.87												1	1		1
1093	Uwe F. Pleban		3	2	1.33																								3
1093	Edith Schonberg		3	2	1.67																		1						2
1093	Ajeet Shankar		3	3	1.08																				1	1		1
1093	Michael Stepp		3	4	0.73																		1	1					1
1093	Brian R. Murphy		3	6	0.81																						2		1
1093	Rodney Farrow		3	2	1.83																								3
1093	Robert Muth		3	3	0.94																							1	2
1093	Christoph von Praun		3	2	1.12																							1	2
1093	Karen Zee		3	3	1.17																			1	1				1
1093	Boris Köpf	IMDEA Software Institute	3	4	1.00	1	4	0.25					1			1					1
1093	Roger Hoover		3	1	2.50																								3
1093	Daniel M. Yellin	IBM	3	2	1.33																								3
1093	Sara Achour		3	3	1.03												1	1	1
1093	Grigory Fedyukovich	Florida State University	3	3	0.92	2	4	0.58				2				1
1093	Benoît Valiron		3	4	0.78											1			1	1
1093	Douglas P. Gregor	Indiana University Bloomington	3	5	0.87																						2	1
1093	Jeremiah Willcock		3	5	0.73																						1	1	1
1093	Pierre Ganty	IMDEA Software Institute	3	3	1.08	1	4	0.25					1									1		1
1093	Arvind K. Sujeeth		3	8	0.40														1	1			1
1093	Doug Kimelman		3	4	0.64																		1					1	1
1093	David Detlefs		3	3	1.00																						1		2
1093	Jeroen Ketema		3	5	0.73													1	1	1
1093	Gennaro Parlato	University of Molise	3	3	1.17																	2		1
1093	Junfeng Yang	Columbia University	3	5	0.90												1				1		1
1093	Sean McDirmid		3	3	1.48															1						1			1
1093	Nikolai Tillmann		3	7	0.49															1		1	1
1093	Larry Carter	Univ. of California - San Diego	3	3	1.00																								3
1093	Williams Ludwell Harrison III		3	2	1.50																								3
1093	Toshio Suganuma		3	5	0.60																								3
1093	John R. Rose	University of South Carolina	3	1	2.25																								3
1093	Ira R. Forman		3	3	1.08																								3
1093	Scott Danforth		3	3	1.08																								3
1093	John Maloney		3	3	0.87																								3
1093	Barry Hayes		3	1	2.17																								3
1093	Gilles Muller		3	4	0.70														1					1					1
1093	Roland Ducournau		3	4	0.83																			1					2
1093	Marianne Huchard	LIRMM Montpellier	3	4	0.75																								3
1093	Asger Feldthaus		3	2	1.20														1	1		1
1093	Kevin Bierhoff		3	3	1.08																1				1	1
1093	Clark Verbrugge	McGill University	3	4	0.92																				1				2
1093	Phillip M. Yelland		3	1	3.00																								3
1093	Wolfram Schulte	Microsoft Research	3	6	0.64														1				1	1
1093	Dave West		3	3	1.00																		1	1					1
1093	John Lamping		3	1	2.50																								3
1093	Yen-Ping Shan		3	1	2.14																								3
1093	Ed Seidewitz	Model Driven Solutions	3	1	2.20																								3
1093	Karl J. Lieberherr	Northeastern University	3	2	1.33																								3
1093	John Potter		3	3	1.17																						1		2
1093	Eric E. Allen		3	5	0.68																	1							2
1093	Victor Luchangco		3	5	0.68																	1					1		1
1093	Denis Caromel		3	4	0.83																								3
1093	Allen Wirfs-Brock		3	2	1.33																								3
1093	Kazuaki Ishizaki	IBM Research	3	7	0.41																1								2
1093	Dhruva R. Chakrabarti	Hewlett Packard Enterprise Labs	3	3	0.87												1		1			1
1093	Susumu Nishimura		3	2	1.83																						1		2
1093	Rebecca Wirfs-Brock		3	6	1.31																								3
1093	Itay Maman		3	2	1.33																				1		1	1
1093	Matthias Zenger		3	2	1.33																							1	2
1093	David Herman		3	2	1.83																1					1			1
1093	Witawas Srisa-an	University of Nebraska	3	3	1.00																	1			1	1
1093	Kim B. Bruce	Pomona College	3	2	1.67																								3
1093	Thomas P. Murtagh		3	2	1.67																								3
1093	Allyn Dimock		3	5	0.62																								3
1093	Barak A. Pearlmutter	Maynooth University	3	2	1.50																					2			1
1093	Henry Lieberman	MIT	3	2	1.75																		1						2
1093	Saswat Anand		3	3	1.00													2											1
1093	Tanzirul Azim	University of California	3	3	1.17												1	1		1
1093	William L. Scherlis	Carnegie Mellon University	3	2	1.83																						1		2
1093	Riccardo Pucella	Northeastern University	3	2	2.00																	2							1
1093	Sam S. Adams		3	5	0.90																								3
1093	Adriaan Moors		3	3	0.79																		2		1
1093	Caitlin Sadowski	Google	3	5	0.73																1	2
1093	Birger Møller-Pedersen	University of Oslo	3	3	1.08																								3
1093	Greg DeFouw		3	4	0.78																								3
1093	Jacques Malenfant		3	3	1.67																								3
1093	Randall B. Smith		3	3	1.03																								3
1093	Tao Bao		3	3	1.00													1		1	1
1093	Yutaka Ishikawa	National Institute of Informatics	3	2	1.83																								3
1093	Zvonimir Rakamaric		3	5	0.70											1	1					1
1093	Andrew P. Black	Portland State University	3	3	0.92																								3
1093	Elisa L. A. Baniassad		3	2	1.33																			1		1	1
1093	Eli Tilevich	Virginia Tech	3	2	1.33																		1	1	1
1093	Rok Strnisa	University of Cambridge	3	7	0.60																			1		2
1093	Robert Hirschfeld	Hasso Plattner Institute	3	4	0.64													2							1
1093	José Meseguer 0001	Univ. of Illinois at Urbana-Champaign	3	1	2.25																								3
1093	Jacob Stein		3	4	0.92																								3
1093	Naftaly H. Minsky	Rutgers University	3	2	2.00																								3
1093	Hidehiko Masuhara	Tokyo Institute of Technology	3	4	0.83																							1	2
1093	Pietro Ferrara 0001	Ca' Foscari University of Venice	3	3	0.92													1	1						1
1093	John V. Guttag	Massachusetts Institute of Technology	3	2	1.50																								3
1093	Darko Stefanovic	University of New Mexico	3	3	0.72																						1		2
1093	Hyeonseung Im		3	4	0.75														1			1			1
1093	Jay A. McCarthy		3	1	2.10																1		1	1
1093	Dino Distefano	Queen Mary University of London	3	4	0.95																			1	1	1
1093	Ravichandhran Madhavan		3	3	1.08											1		1				1
1093	William E. Weihl		3	2	1.83																								3
1093	Zhiwu Xu 0001	Shenzhen University	3	4	0.92													1	1			1
1093	William C. Rounds	University of Michigan	3	3	1.17																								3
1093	Harry B. Hunt III	University at Albany	3	2	1.83																								3
1093	Ashutosh Gupta 0001	IIT Bombay	3	5	0.73													1				1			1
1093	Jacob Thamsborg		3	5	0.87															1		2
1093	Clark D. Thomborson	University of Auckland	3	3	1.17																								3
1093	Alain Frisch		3	3	1.67																						1	1	1
1093	Bernard P. Serpette		3	2	1.33																								3
1093	Javier Esparza	TU Munich	3	2	1.33																	1							2
1093	Leaf Petersen		3	4	0.73															1							1		1
1093	Gérard Boudol		3	2	2.00																			1					2
1093	Kristian Støvring	Aarhus University	3	2	1.17																	1				2
1093	Andrew Cave		3	3	1.08												1		1		1
1093	Carl Hewitt	Massachusetts Institute of Technology	3	2	1.17																								3
1093	Damien Doligez	Inria	3	2	1.20																			1					2
1093	Hugo Herbelin		3	2	1.33																				1				2
1093	Isao Sasano		3	3	1.08																					1			2
1093	Uday S. Reddy	University of Birmingham	3	2	1.33														1		1								1
1093	David J. King		3	3	1.17																					1			2
1093	Paul Blain Levy	University of Birmingham	3	2	1.75											1				1	1
1093	Richard Bornat	Middlesex University	3	3	0.92																				1	1		1
1093	Ali Sinan Köksal		3	5	0.70															1	1		1
1093	Susan S. Owicki		3	2	1.83																								3
1093	Alan Mycroft	University of Cambridge	3	2	1.33											1			1										1
1093	John H. Williams		3	3	1.08																								3
1093	Ichiro Hasuo	National Institute of Informatics	3	3	1.00												2			1
1093	Orna Grumberg	Technion - Israel Institute of Technology	3	3	0.92																							1	2
1093	Steffen Jost	Ludwig Maximilian University of Munich	3	4	0.95																1		1						1
1093	Ali Sezgin		3	8	0.44											1	1			1
1093	Sigbjørn Finne		3	4	0.83																								3
1093	François Rouaix		3	2	1.83																								3
1093	Patrik Jansson	Chalmers/GU	3	3	1.08																		1				1		1
1093	Michele Bugliesi	University Ca' Foscari	3	2	1.20																					1			2
1093	Ralf Lämmel	University of Koblenz-Landau	3	2	2.00																					1		1	1
1093	Chiyan Chen		3	2	1.33																							1	2
1093	David S. Wise		3	2	1.50																								3
1093	Dachuan Yu		3	3	1.08																					1			2
1093	James J. Leifer		3	4	0.89																						1	1	1
1093	Germán Vidal	Universitat Politecnica de Valencia	3	4	0.78																					1		1	1
1093	Geoffrey Washburn		3	4	1.00																						1	1	1
1093	Edwin C. Brady	University of St Andrews	3	2	2.00												1			1			1
1093	Lars Bergstrom		3	5	0.90														1		1		1
1093	Keisuke Nakano 0001	Tohoku University	3	5	0.57															1			1			1
1093	Ben Lippmeier		3	5	0.65															1	1		1
1093	Josef Svenningsson		3	2	1.83															1									2
1093	Alexey Rodriguez Yakushev		3	4	0.68																			1	1	1
1093	Colin Runciman	University of York	3	2	1.50																		1						2