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 2025-03-20.

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