vix.ing · top · new · best · stats · spec

A. Sheng

  1. Scaling Instruction-Selection Verification against Authoritative ISA Semantics
    2025/10/09 by Michael McLoughlin, A. Sheng, Chris Fallin +3 · 2 voices
    Computer Science · #Security and Verification in Computing #Logic, programming, and type systems #Software Testing and Debugging Techniques