ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS

Scope & Guideline

Connecting Scholars and Practitioners in Programming Excellence

Introduction

Immerse yourself in the scholarly insights of ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS with our comprehensive guidelines detailing its aims and scope. This page is your resource for understanding the journal's thematic priorities. Stay abreast of trending topics currently drawing significant attention and explore declining topics for a full picture of evolving interests. Our selection of highly cited topics and recent high-impact papers is curated within these guidelines to enhance your research impact.
Language-
ISSN0164-0925
PublisherASSOC COMPUTING MACHINERY
Support Open AccessNo
CountryUnited States
TypeJournal
Convergefrom 1979 to 2024
AbbreviationACM T PROGR LANG SYS / ACM Trans. Program. Lang. Syst.
Frequency4 issues/year
Time To First Decision-
Time To Acceptance-
Acceptance Rate-
Home Page-
Address1601 Broadway, 10th Floor, NEW YORK, NY 10019-7434

Aims and Scopes

ACM Transactions on Programming Languages and Systems focuses on advancing the theory, design, and implementation of programming languages and their associated systems. The journal emphasizes both foundational research and practical applications, bridging the gap between theoretical concepts and real-world programming challenges.
  1. Formal Methods and Verification:
    The journal extensively covers topics related to formal verification of programming languages, including model checking, program synthesis, and proof systems to ensure the correctness and safety of software.
  2. Programming Language Design and Implementation:
    Research on new programming languages, type systems, and language features is a core focus, including innovative paradigms like choreographic programming and contract-client protocols.
  3. Performance Optimization Techniques:
    Papers often explore optimization strategies at various levels, including compiler optimizations, runtime performance improvements, and the development of efficient algorithms.
  4. Concurrency and Parallelism:
    A significant area of research involves the modeling and analysis of concurrent systems, with approaches for safe concurrent programming and performance considerations.
  5. Type Systems and Semantics:
    The journal emphasizes the development of advanced type systems and semantics for programming languages, addressing issues such as type safety, polymorphism, and session types.
The journal has seen a shift towards innovative and interdisciplinary themes that reflect the evolving landscape of programming languages and systems. Recent publications highlight a growing interest in areas that address contemporary challenges faced by software developers.
  1. Self-Stabilizing Compilers and Adaptability:
    Emerging themes include the development of self-stabilizing compilers, which enhance robustness and adaptability in software systems, reflecting a trend towards resilience in programming tools.
  2. Quantum Computing and Language Design:
    As quantum computing gains traction, research on programming languages designed for quantum circuits and algorithms is becoming increasingly prominent, signaling a shift toward integrating quantum paradigms in mainstream programming.
  3. Privacy and Security in Programming Languages:
    There is a notable increase in research focused on privacy, security, and correctness in programming languages, particularly with the rise of decentralized applications and concerns over data privacy.
  4. Program Synthesis and Automated Verification:
    The journal is witnessing a surge in topics related to program synthesis and automated verification techniques, highlighting the importance of ensuring software correctness through automated methods.
  5. Advanced Type Systems and Their Applications:
    Research on advanced type systems, such as contextual types for privacy and session types for concurrency, is increasingly prevalent, reflecting a growing recognition of their importance in developing safe and reliable software.

Declining or Waning

While ACM Transactions on Programming Languages and Systems maintains a broad focus, certain themes appear to be declining in prominence. This shift may reflect changes in research priorities or advancements in technology that render previous methodologies less relevant.
  1. Traditional Object-Oriented Programming Approaches:
    Research focused on conventional object-oriented programming paradigms has become less frequent, possibly due to the rise of functional programming and concurrent models that offer more robust solutions to modern programming challenges.
  2. Static Analysis Techniques:
    There is a noticeable reduction in the frequency of papers dedicated to traditional static analysis methods, as newer and more dynamic techniques and tools have emerged, offering more adaptable solutions.
  3. Low-level Programming and Assembly Language Research:
    Topics related to low-level programming languages and assembly have diminished, likely due to the growing abstraction levels in programming languages that prioritize developer productivity and safety.

Similar Journals

THEORY AND PRACTICE OF LOGIC PROGRAMMING

Pioneering Insights in Artificial Intelligence and Software Development.
Publisher: CAMBRIDGE UNIV PRESSISSN: 1471-0684Frequency: 6 issues/year

THEORY AND PRACTICE OF LOGIC PROGRAMMING, published by Cambridge University Press, is a premier academic journal that delves into the evolving field of logic programming, offering insights and advancements from 2001 to 2024. With an ISSN of 1471-0684 and an E-ISSN of 1475-3081, this journal serves as a vital resource for researchers, professionals, and students interested in areas such as artificial intelligence, computational theory, and software development. In 2023, the journal was recognized for its excellence, achieving Q1 status in Computational Theory and Mathematics and Q2 in several other categories, underscoring its significant impact within the academic community. Despite not being open access, its robust content, curated by esteemed scholars, guarantees high-quality research and innovative methodologies that are crucial for advancing the field. The journal's rigorous peer-review process and its standings in Scopus rankings further emphasize its relevance and authority, making it a quintessential platform for disseminating key findings and fostering scholarly dialogue.

FUNDAMENTA INFORMATICAE

Championing Innovative Studies in Mathematics and Computer Science.
Publisher: IOS PRESSISSN: 0169-2968Frequency: 28 issues/year

FUNDAMENTA INFORMATICAE is a distinguished academic journal published by IOS PRESS, focusing on the critical intersection of informatics, mathematics, and computer science. Since its inception in 1988, this journal has served as a vital resource for researchers and professionals alike, providing a platform for innovative studies in Algebra and Number Theory, Computational Theory and Mathematics, Information Systems, and Theoretical Computer Science. With an impressive HIndex, and ranking in the Q3 and Q4 categories across various disciplines as of 2023, it underscores its contribution and relevance in advancing the body of knowledge in these fields. The journal's commitment to excellence is reflected not only in its rigorous peer-review process but also in its notable rankings on Scopus, which positions it favorably among its peers. Though not yet available as an open access journal, FUNDAMENTA INFORMATICAE remains a crucial academic venue for authors wishing to disseminate their findings to a global audience, promoting collaboration and further research within the scientific community.

Theoretical Computer Science

Advancing the Frontiers of Computational Theory
Publisher: ELSEVIERISSN: 0304-3975Frequency: 48 issues/year

Theoretical Computer Science, published by Elsevier, serves as a pivotal platform in the field of computational theory, exploring the foundational aspects of computer science and mathematical logic since its inception in 1975. With both a print ISSN of 0304-3975 and an E-ISSN of 1879-2294, this journal is esteemed for its rigorous peer-review process and commitment to advancing knowledge in theoretical frameworks and algorithms. Positioned in the Q2 quartile for both Computer Science (miscellaneous) and Theoretical Computer Science categories, it ranks #124 out of 232 in general computer science and #73 out of 130 in theoretical computer science according to Scopus metrics, reflecting its significant influence and reach within the academic community. Researchers and professionals can access this journal through institutional subscriptions, providing a plethora of high-quality articles that contribute to ongoing debates and developments in the discipline. The journal's scope encompasses a wide array of topics, ensuring relevance across various subfields, thus making it an essential resource for anyone dedicated to furthering their understanding of theoretical computer science.

ENGINEERING OPTIMIZATION

Driving Progress in Engineering and Applied Sciences
Publisher: TAYLOR & FRANCIS LTDISSN: 0305-215XFrequency: 12 issues/year

ENGINEERING OPTIMIZATION is a premier academic journal published by Taylor & Francis Ltd that has been at the forefront of the fields of Applied Mathematics, Computer Science Applications, Control and Optimization, Industrial and Manufacturing Engineering, and Management Science and Operations Research since its inception in 1974. With an impressive convergence period extending through 2024 and categorized in the Q2 quartile across various relevant disciplines, this journal is well-regarded for its rigorous peer-reviewed articles that address the latest advancements in optimization methodologies and their applications across industries. With current Scopus rankings placing it in the top percentiles for Applied Mathematics and Control and Optimization, ENGINEERING OPTIMIZATION serves as a vital resource for researchers, professionals, and students alike, dedicated to pushing the boundaries of knowledge and innovation in engineering and related fields. This journal does not offer Open Access; however, it remains accessible through institutional subscriptions and university libraries.

Journal of Object Technology

Unveiling Insights in Software Engineering and Object Technology
Publisher: JOURNAL OBJECT TECHNOLOGYISSN: 1660-1769Frequency: 4 issues/year

Journal of Object Technology is a premier publication housed under the esteemed JOURNAL OBJECT TECHNOLOGY in Switzerland, dedicated to advancing the field of software engineering and technology. With a history of continuous publication since 2002, this journal serves as a platform for innovative research, critical reviews, and case studies that explore the nuances of object-oriented technologies and their applications in software development. Although currently categorized in the lower quartile (Q4), this journal's focus on relevant and emerging topics remains vital for researchers, professionals, and students alike, seeking to enhance their understanding of contemporary software-related issues. Addressing significant milestones and offering insights into future directions, the Journal of Object Technology plays an essential role in the evolving landscape of computer science, providing open access opportunities that ensure wide dissemination of knowledge. Situated at ETH Zurich, the journal is committed to fostering collaboration and dialogue among researchers worldwide, underscoring its importance within the global scholarly community.

JOURNAL OF FUNCTIONAL PROGRAMMING

Elevating Research Standards in Functional Programming
Publisher: CAMBRIDGE UNIV PRESSISSN: 0956-7968Frequency: 1 issue/year

JOURNAL OF FUNCTIONAL PROGRAMMING, published by Cambridge University Press, is a leading academic journal dedicated to advancing the field of functional programming. With an ISSN of 0956-7968 and an E-ISSN of 1469-7653, this UK-based journal has been disseminating high-quality research since its inception in 1991, and continues to thrive with a convergence set for 2024. Although the journal is categorized in the Q3 quartile in the Software category as of 2023 and holds a Scopus rank of #335 out of 407 (17th percentile), it remains a critical platform for innovative theoretical and experimental work in functional programming, attracting contributions from thought leaders and emerging scholars alike. The journal's objectives are to foster scholarly dialogue, provide insights into the latest methodologies, and explore the practical applications of functional programming concepts. While it does not currently offer open access, researchers and educators will find valuable resources that enhance understanding and inspire future developments within the discipline. Whether you are a seasoned professional, a researcher, or a student, the JOURNAL OF FUNCTIONAL PROGRAMMING promises to be an essential resource for your academic pursuits.

Bulletin of the South Ural State University Series-Mathematical Modelling Programming & Computer Software

Exploring the Intersection of Theory and Application in Mathematics
Publisher: SOUTH URAL STATE UNIV, SCIENTIFIC RESEARCH DEPTISSN: 2071-0216Frequency: 4 issues/year

The Bulletin of the South Ural State University Series-Mathematical Modelling Programming & Computer Software is a distinguished academic journal focusing on the interdisciplinary fields of mathematical modeling, programming, and software development. Published by the SOUTH URAL STATE UNIVERSITY, SCIENTIFIC RESEARCH DEPARTMENT, this journal serves as a platform for the dissemination of innovative research findings, methodologies, and applications in computational mathematics and related disciplines. With its ISSN 2071-0216 and E-ISSN 2308-0256, it has garnered attention within the research community, reflected in its rankings within the Q4 quartile across multiple categories in 2023, including Computational Mathematics and Software. Although it operates under an open access model, the journal emphasizes the importance of high-quality, peer-reviewed content to advance research education and practice in the Russian Federation and beyond. Researchers, professionals, and students are encouraged to contribute and access valuable insights, fostering collaboration among disciplines spanning mathematical theory, computational methods, and software development.

INFORMATION AND COMPUTATION

Bridging Theory and Practice in Information Systems
Publisher: ACADEMIC PRESS INC ELSEVIER SCIENCEISSN: 0890-5401Frequency: 6 issues/year

INFORMATION AND COMPUTATION is a peer-reviewed academic journal published by Academic Press Inc., Elsevier Science, dedicated to advancing the fields of computational theory and mathematics, computer science applications, and information systems. With an ISSN of 0890-5401 and an E-ISSN of 1090-2651, the journal provides a platform for innovative research that spans theoretical and applied perspectives. Acknowledged for its impact in the community, it holds a Q2 quartile ranking in several categories, including Computational Theory and Mathematics and Computer Science Applications, as of 2023. These rankings place it among the leading journals in its field, making it an essential resource for researchers, professionals, and students aiming to stay abreast of cutting-edge developments. While it does not currently offer Open Access options, the journal intends to foster scholarly communication and knowledge sharing from its inception in 1987 to its future issues expected through 2024. Located in the United States, at 525 B ST, STE 1900, SAN DIEGO, CA 92101-4495, INFORMATION AND COMPUTATION is committed to publishing high-quality research that influences the theoretical foundations and practical applications of its diverse disciplines.

ACM Transactions on Architecture and Code Optimization

Advancing Knowledge in Computing Optimization
Publisher: ASSOC COMPUTING MACHINERYISSN: 1544-3566Frequency: 4 issues/year

ACM Transactions on Architecture and Code Optimization, published by the Association for Computing Machinery (ACM), serves as a premier journal in the fields of architecture, hardware, and software optimization. With an ISSN of 1544-3566 and E-ISSN of 1544-3973, this journal provides a platform for innovative research and discussion from 2004 to 2024, reflecting its commitment to the evolving landscape of computer science. Holding a Q2 ranking in key categories such as Hardware and Architecture, Information Systems, and Software, it stands out in its field, catering to a broad audience of researchers, professionals, and students alike. While the journal does not currently offer open access, subscribers can benefit from an array of valuable insights into cutting-edge techniques for optimizing code and architectural designs. Its rigorous peer-review process ensures that only high-quality, impactful research is published, making it an essential resource for those seeking to advance their knowledge and practice in these vital areas of computing.

Frontiers of Computer Science

Fostering Dialogue that Shapes the Future of Technology
Publisher: HIGHER EDUCATION PRESSISSN: 2095-2228Frequency: 1 issue/year

Frontiers of Computer Science is a leading peer-reviewed journal dedicated to advancing the field of computer science through the publication of high-quality research articles, reviews, and theoretical discussions. Published by HIGHER EDUCATION PRESS, this journal has gained significant recognition, currently boasting a prestigious impact factor and ranking in the Q1 quartile for both Computer Science (miscellaneous) and Theoretical Computer Science categories in 2023. With a focus on the intersection of computational theory and practical applications, it serves as a vital platform for researchers, professionals, and students alike who are eager to contribute to and stay updated with groundbreaking developments. The journal’s scope encompasses a wide range of topics, reflecting the diverse nature of computer science today. Operating from Beijing, China, it emphasizes Open Access, ensuring that vital research is readily available to the global academic community. With its convergence period spanning from 2013 to 2024, Frontiers of Computer Science remains committed to fostering innovation and scholarly dialogue that drives the future of technology.