PLDB catalog lists 33,580 programming-language research papers since 1973
A searchable database named PLDB has compiled titles and abstracts from programming languages conference papers dating back to the first POPL in 1973 through this year's proceedings, totaling 33,580 entries. The collection supports structured search queries, including filters by author name, exact title terms, and topic keywords such as gradual typing, separation logic, effect handlers, and egraphs.
GoKawiil's interpretation of the reporting above, not reported fact.
A searchable archive spanning five decades of programming languages research could make it easier for researchers and practitioners to trace how specific concepts—like ownership types or incremental computation—have evolved across academic literature. The ability to filter by author or exact phrase suggests the tool is aimed at supporting literature reviews and citation tracing rather than casual browsing.
- The database spans programming languages papers from 1973 to the present year.
- It supports advanced search syntax including author names, exact titles, and keyword exclusion.
- The tool covers core PL research topics such as gradual typing, effect handlers, and separation logic.
Source: pldb.kirancodes.me, 2026-09-30
Published there as: “pldb: programming languages papers”
Read the original report → The summary and analysis above are GoKawiil's own, written from reporting by the source above. Facts and quotes belong to the original publisher.