Home›Search›Proceedings of the ACM on Programming Languages

Proceedings of the ACM on Programming Languages

Association for Computing Machinery (ACM) · United States · Est. 2017

ISSN2475-1421eISSN2475-1421

SJR Q1✓ WOS ESCI✓ Scopus / SJR

/ 100

High Risk

Score Breakdown

✓ WoS ESCI+10

✓ Scopus Q1+25

Total35

Journal Impact Factor

This journal is indexed in Web of Science (JCR) and has an official Journal Impact Factor. View the current value on the journal’s page ↗

SJR Score

0.882

H-Index

CiteScore

View ↗

Scopus metric · on the journal’s page

SNIP

1.796

Total Works

2,340

Total Citations

29,833

2yr Mean Citedness

2.54

Free JIF alternative

Aims & Scope✦ Inferred from recent articles

This journal publishes research on programming languages, focusing on program analysis, verification, and compilation. Topics include static analysis techniques, invariant synthesis, formal verification of heap-manipulating programs, and the development of new programming language features and frameworks. The research also addresses practical aspects like compiler optimizations, testing methodologies, and the performance of programming language implementations, including Just-In-Time (JIT) compilers and GPU programming.

AI-summarised from recent articles · verify on publisher page →

⚡ Speed vs Prestige

How does this journal balance review speed with impact level?

SJR Rank

Top 25% in field

General Information

Country / RegionUnited States

Primary LanguageEnglish

1st Year Published2017

FrequencyQuarterly

StatusActive (last: 2026)

Total Publications2,340

Publisher OrgAssociation for Computing Machinery

OA Since2017

Visit Journal Website

Submission Info

Peer Review—

Review Time—

Acceptance Rate—

OA License—

OA Rate—

Ethics & Quality

COPE Member✗ No

OASPA Member✗ No

Not on Predatory Lists✓ Yes

Think.Check.Submit Compliance

thinkchecksubmit.org

6/12 · 50%

✅

Do you know the journal / publisher?

Association for Computing Machinery (ACM)

✅

Does the journal have a website?

✓ Linked

✅

Is the ISSN verified?

2475-1421 / 2475-1421

✅

Indexed in a trusted database?

Scopus

❌

Peer review process documented?

N/A

❌

Follows ethical publishing standards (COPE)?

N/A

❌

APC fees clearly disclosed?

N/A

✅

Not on predatory/blacklists?

✓ Clean

❌

Long-term digital preservation?

N/A

❌

Plagiarism detection in place?

N/A

❌

Listed in DOAJ (verified OA)?

N/A

✅

Primary language documented?

English

Based on the Think.Check.Submit framework by DOAJ, COPE & OASPA. All data from verified open sources.

Publication & Citation Trend

Articles published

Times cited

2019

2020

2021

2022

2023

2024

2025

2026

Source: OpenAlex · Note: citations accumulate over time so older years appear higher

SJR Quartile by Discipline

Scimago ranks this journal separately in each subject category — its quartile can differ by discipline.

Safety, Risk, Reliability and QualityQ1

SoftwareQ2

Subject Classification

Web of Science Categories

Computer Science, Software Engineering

Scopus Categories

SoftwareSafety, Risk, Reliability and Quality

Research Topics (OpenAlex)

Logic, programming, and type systemsFormal Methods in VerificationParallel Computing and Optimization TechniquesSoftware Testing and Debugging TechniquesSecurity and Verification in ComputingSoftware Engineering ResearchDistributed systems and fault toleranceLogic, Reasoning, and KnowledgeAdvanced Malware Detection TechniquesSoftware System Performance and Reliability