On the public citation graph
Symbolic Analysis for Parallelizing Compilers
0 signed · 173 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1002/cpe.4330050704openalex-snapshot
Restructuring Fortran programs for Cedar
inferredcites →https://doi.org/10.1002/cpe.4330050706openalex-snapshot
Engineering a data dependence test
inferredcites →https://doi.org/10.1007/3-540-57502-2_69openalex-snapshot
Symbolic program analysis and optimization for parallelizing compilers
inferredcites →https://doi.org/10.1007/3-540-57659-2_30openalex-snapshot
FIAT: A framework for interprocedural analysis and transformation
inferredcites →https://doi.org/10.1007/978-0-585-26829-3_5openalex-snapshot
Interprocedural Symbolic Analysis
inferredcites →https://doi.org/10.1007/978-1-4613-1077-8openalex-snapshot
Parallel Programming and Compilers
inferredcites →https://doi.org/10.1007/978-1-4684-6894-6openalex-snapshot
Dependence Analysis for Supercomputing
inferredcites →https://doi.org/10.1007/bfb0038674openalex-snapshot
On estimating and enhancing cache effectiveness
inferredcites →https://doi.org/10.1016/0022-0000(81)90036-2openalex-snapshot
Semantics of probabilistic programs
inferredcites →https://doi.org/10.1016/c2009-0-22103-9openalex-snapshot
Symbolic Logic and Mechanical Theorem Proving
inferredcites →https://doi.org/10.1051/ro/1988220302431openalex-snapshot
Parametric integer programming
inferredcites →https://doi.org/10.1080/00029890.1991.11995778openalex-snapshot
Proof of Recursive Unsolvability of Hilbert's Tenth Problem
inferredcites →https://doi.org/10.1093/logcom/2.4.511openalex-snapshot
Abstract Interpretation Frameworks
inferredcites →https://doi.org/10.1109/71.127258openalex-snapshot
Automatic extraction of functional parallelism from ordinary programs
inferredcites →https://doi.org/10.1109/71.180621openalex-snapshot
Performance analysis pf parallelizing compilers on the Perfect Benchmarks programs
inferredcites →https://doi.org/10.1109/71.86110openalex-snapshot
An implementation of interprocedural bounded regular section analysis
inferredcites →https://doi.org/10.1109/tc.1987.5009495openalex-snapshot
Guided Self-Scheduling: A Practical Scheduling Scheme for Parallel Supercomputers
inferredcites →https://doi.org/10.1109/tse.1975.6312852openalex-snapshot
Property extraction in well-founded property sets
inferredcites →https://doi.org/10.1109/tse.1976.233533openalex-snapshot
Goal-Directed Program Transformation
inferredcites →https://doi.org/10.1109/tse.1979.234207openalex-snapshot
Symbolic Evaluation and the Analysis of Programs
inferredcites →https://doi.org/10.1109/tse.1985.231547openalex-snapshot
Allocating Independent Subtasks on Parallel Processors
inferredcites →https://doi.org/10.1137/0211007openalex-snapshot
Symbolic Program Analysis in Almost-Linear Time
inferredcites →https://doi.org/10.1142/s0129053389000044openalex-snapshot
PARAFRASE-2: AN ENVIRONMENT FOR PARALLELIZING, PARTITIONING, SYNCHRONIZING, AND SCHEDULING PROGRAMS ON MULTIPROCESSORS
inferredcites →https://doi.org/10.1145/102782.102783openalex-snapshot
A random polynomial-time algorithm for approximating the volume of convex bodies
inferredcites →https://doi.org/10.1145/103135.103136openalex-snapshot
Constant propagation with conditional branches
inferredcites →https://doi.org/10.1145/113445.113447openalex-snapshot
Efficient and exact data dependence analysis
inferredcites →https://doi.org/10.1145/115372.115320openalex-snapshot
Efficiently computing static single assignment form and the control dependence graph
inferredcites →https://doi.org/10.1145/12130.12176openalex-snapshot
Computing the volume is difficult
inferredcites →https://doi.org/10.1145/12276.13329openalex-snapshot
Direct parallelization of call statements
inferredcites →https://doi.org/10.1145/125826.125848openalex-snapshot
The Omega test: a fast and practical integer programming algorithm for dependence analysis
inferredcites →https://doi.org/10.1145/135226.135232openalex-snapshot
Factoring: a method for scheduling parallel loops
inferredcites →https://doi.org/10.1145/135226.135233openalex-snapshot
A practical algorithm for exact array dependence analysis
inferredcites →https://doi.org/10.1145/143369.143387openalex-snapshot
Processor allocation and loop scheduling on multiprocessor computers
inferredcites →https://doi.org/10.1145/161468.161472openalex-snapshot
Cost analysis of logic programs
inferredcites →https://doi.org/10.1145/178243.178254openalex-snapshot
Counting solutions to Presburger formulas
inferredcites →https://doi.org/10.1145/24039.24041openalex-snapshot
The program dependence graph and its use in optimization
inferredcites →https://doi.org/10.1145/29873.29875openalex-snapshot
Automatic translation of FORTRAN programs to vector form
inferredcites →https://doi.org/10.1145/321574.321591openalex-snapshot
On Canonical Forms and Simplification
inferredcites →https://doi.org/10.1145/3392717.3400034openalex-snapshot
Optimizing supercompilers for supercomputers
inferredcites →https://doi.org/10.1145/355744.355751openalex-snapshot
Symbolic Solution of Finite-Difference Equations
inferredcites →https://doi.org/10.1145/355769.355772openalex-snapshot
Some MACSYMA Programs for Solving Recurrence Relations
inferredcites →https://doi.org/10.1145/359863.359888openalex-snapshot
An algorithm for reduction of operator strength
inferredcites →https://doi.org/10.1145/360827.360844openalex-snapshot
The parallel execution of DO loops
inferredcites →https://doi.org/10.1145/41625.41629openalex-snapshot
Semantic parallelization: a practical exercise in abstract interpretation
inferredcites →https://doi.org/10.1145/512760.512770openalex-snapshot
Automatic discovery of linear restraints among variables of a program
inferredcites →https://doi.org/10.1145/55364.55403openalex-snapshot
Introducing symbolic problem solving techniques in the dependence testing phases of a vectorizer
inferredcites →https://doi.org/10.1145/7902.7904openalex-snapshot
Advanced compiler optimizations for supercomputers
inferredcites →https://doi.org/10.1145/800168.811544openalex-snapshot
Induction variables in very high level languages
inferredcites →https://doi.org/10.1145/93542.93583openalex-snapshot
Automatic recognition of induction variables and recurrence relations by abstract interpretation
inferredcites →https://doi.org/10.1201/9780203026922openalex-snapshot
Global Optimization Using Interval Analysis
inferredcites →https://doi.org/10.5555/62972.62987openalex-snapshot
Vectorizing compilers: a test suite and results
inferredcites →https://doi.org/10.5555/62972.62995openalex-snapshot
Compiling issues for supercomputers
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/cpe.1015openalex-snapshot
Parametric timing estimation with Newton–Gregory formulae
inferred← citeshttps://doi.org/10.1002/cpe.851openalex-snapshot
Recurrence analysis for effective array prefetching in Java
inferred← citeshttps://doi.org/10.1002/spe.1028openalex-snapshot
Safe, multiphase bounds check elimination in Java
inferred← citeshttps://doi.org/10.1002/spe.683openalex-snapshot
STLlint: lifting static checking from languages to libraries
inferred← citeshttps://doi.org/10.1007/11532378_23openalex-snapshot
Performance of OSCAR Multigrain Parallelizing Compiler on SMP Servers
inferred← citeshttps://doi.org/10.1007/11532378_27openalex-snapshot
Automatic Parallelization Using the Value Evolution Graph
inferred← citeshttps://doi.org/10.1007/11532378_9openalex-snapshot
A Geometric Approach for Partitioning N-Dimensional Non-rectangular Iteration Spaces
inferred← citeshttps://doi.org/10.1007/11577188_33openalex-snapshot
An Incremental Compilation Approach for OpenMP Applications
inferred← citeshttps://doi.org/10.1007/11587514_15openalex-snapshot
Induction Variable Analysis with Delayed Abstractions
inferred← citeshttps://doi.org/10.1007/11596110_19openalex-snapshot
Performance Analysis of Symbolic Analysis Techniques for Parallelizing Compilers
inferred← citeshttps://doi.org/10.1007/11596110_3openalex-snapshot
Hierarchical Parallelism Control for Multigrain Parallel Processing
inferred← citeshttps://doi.org/10.1007/11859802_16openalex-snapshot
Parallelizing User-Defined and Implicit Reductions Globally on Multiprocessors
inferred← citeshttps://doi.org/10.1007/11860990_12openalex-snapshot
Symbolic Analysis of Imperative Programming Languages
inferred← citeshttps://doi.org/10.1007/3-540-35767-x_28openalex-snapshot
Induction Variable Analysis without Idiom Recognition: Beyond Monotonicity
inferred← citeshttps://doi.org/10.1007/3-540-39999-2_43openalex-snapshot
Coarse-grain Task Parallel Processing Using the OpenMP Backend of the OSCAR Multigrain Parallelizing Compiler
inferred← citeshttps://doi.org/10.1007/3-540-44681-8_39openalex-snapshot
Efficient Dependence Analysis for Java Arrays
inferred← citeshttps://doi.org/10.1007/3-540-44905-1_33openalex-snapshot
Symbolic Analysis in the PROMIS Compiler
inferred← citeshttps://doi.org/10.1007/3-540-44947-7_11openalex-snapshot
Eliminating Redundant Range Checks in GNAT Using Symbolic Evaluation
inferred← citeshttps://doi.org/10.1007/3-540-45306-7_9openalex-snapshot
Efficient Symbolic Analysis for Optimizing Compilers
inferred← citeshttps://doi.org/10.1007/3-540-45403-9_7openalex-snapshot
Interprocedural Analysis Based on Guarded Array Regions
inferred← citeshttps://doi.org/10.1007/3-540-45574-4_13openalex-snapshot
Automatic Coarse Grain Task Parallel Processing on SMP Using OpenMP
inferred← citeshttps://doi.org/10.1007/3-540-48753-0_12openalex-snapshot
Interprocedural Symbolic Evaluation of Ada Programs with Aliases
inferred← citeshttps://doi.org/10.1007/3-540-49530-4_4openalex-snapshot
On the Automatic Parallelization of Sparse and Irregular Fortran Programs
inferred← citeshttps://doi.org/10.1007/3-540-49530-4_7openalex-snapshot
A Case for Combining Compile-Time and Run-Time Parallelization
inferred← citeshttps://doi.org/10.1007/978-0-387-35672-3_7openalex-snapshot
Making the Usage of STL Safe
inferred← citeshttps://doi.org/10.1007/978-3-030-32304-2_6openalex-snapshot
Syntactic and Semantic Soundness of Structural Dataflow Analysis
inferred← citeshttps://doi.org/10.1007/978-3-030-35225-7_9openalex-snapshot
Memory-Access-Pattern Analysis Techniques for OpenCL Kernels
inferred← citeshttps://doi.org/10.1007/978-3-540-24644-2_15openalex-snapshot
Index-Association Based Dependence Analysis and its Application in Automatic Parallelization
inferred← citeshttps://doi.org/10.1007/978-3-540-49051-7_15openalex-snapshot
The Design of the PROMIS Compiler
inferred← citeshttps://doi.org/10.1007/978-3-540-69330-7_27openalex-snapshot
Scalable Array SSA and Array Data Flow Analysis
inferred← citeshttps://doi.org/10.1007/978-3-540-85261-2_22openalex-snapshot
Flow-Sensitive Loop-Variant Variable Classification in Linear Time
inferred← citeshttps://doi.org/10.1007/978-3-540-85261-2_6openalex-snapshot
Language Extensions in Support of Compiler Parallelization
inferred← citeshttps://doi.org/10.1007/bfb0017277openalex-snapshot
σ-SSA and its construction through symbolic interpretation
inferred← citeshttps://doi.org/10.1007/bfb0024215openalex-snapshot
Achieving multi-level parallelization
inferred← citeshttps://doi.org/10.1007/bfb0025875openalex-snapshot
A new algorithm for global optimization for parallelism and locality
inferred← citeshttps://doi.org/10.1007/bfb0031649openalex-snapshot
Effective symbolic analysis to support parallelizing compilers and performance analysis
inferred← citeshttps://doi.org/10.1007/s10766-018-0577-7openalex-snapshot
An Analytical Evaluation of Data Dependence Analysis Techniques
inferred← citeshttps://doi.org/10.1007/s11227-017-2187-3openalex-snapshot
K-DT: a formal system for the evaluation of linear data dependence testing techniques
inferred← citeshttps://doi.org/10.1007/s11432-010-0074-0openalex-snapshot
OpenMP compiler for distributed memory architectures
inferred← citeshttps://doi.org/10.1016/j.entcs.2010.09.002openalex-snapshot
A Modular Static Analysis Approach to Affine Loop Invariants Detection
inferred← citeshttps://doi.org/10.1016/j.jss.2011.11.1039openalex-snapshot
A symbolic analysis framework for static analysis of imperative programming languages
inferred← citeshttps://doi.org/10.1016/s0167-739x(97)00039-3openalex-snapshot
Symbolic analysis techniques for program parallelization
inferred← citeshttps://doi.org/10.1016/s0167-8191(98)00028-3openalex-snapshot
Interprocedural analyses of Fortran programs
inferred← citeshttps://doi.org/10.1016/s0167-8191(99)00086-1openalex-snapshot
Compilation techniques for parallel systems
inferred← citeshttps://doi.org/10.1016/s1383-7621(97)00078-7openalex-snapshot
PACWON: A parallelizing compiler for workstations on a network
inferred← citeshttps://doi.org/10.1023/a:1007500300397openalex-snapshot
The Design of the PROMIS Compiler—Towards Multi-Level Parallelization
inferred← citeshttps://doi.org/10.1023/a:1008193114940openalex-snapshot
Symbolic Cache Analysis for Real-Time Systems
inferred← citeshttps://doi.org/10.1023/b:ijpp.0000042084.99636.a0openalex-snapshot
Look Left, Look Right, Look Left Again: An Application of Fractal Symbolic Analysis to Linear Algebra Code Restructuring
inferred← citeshttps://doi.org/10.1109/71.888633openalex-snapshot
A unified symbolic evaluation framework for parallelizing compilers
inferred← citeshttps://doi.org/10.1109/hpcc.2012.108openalex-snapshot
A Nonlinear Array Subscripts Dependence Test
inferred← citeshttps://doi.org/10.1109/icpads.1998.741148openalex-snapshot
Alignment and distribution is NOT (always) NP-hard
inferred← citeshttps://doi.org/10.1109/icpp.2009.19openalex-snapshot
Efficient Scheduling of Nested Parallel Loops on Multi-Core Systems
inferred← citeshttps://doi.org/10.1109/icppw.2005.60openalex-snapshot
Object-Distribution Analysis: Technique for Parallel Loop Distribution of Object-Oriented Programs
inferred← citeshttps://doi.org/10.1109/icsm.2013.20openalex-snapshot
An Accurate Stack Memory Abstraction and Symbolic Analysis Framework for Executables
inferred← citeshttps://doi.org/10.1109/ipdps.2005.300openalex-snapshot
Object-Distribution Analysis for Program Decomposition and Re-Clustering
inferred← citeshttps://doi.org/10.1109/ipdps.2008.4536344openalex-snapshot
Symbolic expression analysis for compiled communication
inferred← citeshttps://doi.org/10.1109/ipps.1996.508098openalex-snapshot
Toward symbolic performance prediction of parallel programs
inferred← citeshttps://doi.org/10.1109/ipps.1997.580968openalex-snapshot
A compile-time partitioning strategy for non-rectangular loop nests
inferred← citeshttps://doi.org/10.1109/ispan.2002.1004289openalex-snapshot
Interprocedural induction variable analysis
inferred← citeshttps://doi.org/10.1109/ispdc.2005.14openalex-snapshot
An Efficient Load Balancing Scheme for Grid-based High Performance Scientific Computing
inferred← citeshttps://doi.org/10.1109/iwia.2001.955200openalex-snapshot
An efficient algorithm for pointer-to-array access conversion for compiling and optimizing DSP applications
inferred← citeshttps://doi.org/10.1109/iwia.2002.1035015openalex-snapshot
Tight non-linear loop timing estimation
inferred← citeshttps://doi.org/10.1109/iwia.2004.10018openalex-snapshot
Array Data Dependence Testing with the Chains of Recurrences Algebra
inferred← citeshttps://doi.org/10.1109/pact.1999.807422openalex-snapshot
The modulo interval: a simple and practical representation for program analysis
inferred← citeshttps://doi.org/10.1109/pact.2005.19openalex-snapshot
Efficient techniques for advanced data dependence analysis
inferred← citeshttps://doi.org/10.1109/pcee.2002.1115213openalex-snapshot
Multigrain automatic parallelization in Japanese Millennium Project IT21. Advanced Parallelizing Compiler
inferred← citeshttps://doi.org/10.1109/pcee.2002.1115214openalex-snapshot
Automatic loop parallelization: an abstract interpretation approach
inferred← citeshttps://doi.org/10.1109/tcad.2008.923244openalex-snapshot
Code and Data Structure Partitioning for Parallel and Flexible MPSoC Specification Using Designer-Controlled Recoding
inferred← citeshttps://doi.org/10.1109/tpds.2008.131openalex-snapshot
Nonlinear Symbolic Analysis for Advanced Program Parallelization
inferred← citeshttps://doi.org/10.1109/tse.2010.23openalex-snapshot
Semi-Proving: An Integrated Method for Program Proving, Testing, and Debugging
inferred← citeshttps://doi.org/10.1142/s0129054103001819openalex-snapshot
Interprocedural Induction Variable Analysis
inferred← citeshttps://doi.org/10.1142/s0129626408003570openalex-snapshot
SYMBOLIC EXPRESSION ANALYSIS FOR COMPILED COMMUNICATION
inferred← citeshttps://doi.org/10.1145/1006209.1006226openalex-snapshot
A unified framework for nonlinear dependence testing and symbolic analysis
inferred← citeshttps://doi.org/10.1145/1065944.1065962openalex-snapshot
A novel approach for partitioning iteration spaces with variable densities
inferred← citeshttps://doi.org/10.1145/1075382.1075385openalex-snapshot
Interprocedural parallelization analysis in SUIF
inferred← citeshttps://doi.org/10.1145/1148109.1148117openalex-snapshot
A general approach for partitioning N-dimensional parallel nested loops with conditionals
inferred← citeshttps://doi.org/10.1145/1152154.1152198openalex-snapshot
An empirical evaluation of chains of recurrences for array dependence testing
inferred← citeshttps://doi.org/10.1145/1185448.1185450openalex-snapshot
Toward efficient flow-sensitive induction variable analysis and dependence testing for loop optimization
inferred← citeshttps://doi.org/10.1145/1238844.1238852openalex-snapshot
The design and development of ZPL
inferred← citeshttps://doi.org/10.1145/1274971.1275008openalex-snapshot
Sensitivity analysis for automatic parallelization on multi-cores
inferred← citeshttps://doi.org/10.1145/1278480.1278676openalex-snapshot
Designer-controlled generation of parallel and flexible heterogeneous MPSoC specification
inferred← citeshttps://doi.org/10.1145/1345206.1345250openalex-snapshot
Cache-aware iteration space partitioning
inferred← citeshttps://doi.org/10.1145/1534530.1534551openalex-snapshot
Cache-aware partitioning of multi-dimensional iteration spaces
inferred← citeshttps://doi.org/10.1145/1542275.1542303openalex-snapshot
Synchronization optimizations for efficient execution on multi-cores
inferred← citeshttps://doi.org/10.1145/224170.224426openalex-snapshot
The synergetic effect of compiler, architecture, and manual optimizations on the performance of CFD on multiprocessors
inferred← citeshttps://doi.org/10.1145/224538.224650openalex-snapshot
Advanced compilation techniques in the PARADIGM compiler for distributed-memory multicomputers
inferred← citeshttps://doi.org/10.1145/226295.226318openalex-snapshot
Towards a structural load testing tool
inferred← citeshttps://doi.org/10.1145/233561.233568openalex-snapshot
Symbolic analysis for parallelizing compilers
inferred← citeshttps://doi.org/10.1145/263580.263648openalex-snapshot
Symbolic evaluation for parallelizing compilers
inferred← citeshttps://doi.org/10.1145/263580.263811openalex-snapshot
Compile-time minimisation of load imbalance in loop nests
inferred← citeshttps://doi.org/10.1145/277830.277874openalex-snapshot
Predicated array data-flow analysis for run-time parallelization
inferred← citeshttps://doi.org/10.1145/2897511openalex-snapshot
A Stack Memory Abstraction and Symbolic Analysis Framework for Executables
inferred← citeshttps://doi.org/10.1145/305138.305230openalex-snapshot
High-level semantic optimization of numerical codes
inferred← citeshttps://doi.org/10.1145/570406.570418openalex-snapshot
Array form representation of idiom recognition system for numerical programs
inferred← citeshttps://doi.org/10.1145/583810.583820openalex-snapshot
Simple and effective array prefetching in Java
inferred← citeshttps://doi.org/10.1155/1999/108763openalex-snapshot
On the Automatic Parallelization of Sparse and Irregular Fortran Programs
inferred← citeshttps://doi.org/10.13140/rg.2.2.31266.03528openalex-snapshot
The CR# Algebra and its Application in Loop Analysis and Optimization
inferred← citeshttps://doi.org/10.1504/ijhpcn.2004.007564openalex-snapshot
Towards optimisation of openMP codes for synchronisation and data reuse
inferred← citeshttps://doi.org/10.5555/1025127.1026013openalex-snapshot
The Value Evolution Graph and its Use in Memory Reference Analysis
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.