PLDI
PLDIProceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation
ESOP
ESOPProgramming Languages and Systems
PriSC
47th ACM SIGPLAN Symposium on Principles of Programming LanguagesWorkshop on Principles of Secure Compilation
PriSC
PriSC 2020 - co-located with POPL
CSF
csf
1st Workshop on Principles of Secure Compilation