On the public citation graph

Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

https://doi.org/10.1145/503272
0 signed · 35 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.1007/11547662_12openalex-snapshot
Using Dependent Types to Certify the Safety of Assembly Code
inferred← citeshttps://doi.org/10.1007/3-540-36126-x_2openalex-snapshot
Counter-Example Based Predicate Discovery in Predicate Abstraction
inferred← citeshttps://doi.org/10.1007/978-1-4419-9359-5_8openalex-snapshot
Parameterized Program Equivalence Checking
inferred← citeshttps://doi.org/10.1007/978-3-030-99429-7openalex-snapshot
Fundamental Approaches to Software Engineering
inferred← citeshttps://doi.org/10.1007/978-3-540-25935-0_18openalex-snapshot
Guaranteed Optimization for Domain-Specific Programming
inferred← citeshttps://doi.org/10.1007/978-3-540-30477-7_29openalex-snapshot
Exploiting Java Objects Behavior for Memory Management and Optimizations
inferred← citeshttps://doi.org/10.1007/978-3-540-72521-3_17openalex-snapshot
Tree-Traversal Orientation Analysis
inferred← citeshttps://doi.org/10.1007/978-3-540-73001-9_22openalex-snapshot
Time-Complexity Semantics for Feasible Affine Recursions
inferred← citeshttps://doi.org/10.1007/978-3-642-14052-5_26openalex-snapshot
A Framework for Formal Verification of Compiler Optimizations
inferred← citeshttps://doi.org/10.1007/s10009-015-0366-1openalex-snapshot
Automatic equivalence checking of programs with uninterpreted functions and integer arithmetic
inferred← citeshttps://doi.org/10.1007/s10664-009-9107-yopenalex-snapshot
Experimental evaluation of a tool for the verification and transformation of source code in event-driven systems
inferred← citeshttps://doi.org/10.1007/s10990-008-9027-3openalex-snapshot
Imperative-program transformation by instrumented-interpreter specialization
inferred← citeshttps://doi.org/10.1007/s11227-009-0301-xopenalex-snapshot
Using Pit to improve security in low-level programs
inferred← citeshttps://doi.org/10.1007/s11241-006-6883-yopenalex-snapshot
Verifying distributed real-time properties of embedded systems via graph transformations and model checking
inferred← citeshttps://doi.org/10.1016/j.cl.2004.05.002openalex-snapshot
A type system for static and dynamic checking of C++ pointers
inferred← citeshttps://doi.org/10.1016/j.cose.2025.104692openalex-snapshot
GJALLARHORN: A framework for vulnerability detection via electromagnetic side-channel analysis in embedded systems
inferred← citeshttps://doi.org/10.1016/j.entcs.2004.04.036openalex-snapshot
Correspondence Assertions for Process Synchronization in Concurrent Communications
inferred← citeshttps://doi.org/10.1016/j.entcs.2009.07.085openalex-snapshot
Quantitative Notions of Leakage for One-try Attacks
inferred← citeshttps://doi.org/10.1016/j.ins.2006.03.012openalex-snapshot
Generalising the array split obfuscation
inferred← citeshttps://doi.org/10.1016/j.ins.2010.07.008openalex-snapshot
A pure labeled transition semantics for the applied pi calculus
inferred← citeshttps://doi.org/10.1016/j.jlap.2010.01.001openalex-snapshot
On the potential advantages of exploiting behavioural information for contract-based service discovery and composition
inferred← citeshttps://doi.org/10.1016/j.scico.2007.07.004openalex-snapshot
Java heap protection for debugging native methods
inferred← citeshttps://doi.org/10.1016/j.scico.2011.11.006openalex-snapshot
Programming errors in traversal programs over structured data
inferred← citeshttps://doi.org/10.1016/j.scico.2014.04.014openalex-snapshot
Space consumption analysis by abstract interpretation: Reductivity properties
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80096-9openalex-snapshot
Random Walk Based Heuristic Algorithms for Distributed Memory Model Checking
inferred← citeshttps://doi.org/10.1049/iet-sen:20070027openalex-snapshot
Validation of web service compositions
inferred← citeshttps://doi.org/10.1145/1292316.1292319openalex-snapshot
Reachability analysis for annotated code
inferred← citeshttps://doi.org/10.1145/1723028.1723056openalex-snapshot
Cache line reservation
inferred← citeshttps://doi.org/10.1145/3574137openalex-snapshot
Compositional Reasoning for Non-multicopy Atomic Architectures
inferred← citeshttps://doi.org/10.1177/1094342009106195openalex-snapshot
Hierarchical Task-Based Programming With StarSs
inferred← citeshttps://doi.org/10.15368/theses.2009.64openalex-snapshot
JDiet: Footprint Reduction for Memory-constrained Systems
inferred← citeshttps://doi.org/10.15514/ispras-2013-24-12openalex-snapshot
Introduction to CEGAR — Counter-Example Guided Abstraction Refinement
inferred← citeshttps://doi.org/10.34961/777openalex-snapshot
Assertion-based loop invariant generation
inferred← citeshttps://doi.org/10.4204/eptcs.393.0openalex-snapshot
Proceedings of the 18th International Workshop on the ACL2 Theorem Prover and Its Applications
inferred← citeshttps://doi.org/10.48456/tr-757openalex-snapshot
Improving cache performance by runtime data movement
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.