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
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
From Raw Pointers to Memory Safety: A Modular Demand-Driven Typestate Analysis for Rust
- 10 Apr 2026
- Proceedings of the ACM on Programming Languages
Abstraction Functions as Types: Modular Verification of Cost and Behavior in Dependent Type Theory
- 8 Jan 2026
- Proceedings of the ACM on Programming Languages
Algorithmic Conversion with Surjective Pairing: A Syntactic and Untyped Approach
- 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
A Family of Sims with Diverging Interests
- 8 Jan 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
From Raw Pointers to Memory Safety: A Modular Demand-Driven Typestate Analysis for Rust
- 10 Apr 2026
- Proceedings of the ACM on Programming Languages
Abstraction Functions as Types: Modular Verification of Cost and Behavior in Dependent Type Theory
- 8 Jan 2026
- Proceedings of the ACM on Programming Languages
Algorithmic Conversion with Surjective Pairing: A Syntactic and Untyped Approach
- 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
A Family of Sims with Diverging Interests
- 8 Jan 2026
- Proceedings of the ACM on Programming Languages