An empirical study of optimization bugs in GCC and LLVM
Zhide Zhou, Zhilei Ren, Guojun Gao, He Jiang
Topics & Concepts
CompilerComputer scienceSoftware bugOptimizing compilerProgram optimizationParallel computingComponent (thermodynamics)Register allocationProgramming languageOperating systemSoftwareThermodynamicsPhysicsParallel Computing and Optimization TechniquesLogic, programming, and type systemsSecurity and Verification in Computing