loading

Logout succeed

Logout succeed. See you again!

search
Advance search
xAdvance search
submenu
search
search
xAdvance search
Students access

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

ebook img

Alive: Provably Correct InstCombine Optimizations PDF

pages74 Pages
release year2014
file size3.15 MB
languageEnglish

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

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.