On the public citation graph

Compacting points-to sets through object clustering

https://doi.org/10.1145/3485547
0 signed · 58 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.1007/3-540-61053-7_66openalex-snapshot
Effective representation of aliases and indirect memory operations in SSA form
inferredcites →https://doi.org/10.1007/978-0-387-09823-4openalex-snapshot
Data Mining and Knowledge Discovery Handbook
inferredcites →https://doi.org/10.1007/978-3-030-17465-1_22openalex-snapshot
PhASAR: An Inter-procedural Static Analysis Framework for C/C++
inferredcites →https://doi.org/10.1007/978-3-030-32304-2_3openalex-snapshot
Fast and Precise Handling of Positive Weight Cycles for Field-Sensitive Pointer Analysis
inferredcites →https://doi.org/10.1007/978-3-540-74061-2_17openalex-snapshot
Exploiting Pointer and Location Equivalence to Optimize Pointer Analysis
inferredcites →https://doi.org/10.1007/978-3-642-54807-9_2openalex-snapshot
Parameterized Construction of Program Representations for Sparse Dataflow Analyses
inferredcites →https://doi.org/10.1007/978-3-662-53413-7_5openalex-snapshot
Structure-Sensitive Points-To Analysis for C and C++
inferredcites →https://doi.org/10.1007/b107408openalex-snapshot
Data Mining and Knowledge Discovery Handbook
inferredcites →https://doi.org/10.1093/comjnl/26.4.354openalex-snapshot
A Survey of Recent Advances in Hierarchical Clustering Algorithms
inferredcites →https://doi.org/10.1109/cgo.2004.1281665openalex-snapshot
LLVM: a compilation framework for lifelong program analysis & transformation
inferredcites →https://doi.org/10.1109/cgo.2009.9openalex-snapshot
Wave Propagation and Deep Propagation for Pointer Analysis
inferredcites →https://doi.org/10.1109/cgo.2011.5764696openalex-snapshot
Flow-sensitive pointer analysis for millions of lines of code
inferredcites →https://doi.org/10.1109/cgo51591.2021.9370334openalex-snapshot
Object Versioning for Flow-Sensitive Pointer Analysis
inferredcites →https://doi.org/10.1109/scam.2003.1238026openalex-snapshot
Online cycle detection and difference propagation for pointer analysis
inferredcites →https://doi.org/10.1111/j.1469-8137.1912.tb05611.xopenalex-snapshot
THE DISTRIBUTION OF THE FLORA IN THE ALPINE ZONE. 1
inferredcites →https://doi.org/10.1145/1250734.1250767openalex-snapshot
The ant and the grasshopper
inferredcites →https://doi.org/10.1145/1290520.1290524openalex-snapshot
Efficient field-sensitive pointer analysis of C
inferredcites →https://doi.org/10.1145/1348250.1348255openalex-snapshot
Effective typestate verification in the presence of aliasing
inferredcites →https://doi.org/10.1145/1480881.1480911openalex-snapshot
Semi-sparse flow-sensitive pointer analysis
inferredcites →https://doi.org/10.1145/1640089.1640108openalex-snapshot
Strictly declarative specification of sophisticated points-to analyses
inferredcites →https://doi.org/10.1145/1869459.1869495openalex-snapshot
Parallel inclusion-based points-to analysis
inferredcites →https://doi.org/10.1145/1926385.1926389openalex-snapshot
Points-to analysis with efficient strong updates
inferredcites →https://doi.org/10.1145/1926385.1926390openalex-snapshot
Pick your contexts well
inferredcites →https://doi.org/10.1145/2254064.2254092openalex-snapshot
Design and implementation of sparse global analyses for C-like languages
inferredcites →https://doi.org/10.1145/2338965.2336784openalex-snapshot
Static memory leak detection using full-sparse value-flow analysis
inferredcites →https://doi.org/10.1145/2509136.2509524openalex-snapshot
Set-based pre-processing for points-to analysis
inferredcites →https://doi.org/10.1145/2644805openalex-snapshot
In defense of soundiness
inferredcites →https://doi.org/10.1145/277650.277667openalex-snapshot
Partial online cycle elimination in inclusion constraint graphs
inferredcites →https://doi.org/10.1145/2892208.2892235openalex-snapshot
SVF: interprocedural static value-flow analysis in LLVM
inferredcites →https://doi.org/10.1145/2950290.2950296openalex-snapshot
On-demand strong update analysis via value-flow refinement
inferredcites →https://doi.org/10.1145/3276510openalex-snapshot
Precise and scalable points-to analysis via data-driven context tunneling
inferredcites →https://doi.org/10.1145/3293606openalex-snapshot
Rethinking Incremental and Parallel Pointer Analysis
inferredcites →https://doi.org/10.1145/3428247openalex-snapshot
Learning graph-based heuristics for pointer analysis without handcrafting application-specific features
inferredcites →https://doi.org/10.1145/349299.349310openalex-snapshot
Off-line variable substitution for scaling points-to analysis
inferredcites →https://doi.org/10.1145/378795.378855openalex-snapshot
Ultra-fast aliasing analysis using CLA
inferredcites →https://doi.org/10.1145/781131.781144openalex-snapshot
Points-to analysis using BDDs
inferredcites →https://doi.org/10.1145/996841.996860openalex-snapshot
Symbolic pointer analysis revisited
inferredcites →https://doi.org/10.18637/jss.v053.i09openalex-snapshot
fastcluster : Fast Hierarchical, Agglomerative Clustering Routines for R and Python
inferredcites →https://doi.org/10.23919/fmcad.2019.8894275openalex-snapshot
Unification-based Pointer Analysis without Oversharing
inferredcites →https://doi.org/10.4230/lipics.ecoop.2020.24openalex-snapshot
Flow-Sensitive Type-Based Heap Cloning
inferredcites →https://doi.org/10.5281/zenodo.5501970openalex-snapshot
Compacting Points-To Sets Through Object Clustering (Artifact)
inferredcites →https://doi.org/10.7763/ijcte.2013.v5.736openalex-snapshot
Improving Bit-Vector Representation of Points-To Sets Using Class Hierarchy

What points at this work

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

inferred← citeshttps://doi.org/10.1016/j.cose.2024.104171openalex-snapshot
Thread-sensitive fuzzing for concurrency bug detection
inferred← citeshttps://doi.org/10.1016/j.jss.2025.112352openalex-snapshot
Enhancing concurrency vulnerability detection through AST-based static fuzz mutation
inferred← citeshttps://doi.org/10.1016/j.jss.2025.112753openalex-snapshot
Clash: Enhancing context-sensitivity in data-flow analysis for mitigating the impact of indirect calls
inferred← citeshttps://doi.org/10.1109/cgo68049.2026.11395202openalex-snapshot
PIP: Making Andersen’s Points-to Analysis Sound and Practical for Incomplete C Programs
inferred← citeshttps://doi.org/10.1109/icse55347.2025.00075openalex-snapshot
Interactive Cross-Language Pointer Analysis for Resolving Native Code in Java Programs
inferred← citeshttps://doi.org/10.1109/tse.2024.3377645openalex-snapshot
Generic Sensitivity: Generics-Guided Context Sensitivity for Pointer Analysis
inferred← citeshttps://doi.org/10.1145/3503222.3507770openalex-snapshot
Path-sensitive and alias-aware typestate analysis for detecting OS bugs
inferred← citeshttps://doi.org/10.1145/3540250.3549122openalex-snapshot
Generic sensitivity: customizing context-sensitive pointer analysis for generics
inferred← citeshttps://doi.org/10.1145/3597926.3598120openalex-snapshot
Tai-e: A Developer-Friendly Static Analysis Framework for Java by Harnessing the Good Designs of Classics
inferred← citeshttps://doi.org/10.1145/3656417openalex-snapshot
Scaling Type-Based Points-to Analysis with Saturation
inferred← citeshttps://doi.org/10.1145/3695250openalex-snapshot
SPATA: Effective OS Bug Detection with Summary-Based, Alias-Aware, and Path-Sensitive Typestate Analysis
inferred← citeshttps://doi.org/10.1145/3696443.3708932openalex-snapshot
SkipFlow: Improving the Precision of Points-to Analysis using Primitive Values and Predicate Edges
inferred← citeshttps://doi.org/10.1145/3728928openalex-snapshot
BinDSA: Efficient, Precise Binary-Level Pointer Analysis with Context-Sensitive Heap Reconstruction
inferred← citeshttps://doi.org/10.1145/3728974openalex-snapshot
Type-Alias Analysis: Enabling LLVM IR with Accurate Types
inferred← citeshttps://doi.org/10.1145/3744916.3787840openalex-snapshot
Fast Flow-Sensitive C Program Partitioning via Iterative Value-Flow Refinement
inferred← citeshttps://doi.org/10.1145/3832783.3837421openalex-snapshot
SIMD-Accelerated Sparse Bit-Vectors for Pointer 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.