Search results for "data flow analysis"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	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
4	John V. Harrison, Anthony Berglas	Data Flow Analysis within the ITOC Information System Design Recovery Tool. (PDF / PS)	ASE	1997	DBLP DOI BibTeX RDF	ITOC information system design recovery tool, contemporary fourth-generation languages, redevelopment, rewriting effort, application structure, static schema definition, design recovery tool, 4GL-based information, data flow analysis, data flow analysis
4	Yong-Fong Lee, Barbara G. Ryder	A comprehensive approach to parallel data flow analysis.	ICS	1992	DBLP DOI BibTeX RDF	parallel data flow analysis, parallel algorithms, data flow analysis
3	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
3	Tabinda Waheed, Muhammad Zohaib Z. Iqbal, Zafar I. Malik	Data Flow Analysis of UML Action Semantics for Executable Models.	ECMDA-FA	2008	DBLP DOI BibTeX RDF	Data Flow Analysis, Executable modeling, Executable UML, Action Semantics
3	James J. Hunt, Isabel Tonin, Fridtjof Siebert	Using global data flow analysis on bytecode to aid worst case execution time analysis for real-time Java programs.	JTRES	2008	DBLP DOI BibTeX RDF	realtime Java, verification, data flow analysis, worst case execution time, formal analysis
3	Andrew Cain, Tsong Yueh Chen, D. D. Grant, Fei-Ching Kuo, Jean-Guy Schneider	An Object Oriented Approach towards Dynamic Data Flow Analysis (Short Paper).	QSIC	2008	DBLP DOI BibTeX RDF	Meta-level Programming, Object-Oriented Programs, Program Instrumentation, Dynamic Data Flow Analysis
3	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
3	Kyung-Goo Doh, Seung Cheol Shin	Detection of information leak by data flow analysis.	SIGPLAN Notices	2002	DBLP DOI BibTeX RDF	static analysis, data flow analysis, secure information flow
3	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
3	Junjie Gu, Zhiyuan Li	Efficient Interprocedural Array Data-Flow Analysis for Automatic Program Parallelization.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	array data-flow analysis, Parallelizing compiler, interprocedural analysis, symbolic analysis
3	Alexander Münnich	PRED-DF - a data flow based semantic concurrency control protocol for real-time main-memory database systems.	RTCSA	2000	DBLP DOI BibTeX RDF	PRED-DF semantic concurrency control protocol, predeclaration, real-time main-memory database systems, locking-based protocol, serializable schedule generation, blocking time minimization, predictable behaviour, real-time requirements verification, scheduling, real-time systems, predictability, concurrency control, database management systems, task scheduling, data flow analysis, data flow analysis, deadlines, access protocols, safety-critical software, hard real-time systems, safety-critical applications, verification methods
3	Mahmut T. Kandemir, Prithviraj Banerjee, Alok N. Choudhary, J. Ramanujam, U. Nagaraj Shenoy	A global communication optimization technique based on data-flow analysis and linear algebra.	ACM Trans. Program. Lang. Syst.	1999	DBLP DOI BibTeX RDF	message vectorization, parallelism, global optimizations, data-flow analysis, communication optimizations, distributed-memory machines
3	Jens Knoop	Formal Callability and Its Relevance and Application to Interprocedural Data-Flow Analysis. (PDF / PS)	ICCL	1998	DBLP DOI BibTeX RDF	Formal callability, formal reachability, call graph analysis, program optimization, interprocedural data-flow analysis
3	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
3	Thomas Fahringer, Eduard Mehofer	Buffer-Safe Communication Optimization Based on Data Flow Analysis and Performance Prediction.	IEEE PACT	1997	DBLP DOI BibTeX RDF	Communication, Performance Prediction, Data Flow Analysis, Communication Optimization
3	Rajiv Gupta, David A. Berson, Jesse Zhixi Fang	Resource-Sensitive Profile-Directed Data Flow Analysis for Code Optimization.	MICRO	1997	DBLP BibTeX RDF	aggressive code motion, data flow algorithms, functional unit resources, instruction reordering, partial dead code elimination, resource-sensitive profile-directed data flow analysis, optimization, data flow analysis, instruction schedulers, code optimization, partial redundancy elimination, resource availability
3	Yong-Fong Lee, Barbara G. Ryder, Marc E. Fiuczynski	Region Analysis: A Parallel Elimination Method for Data Flow Analysis.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	elimination algorithms, parallel algorithms, Data flow analysis, program optimization, interval analysis
3	Tsong Yueh Chen, Chi Keen Low	Dynamic Data Flow Analysis for C++.	APSEC	1995	DBLP DOI BibTeX RDF	Software testing, object oriented programming, C++, dynamic data flow analysis
3	Robert Kramer, Rajiv Gupta, Mary Lou Soffa	The Combining DAG: A Technique for Parallel Data Flow Analysis.	IEEE Trans. Parallel Distrib. Syst.	1994	DBLP DOI BibTeX RDF	parallel data flow analysis, sequential data flow algorithm, parallel data flow algorithms, rapid data flow problems, cyclic structures, combining directed acyclic graph, parallelized sequential algorithm, performance, parallel algorithms, parallel algorithm, parallel processing, parallel programming, software tools, multiprocessors, directed graphs, program compilers, DAG, parallel compilers, control flow graph, sequential algorithm
3	István Forgács	Double Iterative Framework for Flow-Sensitive Interprocedural Data Flow Analysis.	ACM Trans. Softw. Eng. Methodol.	1994	DBLP DOI BibTeX RDF	double iterative frameworks, data flow analysis
3	Uday P. Khedker, Dhananjay M. Dhamdhere	A Generalized Theory of Bit Vector Data Flow Analysis.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	bidirectional data flows, data flow frameworks, data flow analysis
3	Mario Südholt, Christoph Steigner	On Interprocedural Data Flow Analysis for Object Oriented Languages.	CC	1992	DBLP DOI BibTeX RDF	class scope, Object oriented language, interprocedural data flow analysis, virtual function
3	Barbara G. Ryder, William Landi, Hemant D. Pande	Profiling an Incremental Data Flow Analysis Algorithm.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	incremental data flow analysis algorithm, empirical profiling, parallel programming, program testing, evolving software systems
3	Michael G. Burke, Barbara G. Ryder	A Critical Analysis of Incremental Iterative Data Flow Analysis Algorithms.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	intraprocedural domains, critical analysis, incremental iterative data flow analysis algorithms, fixed point iteration solution, interprocedural domains, model, parallel algorithms, parallel programming
3	Lori L. Pollock, Mary Lou Soffa	An Incremental Version of Iterative Data Flow Analysis.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	union data flow problems, incremental version, iterative data flow analysis, intersection data-flow problems, program edits, data-flow information, data-flow sets, two-phase approach, data-flow sets, local code changes, parallel programming, systems analysis, iterative methods, set theory, iterative approach
2	Andrew Ian Stone, Steve DiBenedetto, Michelle Mills Strout, Daniel Massey	Scalable simulation of complex network routing policies.	Conf. Computing Frontiers	2010	DBLP DOI BibTeX RDF	metarouting, simulation, performance, routing, parallel, data-flow analysis
2	José Luis Ayala, David Atienza, Philip Brisk	Thermal-aware data flow analysis.	DAC	2009	DBLP DOI BibTeX RDF	compiler, thermal management
2	Uday P. Khedker, Bageshri Karkare	Efficiency, Precision, Simplicity, and Generality in Interprocedural Data Flow Analysis: Resurrecting the Classical Call Strings Method.	CC	2008	DBLP DOI BibTeX RDF
2	Walter Chang, Brandon Streiff, Calvin Lin	Efficient and extensible security enforcement using dynamic data flow analysis.	ACM Conference on Computer and Communications Security	2008	DBLP DOI BibTeX RDF	security enforcement, static analysis, dynamic data flow analysis
2	Alessandra Cavarra	Data Flow Analysis and Testing of Abstract State Machines.	ABZ	2008	DBLP DOI BibTeX RDF
2	Manuel Costa, Jon Crowcroft, Miguel Castro, Antony I. T. Rowstron, Lidong Zhou, Lintao Zhang, Paul Barham	Vigilante: End-to-end containment of Internet worm epidemics.	ACM Trans. Comput. Syst.	2008	DBLP DOI BibTeX RDF	self-certifying alerts, vulnerability condition slicing, program analysis, dynamic data-flow analysis, Worm containment
2	Therrezinha Fernandes	A Kleene Algebra Framework for Data Flow Analysis.	ASWEC	2007	DBLP DOI BibTeX RDF
2	Bernhard Scholz, Johann Blieberger	A New Elimination-Based Data Flow Analysis Framework Using Annotated Decomposition Trees.	CC	2007	DBLP DOI BibTeX RDF
2	Jérôme Leroux, Grégoire Sutre	Accelerated Data-Flow Analysis.	SAS	2007	DBLP DOI BibTeX RDF
2	Jérôme Leroux, Grégoire Sutre	Acceleration in Convex Data-Flow Analysis.	FSTTCS	2007	DBLP DOI BibTeX RDF
2	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
2	Jonathan Ragan-Kelley, Charlie Kilpatrick, Brian W. Smith, Doug Epps, Paul Green, Christophe Hery, Frédo Durand	The lightspeed automatic interactive lighting preview system.	ACM Trans. Graph.	2007	DBLP DOI BibTeX RDF	RenderMan, lighting preview, GPUs, data-flow analysis, interactive rendering, programmable shading
2	Bageshri Karkare, Uday P. Khedker	An improved bound for call strings based interprocedural analysis of bit vector frameworks.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	Bit Vector Data Flow Frameworks, Interprocedural Data Flow Analysis
2	Uday P. Khedker, Amitabha Sanyal, Amey Karkare	Heap reference analysis using access graphs.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	heap references, data flow analysis, liveness, Aliasing
2	M. Hillers, W. Nebel	Impact of Array Data Flow Analysis on the Design of Energy-Efficient Circuits.	PATMOS	2006	DBLP DOI BibTeX RDF
2	Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen	Data-Flow Analysis as Model Checking Within the jABC.	CC	2006	DBLP DOI BibTeX RDF
2	Hanne Riis Nielson, Flemming Nielson	Data Flow Analysis for CCS.	Program Analysis and Compilation	2006	DBLP DOI BibTeX RDF
2	Jingling Xue, Qiong Cai	A lifetime optimal algorithm for speculative PRE.	TACO	2006	DBLP DOI BibTeX RDF	classic PRE, speculative PRE, data-flow analysis, Partial redundancy elimination, lifetime optimality, computational optimality
2	Shih-Wei Liao	Parallelizing User-Defined and Implicit Reductions Globally on Multiprocessors.	Asia-Pacific Computer Systems Architecture Conference	2006	DBLP DOI BibTeX RDF	reduction recognition, implicit reductions, user-defined reductions, parallelization, multiprocessor, multicore, Reduction, data flow analysis, interprocedural analysis
2	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
2	Silvius Rus, Guobin He, Lawrence Rauchwerger	Scalable Array SSA and Array Data Flow Analysis.	LCPC	2005	DBLP DOI BibTeX RDF
2	Yi-Ping You, Chung-Wen Huang, Jenq Kuen Lee	A sink-n-hoist framework for leakage power reduction.	EMSOFT	2005	DBLP DOI BibTeX RDF	balanced scheduling, compilers for low power, power-gating mechanisms, data-flow analysis, leakage power reduction
2	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
2	Mila Dalla Preda	Completeness Refinement in Abstract Symbolic Trajectory Evaluation.	SAS	2004	DBLP DOI BibTeX RDF	Domain Refinement, Model-checking, Verification, Abstract Interpretation, Completeness, Data Flow Analysis, Symbolic Trajectory Evaluation
2	Eva Rose	Lightweight Bytecode Verification.	J. Autom. Reasoning	2003	DBLP DOI BibTeX RDF	data flow analysis, proof-carrying code, bytecode verification
2	Krzysztof Czarnecki, Michael Himsolt, Ernst Richter, Falk Vieweg, Alfred Rosskopf	DataFAN: A Practical Approach to Data Flow Analysis for Ada 95.	Ada-Europe	2002	DBLP DOI BibTeX RDF	language tools, verification, static analysis, quality assurance, safety critical, ASIS, SPARK, mission critical
2	Markus Mohnen	A Graph-Free Approach to Data-Flow Analysis.	CC	2002	DBLP DOI BibTeX RDF
2	Larry Koved, Marco Pistoia, Aaron Kershenbaum	Access rights analysis for Java.	OOPSLA	2002	DBLP DOI BibTeX RDF	Java security, invocation graph, security, data flow analysis, call graph, access rights
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 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
2	Brendon Cahoon, Kathryn S. McKinley	Data Flow Analysis for Software Prefetching Linked Data Structures in Java.	IEEE PACT	2001	DBLP DOI BibTeX RDF
2	Marsha Chechik, John D. Gannon	Automatic Analysis of Consistency between Requirements and Designs.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	SCR requirements, finite-state abstraction, formal specification, static analysis, data-flow analysis
2	Zhiyuan Li, Junjie Gu, Gyungho Lee	Interprocedural Analysis Based on Guarded Array Regions.	Compiler Optimizations for Scalable Parallel Systems Languages	2001	DBLP DOI BibTeX RDF	array data flow analysis, array privatization, guarded array regions, Parallelizing compilers, interprocedural analysis, symbolic analysis
2	Natalia Sidorova, Martin Steffen	Embedding Chaos.	SAS	2001	DBLP DOI BibTeX RDF	open reactive systems, Model checking, data-flow analysis, SDL
2	Lynn Choi, Pen-Chung Yew	Compiler Analysis for Cache Coherence: Interprocedural Array Data-Flow Analysis and Its Impact on Cache Performance.	IEEE Trans. Parallel Distrib. Syst.	2000	DBLP DOI BibTeX RDF	Compiler, shared-memory multiprocessors, data-flow analysis, cache coherence, interprocedural analysis
2	Johann Blieberger, Bernd Burgstaller, Bernhard Scholz	Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs.	Ada-Europe	2000	DBLP DOI BibTeX RDF
2	Ugo A. Buy, Alessandro Orso, Mauro Pezzè	Automated Testing of Classes.	ISSTA	2000	DBLP DOI BibTeX RDF	testing and analysis, testing object-oriented software, data flow analysis, symbolic execution, class testing
2	Daniel Brand	A Software Falsifier.	ISSRE	2000	DBLP DOI BibTeX RDF	static analysis, theorem proving, data-flow analysis, symbolic execution
2	Mahmut T. Kandemir, Alok N. Choudhary, Prithviraj Banerjee, J. Ramanujam, U. Nagaraj Shenoy	Minimizing Data and Synchronization Costs in One-Way Communication.	IEEE Trans. Parallel Distrib. Syst.	2000	DBLP DOI BibTeX RDF	One-way communication, redundant synchronization, linear algebra techniques, message-passing, compiler optimizations, data-flow analysis, data-parallel languages
2	Jens Knoop	Parallel Data-Flow Analysis of Explicitly Parallel Programs.	Euro-Par	1999	DBLP DOI BibTeX RDF
2	Vladimir I. Shelekhov, Sergey V. Kuksenko	Data Flow Analysis of Java Programs in the Presence of Exceptions.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF
2	Atanas Rountev, Barbara G. Ryder, William Landi	Data-Flow Analysis of Program Fragments.	ESEC / SIGSOFT FSE	1999	DBLP DOI BibTeX RDF
2	Mary Lou Soffa	Tutorial: Techniques to Improve the Scalability and Precision of Data Flow Analysis.	SAS	1999	DBLP DOI BibTeX RDF
2	Sungdo Moon, Mary W. Hall	Evaluation of Predicated Array Data-Flow Analysis for Automatic Parallelization.	PPOPP	1999	DBLP DOI BibTeX RDF
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	Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo	Effectivness of Abstract Interpretation in Automatic Parallelization: A Case Study in Logic Programming.	ACM Trans. Program. Lang. Syst.	1999	DBLP DOI BibTeX RDF	parallelism, logic programming, abstract interpretation, data flow analysis, automatic parallelization
2	Vladimir I. Shelekhov, Sergey V. Kuksenko	On the Practical Static Checker of Semantic Run-Time Errors.	APSEC	1999	DBLP DOI BibTeX RDF	static analyzer, program analysis, data flow analysis
2	Jens Knoop, Oliver Rüthing	Optimization Under the Perspective of Soundness, Completeness, and Reusability.	Correct System Design	1999	DBLP DOI BibTeX RDF	Programming paradigms (imperative, explicitly parallel, object-oriented), safety and coincidence theorems, optimizer generators, optimality, completeness, data-flow analysis, reusability, soundness, program optimization, code motion, admissibility
2	Andy King, Jan-Georg Smaus, Patricia M. Hill	Quotienting Share for Dependency Analysis.	ESOP	1999	DBLP DOI BibTeX RDF	definite Boolean functions, widening, abstract interpretation, data-flow analysis, dependency analysis, (Constraint) logic programs
2	Jens Knoop	From DFA-Frameworks to DFA-Generators: A Unifying Multiparadigm Approach.	TACAS	1999	DBLP DOI BibTeX RDF	data-flow analysis (DFA), DFA-frameworks, DFA-generators, coincidence theorems, intraprocedural, conditional DFA, parallel, object-oriented, abstract interpretation, Program optimization, interprocedural
2	Vugranam C. Sreedhar, Guang R. Gao, Yong-Fong Lee	A New Framework for Elimination-Based Data Flow Analysis Using DJ Graphs.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	DJ graphs, Tarjan's interval, exhaustive and incremental data flow analysis, irreducible flowgraphs, reducible flowgraphs
2	Glenn Ammons, James R. Larus	Improving Data-flow Analysis with Path Profiles.	PLDI	1998	DBLP DOI BibTeX RDF
2	Glenn Ammons, James R. Larus	Improving data-flow analysis with path profiles (with retrospective)	Best of PLDI	1998	DBLP DOI BibTeX RDF
2	Jodi Tims, Rajiv Gupta, Mary Lou Soffa	Data Flow Analysis Driven Dynamic Data Partitioning.	LCR	1998	DBLP DOI BibTeX RDF
2	Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil	Efficient Composite Data Flow Analysis Applied to Concurrent Programs.	PASTE	1998	DBLP DOI BibTeX RDF
2	Oliver Rüthing	Bidirectional Data Flow Analysis in Code Motion: Myth and Reality.	SAS	1998	DBLP DOI BibTeX RDF
2	Pu-Lin Yeh, Jin-Cherng Lin	Software Testability Measurements Derived from Data Flow Analysis.	CSMR	1998	DBLP DOI BibTeX RDF	software testability, software testing, software measurement, data flow, testing criteria
2	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
2	Chi Keen Low, Tsong Yueh Chen	CDFA: A Testing System for C++.	TOOLS	1998	DBLP DOI BibTeX RDF	testing C++ program, implicit state variables, functional instrumentation, object-based instrumentation, dynamic data flow analysis
2	Hanne Riis Nielson, Flemming Nielson	Flow Logics for Constraint Based Analysis.	CC	1998	DBLP DOI BibTeX RDF	Program analysis, data flow analysis, attribute grammars, control flow analysis, constraint based analysis
2	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
2	C. Samuel Hsieh	A Fine-Grained Data-Flow Analysis Framework.	Acta Inf.	1997	DBLP DOI BibTeX RDF
2	Junjie Gu, Zhiyuan Li, Gyungho Lee	Experience with Efficient Array Data-Flow Analysis for Array Privatization.	PPOPP	1997	DBLP DOI BibTeX RDF
2	Anthony Berglas, John V. Harrison	Evaluation of the ITOC information system design recovery tool. (PDF / PS)	WPC	1997	DBLP DOI BibTeX RDF	ITOC information system design recovery tool evaluation, legacy information systems, Ingres to Oracle Conversion project, large collaborative research initiative, application structure, static schema definition, Ingres 4GL applications, Oracle CASE tool, simple data mining, real commercial applications, software maintenance, data flow analysis, query analysis
2	Vugranam C. Sreedhar, Guang R. Gao, Yong-Fong Lee	A New Framework for Exhaustive and Incremental Data Flow Analysis Using DJ Graphs.	PLDI	1996	DBLP DOI BibTeX RDF
2	Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil	Verification of Communication Protocols Using Data Flow Analysis.	SIGSOFT FSE	1996	DBLP DOI BibTeX RDF
2	Evelyn Duesterwald, Rajiv Gupta, Mary Lou Soffa	A Demand-Driven Analyzer for Data Flow Testing at the Integration Level.	ICSE	1996	DBLP BibTeX RDF	definition-use pairs, demand-driven analyzer, exhaustive analyzer, incremental analyzer, incremental data-flow updates, large program testing, program procedure interfaces, test case requirements, performance, static analysis, program testing, data flow analysis, unit testing, overhead, integration testing, data flow testing
2	Matthew B. Dwyer, Lori A. Clarke	A Flexible Architecture for Building Data Flow Analyzers.	ICSE	1996	DBLP BibTeX RDF	combined data flow problems, data flow analyzer building, high-level component generators, pre-existing components, rapid prototyping, data flow analysis, software prototyping, precision, program diagnostics, design tradeoffs, flexible architecture
2	Richard Johnson, Michael S. Schlansker	Analysis Techniques for Predicated Code.	MICRO	1996	DBLP BibTeX RDF	boolean operand, graph-based data structure, predicated code, program analysis tools, run-time value, compiler optimization, instruction-level parallelism, data flow analysis, compiler analysis
2	Xiaojie Li, Kenichi Harada	An efficient asynchronous data transmission mechanism for data parallel languages. (PDF / PS)	ICPADS	1996	DBLP DOI BibTeX RDF	asynchronous data transmission mechanism, linguistic support, array references, N-level message queue, exact data-flow analysis, data transmission requests, SPMD code, parallel programming, compilers, program compilers, distributed memory systems, parallel languages, optimization techniques, distributed memory multiprocessors, data parallel languages
2	Sung-Kwan Kim, Sang Lyul Min, Rhan Ha	Efficient worst case timing analysis of data caching. (PDF / PS)	IEEE Real Time Technology and Applications Symposium	1996	DBLP DOI BibTeX RDF	efficient worst case timing analysis, accurate timing analysis, pipelined execution, multiple memory locations, pointer based references, dynamic load/store instructions, WCET overestimation, global data flow analysis, benchmark programs, real-time systems, computational complexity, data caching, cache storage, instruction sets, reduced instruction set computing, data dependence analysis, cache block
2	Jean-Marie Favre	Preprocessors from an Abstract Point of View. (PDF / PS)	WCRE	1996	DBLP DOI BibTeX RDF	program preprocessors, software maintenance problems, software variants, complex preprocessor files, problem comprehension, Champollion/APP, preprocessor maintenance, software tools, abstractions, program slicing, C language, program specialization, interprocedural data flow analysis, program processors, CPP
2	Manish Gupta, Edith Schonberg, Harini Srinivasan	A Unified Framework for Optimizing Communication in Data-Parallel Programs.	IEEE Trans. Parallel Distrib. Syst.	1996	DBLP DOI BibTeX RDF	Array section descriptors, data-flow analysis, data-parallelism, High Performance Fortran, communication optimizations, partial redundancy elimination, data availability
2	Mary Jean Harrold, Gregg Rothermel	Separate Computation of Alias Information for Reuse.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	separate analysis, static analysis, reuse, data flow analysis, Aliasing, pointers