On the public citation graph

Partial redundancy elimination for access path expressions

0 signed · 71 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.
Claim with ORCID
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.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1002/(sici)1096-9128(199706)9:6<427::aid-cpe300>3.0.co;2-kopenalex-snapshot
Optimizing Java bytecodes
inferredcites →https://doi.org/10.1002/(sici)1096-9128(199706)9:6<445::aid-cpe301>3.0.co;2-lopenalex-snapshot
Optimizing Java: theory and practice
inferredcites →https://doi.org/10.1002/(sici)1097-024x(19980710)28:8<859::aid-spe188>3.0.co;2-8openalex-snapshot
Practical improvements to the construction and destruction of static single assignment form
inferredcites →https://doi.org/10.1002/spe.4380180902openalex-snapshot
Garbage collection in an uncooperative environment
inferredcites →https://doi.org/10.1007/3-540-45102-1_21openalex-snapshot
Optimizing Java Programs in the Presence of Exceptions
inferredcites →https://doi.org/10.1016/s1353-4858(97)90010-6openalex-snapshot
SunOS, Solaris ifconfig ioctis vulnerability
inferredcites →https://doi.org/10.1145/103135.103136openalex-snapshot
Constant propagation with conditional branches
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/118014.117955openalex-snapshot
Making pure object-oriented languages practical
inferredcites →https://doi.org/10.1145/143103.143137openalex-snapshot
A safe approximate algorithm for interprocedural aliasing
inferredcites →https://doi.org/10.1145/158511.158639openalex-snapshot
Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side effects
inferredcites →https://doi.org/10.1145/173262.155096openalex-snapshot
Interprocedural modification side effect analysis with pointer aliasing
inferredcites →https://doi.org/10.1145/177492.177575openalex-snapshot
Improvements to graph coloring register allocation
inferredcites →https://doi.org/10.1145/199448.199466openalex-snapshot
An extended form of must alias analysis for dynamic allocation
inferredcites →https://doi.org/10.1145/200994.201003openalex-snapshot
Beyond induction variables
inferredcites →https://doi.org/10.1145/223428.207111openalex-snapshot
Efficient context-sensitive pointer analysis for C programs
inferredcites →https://doi.org/10.1145/223428.207112openalex-snapshot
Context-insensitive alias analysis reconsidered
inferredcites →https://doi.org/10.1145/223428.207119openalex-snapshot
Selective specialization for object-oriented languages
inferredcites →https://doi.org/10.1145/223428.207154openalex-snapshot
Global code motion/global value numbering
inferredcites →https://doi.org/10.1145/237721.237724openalex-snapshot
Is it a tree, a DAG, or a cyclic graph? A shape analysis for heap-directed pointers in C
inferredcites →https://doi.org/10.1145/237721.237727openalex-snapshot
Points-to analysis in almost linear time
inferredcites →https://doi.org/10.1145/245882.245905openalex-snapshot
An orthogonally persistent Java
inferredcites →https://doi.org/10.1145/258916.258918openalex-snapshot
Automatic inline allocation of objects
inferredcites →https://doi.org/10.1145/258916.258940openalex-snapshot
A new algorithm for partial redundancy elimination based on SSA form
inferredcites →https://doi.org/10.1145/258916.258943openalex-snapshot
Register promotion in C programs
inferredcites →https://doi.org/10.1145/262004.262005openalex-snapshot
Nesting of reducible and irreducible loops
inferredcites →https://doi.org/10.1145/263699.263703openalex-snapshot
Fast and accurate flow-insensitive points-to analysis
inferredcites →https://doi.org/10.1145/268946.268948openalex-snapshot
Alias analysis of executable code
inferredcites →https://doi.org/10.1145/268946.268957openalex-snapshot
Putting pointer analysis to work
inferredcites →https://doi.org/10.1145/268946.268973openalex-snapshot
Single and loving it
inferredcites →https://doi.org/10.1145/277652.277656openalex-snapshot
A new algorithm for scalar register promotion based on SSA form
inferredcites →https://doi.org/10.1145/277652.277659openalex-snapshot
Register promotion by sparse partial redundancy elimination of loads and stores
inferredcites →https://doi.org/10.1145/277652.277668openalex-snapshot
Using static single assignment form to improve flow-insensitive pointer analysis
inferredcites →https://doi.org/10.1145/277652.277670openalex-snapshot
Type-based alias analysis
inferredcites →https://doi.org/10.1145/277652.277738openalex-snapshot
Garbage collection and local variable type-precision and liveness in Java virtual machines
inferredcites →https://doi.org/10.1145/286942.286943openalex-snapshot
An evaluation of automatic object inline allocation techniques
inferredcites →https://doi.org/10.1145/304065.304106openalex-snapshot
Fixing the Java memory model
inferredcites →https://doi.org/10.1145/359060.359069openalex-snapshot
Global optimization by suppression of partial redundancies
inferredcites →https://doi.org/10.1145/53990.53993openalex-snapshot
Detecting conflicts between structure accesses
inferredcites →https://doi.org/10.1145/73560.73561openalex-snapshot
Detecting equality of variables in programs
inferredcites →https://doi.org/10.1145/73560.73562openalex-snapshot
Global value numbers and redundant computations
inferredcites →https://doi.org/10.1145/74818.74831openalex-snapshot
Customization: optimizing compiler technology for SELF, a dynamically-typed object-oriented programming language
inferredcites →https://doi.org/10.1145/74878.74884openalex-snapshot
An efficient implementation of SELF a dynamically-typed object-oriented language based on prototypes
inferredcites →https://doi.org/10.1145/773473.178262openalex-snapshot
A general data dependence test for dynamic, pointer-based data structures
inferredcites →https://doi.org/10.1145/773473.178263openalex-snapshot
Interprocedural may-alias analysis for pointers
inferredcites →https://doi.org/10.1145/773473.178264openalex-snapshot
Context-sensitive interprocedural points-to analysis in the presence of function pointers
inferredcites →https://doi.org/10.1145/872726.806984openalex-snapshot
Register allocation & spilling via graph coloring
inferredcites →https://doi.org/10.1145/93548.93562openalex-snapshot
Iterative type analysis and extended message splitting; optimizing dynamically-typed object-oriented programs
inferredcites →https://doi.org/10.1145/93548.93585openalex-snapshot
Analysis of pointers and structures

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/spe.604openalex-snapshot
Partial redundancy elimination for access expressions by speculative code motion
inferred← citeshttps://doi.org/10.1002/spe.618openalex-snapshot
Anticipation‐based partial redundancy elimination for static single assignment form
inferred← citeshttps://doi.org/10.1007/3-540-45498-5_2openalex-snapshot
A Framework for Persistence-Enabled Optimization of Java Object Stores
inferred← citeshttps://doi.org/10.1007/3-540-49257-7_1openalex-snapshot
Issues Raised by Three Years of Developing PJama: An Orthogonally Persistent Platform for Java™
inferred← citeshttps://doi.org/10.1007/978-3-540-24644-2_25openalex-snapshot
Load Elimination in the Presence of Side Effects, Concurrency and Precise Exceptions
inferred← citeshttps://doi.org/10.1007/978-3-642-19595-2_3openalex-snapshot
Lowering STM Overhead with Static Analysis
inferred← citeshttps://doi.org/10.1007/978-3-642-39038-8_11openalex-snapshot
RedCard: Redundant Check Elimination for Dynamic Race Detectors
inferred← citeshttps://doi.org/10.1007/s10664-014-9321-0openalex-snapshot
A large study on the effect of code obfuscation on the quality of java code
inferred← citeshttps://doi.org/10.1016/j.jss.2006.06.015openalex-snapshot
Interprocedural side-effect analysis for incomplete object-oriented software modules
inferred← citeshttps://doi.org/10.1109/compsac.2016.146openalex-snapshot
JRed: Program Customization and Bloatware Mitigation Based on Static Analysis
inferred← citeshttps://doi.org/10.1109/wcre.2012.17openalex-snapshot
Code Defactoring: Evaluating the Effectiveness of Java Obfuscations
inferred← citeshttps://doi.org/10.1145/1028976.1028978openalex-snapshot
Converting Java classes to use generics
inferred← citeshttps://doi.org/10.1145/1035292.1028978openalex-snapshot
Converting Java classes to use generics
inferred← citeshttps://doi.org/10.1145/1065895.1065897openalex-snapshot
Instruction combining for coalescing memory accesses using global code motion
inferred← citeshttps://doi.org/10.1145/1138035.1138036openalex-snapshot
A lifetime optimal algorithm for speculative PRE
inferred← citeshttps://doi.org/10.1145/2429069.2429115openalex-snapshot
Towards fully automatic placement of security sanitizers and declassifiers
inferred← citeshttps://doi.org/10.1145/2480359.2429115openalex-snapshot
Towards fully automatic placement of security sanitizers and declassifiers
inferred← citeshttps://doi.org/10.1145/320384.320427openalex-snapshot
Mostly-copying reachability-based orthogonal persistence
inferred← citeshttps://doi.org/10.1145/379605.379635openalex-snapshot
Type-based analysis and applications
inferred← citeshttps://doi.org/10.1145/383721.383732openalex-snapshot
Using types to analyze and optimize object-oriented programs
inferred← citeshttps://doi.org/10.4218/etrij.15.0114.0036openalex-snapshot
Static Dalvik Bytecode Optimization for Android Applications
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.