xieby1's notes

2022.2.21: 从Validation/移到ISA/Semantics

直接搜索binary translation validation/verification感觉范围太窄了，文章灌水严重。于是搜索编译器相关的validation/verification，看到了这篇引用很多的文章《Compiler validation via equivalence modulo inputs》@2014引178，从它的引文又找到很多有趣的和验证翻译正确性的文章，

• verification
  • 《Formal certification of a compiler back-end or: programming a compiler with a proof assistant》@2006引566
  • 《A Formally Verified Compiler Back-end》@2009引364
• translation validation
  • 《Translation validation for an optimizing compiler》@2000引374
  • 《Translation Validation》@1998引379