Journal Information

ACM Transactions on Programming Languages and Systems (TOPLAS)

Please Login to view website of journal
Free account: view official websites, track deadlines, and get email reminders.
Register Login
Get this via API
Search and ranking lists need no credentials at all; full detail for this page needs a free API key. See the developer guide.
Impact Factor:
1.6
Publisher:
ACM
ISSN:
0164-0925
Viewed:
27669
Tracked:
16

Call For Papers

ACM Transactions on Programming Languages and Systems (TOPLAS) is an academic journal published by ACM. (ISSN 0164-0925, impact factor 1.6, CCF A).

About TOPLAS 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. It is published on a quarterly basis. TOPLAS now supports the journal-first publication model. TOPLAS papers can be submitted for presentation at partner conferences, including POPL, PLDI, OOPSLA, and ECOOP. Every effort will be made to make a decision by the conference notification date. Work that has been previously presented at one or more conferences will not be considered for presentation, and papers must be submitted at least three months before the official conference submission deadline. 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 For further information and to submit your manuscript, see https://dl.acm.org/journal/toplas/author-guidelines.
Last updated by Dou Sun on

Related Journals

Related Conferences

CCFICOREShortFull NameSubmissionNotificationConference
ProgrammingInternational Conference on the Art, Science, and Engineering of Programming2027-03-15
AA*POPLACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages2026-07-092026-10-052027-01-10
CAACM ASIACCSACM ASIA Conference on Computer and Communications Security2026-12-112027-03-312027-07-12
BACM ISSACM Interactive Surfaces and Spaces Conference2026-07-222026-09-102026-11-23
ACM-BCBACM Conference on Bioinformatics, Computational Biology, and Health Informatics2026-02-202026-05-192026-06-30
AA*SIGIRInternational Conference on Research and Development in Information Retrieval2026-01-152026-04-022026-07-20
AA*AAAIAAAI Conference on Artificial Intelligence2026-07-212026-11-302027-02-16
AA*CVPRIEEE Conference on Computer Vision and Pattern Recognition2025-11-062026-02-202026-06-03
AA*STOCACM Symposium on Theory of Computing2025-11-042026-02-012026-06-22
AA*OSDIUSENIX Symposium on Operating Systems Design and Implementation2026-12-012027-03-162027-07-07

Comments 0

No comments yet.

Please Login to post a comment