We gratefully acknowledge support from
the Simons Foundation and member institutions.

Gaurav Parthasarathy and Thibault Dardinier are qualified to endorse.

Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into an Intermediate Verification Language (extended version)

Gaurav Parthasarathy: Is registered as an author of this paper.
Can endorse for cs.LO, cs.PL. (why?)
Thibault Dardinier: Is registered as an author of this paper.
Can endorse for cs.CR, cs.LO, cs.PL. (why?)

Benjamin Bonneau, Peter Müller and Alexander J. Summers are not registered as owners of this paper. (why?)