ACM Transactions on Programming Languages and Systems

Aims & Scope

ACM Transactions on Programming Languages and Systems (TOPLAS) is the premier journal for reporting recent research advances in the areas of programming languages, and systems to assist the task of programming.

Papers can be either theoretical or experimental in style, but in either case, they must contain innovative and novel content that advances the state of the art of programming languages and systems.

We also invite strictly experimental papers that compare existing approaches, as well as tutorial and survey papers.

The scope of TOPLAS includes, but is not limited to, the following subjects: language design for sequential and parallel programming programming language implementation programming language semantics compilers and interpreters runtime systems for program execution storage allocation and garbage collection languages and methods for writing program specifications languages and methods for secure and reliable programs testing and verification of programs

View Aims & Scope

---

Metrics & Ranking

Impact Factor

Year	Value
2025	1.6

SJR (SCImago Journal Rank)

Year	Value
2024	0.564

Quartile

Year	Value
2024	Q2

---

---

Abstracting & Indexing

Journal is indexed in leading academic databases, ensuring global visibility and accessibility of our peer-reviewed research.

• Scopus
• Google Scholar
• Web of Science

---

Subjects & Keywords

Journal’s research areas, covering key disciplines and specialized sub-topics in Computer Science, designed to support cutting-edge academic discovery.

---

Most Cited Articles

The Most Cited Articles section features the journal's most impactful research, based on citation counts. These articles have been referenced frequently by other researchers, indicating their significant contribution to their respective fields.

• The Byzantine Generals Problem

  Citation: 4152

  Authors: Leslie, Robert, Marshall

• Automatic verification of finite-state concurrent systems using temporal logic specifications

  Citation: 2332

  Authors: E. M., E. A., A. P.

• Linearizability: a correctness condition for concurrent objects

  Citation: 2106

  Authors: Maurice P., Jeannette M.

• The program dependence graph and its use in optimization

  Citation: 1891

  Authors: Jeanne, Karl J., Joe D.

• Virtual time

  Citation: 1644

  Authors: David R.

• Efficiently computing static single assignment form and the control dependence graph

  Citation: 1496

  Authors: Ron, Jeanne, Barry K., Mark N., F. Kenneth

• Generative communication in Linda

  Citation: 1429

  Authors: David

• Wait-free synchronization

  Citation: 1221

  Authors: Maurice

• The temporal logic of actions

  Citation: 1054

  Authors: Leslie

• Interprocedural slicing using dependence graphs

  Citation: 1026

  Authors: Susan, Thomas, David

---