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. |