| 
|
QuoteRef: gulwS1_2004
Topic:
code optimization by global analysis
Topic:
probabilistic and randomized algorithms
Topic:
symbolic execution
Topic:
interpreter
Reference
Gulwani, S., Necula, G.C., "Global value numbering using random interpretation", POPL 2004: The 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Venice, Italy, ACM SIGPLAN-SIGACT, January 2004, pp. 342-352. Google
abstract ;;Quote: a complete, polynomial-time randomized algorithm for global value numbering to detect equivalent expressions
abstract+;;Quote: random interpretation assigns random linear interpretations to operators and executes with random inputs; combines program states with a random affine combination
342 ;;Quote: expression equivalence used for constant and copy propagation, common sub-expression elimination, invariant code motion, induction variable elimination, branch elimination, branch fusion, and loop jamming
342 ;;Quote: Herbrand expression equivalence treats operators as uninterpreted functions; used for global value numbering; expression equivalence is undecidable
Topic: code optimization by global analysis (24 items)
Topic: probabilistic and randomized algorithms (11 items)
Topic: symbolic execution (9 items)
Topic: interpreter (59 items)