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

Fraser Brown

  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
  2. LifeJacket: Verifying precise floating-point optimizations in LLVM
    2016/03/30 by Andres Nötzli, Fraser Brown, Nötzli, Andres +1 · 1 citation
    Computer Science · #FOS: Computer and information sciences #Logic, programming, and type systems #Numerical Methods and Algorithms #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL)