Code Motion

John H. Reif

doi:10.1137/0209030

Code Motion

SIAM Journal on Computing ◽

10.1137/0209030 ◽

1980 ◽

Vol 9 (2) ◽

pp. 375-395 ◽

Cited By ~ 4

Author(s):

John H. Reif

Keyword(s):

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

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

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

Debugging highly-optimized Ada with code motion (DHACM)

Proceedings of the conference on TRI-Ada '97 - TRI-Ada '97 ◽

10.1145/269629.269650 ◽

1997 ◽

Cited By ~ 1

Author(s):

Kevin Tucker

Keyword(s):

Code Motion

Download Full-text