Why Should I Trust Your Code?

Antoine Delignat-Lavaud, Cédric Fournet, Kapil Vaswani, Sylvan Clebsch, Maik Riechert, Manuel Costa, Mark Russinovich. Why Should I Trust Your Code?. Communications of the ACM, 67(1):68-76, January 2024. [doi]

Abstract

Abstract is missing.