html,body{height:auto!important;overflow:auto!important} [data-requires-script]{display:none!important} .reader{position:relative!important;overflow:visible!important;min-height:100vh} .reader-frame{height:auto!important;max-height:none!important;margin:auto} .reader-stage,.lesson-reader-stage{position:relative!important;inset:auto!important;overflow:visible!important} .reader-track,.lesson-track{position:relative!important;inset:auto!important;display:block!important;height:auto!important;transform:none!important} .reader-slide,.reader-panel,.lesson-panel{width:100%!important;height:auto!important;min-height:0!important;overflow:visible!important;content-visibility:visible!important} .reader-scroll,.lesson-panel-scroll{position:relative!important;inset:auto!important;height:auto!important;overflow:visible!important;padding-bottom:32px!important} .reader-tabs,.reader-tap,.reader-detail-dock,.card-dock{display:none!important} .lg-screen,.lg-feed,.lg-page,.dr-screen .lg-page{height:auto!important;overflow:visible!important} .lg-page{min-height:100vh} @media(min-width:1000px){.lg-page{min-height:0!important}}

Author

Tuan Truong Vu

Papers that credit Tuan Truong Vu in their source bylines. Matching names may refer to different researchers.

1 results

PaperMachine Learning
Racer checks whether GPU kernel rewrites preserve their function
Racer symbolically checks GPU kernel rewrites and exposes bugs missed by sampled tests, within the coverage of its production-kernel study.
Added to Chiosa Oct 21, 2026
#cost-performance #correctness-gating #developer-tests #symbolic-execution

Tuan Truong Vu

Racer checks whether GPU kernel rewrites preserve their function