λ pldb
Every programming languages paper, searchable
λ pldb
Search
Filters
Top tier allPOPLPLDIICFPOOPSLAMore venues allECOOPESOPCCCGOPPoPPSASCAVTACASVMCAICPPAPLASISMMGPCESLEOnward!HaskellDLSHOPLASEFSEICSETOPLASJFP
From to Sort Award winners onlyApply
Titles and abstracts of 33,580 programming languages papers, from the first POPL in 1973 to this year's proceedings.
Try gradual typing, author:"Xavier Leroy", "separation logic" concurrency, effect handlers, title:egraphs, incremental computation, ownership types -java.
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–2020ASE3,458 papers · 1991–2025FSE2,847 papers · 1993–2026ICSE4,951 papers · 1976–2025TOPLAS1,205 papers · 1979–2026JFP916 papers · 1991–2026