kirancodes.me
To Proof Maintenance & Beyond!

Top tier

POPL2,199 papers · 1973–2026PLDI1,971 papers · 1979–2026ICFP1,066 papers · 1996–2026OOPSLA2,246 papers · 1986–2026

More venues

ECOOP1,096 papers · 1987–2026ESOP976 papers · 1986–2026CC673 papers · 1988–2026CGO736 papers · 2003–2026PPoPP1,184 papers · 1990–2026SAS783 papers · 1994–2025CAV2,069 papers · 1990–2026TACAS1,553 papers · 1995–2026VMCAI642 papers · 2002–2026CPP354 papers · 2011–2026APLAS613 papers · 2000–2025ISMM350 papers · 1992–2026GPCE465 papers · 2002–2026SLE395 papers · 2008–2026Onward!252 papers · 2011–2025Haskell294 papers · 2002–2026DLS161 papers · 2005–2023HOPL125 papers · 1978–2020TOPLAS1,205 papers · 1979–2026JFP916 papers · 1991–2026