seo-2024-correctly:
  type: article
  title: Correctly Compiling Proofs About Programs Without Proving Compilers Correct
  author:
  - Seo, Audrey
  - Lam, Christopher
  - Grossman, Dan
  - Ringer, Talia
  date: 2024
  page-range: 33:1-33:20
  url: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITP.2024.33
  serial-number:
    doi: 10.4230/LIPICS.ITP.2024.33
  parent:
    type: proceedings
    title: 15th International Conference on Interactive Theorem Proving (ITP 2024)
    publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
    volume: 309