Map
Index
Random
Help
th

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

Quotations
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

Related Topics up

Topic: code optimization by global analysis (24 items)
Topic: probabilistic and randomized algorithms (11 items)
Topic: symbolic execution (9 items)
Topic: interpreter (59 items)

Collected barberCB 3/04
Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.