PLDB：3.3万篇编程语言论文一键检索
pldb: programming languages papers
PLDB 是一个涵盖编程语言领域顶级会议论文的搜索引擎，收录了从 1973 年首届 POPL 至今的 33,580 篇论文。用户可以直接搜索 gradual typing、separation logic 等技术关键词，或通过 author 字段精准定位 Xavier Leroy 等学者的工作。该工具整合了 POPL、PLDI、ICFP、OOPSLA 等顶级会议以及 ECOOP、CC、CAV 等多个重要 venue 的数据，并支持基于 dblp 元数据和 OpenTOC 摘要的全文检索。无论是研究历史演变还是追踪最新进展，PLDB 都为开发者提供了高效的知识发现工具，让海量学术资源触手可及。
收录了从 1973 年首届 POPL 到今年会议论文集的 33,580 篇编程语言论文标题和摘要。