编译领域会议列表

83

ASPLOS: Architectural Support for Programming Languages and Operating Systems

ASPLOS是由ACM主办的国际会议，每年一次。主要关注硬件、体系结构、编译、操作系统等研究方向，在国内外学术界很高的影 响。

编译技术

84

CASES: International Conference on Compilers, Architectures and Synthesis for Embedded Systems

CASES是ACM主办的国际会议，每年一次，主要关注编译器，体系结构和嵌入式系统等研究方向，录取率在20％－30％

编译技术

85

CODES: International Conference on Hardware Software Codesign

CODES是ACM主办的国际权威会议，每年一次。始于1994年。主要关注hardware/software co-design和嵌入式系统的system-level design。近两年的接收率为25％左右。

编译技术

86

DAC: Annual ACM IEEE Design Automation Conference

DAC是电子电路设计方面的国际权威会议，始于1984年。主要关注芯片、电路以及系统设计的新工具和新方法。近两年的接收率为20％左右。

编译技术

87

ICFP: International Conference on Functional Programming

Functional Programming方向的国际会议。主要关注functional programming的设计、实现、概念和使用。接收率在30％左右。

编译技术

88

ICS: International Conference on Supercomputing

ICS是由ACM SIGARCH主办的国际会议，每年一次。主要关注高性能计算机和计算等方面的研究，在国内外学术界很高的影响。接收 率30％左右。

编译技术

89

ICSE: International Conference on Software Engineering

软件工程方向的权威会议，接收率不到20％。除了main conference之外，还包括tutorials, workshops, symposia以及collocated conferences。

编译技术

90

ISCA: International Conference on Computer Architecture

ISCA是由IEEE 和ACM主办的国际会议，每年一次。主要关注处理器结构、存储结构、功耗等方面的研究，在国内外学术界很高的影响。接收 率20％左右。

编译技术

91

ISMM: International Symposium on Memory Management

内存管理方向的国际会议，主要关注garbage collection, dynamic storage allocation, storage management implementation techniques，另外也包括interactions with languages and operating systems, and empirical studies of programs’ memory allocation and referencing behavior

编译技术

92

ISSTA: International Symposium on Software Testing and Analysis

ISSTA是国际顶级的关于software test and analysis的会议。近年来两年举办一次。和它同时举行的还有Formal Methods in Software Practice Workshop。

编译技术

93

LCTES: Language, Compiler and Tool Support for Embedded Systems

关注languages, compilers和tools for embedded systems的国际会议。每年一次，接收率在25％左右。

编译技术

94

MICRO: International Symposium on Microarchitecture

计算机体系结构方向的国际权威会议。关注计算机体系结构领域的重大发展。同时也是指令级并行方向的顶级会 议。

编译技术

95

OOPSLA: Conference on Object Oriented Programming Systems Languages and Applications

Object technology和面向对象程序设计领域的国际权威会议。涉及的具体方向有patterns, refactoring, aspect-oriented programming, dynamic compilation and optimization, unified modeling language, and agile methods。接收率20％左右。

编译技术

96

PLDI: Conference on Programming Language Design and Implementation

PLDI是由ACM主办的国际会议，每年一次。主要关注编程语言的设计与实现等方面的研究工作，在国内外学术界很高的影 响。

编译技术

97

PODC: Annual ACM Symposium on Principles of Distributed Computing

关注分布式系统的理论，设计，实现，规范等领域的国际会议。近年的接收率在25％左右。

编译技术

98

POPL: Annual Symposium on Principles of Programming Languages

关注programming languages, programming systems, and programming interfaces的design, definition, analysis, and implementation的国际权威会议，始于1973年，接收率不到20％

编译技术

99

PPoPP: Principles and Practice of Parallel Programming

PPoPP是由ACM主办的国际会议，两年一次。主要关注并行编程方面的研究，在国内外学术界很高的影响。接收 率30％。

编译技术

100

SIGMETRICS: Joint International Conference on Measurement and Modeling of Computer Systems

关注计算机系统性能方面的theory, practice and case studies的国际会议

编译技术

101

SIGSOFT: Foundations of Software Engineering

Software Engineering领域的权威会议。2005年以前的接收率一般不足20％。

编译技术

102

ASE - IEEE International Conference on Automated Software Engineering

关注软件开发自动化的顶级会议。前身为KBSE(Knowledge-Based Software Engineering)，始于1997年。

编译技术

103

CGO - International Symposium on Code Generation and Optimization

CGO是由IEEE CS和ACM SIGMICRO主办的国际会议，每年一次。主要关注代码生成和优化等方面的研究，在国内外学术界很高的影响。接收 率30％左右。

编译技术

104

CLUSTER - IEEE International Conference on Cluster Computing

CLUSTER是由IEEE主办的国际会议，每年一次。主要关注群集计算方面的研究，在国内外学术界很高的影响。

编译技术

105

DATE - Design, Automation, and Test in Europe

关注Design methodologies, CAD languages,
algorithms and tools, Testing of electronic circuits and systems, and Designer experiences的国际会议

编译技术

106

EURO-PDP - Euromicro Conference on Parallel, Distributed and Network-Based Processing

EUROMICRO的一个workshop，关注并行和分布式计算。

编译技术

107

HPCA - International Symposium on High-Performance Computer Architecture

HPCA是由IEEE主办的国际会议，每年一次。主要关注高性能计算方面的研究，在国内外学术界较高的影响。

编译技术

108

HPCS - Annual International Symposium on High Performance Computing Systems and Applications

IEEE主办，每年在加拿大的大学召开。但参会者不局限于加拿大的研究人员。其内容涵盖了HPC的各个领域

编译技术

109

ICDCS - International Conference on Distributed Computing Systems

IEEE主办，涉及分布式计算方面各个领域的权威会议。起始于1979年。

编译技术

110

ICPADS - International Conference on Parallel and Distributed Systems

IEEE主办，关注并行和分布式系统的国际会议

编译技术

111

IISWC - IEEE International Symposium on Workload Characterization

关注characterization of computing system workload的国际会议。涵盖applications, middleware, system的behavior。Benchmark的构造和分析，以及程序行为的modeling等领域。< /p>

编译技术

112

IPDPS - International Parallel and Distributed Processing Symposium

IEEE主办，并行和分布式处理相关的国际会议。包括并行处理的算法，应用，体系结构，以及和并行处理相关的软件如语言，编译器，运行时系统 等。

编译技术

113

ISPASS - IEEE International Symposium on Performance Analysis of Systems and Software

IEEE主办，关注计算机软硬件设计中的性能分析。

编译技术

114

PACT - International Conference on Parallel Architectures and Compilation Techniques

PACT是由IEEE CS、ACM SIGARCH和IFIP主办的国际会议，每年一次。主要关注并行体系结构、针对并行计算机系统的编译等方面的研究，在国内外学术界很高的影 响。

编译技术

115

RTSS - IEEE Real-Time Systems Symposium

实时系统研究的顶级会议，IEEE主办，已经举行了27届。

编译技术

116

RTAS - IEEE Real-Time and Embedded Technology and Applications Symposium

关注实时和嵌入式计算的基础结构，理论，system support的国际会议。

编译技术

117

SC - IEEE/ACM SC Conference

SuperComputing的简称。关注的领域为HPC，networking，storage and analysis。ACM和IEEE合办。

编译技术

118

LCPC - International Workshop on Languages and Compilers for Parallel Computing

始于1988年，涉及编程语言的各个方面，包括compiler techniques, run-time environments, and compiler-related performance evaluation for parallel and high-performance computing。

编译技术

119

CC: International Conference on Compiler Construction

关注的领域涉及程序的各个方面，包括编译器构造，run-time技术，prgramming tools, 新编程语言。也包括一些特别的领域如parallel, ditributed, embedded, mobile, low power code, hardware等。是ETAPS的member conference。影响因子0.83

编译技术

120

HiPEAC - International Conference on High Performance Embedded Architectures & Compilers

关注嵌入式系统的发展，包括处理器设计，编译优化等。

编译技术

121

ECOOP - European Conference on Object-Oriented Programming

关注object technology的各个领域。其中也包括一些虽然不直接和Object Oriented相关，但同样具有启发性的工作。

编译技术

122

ESOP - European Symposium on Programming

ETAPS的member conference，是欧洲Software Science方向的重要会议。涵盖了程序语言的设计和实现，编程模型的研究，程序的自动生成和分析等方向。< /p>

编译技术

123

Euro-Par - European Conference on Parallel Computing

关注并行计算的诸多方面的国际会议。粗略可分为hardware, software,algorithms and application for parallel computing几个部分。

124

SAS - International Static Analysis Symposium

关注程序的静态分析的权威会议。

编译技术

125

CAV - Computer Aided Verification

Rank1的国际会议，关注计算机辅助形式验证，涵盖从theoretical results到concrete applications的诸多方面，尤其是practial verification tools and the algorithms and techniques that needed for their implementation。影响因子1.88。

编译技术

126

FASE - Fundamental Approaches to Software Engineering

ETAPS的member conference，主要关注Software Science，影响因子0.91。

编译技术

127

TACAS - Tools and Algorithms for the Construction and Analysis of Systems

ETAPS的member conference，关注的领域包括formal methods, software and hardware verification, static analysis, programming languages, software engineering, real-time systems, and communications protocols。影响因子1.24

编译技术

128

VMCAI - Verification, Model Checking and Abstract Interpretation

Rank2的国际会议。关注的领域包括Verification, Model Checking, and Abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine the three areas。

编译技术