4 ms·
> 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 conf
by JW_00000 2y ago
> 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).
- sashank_1509 2y agoI did the same thing for ECOOP 2024: https://2024.ecoop.org/track/ecoop-2024-papers#program 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.