Global code motion/global value numbering

Cliff Click

doi:10.1145/223428.207154

Global code motion/global value numbering

ACM SIGPLAN Notices ◽

10.1145/223428.207154 ◽

1995 ◽

Vol 30 (6) ◽

pp. 246-257 ◽

Cited By ~ 22

Author(s):

Cliff Click

Keyword(s):

Value Numbering ◽

Code Motion

Download Full-text

Global code motion/global value numbering

Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation - PLDI '95 ◽

10.1145/207110.207154 ◽

1995 ◽

Cited By ~ 29

Author(s):

Cliff Click

Keyword(s):

Value Numbering ◽

Code Motion

Download Full-text

Sparse code motion

Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '00 ◽

10.1145/325694.325715 ◽

2000 ◽

Cited By ~ 18

Author(s):

Oliver Rüthing ◽

Jens Knoop ◽

Bernhard Steffen

Keyword(s):

Sparse Code ◽

Code Motion

Download Full-text

Modification of the ssapre algorithm for semantic code motion

Proceedings. The 8th Russian-Korean International Symposium on Science and Technology, 2004. KORUS 2004. ◽

10.1109/korus.2004.1555271 ◽

2005 ◽

Author(s):

D.S. Gurchenkov

Keyword(s):

Semantic Code ◽

Code Motion

Download Full-text

Bidirectional Data Flow Analysis in Code Motion: Myth and Reality

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/3-540-49727-7_1 ◽

1998 ◽

pp. 1-16 ◽

Cited By ~ 1

Author(s):

Oliver Rüthing

Keyword(s):

Data Flow ◽

Flow Analysis ◽

Data Flow Analysis ◽

Code Motion

Download Full-text

Code motion of control structures in high-level languages

10.1145/512644.512651 ◽

1986 ◽

Cited By ~ 14

Author(s):

Ron Cytron ◽

Andy Lowry ◽

F. Kenneth Zadeck

Keyword(s):

Control Structures ◽

High Level ◽

Code Motion

Download Full-text

Data-Flow Driven Equivalence Checking for Verification of Code Motion Techniques

2010 IEEE Computer Society Annual Symposium on VLSI ◽

10.1109/isvlsi.2010.58 ◽

2010 ◽

Cited By ~ 2

Author(s):

Chandan Karfa ◽

Dipankar Sarkar ◽

Chittaranjan Mandal

Keyword(s):

Data Flow ◽

Equivalence Checking ◽

Code Motion

Download Full-text

An SSA-based algorithm for optimal speculative code motion under an execution profile

Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation - PLDI '11 ◽

10.1145/1993498.1993510 ◽

2011 ◽

Cited By ~ 2

Author(s):

Hucheng Zhou ◽

Wenguang Chen ◽

Fred Chow

Keyword(s):

Code Motion

Download Full-text

An SSA-based algorithm for optimal speculative code motion under an execution profile

ACM SIGPLAN Notices ◽

10.1145/2345156.1993510 ◽

2012 ◽

Vol 47 (6) ◽

pp. 98

Author(s):

Hucheng Zhou ◽

Wenguang Chen ◽

Fred Chow

Keyword(s):

Code Motion

Download Full-text

Global value numbering using random interpretation

ACM SIGPLAN Notices ◽

10.1145/982962.964030 ◽

2004 ◽

Vol 39 (1) ◽

pp. 342-352 ◽

Cited By ~ 1

Author(s):

Sumit Gulwani ◽

George C. Necula

Keyword(s):

Value Numbering

Download Full-text

Compiling real-time programs with timing constraint refinement and structural code motion

IEEE Transactions on Software Engineering ◽

10.1109/32.387469 ◽

1995 ◽

Vol 21 (5) ◽

pp. 389-404 ◽

Cited By ~ 15

Author(s):

R. Gerber ◽

Seongsoo Hong

Keyword(s):

Real Time ◽

Timing Constraint ◽

Code Motion ◽

Structural Code

Download Full-text