Why Should I Trust Your Code?2023-12-210 OA AI AAntoine Delignat-Lavaud *CCédric Fournet KKapil Vaswani SSylvan Clebsch MMaik Riechert MManuel Costa MMark Russinovich DOI:10.1145/3624578OriginalOriginal request for helpShareSaveAbstract En