> I don’t think these stats change much for other conferences.
I'd severely doubt that: there is a large difference in focus on theory vs practice between conferences. POPL really is one of the more theoretical conferences. At a conference like ECOOP, you're unlikely to see many proofs (I'd guess at most 20% of papers, based on personal experience).
Re:The Illustrated Guide to a PhD
by sashank_1509 on Sunday January 12, 2025 @03:24PM
(#42676587)
I did the same thing for ECOOP 2024:
https://2024.ecoop.org/track/ecoop-2024-papers#program
Claude estimates 10 papers related programming languages and its features and 27 related to theory, verification etc.
“Based on my analysis, I estimate: - ~35-40 papers (roughly 35%) likely have significant accompanying code - ~55-60 papers (roughly 65%) are primarily theoretical/mathematical proofs “
I suspect even the remaining 35% doesn’t have much to do with programming languages, and I don’t think these stats change much for other conferences.