Hacker News new | ask | show | jobs
Scaling Instruction-Selection Verification Against Authoritative ISA Semantics (doi.org)
3 points by mmcloughlin 247 days ago