Skip to content

POPL 2027

ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

Software Engineering

Cycle closed, awaiting the next call

All deadlines

Paper submissionJul 9, 2026est.

From past proceedings

Papers in POPL's main DBLP volume each year, not official acceptance counts.

Full proceedings stats →

Papers in 2025

79

main DBLP volume

5-year change

+16%

vs 2020

Papers, all years

2,199

53 years since 1973

Authors per paper

3.7

3.2 in 2015

By an entirely new team

5%

of 2025 papers

Papers per year1973 to 2025
1973: 22 papers1975: 22 papers1976: 20 papers1977: 25 papers1978: 27 papers1979: 27 papers1980: 25 papers1981: 23 papers1982: 38 papers1983: 28 papers1984: 32 papers1985: 30 papers1986: 30 papers1987: 29 papers1988: 28 papers1989: 30 papers1990: 31 papers1991: 31 papers1992: 31 papers1993: 43 papers1994: 39 papers1995: 35 papers1996: 34 papers1997: 37 papers1998: 32 papers1999: 25 papers2000: 31 papers2001: 26 papers2002: 30 papers2003: 25 papers2004: 29 papers2005: 31 papers2006: 36 papers2007: 39 papers2008: 38 papers2009: 39 papers2010: 41 papers2011: 52 papers2012: 48 papers2013: 47 papers2014: 55 papers2015: 55 papers2016: 62 papers2017: 66 papers2018: 66 papers2019: 77 papers2020: 68 papers2021: 61 papers2022: 65 papers2023: 74 papers2024: 93 papers2025: 79 papers
Read the 2025 proceedingsDBLP ↗

Top keywords, 2025

logicprobabilisticprogramverificationrelationalcalculusquantumtypedtypesalgebraicinductionseparation logic

Venues like POPL

  1. OOPSLA Conference on Object-Oriented Programming Systems, Languages, and Applications0.40separation logicprogramsprobabilistic programstypes
  2. PLDI ACM SIGPLAN Conference on Programming Language Design and Implementation0.37separation logicprogramstypesprobabilistic programs
  3. APLAS Asian Symposium on Programming Languages and Systems0.34typesprogramslogicreachability
  4. LICS IEEE Symposium on Logic in Computer Science0.25logiccalculusreachabilitylogics

Most published at POPL

  1. Benjamin C. Pierce1989 to 202626
  2. Derek Dreyer2003 to 202626
  3. Robert Harper1988 to 202625
  4. Lars Birkedal1996 to 202525
  5. Thomas W. Reps1981 to 202322

Who publishes here

2025 to 2026 · papers count once per institution on them

Academia 65%Industry 1%Government and other 34%

Institutions

  1. 1Institut national de recherche en sciences et technologies du numérique🇫🇷15
  2. 2Centre National de la Recherche Scientifique🇫🇷13
  3. 3Max Planck Institute for Software Systems🇩🇪11
  4. 4Aarhus University🇩🇰7
  5. 5Université Paris Cité🇫🇷7
  6. 6New York University🇺🇸7
  7. 7University of Edinburgh🇬🇧7
  8. 8National University of Singapore🇸🇬6

Countries

  1. United States55
  2. United Kingdom40
  3. France33
  4. Germany31
  5. Denmark11
  6. China10

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.