Marco Patrignani

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

ESOP
Programming Languages and Systems,ESOP

Proc. ACM Program. Lang.POPL

1st Workshop on Principles of Secure Compilation