序号所属领域会议缩写会议名称会议介绍1编程语言与软件工程ASEIEEEInternationalConferenceonAutomatedSoftwareEngineering关注软件开发自动化的顶级会议。前身为KBSE(Knowledge-BasedSoftwareEngineering)，始于1997年。2编程语言与软件工程CAVComputerAidedVerification关注计算机辅助形式验证，涵盖从theoreticalresults到concreteapplications的诸多方面，尤其是practialverificationtoolsandthealgorithmsandtechniquesthatneededfortheirimplementation。影响因子1.88。3编程语言与软件工程CCInternationalConferenceonCompilerConstruction关注的领域涉及程序的各个方面，包括编译器构造，run-time技术，prgrammingtools,新编程语言。也包括一些特别的领域如parallel,ditributed,embedded,mobile,lowpowercode,hardware等。是ETAPS的memberconference。影响因子0.834编程语言与软件工程CGOInternationalSymposiumonCodeGenerationandOptimizationCGO是由IEEECS和ACMSIGMICRO主办的国际会议，每年一次。主要关注代码生成和优化等方面的研究，在国内外学术界很高的影响。接收率30％左右。5编程语言与软件工程ECOOPEuropeanConferenceonObject-OrientedProgramming关注objecttechnology的各个领域。其中也包括一些虽然不直接和ObjectOriented相关，但同样具有启发性的工作。6编程语言与软件工程ESOPEuropeanSymposiumonProgrammingETAPS的memberconference，是欧洲SoftwareScience方向的重要会议。涵盖了程序语言的设计和实现，编程模型的研究，程序的自动生成和分析等方向。7编程语言与软件工程FASEFundamentalApproachestoSoftwareEngineeringETAPS的memberconference，主要关注SoftwareScience，影响因子0.91。8编程语言与软件工程HiPEACInternationalConferenceonHighPerformanceEmbeddedArchitectures&Compilers关注嵌入式系统的发展，包括处理器设计，编译优化等。9编程语言与软件工程LCPCInternationalWorkshoponLanguagesandCompilersforParallelComputing始于1988年，涉及编程语言的各个方面，包括compilertechniques,run-timeenvironments,andcompiler-relatedperformanceevaluationforparallelandhigh-performancecomputing。10编程语言与软件工程PACTInternationalConferenceonParallelArchitecturesandCompilationTechniquesPACT是由IEEECS、ACMSIGARCH和IFIP主办的国际会议，每年一次。主要关注并行体系结构、针对并行计算机系统的编译等方面的研究，在国内外学术界很高的影响。11编程语言与软件工程RTSSIEEEReal-TimeSystemsSymposium实时系统研究的顶级会议，IEEE主办，已经举行了27届。12编程语言与软件工程SASInternationalStaticAnalysisSymposium关注程序的静态分析的权威会议。13编程语言与软件工程SIGSOFTFoundationsofSoftwareEngineeringSoftwareEngineering领域的权威会议。2005年以前的接收率一般不足20％。14编程语言与软件工程TACASToolsandAlgorithmsfortheConstructionandAnalysisofSystemsETAPS的memberconference，关注的领域包括formalmethods,softwareandhardwareverification,staticanalysis,programminglanguages,softwaree