External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

VO-GCSE: Verification Optimization through Global Common Subexpression Elimination

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]

Authors

Rafael Sá Menezes

This author has not been identified. Look up 'Rafael Sá Menezes' in Google

Norbert Tihanyi

This author has not been identified. Look up 'Norbert Tihanyi' in Google

Ridhi Jain

This author has not been identified. Look up 'Ridhi Jain' in Google

Alexander Levin

This author has not been identified. Look up 'Alexander Levin' in Google

Rosiane de Freitas

This author has not been identified. Look up 'Rosiane de Freitas' in Google

Lucas C. Cordeiro

This author has not been identified. Look up 'Lucas C. Cordeiro' in Google
runs on