Streak leaderboards
Longest runs of consecutive editions, per venue, within PLDB. Still burning: the run includes the latest edition here.
CAV
Still burning
| # | Author | Run | Years |
|---|---|---|---|
| 1 | Bernd Finkbeiner | 13 | 2014–2026 |
| 2 | Clark W. Barrett | 10 | 2017–2026 |
| 3 | Kuldeep S. Meel | 7 | 2020–2026 |
| 4 | Sebastian Junges | 7 | 2020–2026 |
| 5 | Mathias Preiner | 6 | 2021–2026 |
| 6 | Cesare Tinelli | 5 | 2022–2026 |
| 7 | Natasha Sharygina | 5 | 2022–2026 |
| 8 | Andrew Reynolds | 3 | 2024–2026 |
| 9 | Armin Biere | 3 | 2024–2026 |
| 10 | Borzoo Bonakdarpour | 3 | 2024–2026 |
| 11 | Isil Dillig | 3 | 2024–2026 |
| 12 | Marco Eilers | 3 | 2024–2026 |
| 13 | Nils Froleyks | 3 | 2024–2026 |
| 14 | Peter Müller | 3 | 2024–2026 |
| 15 | Abdalrhman Mohamed | 2 | 2025–2026 |
All time
| # | Author | Run | Years |
|---|---|---|---|
| 1 | Krishnendu Chatterjee | 15 | 2009–2023 |
| 2 | Bernd Finkbeiner | 13 | 2014–2026 |
| 3 | Clark W. Barrett | 10 | 2017–2026 |
| 4 | Kenneth L. McMillan | 10 | 1994–2003 |
| 5 | David L. Dill | 10 | 1990–1999 |
| 6 | Jan Kretínský | 9 | 2012–2020 |
| 7 | Rupak Majumdar | 9 | 2008–2016 |
| 8 | Moshe Y. Vardi | 9 | 1999–2007 |
| 9 | Orna Kupferman | 9 | 1994–2002 |
| 10 | Thomas A. Henzinger | 8 | 2009–2016 |
| 11 | Randal E. Bryant | 8 | 1997–2004 |
| 12 | Kuldeep S. Meel | 7 | 2020–2026 |
| 13 | Sebastian Junges | 7 | 2020–2026 |
| 14 | Sanjit A. Seshia | 7 | 2017–2023 |
| 15 | Cesare Tinelli | 7 | 2013–2019 |
Other venues: ECOOP · ESOP · CC · CGO · PPoPP · SAS · CAV · TACAS · VMCAI · CPP · APLAS · ISMM · GPCE · SLE · Onward! · Haskell · DLS · HOPL · ASE · FSE · ICSE · TOPLAS · JFP
Within PLDB; each person's best run per venue. Numbers are editions (years for any venue). dblp name variants count as different people.