| rank | name | from | to | streaklength |
|---|---|---|---|---|
| 1 | Derek Dreyer | 2009 | 2018 | 10 |
| 2 | Viktor Vafeiadis | 2015 | 2023 | 9 |
| 2 | John C. Mitchell | 1984 | 1992 | 9 |
| 3 | Robbert Krebbers | 2017 | 2024 | 8 |
| 3 | Benjamin C. Pierce | 1991 | 1998 | 8 |
| 3 | Nikhil Swamy | 2012 | 2019 | 8 |
| 3 | Amir Pnueli | 1980 | 1987 | 8 |
| rank | name | from | to | streaklength |
|---|---|---|---|---|
| 1 | Alexander Aiken | 2011 | 2022 | 12 |
| 2 | Alexander Aiken | 2001 | 2008 | 8 |
| 2 | Isil Dillig | 2014 | 2021 | 8 |
| 2 | Sumit Gulwani | 2008 | 2015 | 8 |
| 3 | Chung-Kil Hur | 2017 | 2023 | 7 |
| 3 | Jeehoon Kang | 2017 | 2023 | 7 |
| rank | name | from | to | streaklength |
|---|---|---|---|---|
| 1 | Simon L. Peyton Jones | 2003 | 2010 | 8 |
| 2 | Derek Dreyer | 2007 | 2013 | 7 |
| 3 | Lars Birkedal | 2019 | 2023 | 5 |
| 3 | Simon L. Peyton Jones | 2012 | 2016 | 5 |
| 3 | Steve Zdancewic | 2018 | 2022 | 5 |
| 3 | Amal Ahmed | 2015 | 2019 | 5 |
| rank | name | from | to | streaklength |
|---|---|---|---|---|
| 1 | Zhendong Su | 2010 | 2016 | 7 |
| 1 | Isil Dillig | 2017 | 2023 | 7 |
| 2 | Xiangyu Zhang | 2011 | 2016 | 6 |
| 2 | Saman P. Amarasinghe | 2017 | 2022 | 6 |
| 2 | Matthew Arnold | 2005 | 2010 | 6 |
| 3 | Armando Solar-Lezama | 2016 | 2020 | 5 |
| 3 | Jan Vitek | 2017 | 2021 | 5 |
| 3 | Arjun Radhakrishna | 2019 | 2023 | 5 |
| 3 | Viktor Vafeiadis | 2018 | 2022 | 5 |
| 3 | Zhendong Su 0001 | 2019 | 2023 | 5 |
| 3 | Sumit Gulwani | 2018 | 2022 | 5 |
| 3 | Peter Müller | 2019 | 2023 | 5 |
| 3 | Richard Helm | 1991 | 1995 | 5 |
| rank | name | streak | length |
|---|---|---|---|
| 1 | Lars Birkedal | ICFP 2022, OOPSLA 2022, POPL 2023, PLDI 2023, ICFP 2023, OOPSLA 2023, POPL 2024 | 7 |
| 2 | Derek Dreyer | POPL 2022, PLDI 2022, ICFP 2022, OOPSLA 2022, POPL 2023 | 5 |
| 2 | Robbert Krebbers | POPL 2023, PLDI 2023, ICFP 2023, OOPSLA 2023, POPL 2024 | 5 |
| 3 | Ranjit Jhala | PLDI 2023, ICFP 2023, OOPSLA 2023, POPL 2024 | 4 |
| 3 | Derek Dreyer | OOPSLA 2014, POPL 2015, PLDI 2015, ICFP 2015 | 4 |
| 3 | Jonathan Ragan-Kelley | ICFP 2021, OOPSLA 2021, POPL 2022, PLDI 2022 | 4 |
| 3 | Viktor Vafeiadis | OOPSLA 2014, POPL 2015, PLDI 2015, ICFP 2015 | 4 |
| 3 | Robbert Krebbers | ICFP 2020, OOPSLA 2020, POPL 2021, PLDI 2021 | 4 |
| 3 | Matthew Might | OOPSLA 2015, POPL 2016, PLDI 2016, ICFP 2016 | 4 |
| 3 | Alexander Aiken | POPL 2005, PLDI 2005, ICFP 2005, OOPSLA 2005 | 4 |