Loop-invariant code motion

#	Item
1	The Correctness-Security Gap in Compiler Optimization Vijay D’Silva Google Inc. San Francisco, CA Mathias Payer Add to Reading List Source URL: hexhive.github.io Language: English - Date: 2016-06-13 11:08:40 Software Computing Compiler optimizations Compiler construction Programming language implementation Undefined behavior Optimizing compiler Compiler Inline expansion Constant folding Loop-invariant code motion Program optimization
2	Maximal and Compositional Pattern-Based Loop Invariants Virginia Aponte1 , Pierre Courtieu1 , Yannick Moy2 , and Marc Sango2 1 CNAM, 292 rue Saint-Martin FParis Cedex 03 - FRANCE Add to Reading List Source URL: www.open-do.org Language: English - Date: 2012-05-11 04:00:25 Computing Loop invariant Invariant Infinite loop Constructible universe For loop Loop-invariant code motion Invariant theory Software engineering Computer programming Control flow
3	Microsoft Word - 20-Optimization.doc Add to Reading List Source URL: dragonbook.stanford.edu Language: English - Date: 2008-09-08 17:20:08 Computer programming Constant folding Static single assignment form Loop-invariant code motion Dead code elimination Compiler Program optimization Data-flow analysis Goto Software engineering Compiler optimizations Computing