Explore a 17-minute conference talk from PLDI 2023 focused on stress-testing loop optimizers in compilers. Learn about a major reimplementation of Yet Another Random Program Generator (YARPGen), an open-source generative compiler fuzzer that has uncovered 122 bugs in various compilers. Discover a novel method for statically avoiding undefined behavior when generating loops and mechanisms for increasing the diversity of generated loop code. Gain insights into how these advancements enable more effective automated testing and provide opportunities to discover bugs in compiler optimizers for C++ and data-parallel languages.
Overview
Syllabus
[PLDI'23] Fuzzing Loop Optimizations in Compilers for C++ and Data-Parallel Languages
Taught by
ACM SIGPLAN