1. 7
    Verifying Optimizations Using SMT Solvers pdf slides compilers formalmethods performance llvm.org
    nickpsecurity avatar via nickpsecurity 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
    1. 2
      nickpsecurity avatar nickpsecurity 5 years ago | link

      I’ll throw in some related, bonus material:

      Beaver: Engineering an Efficient SMT Solver for Bit-Vector Arithmetic

      A Bit-Vector Solver with Word-Level Propagation