Rafael Sá Menezes, Norbert Tihanyi, Ridhi Jain, Alexander Levin, Rosiane de Freitas, Lucas C. Cordeiro. VO-GCSE: Verification Optimization through Global Common Subexpression Elimination. In Leonardo Montecchi, Jingyue Li, Denys Poshyvanyk, Dongmei Zhang 0001, editors, Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering, FSE Companion 2025, Clarion Hotel Trondheim, Trondheim, Norway, June 23-28, 2025. pages 1060-1064, ACM, 2025. [doi]
Abstract is missing.