Philippe Heim

POPL
Proceedings of the ACM on Programming Languages51st ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2024)

TACAS
TACAS – International Conference on Tools and Algorithms for the Construction and Analysis of Systems29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems

FOSSACS
FoSSaCS 2022, LNCS 13242ETAPS 2022

FMCAD
Formal Methods in Computer Aided Design, FMCAD