| Name | Topics | Submission Month | CORE Ranking | Qualis Ranking | ERA Ranking |
|---|---|---|---|---|---|
| APLAS (Asian Symposium on Programming Languages and Systems) | Semantics, logics, foundational theory, design of languages, type systems, and foundational calculi, domain-specific languages, compilers, interpreters, abstract machines, program derivation, synthesis, and transformation, program analysis, verification, model-checking, logic, constraint, probabilistic, and quantum programming, software security, concurrency and parallelism, tools and environments for programming and implementation, applications of SAT/SMT to programming and implementation | June - July | B | B1 | B |
| ASPLOS (Architectural Support for Programming Languages and Operating Systems) | interdisciplinary systems research, intersecting computer architecture, hardware and emerging technologies, programming languages and compilers, operating systems, and networking | July - August | A* | A1 | A |
| CC (International Conference on Compiler Construction) | Compilation and interpretation techniques, Run-time techniques, Programming tools, Techniques, Design and implementation of novel language constructs, programming models, and domain-specific languages | October - November | A | A2 | A |
| ECOOP (European Conference on Object-Oriented Programming) | design, implementation, optimization, analysis, testing, verification, and theory of programs, programming languages, and programming environments | January | A | A1 | A |
| ICFP (International Conference on Functional Programming) | Language Design, Implementation, Software-Development Techniques, Foundations, Analysis and Transformation, Applications, Education | March | A* | A2 | A |
| IFL (Symposium on Implementation and Application of Functional Languages) | The goal of the IFL symposia is to bring together researchers actively engaged in the implementation and application of functional and function-based programming languages. | August/December (Post-Symposium) | n/a | B3 | n/a |
| OOPSLA (International Conference on Object-Oriented Programming, Systems, Languages, and Applications) | all aspects of programming languages and software engineering | April - May | A* | A1 | A |
| PLDI (Conference on Programming Language Design and Implementation) | PLDI is a premier forum in the field of programming languages and programming systems research, covering the areas of design, implementation, theory, applications, and performance. | November | A* | A1 | A |
| Name | Topics | CORE Ranking |
|---|---|---|
| TOPLAS (ACM Transactions on Programming Languages and Systems) | 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 | A* |
| JFP (Journal of Functional Programming) | functional languages and extensions, implementation techniques, reasoning and proof, program transformation and synthesis, type systems, type theory, language-based security, memory management, parallelism and applications. Special tracks are devoted to tools and applications, commercial uses and education | A |