POPL proceedings
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Papers in 2025
79
Papers, all years
2,199
Years indexed
53
Since
1973
Papers in main proceedings (DBLP)
Counts papers published in the venue's main DBLP volume each year. This is not an official acceptance count: it can include short papers and exclude workshop or companion volumes.
verified volumein progressnot yet verifiedClick a bar to open that year.
202579 papers✓ verified
Keywords
Phrases from paper titles, weighted against all venues so each venue's distinctive terms rise to the top.
Loading keywords...
Year by year
Who publishes here
2025 to 2026 · papers count once per institution on them
Academia 65%Industry 1%Government and other 34%
Institutions
- 1Institut national de recherche en sciences et technologies du numérique🇫🇷15
- 2Centre National de la Recherche Scientifique🇫🇷13
- 3Max Planck Institute for Software Systems🇩🇪11
- 4Aarhus University🇩🇰7
- 5Université Paris Cité🇫🇷7
- 6New York University🇺🇸7
- 7University of Edinburgh🇬🇧7
- 8National University of Singapore🇸🇬6
- 9Peking University🇨🇳6
- 10University of Oxford🇬🇧6
- 11Imperial College London🇬🇧6
- 12ETH Zurich🇨🇭5
Countries
- United States55
- United Kingdom40
- France33
- Germany31
- Denmark11
- China10
- Netherlands10
- Singapore9
- Canada8
- Switzerland8
Affiliations from OpenAlex for the papers DBLP lists. A paper with authors from three institutions counts for each of them; the split above is over the top institutions.
Venues like POPL
Closest by the phrases in their paper titles over the last five complete years.
- OOPSLA Conference on Object-Oriented Programming Systems, Languages, and Applications0.40separation logicprogramsprobabilistic programstypespolymorphism
- PLDI ACM SIGPLAN Conference on Programming Language Design and Implementation0.37separation logicprogramstypesprobabilistic programsverified
- APLAS Asian Symposium on Programming Languages and Systems0.34typesprogramslogicreachabilitytyped
- LICS IEEE Symposium on Logic in Computer Science0.25logiccalculusreachabilitylogicshigher-order
- ICFP International Conference on Function Programming0.23typesseparation logichigher-orderalgebraicalgebraic effects
Authors
From DBLP author lists of the main volume. Names appear as DBLP lists them.
Authors per paper
3.6 in 2026
Papers by an entirely new team
4% in 2026
Most published at POPL
- Benjamin C. Pierce1989 to 202626
- Derek Dreyer2003 to 202626
- Robert Harper1988 to 202625
- Lars Birkedal1996 to 202525
- Thomas W. Reps1981 to 202322
- Viktor Vafeiadis2009 to 202622
- Peter Sewell2001 to 202620
- Gilles Barthe2003 to 202520
- Matthias Felleisen1987 to 202418
- Xavier Leroy1991 to 202617