ACM PACMPL (POPL, PLDI, OOPSLA, ICFP)
Printed in Research · dl.acm.org
Publishes about 3 a week · last piece Oct 1, 2026
Follow ACM PACMPL (POPL, PLDI, OOPSLA, ICFP)E-mail me its news
How often
about 3 a week, by the archive: 8 pieces since Oct 1, 2026.
12 weeks agothis week
Latest pieces
- Verifying Economic Security of Smart Contracts via Unintended Return
- Symbolic Basic Block Profiling for Machine Learning Kernels
- Experimental Evaluation Methodology for the Era of No Steady Performance
- Type-Directed Discretization of Probabilistic Programs
- Semi-declarative Language for Combinatorial Search
- Type, Ability, and Effect Systems: Perspectives on Purity, Semantics, and Expressiveness
- Formalizing the Linux eBPF Core ISA: A Mechanized Operational Semantics and Its Real-World Applications
- LLM-Based Alarm Resolution Guided by Bayesian Program Analysis
In these topics
Pick one in My Edition to read it with its neighbors.