1

PLDI

 ACM SIGPLAN Conference on Programming Language Design & Implementation

2

POPL

 ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

3

FSE/ESEC

 ACM SIGSOFT Symposium on the Foundation of Software Engineering/ European Software Engineering Conference

4

SOSP

 ACM Symposium on Operating Systems Principles

5

OOPSLA

 Conference on Object-Oriented Programming Systems, Languages, and Applications

6

ASE

 International Conference on Automated Software Engineering

7

ICSE

 International Conference on Software Engineering

8

ISSTA

 International Symposium on Software Testing and Analysis

9

OSDI

 USENIX Symposium on Operating Systems Design and Implementations

10

FM

 International Symposium on Formal Methods

1

ECOOP

 European Conference on Object-Oriented Programming

2

ETAPS

 European Joint Conferences on Theory and Practice of Software

3

ICPC

 IEEE International Conference on Program Comprehension

4

RE

 IEEE International Requirements Engineering Conference

5

CAiSE

International Conference on Advanced Information Systems Engineering

6

ICFP

 International Conference on Function Programming

7

LCTES

 International Conference on Languages, Compilers and Tools for Embedded Systems

8

MoDELS

 International Conference on Model Driven Engineering Languages and Systems

9

CP

 International Conference on Principles and Practice of Constraint Programming

10

ICSOC

 International Conference on Service Oriented Computing

11

SANER

 International Conference on Software Analysis, Evolution, and Reengineering

12

ICSME

 International Conference on Software Maintenance and Evolution

13

VMCAI

 International Conference on Verification, Model Checking, and Abstract Interpretation

14

ICWS

 International Conference on Web Services （Research Track）

15

Middleware

 International Middleware Conference

16

SAS

 International Static Analysis Symposium

17

 ESEM

 International Symposium on Empirical Software Engineering and Measurement

18

ISSRE

 International Symposium on Software Reliability Engineering

19

HotOS

 USENIX Workshop on Hot Topics in Operating Systems

1

PEPM

 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation

2

PASTE

 ACMSIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering

3

APLAS

 Asian Symposium on Programming Languages and Systems

4

APSEC

 Asia-Pacific Software Engineering Conference

5

EASE

 Evaluation and Assessment in Software Engineering

6

ICECCS

 IEEE International Conference on Engineering of Complex Computer Systems

7

ICST

 IEEE International Conference on Software Testing, Verification and Validation

8

ISPASS

 IEEE International Symposium on Performance Analysis of Systems and Software

9

SCAM

 IEEE International Working Conference on Source Code Analysis and Manipulation

10

COMPSAC

 International Computer Software and Applications Conference

11

ICFEM

 International Conference on Formal Engineering Methods

12

TOOLS

 International Conference on Objects, Models, Components, Patterns

13

SCC

 International Conference on Service Computing

14

ICSSP

 International Conference on Software and System Process

15

SEKE

 International Conference on Software Engineering and Knowledge Engineering

16

QRS

 International Conference on Software Quality, Reliability and Security

17

ICSR

 International Conference on Software Reuse

18

ICWE

 International Conference on Web Engineering

19

SPIN

 International SPIN Workshop on Model Checking Software

20

ATVA

 International Symposium on Automated Technology for Verification and Analysis

21

LOPSTR

 International Symposium on Logic-based Program Synthesis and Transformation

22

TASE

 International Symposium on Theoretical Aspects of Software Engineering

23

MSR

 Mining Software Repositories

24

REFSQ

 Requirements Engineering: Foundation for Software Quality

25

WICSA

 Working IEEE/IFIP Conference on Software Architecture

26

Internetware

The Asia-Pacific Symposium on Internetware

27

RV

International Conference on Runtime Verification