|
本帖最后由 accord 于 2021-12-24 20:50 编辑
7 [5 K8 G" v9 ]9 q9 l9 ]
7 V) e: \6 r+ w" d4 Q/ w/ HACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages(ACM 程序设计语言原理会议)、ACM SIGPLAN Conference on Programming Language Design & Implementation(ACM 编程语言设计与实现会议)是程序语言理论、形式化软件、形式化方法学、编译原理与编译器、编程语言设计、编译优化等领域的顶级会议。它们主要收录编程语言和编译领域的论文,也会收录软件工程领域的论文。
! U" a3 k2 `1 j, m! o2 a/ F) `
3 V) B2 v1 s- W5 O统计范围:近五年录用2篇及以上POPL、PLDI的中国机构
7 Y' z) Z' H; U) d# y1 ?0 @- F [" z% y
PLDI:
! W6 A4 K7 W- E& }" u香港科技大学6
) A% P6 x1 j: X8 U+ S南京大学5
, [7 W+ H2 k+ o+ l' P上海交通大学4$ D2 [, G) w A
清华大学3; Q& [! ~) a ]3 ?- a' u
滁州学院3(chuzhou university,不知道翻译错了没有)( f2 w; R$ i z. e9 K9 Z* X ^/ E
北京大学2
: T- Q J+ q8 e }! Z中国科学院2* T7 d! E$ S. z7 c
华东师范大学2
% H, h$ D* P+ ]3 c西安电子科技大学2; Z$ z' q5 k9 U5 L) ]3 }: x1 x1 b
5 P2 [! w& g! X; k
POPL:
, c; q9 N8 }* f1 `中国科学院2 p4 s2 U7 U& i
; X& s: m* ^: }- Y3 @9 \6 T9 h. p
! t0 y7 S0 ^7 g
5 ~/ G# W* ]( \9 s @! l: ^3 P |
|