形式化验证会议和期刊

形式化会议

SEFM：Software Engineering and Formal Methods

程序语言、软件工程
TOPLAS ： ACM Transactions on Programming Langauge and Sysmtem
JFP: Journal of Functional Programming
TOSEM: ACM Transactions on Software Engineering and Methodology
TSE: IEEE Transactions on Software Engineering
 
形式化方法、自动推理等
TOCL: ACM Transactions on Computational Logic
JAR：Journal of Automated Reasoning
FMSD: Formal Methods in System Design
LMCS: Logical Method in Computer Sciencne
JSAT:Journal on Satisfiability, Boolean Modeling and Computation
JACM
TCS 
 
可靠性：
IEEE International Symposium on Software Reliability Engineering (ISSRE)
International Conference on Software Quality, Reliability and Security (QRS)

软件工程会议

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

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

TOSEM：ACM Transactions on Software Engineering and Methodology
软件工程和方法学

更多参考：
https://blog.csdn.net/ting0922/article/details/113897959

操作系统

USENIX Annual Technical Conference
操作系统、体系结构方面最好的会议之一

Symposium on Operating System Design and Implementation（OSDI）
操作系统最好的会议和SOSP交替举行，每两年一届，操作系统的旗舰会议。基本上是美国最顶尖的研究小组在上面发文章，其他地区要中极其困难

ACM Symposium on Operating Systems Principles （SOSP）
操作系统最好的会议和OSDI交替举行，每两年一届，操作系统旗舰会议操作系统。基本上是美国最顶尖的研究小组在上面发文章，其他地区要中极其困难
操作系统

Proceedings of the 11th International Conference on Architectural Support for Programming Languages and Operating Systems （ASPLOS）
操作系统和程序语言最好的会议之一，录取率也非常低，也是基本上只有美国最顶尖的研究小组能够在上面发文，其他地区的极其困难
操作系统，程序语言

Workshop on Hot Topics in Operating Systems （HOTOS）
操作系统最好的会议之一

参考：
https://www.cnblogs.com/yymn/p/4638182.html
https://blog.csdn.net/ting0922/article/details/113897959