[PLDI24] Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into(…) | ACM SIGPLAN | Podwise