hn.today

pldb: programming languages papers

pldb.kirancodes.me27 points1 comments
Screenshot of pldb: programming languages papers

A searchable index of programming‑languages research that aggregates titles and abstracts for 33,580 papers (26,107 with abstracts) spanning the first POPL in 1973 through 2026. The site exposes fast keyword and structured queries (examples include topic filters, author:"Xavier Leroy", title:egraphs), sorting by relevance/newest/oldest, an award‑winners filter, venue browsing and an API. It highlights coverage counts for top PL venues (POPL, PLDI, ICFP, OOPSLA) and many others (ECOOP, ESOP, CC, CGO, PPoPP, CAV, TACAS, Onward!, Haskell, DLS, etc.), plus curated query suggestions and tags to help locate work on concurrency, effect handlers, separation logic, egraphs, ownership types, and other specific topics.

Metadata comes from dblp (CC0) while abstracts are pulled from SIGPLAN OpenTOC, OpenAlex and Semantic Scholar; abstracts remain under their original copyright. The site is presented on kirancodes.me with a concise UI that supports granular filtering and venue‑level counts, making it practical for researchers who want to find papers by topic, author, venue, or year before diving into full texts. The page also signals an open‑data stance and includes a brief provocative slogan about copyright.

Read on pldb.kirancodes.me1 comments on Hacker News

Summary generated by AI from the linked article. hn.today is not affiliated with Hacker News or Y Combinator.

More in Programming

The daily digest

Today's best Hacker News stories, summarized and screenshotted, one email a day.