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-05-22.

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