ACM Transactions on Programming Languages and Systems

ACM Transactions on Programming Languages and Systems
Title	ACM Transactions on Programming Languages and Systems
Abbreviation	ACM Trans. Program. Lang. Syst.
Discipline	Computer science
Publisher	Association for Computing Machinery
Country	United States
History	1979–present
Frequency	Bimonthly
Issn	0164-0925

ACM Transactions on Programming Languages and Systems is a peer-reviewed scholarly journal focusing on programming language design, implementation, semantics, and related systems research. Founded by the Association for Computing Machinery, the journal has published influential papers that intersect with work from universities, research laboratories, and major computing conferences. Contributors have included researchers affiliated with institutions such as Massachusetts Institute of Technology, Stanford University, University of California, Berkeley, Carnegie Mellon University, and Princeton University.

History

The journal was established during a period of rapid growth in computing research alongside organizations like the Institute of Electrical and Electronics Engineers and the British Computer Society. Early editorial leadership included scholars connected to Bell Labs, Xerox PARC, and the SRI International research center. Over decades the journal has paralleled developments chronicled at conferences such as ACM SIGPLAN PLDI, ACM SIGPLAN POPL, ACM SIGPLAN ICFP, ACM SIGSOFT FSE, and ACM SIGCOMM; and it has published work that influenced technologies from UNIX and LLVM to languages like C, C++, Java, Haskell, ML and Scheme. The journal’s timeline intersects with milestones like the publication of the Algol 60 Report, the standardization of POSIX, the rise of object-oriented programming through Simula, the formal semantics contributions of Dana Scott, and the compilation theory advances attributed to researchers at Princeton University and Cornell University.

Scope and topics

The scope covers language design, static analysis, type systems, program transformation, compiler construction, runtime systems, formal semantics, program verification, and concurrency. Articles often integrate methods developed at MIT Laboratory for Computer Science, Bell Labs Research, Microsoft Research, IBM Research, Google Research, Facebook AI Research, and Amazon Web Services. Example topics relate to type inference work inspired by Robin Milner, program logics in the tradition of Tony Hoare, model checking influenced by Edmund Clarke and E. M. Clarke, and semantics approaches related to Peter Landin and John McCarthy. Cross-disciplinary contributions connect with formal methods communities represented by International Conference on Software Engineering, International Conference on Functional Programming, and Conference on Programming Language Design and Implementation authors.

Editorial board and peer review

The editorial board traditionally comprises editors and associate editors from major departments such as University of Cambridge, University of Oxford, ETH Zurich, EPFL, National University of Singapore, Tsinghua University, Peking University, and Tokyo Institute of Technology. Guest editors have been drawn from labs including Bell Labs, Xerox PARC, Hewlett-Packard Laboratories, and AT&T Research. The review process mirrors standards at journals like Journal of the ACM and IEEE Transactions on Software Engineering, employing double-blind or single-blind peer review with reviewers drawn from program committees of POPL, PLDI, OOPSLA, and ICFP. Ethical and conflict-of-interest policies align with practices advocated by organizations such as Committee on Publication Ethics.

Publication format and frequency

The journal issues bimonthly volumes and publishes regular articles, special issues, and invited surveys. Publication formats include long-form research articles similar in length to those in Communications of the ACM and Foundations of Software Science and Computation Structures. Special issues have collected papers arising from workshops at venues like ESOP, TACAS, CAV, and VMCAI. Digital distribution leverages platforms maintained by the Association for Computing Machinery and integrates indexing compatible with aggregators used by ACM Digital Library subscribers and library consortia including Research Libraries UK and Portico.

Abstracting and indexing

The journal is indexed in major bibliographic services including Scopus, Web of Science, Google Scholar, DBLP, and INSPIRE-HEP style aggregators for computer science. Citation metrics reported by teams at Clarivate Analytics and Elsevier inform impact-factor style assessments. Abstracting also appears in subject databases curated by institutions such as National Science Foundation repositories and national libraries including the Library of Congress and the British Library catalogs.

Impact and reception

Papers published in the journal have been widely cited in work by researchers affiliated with MIT, Stanford, Berkeley, CMU, Princeton, Caltech, EPFL, ETH Zurich, Tsinghua University, and Peking University. The journal’s influence is reflected in citations within books and monographs from presses like MIT Press, Cambridge University Press, Springer, Oxford University Press, and citations in award-winning work recognized by organizations such as the ACM Turing Award committee, the IEEE John von Neumann Medal, and conference best-paper awards at PLDI and POPL. Scholars comparing venues often place the journal alongside Journal of the ACM, IEEE Transactions on Software Engineering, and Information and Computation for long-form, foundational contributions to programming languages and systems.

Category:Computer science journals