Mechanical Elimination of Commutative Redundancy
Abstract elided by the publisher.
Related papers
- Counterexample-Guided Commutativity CAV 2025
- Register Pressure Sensitive Redundancy Elimination CC 1999
- Value-Based Partial Redundancy Elimination CC 2004
- Efficient Elimination of Redundancies in Polyhedra by Raytracing VMCAI 2017
- RedCard: Redundant Check Elimination for Dynamic Race Detectors ECOOP 2013
- Partially redundant fence elimination for x86, ARM, and power processors CC 2017
- Partial Redundancy Elimination on Predicated Code SAS 2000
- Making Predicate Abstraction Efficient: How to Eliminate Redundant Predicates CAV 2003