Search results for "data-flow analyses"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Maria João Frade, Ando Saabas, Tarmo Uustalu	Foundational certification of data-flow analyses.	TASE	2007	DBLP DOI BibTeX RDF	data-flow analyses, certification of analyses and optimizations, applied vs. foundational, type systems, program optimizations, Hoare logics, natural semantics
2	Maria João Frade, Ando Saabas, Tarmo Uustalu	Bidirectional data-flow analyses, type-systematically.	PEPM	2009	DBLP DOI BibTeX RDF	mechanical transformation of program proofs, program analyses and optimizations, type systems, program logics
2	Gleb Naumovich	Using the observer design pattern for implementation of data flow analyses.	PASTE	2002	DBLP DOI BibTeX RDF	algorithm implementation, static analysis, data flow analysis
2	Donglin Liang, Mary Jean Harrold	Equivalence Analysis: A General Technique to Improve the Efficiency of Data-flow Analyses in the Presence of Pointers.	PASTE	1999	DBLP DOI BibTeX RDF	data-flow analysis, alias analysis
2	Ken Kennedy, Nenad Nedeljkovic	Combining dependence and data-flow analyses to optimize communication. (PDF / PS)	IPPS	1995	DBLP DOI BibTeX RDF	data-flow analyses, regular communication, data-flow analysis method, overlapping communication, performance, compilers, dependence, program compilers, distributed memory systems, parallel languages, communication overhead, communication optimizations, distributed-memory machines, data-parallel languages
1	Jade Alglave, Daniel Kroening, John Lugton, Vincent Nimal, Michael Tautschnig	Soundness of Data Flow Analyses for Weak Memory Models.	APLAS	2011	DBLP DOI BibTeX RDF
1	Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi	A framework for abstract interpretation of timed concurrent constraint programs.	PPDP	2009	DBLP DOI BibTeX RDF	timed concurrent constraint programming, abstract interpretation, reactive systems, denotational semantics, process calculi
1	Linh Lam, Qin Tang, Zhile Zou, Liana Fong, David Frank	Identifying Data Constrained Activities for Migration Planning.	IEEE SCC	2009	DBLP DOI BibTeX RDF
1	Guilherme Ottoni, David I. August	Communication optimizations for global multi-threaded instruction scheduling.	ASPLOS	2008	DBLP DOI BibTeX RDF	graph min-cut, communication, synchronization, data-flow analysis, multi-threading, instruction scheduling
1	Anders Hessellund, Peter Sestoft	Flow Analysis of Code Customizations.	ECOOP	2008	DBLP DOI BibTeX RDF
1	Peter Vanbroekhoven, Gerda Janssens, Maurice Bruynooghe, Francky Catthoor	A practical dynamic single assignment transformation.	ACM Trans. Design Autom. Electr. Syst.	2007	DBLP DOI BibTeX RDF	reaching definitions, parallelization, Data flow analysis, arrays, single assignment
1	Peeter Laud, Tarmo Uustalu, Varmo Vene	Type systems equivalent to data-flow analyses for imperative languages.	Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
1	Michelle Mills Strout, Barbara Kreaseck, Paul D. Hovland	Data-Flow Analysis for MPI Programs.	ICPP	2006	DBLP DOI BibTeX RDF	MPI-ICFG, MPI, data-flow analysis, SPMD, activity analysis
1	Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen	Data-Flow Analysis as Model Checking Within the jABC.	CC	2006	DBLP DOI BibTeX RDF
1	Teck Bok Tok, Samuel Z. Guyer, Calvin Lin	Efficient Flow-Sensitive Interprocedural Data-Flow Analysis in the Presence of Pointers.	CC	2006	DBLP DOI BibTeX RDF
1	Yuqiang Huang, Bruce R. Childers, Mary Lou Soffa	Catching and Identifying Bugs in Register Allocation.	SAS	2006	DBLP DOI BibTeX RDF
1	S. Alexander Spoon, Olin Shivers	Dynamic data polyvariance using source-tagged classes.	DLS	2005	DBLP DOI BibTeX RDF
1	Mary W. Hall, Saman P. Amarasinghe, Brian R. Murphy, Shih-Wei Liao, Monica S. Lam	Interprocedural parallelization analysis in SUIF.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	parallelization, symbolic analysis, Data dependence analysis, interprocedural data-flow analysis
1	Peter Vanbroekhoven, Gerda Janssens, Maurice Bruynooghe, Francky Catthoor	Transformation to Dynamic Single Assignment Using a Simple Data Flow Analysis.	APLAS	2005	DBLP DOI BibTeX RDF
1	Rei Odaira, Kei Hiraki	Partial Value Number Redundancy Elimination.	LCPC	2004	DBLP DOI BibTeX RDF
1	Yves Bertot, Benjamin Grégoire, Xavier Leroy	A Structured Approach to Proving Compiler Optimizations Based on Dataflow Analysis.	TYPES	2004	DBLP DOI BibTeX RDF
1	Sriraman Tallam, Rajiv Gupta	Bitwidth aware global register allocation.	POPL	2003	DBLP DOI BibTeX RDF	minimal bitwidth, packing interfering nodes, subword data, embedded applications
1	Lunjin Lu	Path Dependent Analysis of Logic Programs.	Higher-Order and Symbolic Computation	2003	DBLP DOI BibTeX RDF	call strings, abstract interpretation, context sensitive analysis
1	Lunjin Lu	Path dependent analysis of logic programs.	PEPM	2002	DBLP DOI BibTeX RDF	Call strings, Abstract interpretation, Context sensitive analysis
1	Donglin Liang, Mary Jean Harrold	Equivalence analysis and its application in improving the efficiency of program slicing.	ACM Trans. Softw. Eng. Methodol.	2002	DBLP DOI BibTeX RDF	program slicing, data-flow analysis, Alias analysis
1	Claus Brabrand, Anders Møller, Michael I. Schwartzbach	Static validation of dynamically generated HTML.	PASTE	2001	DBLP DOI BibTeX RDF	HTML
1	Darren C. Atkinson, William G. Griswold	Implementation Techniques for Efficient Data-Flow Analysis of Large Programs. (PDF / PS)	ICSM	2001	DBLP DOI BibTeX RDF	program understanding, program slicing, data-flow analysis
1	Sara Porat, Marina Biberstein, Larry Koved, Bilha Mendelson	Automatic detection of immutable fields in Java.	CASCON	2000	DBLP DOI BibTeX RDF	Java
1	Mary Lou Soffa	Tutorial: Techniques to Improve the Scalability and Precision of Data Flow Analysis.	SAS	1999	DBLP DOI BibTeX RDF
1	Phil Stocks, Barbara G. Ryder, William Landi, Sean Zhang	Comparing Flow and Context Sensitivity on the Modification-Side-Effects Problem.	ISSTA	1998	DBLP DOI BibTeX RDF	interprocedual data-flow analysis, modification side effects, pointer aliasing, empirical study, C, context sensitivity, flow sensitivity
1	Masud Ahmad Malik	Evolution of the High Level Programming Languages: A Critical Perspective.	SIGPLAN Notices	1998	DBLP DOI BibTeX RDF
1	Dhananjay M. Dhamdhere, K. V. Sankaranarayanan	Dynamic Currency Determination in Optimized Programs.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	debugging optimized code, dynamic currency determination, minimal unrolled graph, compiler, code optimization, dynamic slicing, code instrumentation, source-level debugging
1	Max Hailperin	Cost-Optimal Code Motion.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	elimination of partial redundancies, code motion, strength reduction
1	Oliver Rüthing	Bidirectional Data Flow Analysis in Code Motion: Myth and Reality.	SAS	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	Jens Knoop, Oliver Rüthing, Bernhard Steffen	Towards a tool kit for the automatic generation of interprocedural data flow analyses.	J. Prog. Lang.	1996	DBLP BibTeX RDF
1	Jens Knoop	Partial Dead Code Elimination for Parallel Programs.	Euro-Par, Vol. I	1996	DBLP DOI BibTeX RDF
1	Jens Knoop, Oliver Rüthing, Bernhard Steffen	The Power of Assignment Motion.	PLDI	1995	DBLP DOI BibTeX RDF	assignment motion, bit-vector data flow analyses, partially redundant assignment and expression elimination, data flow analysis, program optimization, code motion
1	Jens Knoop, Oliver Rüthing, Bernhard Steffen	Partial Dead Code Elimination.	PLDI	1994	DBLP DOI BibTeX RDF	assignment motion, bit-vector data flow analyses, data flow analysis, program optimization, code motion, partial redundancy elimination, dead code elimination
1	Amr Sabry, Matthias Felleisen	Is Continuation-Passing Useful for Data Flow Analysis?	PLDI	1994	DBLP DOI BibTeX RDF
1	Kim Marriott, Harald Søndergaard, Neil D. Jones	Denotational Abstract Interpretation of Logic Programs.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	Boolean functions, abstract interpretation, dataflow analysis, global analysis, groundness analysis
1	Charles Consel	Polyvariant Binding-Time Analysis For Applicative Languages.	PEPM	1993	DBLP DOI BibTeX RDF
1	Dror E. Maydan, Saman P. Amarasinghe, Monica S. Lam	Array Data-Flow Analysis and its Use in Array Privatization.	POPL	1993	DBLP DOI BibTeX RDF
1	Jayaram Bhasker	Implementation of an optimizing compiler for VHDL.	SIGPLAN Notices	1988	DBLP DOI BibTeX RDF
1	Flemming Nielson	Abstract Interpretation of Denotational Definions (A Survey).	STACS	1986	DBLP DOI BibTeX RDF
1	Flemming Nielson	Expected forms of data flow analyses.	Programs as Data Objects	1985	DBLP DOI BibTeX RDF
1	Flemming Nielson	Program Transformations in a Denotational Setting.	ACM Trans. Program. Lang. Syst.	1985	DBLP DOI BibTeX RDF