CLower: Detecting Compiler Pessimization Bugs through Redundant Memory Accesses

Jianhao Xu, Kunbo Zhang, Mathias Payer, Kangjie Lu, Bing Mao
October 2026
PDF Cite
Type
Conference paper
Publication
The 27th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'26) (CCF A)