| rank | name | count |
|---|---|---|
| 1 | Derek Dreyer | 26 |
| 2 | Benjamin C. Pierce | 25 |
| 3 | Robert Harper | 24 |
| 3 | Lars Birkedal | 24 |
| 4 | Thomas W. Reps | 23 |
| 5 | Viktor Vafeiadis | 22 |
| rank | name | count |
|---|---|---|
| 1 | Alex Aiken | 35 |
| 2 | Martin T. Vechev | 28 |
| 3 | Martin C. Rinard | 22 |
| 4 | Rastislav Bodík | 21 |
| 4 | Isil Dillig | 21 |
| 5 | Zhendong Su | 17 |
| 5 | Sumit Gulwani | 17 |
| 5 | Kathryn S. McKinley | 17 |
| rank | name | count |
|---|---|---|
| 1 | Alex Aiken | 49 |
| 2 | Derek Dreyer | 38 |
| 3 | Martin T. Vechev | 37 |
| 4 | Thomas W. Reps | 36 |
| 5 | Martin C. Rinard | 35 |
| rank | name | count |
|---|---|---|
| 1 | Simon L. Peyton Jones | 34 |
| 2 | Stephanie Weirich | 19 |
| 3 | Nicolas Wu | 15 |
| 3 | Lars Birkedal | 15 |
| 3 | Derek Dreyer | 15 |
| 4 | Dimitrios Vytiniotis | 13 |
| 5 | Matthias Felleisen | 12 |
| 5 | Benjamin C. Pierce | 12 |
| rank | name | count |
|---|---|---|
| 1 | Jan Vitek | 25 |
| 2 | Zhendong Su | 22 |
| 2 | Kathryn S. McKinley | 22 |
| 3 | Isil Dillig | 18 |
| 4 | Frank Tip | 16 |
| 4 | Yannis Smaragdakis | 16 |
| 4 | Mira Mezini | 16 |
| 5 | Ondrej Lhoták | 15 |
| 5 | Sumit Gulwani | 15 |
| 5 | Klaus Ostermann | 15 |
| rank | name | count |
|---|---|---|
| 1 | Alex Aiken | 61 |
| 1 | Derek Dreyer | 61 |
| 2 | Simon L. Peyton Jones | 59 |
| 3 | Martin T. Vechev | 50 |
| 3 | Isil Dillig | 50 |
| 4 | Martin C. Rinard | 49 |
| 5 | Thomas W. Reps | 48 |
| 5 | Lars Birkedal | 48 |