Key Metrics
CiteScore 

6
SJR 

Q4Software

SNIP 

1
Recommended pre-submission checks
Powered by 

Topics Covered on Proceedings of the ACM on Programming Languages
Proceedings of the ACM on Programming Languages Journal Specifications
Indexed in the following public directories
Web of Science
Scopus
Inspec
SJR
| Overview | |
| Publisher | ACM |
| Frequency | Tri-annual |
| General Details | |
| Frequency | Tri-annual |
| Publisher URL | Visit website |
View less
Planning to publish in Proceedings of the ACM on Programming Languages ?
Upload your Manuscript to get
- Degree of match
- Common matching concepts
- Additional journal recommendations

Recently Published Papers in Proceedings of the ACM on Programming Languages
From Raw Pointers to Memory Safety: A Modular Demand-Driven Typestate Analysis for Rust
- 10 Apr 2026
- Proceedings of the ACM on Programming Languages
LLM-Powered Silent Bug Fuzzing in Deep Learning Libraries via Versatile and Controlled Bug Transfer
- 10 Apr 2026
- Proceedings of the ACM on Programming Languages
The Complexity of Testing Message-Passing Concurrency
- 8 Jan 2026
- Proceedings of the ACM on Programming Languages
Handling Scope Checks: A Comparative Framework for Dynamic Scope Extrusion Checks
- 8 Jan 2026
- Proceedings of the ACM on Programming Languages
Hyperfunctions: Communicating Continuations
- 8 Jan 2026
- Proceedings of the ACM on Programming Languages
Stateful Differential Operators for Incremental Computing
- 8 Jan 2026
- Proceedings of the ACM on Programming Languages
From Raw Pointers to Memory Safety: A Modular Demand-Driven Typestate Analysis for Rust
- 10 Apr 2026
- Proceedings of the ACM on Programming Languages
LLM-Powered Silent Bug Fuzzing in Deep Learning Libraries via Versatile and Controlled Bug Transfer
- 10 Apr 2026
- Proceedings of the ACM on Programming Languages
The Complexity of Testing Message-Passing Concurrency
- 8 Jan 2026
- Proceedings of the ACM on Programming Languages
Handling Scope Checks: A Comparative Framework for Dynamic Scope Extrusion Checks
- 8 Jan 2026
- Proceedings of the ACM on Programming Languages
Hyperfunctions: Communicating Continuations
- 8 Jan 2026
- Proceedings of the ACM on Programming Languages
Stateful Differential Operators for Incremental Computing
- 8 Jan 2026
- Proceedings of the ACM on Programming Languages