|
本帖最后由 accord 于 2021-12-24 20:50 编辑 & {: m& ^4 J, |5 v- m" G+ z4 X
4 W& k+ p( X+ O0 j8 mACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages(ACM 程序设计语言原理会议)、ACM SIGPLAN Conference on Programming Language Design & Implementation(ACM 编程语言设计与实现会议)是程序语言理论、形式化软件、形式化方法学、编译原理与编译器、编程语言设计、编译优化等领域的顶级会议。它们主要收录编程语言和编译领域的论文,也会收录软件工程领域的论文。, Z' X0 f8 K( u* i4 R
3 n0 P' @: l' I
统计范围:近五年录用2篇及以上POPL、PLDI的中国机构% e$ F% Q3 c2 Q8 w7 z9 ]% y$ h
) L2 d0 F$ S, G% t+ v; |PLDI:
& W, x9 z0 h( c香港科技大学6
- R# U1 }/ r% g% L& }南京大学5; F% T- N5 Z9 x
上海交通大学43 Z1 ]- F0 U. f
清华大学32 G0 q9 U" _! i0 O V
滁州学院3(chuzhou university,不知道翻译错了没有)
8 k. N; i0 N! s4 J$ f北京大学2
- }- J8 _- y: o4 z; q/ c3 k中国科学院26 ]" X1 _8 x4 ?, J* {
华东师范大学2
5 Y( T" O4 W# d4 b$ K西安电子科技大学2' L3 X1 ^* t% S
8 L$ ? |, {! \, V" A/ m
POPL:
7 w- }% ]$ D, X+ V) v中国科学院28 Q! z* h2 U- v5 Z" `/ I2 j
' ^& v' h, Z7 _% c4 C
, A9 ]( ~$ m V8 ?7 @- k5 r- t7 i8 B4 t' n6 ^% c
|
|