Sign in
Author

Conference

Journal

Organization

Year

DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Keywords
(4)
Code Size
Compiler Optimization
Iterative Solver
Constant Propagation
Related Publications
(1)
Constant propagation with conditional branches
Subscribe
Academic
Publications
Constant propagation: a fresh, demanddriven look
Constant propagation: a fresh, demanddriven look,10.1145/326619.326791,Eric Stoltz,Michael Wolfe,Michael P. Gerlek
Edit
Constant propagation: a fresh, demanddriven look
(
Citations: 7
)
BibTex

RIS

RefWorks
Download
Eric Stoltz
,
Michael Wolfe
,
Michael P. Gerlek
Constant propagation
is a wellknown static compiler techniquein which values of variables which are determined tobe constants can be passed to expressions which use theseconstants.
Code size
reduction, bounds propagation, anddeadcode elimination are some of the optimizations whichbenefit from this analysis.In this paper, we present a new method for detecting constants,based upon an optimistic demanddriven recursivesolver, as opposed to more traditional iterative solvers. Theproblem ...
Conference:
ACM Symposium on Applied Computing  SAC
, pp. 400404, 1994
DOI:
10.1145/326619.326791
Cumulative
Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
(
portal.acm.org
)
(
portal.acm.org
)
(
portal.acm.org
)
(
doi.acm.org
)
(
www.informatik.unitrier.de
)
More »
Citation Context
(4)
...This evaluation step takes andemanddriven approach [
18
,20], in which variables in the evaluated expression is replaced with their definitions by tracing their defuse chains...
Tomonori Izumida
,
et al.
A Generic Binary Analysis Method for Malware
...For flowsensitive objects our framework records their uses and defs and organizes them into factored usedef chains [
31
]...
Samuel Z. Guyer
,
et al.
Error checking with clientdriven pointer analysis
...There are many algorithms for constant propagation, most of them use a graph representation such as controlow graphs with the static single assignment (SSA) property [21], or even the gated single assignment property [
17
]...
...The most used algorithm for constant propagation is the Sparse conditional constant propagation (SCC) [21,
17
,14,2]...
Karina Olmos
,
et al.
Strategies for SourcetoSource Constant Progagation
...An added benefit of Value Range Propagation is in optimizations like Constant Propagation [
16
] and Dead Code Elimination...
Anshuman Nayak
,
et al.
Precision and error analysis of MATLAB applications during automated h...
References
(15)
Beyond Induction Variables
(
Citations: 99
)
Michael Wolfe
Journal:
Sigplan Notices  SIGPLAN
, vol. 27, no. 7, pp. 162174, 1992
Constant propagation with conditional branches
(
Citations: 428
)
Mark N. Wegman
,
Frank Kenneth Zadeck
Conference:
ACM SIGPLANSIGACT Symposium on Principles of Programming Languages  POPL
, pp. 291299, 1985
The program Dependence Graph and its Use in Optimization
(
Citations: 917
)
Jeanne Ferrante
,
Karl J. Ottenstein
,
Joe D. Warren
Conference:
Symposium on Programming
, pp. 125132, 1984
Interprocedural Constant Propagation: A Study of Jump Function Implementations
(
Citations: 52
)
Dan Grove
,
Linda Torczon
Conference:
SIGPLAN Conference on Programming Language Design and Implementation  PLDI
, pp. 9099, 1993
A unified approach to global program optimization
(
Citations: 457
)
Gary A. Kildall
Conference:
ACM SIGPLANSIGACT Symposium on Principles of Programming Languages  POPL
, pp. 194206, 1973
Sort by:
Citations
(7)
A Generic Binary Analysis Method for Malware
Tomonori Izumida
,
Kokichi Futatsugi
,
Akira Mori
Conference:
International Workshop on Security  IWSEC
, vol. 6434, pp. 199216, 2010
Error checking with clientdriven pointer analysis
(
Citations: 15
)
Samuel Z. Guyer
,
Calvin Lin
Journal:
Science of Computer Programming  SCP
, vol. 58, no. 12, pp. 83114, 2005
Strategies for SourcetoSource Constant Progagation
(
Citations: 21
)
Karina Olmos
,
Eelco Visser
Journal:
Electronic Notes in Theoretical Computer Science  ENTCS
, vol. 70, no. 6, pp. 156175, 2002
Precision and error analysis of MATLAB applications during automated hardware synthesis for FPGAs
(
Citations: 55
)
Anshuman Nayak
,
Malay Haldar
,
Alok N. Choudhary
,
Prithviraj Banerjee
Conference:
Design, Automation, and Test in Europe  DATE
, pp. 722728, 2001
Precision and error analysis of MATLAB applications during automated hardware synthesis for FPGAs
(
Citations: 1
)
Anshuman Nayak
,
M. Haldar
,
Alok Choudhary
,
Prith Banerjee
Conference:
Design, Automation, and Test in Europe  DATE
, pp. 722728, 2001