On the public citation graph

Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation

https://doi.org/10.1145/2254064
0 signed · 27 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 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.2021.102454openalex-snapshot
Detector + : An approach for detecting, isolating, and preventing timing attacks
inferred← citeshttps://doi.org/10.1016/j.eswa.2025.129972openalex-snapshot
iJTyper: An effective type inference framework for incomplete java codes by integrating constraint- and statistics-based methods
inferred← citeshttps://doi.org/10.1016/j.infsof.2016.05.006openalex-snapshot
Assessing fine-grained feature dependencies
inferred← citeshttps://doi.org/10.1016/j.infsof.2019.04.014openalex-snapshot
A bug finder refined by a large set of open-source projects
inferred← citeshttps://doi.org/10.1016/j.infsof.2021.106564openalex-snapshot
A practical algorithm for learning disjunctive abstraction heuristics in static program analysis
inferred← citeshttps://doi.org/10.1016/j.jcss.2014.06.021openalex-snapshot
Heterogeneous programming with Single Operation Multiple Data
inferred← citeshttps://doi.org/10.1016/j.jlamp.2018.08.003openalex-snapshot
Preemptive type checking
inferred← citeshttps://doi.org/10.1016/j.jpdc.2025.105135openalex-snapshot
Towards efficient program execution on edge-cloud computing platforms
inferred← citeshttps://doi.org/10.1016/j.jss.2015.11.041openalex-snapshot
Optimizing runtime performance of hybrid dynamically and statically typed languages for the .Net platform
inferred← citeshttps://doi.org/10.1016/j.jss.2016.07.032openalex-snapshot
ReSeer: Efficient search-based replay for multiprocessor virtual machines
inferred← citeshttps://doi.org/10.1016/j.jss.2017.04.018openalex-snapshot
How developers micro-optimize Android apps
inferred← citeshttps://doi.org/10.1016/j.jss.2018.02.005openalex-snapshot
Fault-aware management protocols for multi-component applications
inferred← citeshttps://doi.org/10.1016/j.jss.2023.111872openalex-snapshot
Database management system performance comparisons: A systematic literature review
inferred← citeshttps://doi.org/10.1016/j.jss.2024.112255openalex-snapshot
Syntax-preserving program slicing for C-based software product lines
inferred← citeshttps://doi.org/10.1016/j.scico.2015.10.012openalex-snapshot
Randomised testing of a microprocessor model using SMT-solver state generation
inferred← citeshttps://doi.org/10.1016/j.scico.2016.06.001openalex-snapshot
Incremental evaluation of higher-order attributes
inferred← citeshttps://doi.org/10.1145/3385412.3385973openalex-snapshot
Repairing and mechanising the JavaScript relaxed memory model
inferred← citeshttps://doi.org/10.1145/3410463.3414636openalex-snapshot
A Methodology for Principled Approximation in Visual SLAM
inferred← citeshttps://doi.org/10.1145/3460120.3484583openalex-snapshot
Constantine: Automatic Side-Channel Resistance Using Efficient Control and Data Flow Linearization
inferred← citeshttps://doi.org/10.1145/3519939.3523720openalex-snapshot
A study of real-world data races in Golang
inferred← citeshttps://doi.org/10.1145/3527851openalex-snapshot
Combatting Energy Issues for Mobile Applications
inferred← citeshttps://doi.org/10.1145/3548606.3560689openalex-snapshot
Enforcing Fine-grained Constant-time Policies
inferred← citeshttps://doi.org/10.1145/3571212openalex-snapshot
Kater: Automating Weak Memory Model Metatheory and Consistency Checking
inferred← citeshttps://doi.org/10.1145/3652892.3700786openalex-snapshot
LightZone: Lightweight Hardware-Assisted In-Process Isolation for ARM64
inferred← citeshttps://doi.org/10.1145/3725214openalex-snapshot
SILVA: A Scalable Incremental Layered Sparse Value-Flow Analysis
inferred← citeshttps://doi.org/10.11606/d.55.2020.tde-04022020-093604openalex-snapshot
Detecção de defeitos de software utilizando agrupamento de perfis de desempenho
inferred← citeshttps://doi.org/10.11606/t.55.2021.tde-21122021-111842openalex-snapshot
Synthesizing interpretable strategies for real-time planning in zero-sum games
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.