Systems: Programming Languages

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

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