Search results for "constant propagation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Vivek Sarkar, Kathleen Knobe	Enabling Sparse Constant Propagation of Array Elements via Array SSA Form.	SAS	1998	DBLP DOI BibTeX RDF	static single assignment (SSA) form, conditional constant propagation, Array SSA form, unreachable code elimination, constant propagation
3	Robert Metzger, Sean Stroud	Interprocedural Constant Propagation: An Empirical Study.	LOPLAS	1993	DBLP DOI BibTeX RDF	abstract interpretation, code optimization, control-flow graph, interprocedural analysis, dataflow graph, constant propagation
3	Mark N. Wegman, F. Kenneth Zadeck	Constant Propagation with Conditional Branches.	ACM Trans. Program. Lang. Syst.	1991	DBLP DOI BibTeX RDF	procedure integration, type determination, abstract interpretation, code optimization, control flow graph, interprocedural analysis, static single assignment form, constant propagation
2	Silvian Calman, Jianwen Zhu	Increasing the Scope and Resolution of Interprocedural Static Single Assignment.	SAS	2009	DBLP DOI BibTeX RDF	dataflow, constant propagation, SSA, interprocedural
2	Roy Armoni, Limor Fix, Ranan Fraer, Tamir Heyman, Moshe Y. Vardi, Yakir Vizel, Yael Zbar	Deeper Bound in BMC by Combining Constant Propagation and Abstraction.	ASP-DAC	2007	DBLP DOI BibTeX RDF
2	Silvius Rus, Guobin He, Christophe Alias, Lawrence Rauchwerger	Region array SSA.	PACT	2006	DBLP DOI BibTeX RDF	array SSA, parallelization, constant propagation
2	Niels H. Christensen, Robert Glück	Offline partial evaluation can be as accurate as online partial evaluation.	ACM Trans. Program. Lang. Syst.	2004	DBLP DOI BibTeX RDF	offline partial evaluation, online partial evaluation, generalization, metacomputation, program specialization, constant propagation, Binding-time analysis
2	Markus Müller-Olm, Oliver Rüthing	On the Complexity of Constant Propagation.	ESOP	2001	DBLP DOI BibTeX RDF
2	Frank Vahid, Rilesh Patel, Greg Stitt	Propagating constants past software to hardware peripherals in fixed-application embedded systems.	SIGARCH Computer Architecture News	2001	DBLP DOI BibTeX RDF	embedded systems, low power, synthesis, system-on-a-chip, intellectual property, platforms, cores, tuning, constant propagation
2	Jens Knoop, Oliver Rüthing	Constant Propagation on the Value Graph: Simple Constants and Beyond.	CC	2000	DBLP DOI BibTeX RDF
2	Helmut Seidl, Bernhard Steffen	Constraint-Based Inter-Procedural Analysis of Parallel Programs.	ESOP	2000	DBLP DOI BibTeX RDF	Inter-procedural program analysis, explicit parallelism, bitvector problems, simple constant propagation, coincidence theorems
2	Jens Knoop	Parallel Constant Propagation.	Euro-Par	1998	DBLP DOI BibTeX RDF
2	Evelyn Duesterwald, Rajiv Gupta, Mary Lou Soffa	A Practical Framework for Demand-Driven Interprocedural Data Flow Analysis.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	copy constant propagation, def-use chains, demand-driven algorithms, distributive data flow frameworks, data flow analysis, program optimizations, interprocedural data flow analysis
2	Clark Verbrugge, Phong Co, Laurie J. Hendren	Generalized Constant Propagation: A Study in C.	CC	1996	DBLP DOI BibTeX RDF
2	Paul R. Carini, Michael Hind	Flow-Sensitive Interprocedural Constant Propagation.	PLDI	1995	DBLP DOI BibTeX RDF
2	Shmuel Sagiv, Thomas W. Reps, Susan Horwitz	Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation.	TAPSOFT	1995	DBLP DOI BibTeX RDF
2	Cliff Click, Keith D. Cooper	Combining Analyses, Combining Optimizations.	ACM Trans. Program. Lang. Syst.	1995	DBLP DOI BibTeX RDF	value numbering, data-flow analysis, optimizing compilers, constant propagation
2	Eric Stoltz, Michael Wolfe, Michael P. Gerlek	Constant propagation: a fresh, demand-driven look.	SAC	1994	DBLP DOI BibTeX RDF	compiler optimization, constant propagation, SSA, demand-driven analysis
2	David Binkley	Interprocedural Constant Propagation using Dependence Graphs and a Data-Flow Model.	CC	1994	DBLP DOI BibTeX RDF
2	Dan Grove, Linda Torczon	Interprocedural Constant Propagation: A Study of Jump Function Implementations.	PLDI	1993	DBLP DOI BibTeX RDF
1	Silvian Calman	Evaluating Constant Propagation and Scalar Evolution Analysis on Interprocedural SSA Form.	Software Engineering Research and Practice	2009	DBLP BibTeX RDF
1	Cristina Cifuentes, Nathan Keynes, Lian Li, Bernhard Scholz	Program analysis for bug detection using parfait: invited talk.	PEPM	2009	DBLP DOI BibTeX RDF	partial evaluation, symbolic analysis, constant propagation
1	Cindy Rubio-González, Haryadi S. Gunawi, Ben Liblit, Remzi H. Arpaci-Dusseau, Andrea C. Arpaci-Dusseau	Error propagation analysis for file systems.	PLDI	2009	DBLP DOI BibTeX RDF	copy constant propagation, interprocedural dataflow analysis, weighted pushdown systems, binary decision diagrams, static program analysis
1	Kanupriya Gulati, Suganth Paul, Sunil P. Khatri, Srinivas Patil, Abhijit Jas	FPGA-based hardware acceleration for Boolean satisfiability.	ACM Trans. Design Autom. Electr. Syst.	2009	DBLP DOI BibTeX RDF	Boolean satisfiabilty (SAT), boolean constant propagation (BCP), conflict induced clauses, non-chronological backtrack, FPGA
1	Yosi Ben-Asher, Nadav Rotem	The effect of unrolling and inlining for Python bytecode optimizations.	SYSTOR	2009	DBLP DOI BibTeX RDF	optimizations, Python, bytecode, dynamic languages
1	Gilles Barthe, Benjamin Grégoire, Sylvain Heraud, César Kunz, Anne Pacalet	Implementing a Direct Method for Certificate Translation.	ICFEM	2009	DBLP DOI BibTeX RDF
1	Chun-Yu Shei, Arun Chauhan	Compile-Time Disambiguation of MATLAB Types through Concrete Interpretation with Automatic Run-Time Fallback.	eScience	2008	DBLP DOI BibTeX RDF	octave, compiler, type inference, MATLAB, constant propagation
1	Aditya V. Thakur, R. Govindarajan	Comprehensive path-sensitive data-flow analysis.	CGO	2008	DBLP DOI BibTeX RDF	destructive merge, split graph, data-flow analysis, precision, restructuring, path-sensitive, code duplication
1	Kyungwoo Lee, Zino Benaissa, Juan Rodriguez	A dynamic tool for finding redundant computations in native code.	WODA	2008	DBLP DOI BibTeX RDF	compiler generated code, dynamic instrumentation, performance tools, dynamic data-flow analysis
1	Stephen A. Edwards, Jia Zeng	Static elaboration of recursion for concurrent software.	PEPM	2008	DBLP DOI BibTeX RDF	SHIM, static elaboration, concurrency, recursion, partial evaluation
1	Greta Yorsh, Eran Yahav, Satish Chandra	Generating precise and concise procedure summaries.	POPL	2008	DBLP DOI BibTeX RDF	micro-transformers, relational analysis, symbolic summary, typestate verification, composition, summarization, aliasing, dataflow analysis
1	Subhajit Roy, Y. N. Srikant	Improving flow-insensitive solutions for non-separable dataflow problems.	SAC	2008	DBLP DOI BibTeX RDF	compilers, compiler optimizations, dataflow analysis
1	Markus Müller-Olm, Helmut Seidl	Upper Adjoints for Fast Inter-procedural Variable Equalities.	ESOP	2008	DBLP DOI BibTeX RDF
1	Paul Lokuciejewski, Heiko Falk, Martin Schwarzer, Peter Marwedel, Henrik Theiling	Influence of procedure cloning on WCET prediction.	CODES+ISSS	2007	DBLP DOI BibTeX RDF	WCET minimization, context-sensitive WCET-analysis, compiler optimizations
1	Ludo Van Put, Dominique Chanet, Koen De Bosschere	Whole-program linear-constant analysis with applications to link-time optimization.	SCOPES	2007	DBLP DOI BibTeX RDF
1	Hamdi Yahyaoui, Mourad Debbabi, Nadia Tawbi	A Denotational Semantic Model for Validating JVML/CLDC Optimizations under Isabelle/HOL.	QSIC	2007	DBLP DOI BibTeX RDF
1	Nathan Cooprider, John Regehr	Pluggable abstract domains for analyzing embedded software.	LCTES	2006	DBLP DOI BibTeX RDF	abstract interpretation, embedded software, TinyOS
1	Lixin Su, Mikko H. Lipasti	Dynamic Class Hierarchy Mutation.	CGO	2006	DBLP DOI BibTeX RDF
1	Antoine Miné	Symbolic Methods to Enhance the Precision of Numerical Abstract Domains.	VMCAI	2006	DBLP DOI BibTeX RDF
1	Brian Fahs, Todd M. Rafacz, Sanjay J. Patel, Steven S. Lumetta	Continuous Optimization.	ISCA	2005	DBLP DOI BibTeX RDF
1	Viresh Paruthi, Christian Jacobi 0002, Kai Weber	Efficient Symbolic Simulation via Dynamic Scheduling, Don't Caring, and Case Splitting.	CHARME	2005	DBLP DOI BibTeX RDF
1	Mila Dalla Preda, Roberto Giacobazzi	Semantic-Based Code Obfuscation by Abstract Interpretation.	ICALP	2005	DBLP DOI BibTeX RDF	Semantics, Program Transformation, Abstract Interpretation, Code Obfuscation
1	Silvius Rus, Guobin He, Lawrence Rauchwerger	Scalable Array SSA and Array Data Flow Analysis.	LCPC	2005	DBLP DOI BibTeX RDF
1	Søren Debois	Imperative program optimization by partial evaluation.	PEPM	2004	DBLP DOI BibTeX RDF	loop-invariant code motion, bisimulation, strength reduction, code duplication
1	Nick Benton	Simple relational correctness proofs for static analyses and program transformations.	POPL	2004	DBLP DOI BibTeX RDF	partial equivalence relations, security, dependency, program analysis, information flow, types, optimizing compilation, denotational semantics, Hoare logic
1	Qing Yi, Daniel J. Quinlan	Applying Loop Optimizations to Object-Oriented Abstractions Through General Classification of Array Semantics.	LCPC	2004	DBLP DOI BibTeX RDF
1	Jens Knoop, Oliver Rüthing	Constant Propagation on Predicated Code.	J. UCS	2003	DBLP BibTeX RDF
1	Sorin Lerner, Todd D. Millstein, Craig Chambers	Automatically proving the correctness of compiler optimizations.	PLDI	2003	DBLP DOI BibTeX RDF	automated correctness proofs, compiler optimization
1	Patrick Cousot, Radhia Cousot	Systematic design of program transformation frameworks by abstract interpretation.	POPL	2002	DBLP DOI BibTeX RDF
1	Sean Ho, Elizabeth Bullitt, Guido Gerig	Level-Set Evolution with Region Competition: Automatic 3-D Segmentation of Brain Tumors.	ICPR	2002	DBLP DOI BibTeX RDF
1	Markus Müller-Olm, Helmut Seidl	Polynomial Constants Are Decidable.	SAS	2002	DBLP DOI BibTeX RDF
1	Artour Stoutchinin, François de Ferrière	Efficient static single assignment form for predication.	MICRO	2001	DBLP DOI BibTeX RDF
1	Markus Müller-Olm, Helmut Seidl	On optimal slicing of parallel programs.	STOC	2001	DBLP DOI BibTeX RDF	complexity, parallel programs, slicing, undecidability, interprocedural analysis
1	Patrick Cousot	Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations.	ICLP	2001	DBLP DOI BibTeX RDF
1	Michael Hind, Anthony Pioli	Which pointer analysis should I use?	ISSTA	2000	DBLP DOI BibTeX RDF	interprocedural pointer analysis, data flow analysis
1	Miodrag Potkonjak, Jan M. Rabaey	Maximally and arbitrarily fast implementation of linear andfeedback linear computations.	IEEE Trans. on CAD of Integrated Circuits and Systems	2000	DBLP DOI BibTeX RDF
1	Maurizio Giordano, Mario Mango Furnari, Renata Napolitano, Antonio Spagnolo	Constant Propagation in a Hierarchical Intermediate Program Representation.	International Journal of High Speed Computing	1999	DBLP DOI BibTeX RDF
1	K. Gopinath, K. S. Nandakumar	Combining Conditional Constant Propagation and Interprocedural Alias Analysis.	HiPC	1999	DBLP DOI BibTeX RDF
1	Nicholas McKay, Satnam Singh	Debugging Techniques for Dynamically Reconfigurable Hardware.	FCCM	1999	DBLP DOI BibTeX RDF
1	Ganesh Lakshminarayana, Niraj K. Jha	FACT: a framework for applying throughput and power optimizing transformations to control-flow-intensive behavioral descriptions.	IEEE Trans. on CAD of Integrated Circuits and Systems	1999	DBLP DOI BibTeX RDF
1	Jaejin Lee, Samuel P. Midkiff, David A. Padua	A Constant Propagation Algorithm for Explicitly Parallel Programs.	International Journal of Parallel Programming	1998	DBLP DOI BibTeX RDF
1	Ganesh Lakshminarayana, Niraj K. Jha	FACT: A Framework for the Application of Throughput and Power Optimizing Transformations to Control-Flow Intensive Behavioral Descriptions.	DAC	1998	DBLP DOI BibTeX RDF	high-level synthesis, telecommunication
1	James B. Fenwick Jr., Lori L. Pollock	Data Flow Analysis across Tuplespace Process Boundaries. (PDF / PS)	ICCL	1998	DBLP DOI BibTeX RDF	explicity parallelism, distributed shared memory, data flow analysis, tuplespace
1	Diego Novillo, Ronald C. Unrau, Jonathan Schaeffer	Concurrent SSA Form in the Presence of Mutual Exclusion. (PDF / PS)	ICPP	1998	DBLP DOI BibTeX RDF
1	Christian Fecht, Helmut Seidl	Propagating Differences: An Efficient New Fixpoint Algorithm for Distributive Constraint Systems.	ESOP	1998	DBLP DOI BibTeX RDF
1	Florian Martin	PAG - An Efficient Program Analyzer Generator.	STTT	1998	DBLP DOI BibTeX RDF	Specification and generation of analyzers, Abstract interpretation, Data flow analysis, Interprocedural analysis, Compiler construction
1	Michael J. Wirthlin, Brad L. Hutchings	Improving Functional Density Through Run-Time Constant Propagation.	FPGA	1997	DBLP DOI BibTeX RDF
1	Jaejin Lee, Samuel P. Midkiff, David A. Padua	Concurrent Static Single Assignment Form and Constant Propagation for Explicitly Parallel Programs.	LCPC	1997	DBLP DOI BibTeX RDF
1	Lennart Augustsson	Partial Evaluation in Aircraft Crew Planning.	PEPM	1997	DBLP DOI BibTeX RDF	airline crew scheduling, generalized constant propagation, program transformation, partial evaluation
1	Jan A. Bergstra, T. B. Dinesh, John Field, Jan Heering	Toward a Complete Transformational Toolkit for Compilers.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	compiler intermediate representation, program transformation, completion, partial evaluation, term-rewriting, imperative language
1	Susan Horwitz	Precise Flow-Insensitive May-Alias Analysis is NP-Hard.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	static analysis, pointer analysis, dataflow analysis, alias analysis
1	Shmuel Sagiv, Thomas W. Reps, Susan Horwitz	Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation.	Theor. Comput. Sci.	1996	DBLP DOI BibTeX RDF
1	Joel Auslander, Matthai Philipose, Craig Chambers, Susan J. Eggers, Brian N. Bershad	Fast, Effective Dynamic Compilation.	PLDI	1996	DBLP DOI BibTeX RDF
1	Michael Sperber, Peter Thiemann	Realistic Compilation by Partial Evaluation.	PLDI	1996	DBLP DOI BibTeX RDF	compilation of higher-order functional languages, semantics-directed compiler generation, partial evaluation
1	Paolo Tonella, Roberto Fiutem, Giuliano Antoniol, Ettore Merlo	Augmenting Pattern-Based Architectural Recovery with Flow Analysis: Mosaic -A Case Study. (PDF / PS)	WCRE	1996	DBLP DOI BibTeX RDF	software architectures, reverse engineering, pattern matching, program understanding, Mosaic, flow analysis
1	Jan A. Bergstra, T. B. Dinesh, John Field, Jan Heering	A Complete Transformational Toolkit for Compilers.	ESOP	1996	DBLP DOI BibTeX RDF
1	Ettore Merlo, Jean-Francois Girard, Laurie J. Hendren, Renato de Mori	Multi-Valued Constant Propagation Analysis for User Interface Reengineering.	International Journal of Software Engineering and Knowledge Engineering	1995	DBLP DOI BibTeX RDF
1	Mariano P. Consens, Alberto O. Mendelzon, Dimitra Vista, Peter T. Wood	Constant Propagation Versus Join Reordering in Datalog.	Rules in Database Systems	1995	DBLP DOI BibTeX RDF
1	Michael P. Gerlek, Eric Stoltz, Michael Wolfe	Beyond Induction Variables: Detecting and Classifying Sequences Using a Demand-Driven SSA.	ACM Trans. Program. Lang. Syst.	1995	DBLP DOI BibTeX RDF	def-use chain, wraparound variable, constant propagation, static single assignment, demand-driven, strength reduction, induction variable
1	Jason R. C. Patterson	Accurate Static Branch Prediction by Value Range Propagation.	PLDI	1995	DBLP DOI BibTeX RDF
1	Evelyn Duesterwald, Rajiv Gupta, Mary Lou Soffa	Demand-driven Computation of Interprocedural Data Flow.	POPL	1995	DBLP DOI BibTeX RDF
1	Thomas W. Reps, Susan Horwitz, Shmuel Sagiv	Precise Interprocedural Dataflow Analysis via Graph Reachability.	POPL	1995	DBLP DOI BibTeX RDF	C
1	Ettore Merlo, Pierre-Yves Gagné, Jean-Francois Girard, Kostas Kontogiannis, Laurie J. Hendren, Prakash Panangaden, Renato de Mori	Reengineering User Interfaces.	IEEE Software	1995	DBLP DOI BibTeX RDF	specifications abstraction, user interfaces, Reverse engineering, process algebra, flow analysis
1	Michael Rizzo	Using Producer and Consumer Manipulators to Extend Stream I/O Formatting in C++.	SIGPLAN Notices	1994	DBLP DOI BibTeX RDF	C++
1	Justiani, Laurie J. Hendren	Supporting Array Dependence Testing for an Optimizing/Parallelizing C Compiler.	CC	1994	DBLP DOI BibTeX RDF
1	Ettore Merlo, Jean-Francois Girard, Laurie J. Hendren, Renato de Mori	Multi-Valued Constant Propagation for the Reengineering of User Interfaces.	ICSM	1993	DBLP BibTeX RDF
1	Richard Johnson, Keshav Pingali	Dependence-Based Program Analysis.	PLDI	1993	DBLP DOI BibTeX RDF
1	Sandrine Blazy, Philippe Facon	Partial Evaluation and Symbolic Computation for the Understanding of Fortran Programs	CAiSE	1993	DBLP DOI BibTeX RDF
1	Jean-Marie Larchevêque	Interprocedural Type Propagation for Object-Oriented Languages.	ESOP	1992	DBLP DOI BibTeX RDF
1	Philippe Granger	Improving the Results of Static Analyses Programs by Local Decreasing Iteration.	FSTTCS	1992	DBLP DOI BibTeX RDF
1	Bernhard Steffen, Jens Knoop	Finite Constants: Characterizations of a New Decidable Set of Constants.	MFCS	1989	DBLP DOI BibTeX RDF
1	David Callahan, Keith D. Cooper, Ken Kennedy, Linda Torczon	Interprocedural constant propagation (with retrospective)	Best of PLDI	1986	DBLP DOI BibTeX RDF
1	David Callahan, Keith D. Cooper, Ken Kennedy, Linda Torczon	Interprocedural constant propagation.	SIGPLAN Symposium on Compiler Construction	1986	DBLP DOI BibTeX RDF
1	Harold Johnson	Data flow analysis for `intractable' system software.	SIGPLAN Symposium on Compiler Construction	1986	DBLP DOI BibTeX RDF
1	Mark N. Wegman, F. Kenneth Zadeck	Constant Propagation with Conditional Branches.	POPL	1985	DBLP DOI BibTeX RDF
1	Gary A. Kildall	A Unified Approach to Global Program Optimization.	POPL	1973	DBLP DOI BibTeX RDF