Alive: Provably Correct InstCombine Optimizations PDF
74 Pages·2014·3.15 MB·English
Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.
Preview Alive: Provably Correct InstCombine Optimizations
Alive: Provably Correct InstCombine Optimizations David Menendez John Regehr Santosh Nagarakatte University of Utah Rutgers University Nuno Lopes Microsoft Research Can We Trust Compilers? Any large software project will have bugs • LLVM is no exception • CSmith project found 203 bugs by random • testing InstCombine is especially buggy • 2 3 4 5 6 7 8 9 10
Description:Alive: Provably Correct. InstCombine Optimizations. David Menendez. Santosh Nagarakatte. Rutgers University. John Regehr. University of Utah.
See more
The list of books you might like
Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.
