| 1. |
POPL |
July |
A* |
Programming languages and systems. (both theoretical and experimental papers) |
| 2. |
OOPSLA |
October and April |
A* |
All practical and theoretical investigations of programming languages, systems and environments. |
| 3. |
ECOOP |
December and March |
A* |
Originally focused on object-orientation, now includes all practical and theoretical investigations of programming languages, systems and environments |
| 4. |
PLDI |
November |
A* |
All programming-language concepts, Novel system designs, thorough empirical work, well-motivated theoretical results, and new application areas. |
| 5. |
SAS |
May |
A |
Program verification, Abstract interpretation, Compiler Optimization, Model-checking, Type checking, etc |
| 6. |
CGO |
May and September |
A |
Code Generation, Translation, Transformation, and Optimization.Dynamic/static, profile-guided, feedback-directed, andStatic, Dynamic, and Hybrid Analysis etc. |
| 7. |
CC |
November |
A |
Compilation and interpretation techniques, Run-time techniques, Programming tools, Design and implementation etc. |
| 8. |
ICFP |
March |
A* |
Language Design, Implementation, Software-Development Techniques, Foundations, Analysis and Transformation, Applications, Education etc. |
| 9. |
PACT |
March |
A |
Parallel architectures, Compilers and tools for parallel computer systems, Insights for the design of parallel architectures and compilers from modern parallel applications, Neuromorphic computing both as an application for and a tool applied to architectures and compilersetc |
| 10. |
PPOPP |
August |
A |
Compilers and runtime systems for parallel and heterogeneous systems, Development, analysis, or management tools, Performance analysis, debugging and optimization, Formal analysis and verification etc. |