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-12-11.

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