On the public citation graph

Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '94

https://doi.org/10.1145/174675
0 signed · 44 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.1002/spe.657openalex-snapshot
The evaluation of two software watermarking algorithms
inferred← citeshttps://doi.org/10.1007/978-3-319-09284-3_25openalex-snapshot
Minimal-Model-Guided Approaches to Solving Polynomial Constraints and Extensions
inferred← citeshttps://doi.org/10.1007/978-3-319-10181-1_22openalex-snapshot
A Compositional Proof Method for Linearizability Applied to a Wait-Free Multiset
inferred← citeshttps://doi.org/10.1007/978-3-319-11599-3_3openalex-snapshot
DEICS: Data Erasure in Concurrent Software
inferred← citeshttps://doi.org/10.1007/978-3-319-63962-8_185-2openalex-snapshot
Conflict-Free Replicated Data Types (CRDTs)
inferred← citeshttps://doi.org/10.1007/978-3-319-63962-8_333-2openalex-snapshot
Blockchain Transaction Processing
inferred← citeshttps://doi.org/10.1007/978-3-319-77525-8_185openalex-snapshot
Conflict-Free Replicated Data Types CRDTs
inferred← citeshttps://doi.org/10.1007/978-3-319-77525-8_333openalex-snapshot
Blockchain Transaction Processing
inferred← citeshttps://doi.org/10.1007/978-3-642-16901-4_19openalex-snapshot
Practical Parameterised Session Types
inferred← citeshttps://doi.org/10.1007/978-3-642-18381-2_45openalex-snapshot
Information Leakage Analysis by Abstract Interpretation
inferred← citeshttps://doi.org/10.1007/978-3-662-46081-8_13openalex-snapshot
Abstracting and Counting Synchronizing Processes
inferred← citeshttps://doi.org/10.1007/978-94-017-7358-4_26-1openalex-snapshot
Hardware-Aware Compilation
inferred← citeshttps://doi.org/10.1016/j.amper.2025.100225openalex-snapshot
The MuLeCo project: A learner corpus of L1 German learners of Romance languages
inferred← citeshttps://doi.org/10.1016/j.cl.2011.09.001openalex-snapshot
Cyclic reference counting by typed reference fields
inferred← citeshttps://doi.org/10.1016/j.compchemeng.2018.03.004openalex-snapshot
Satisfiability modulo theories for process systems engineering
inferred← citeshttps://doi.org/10.1016/j.entcs.2015.12.021openalex-snapshot
VPHL: A Verified Partial-Correctness Logic for Probabilistic Programs
inferred← citeshttps://doi.org/10.1016/j.entcs.2015.12.022openalex-snapshot
Complete Positivity and Natural Representation of Quantum Computations
inferred← citeshttps://doi.org/10.1016/j.entcs.2016.06.010openalex-snapshot
Fibrational Modal Type Theory
inferred← citeshttps://doi.org/10.1016/j.entcs.2016.09.043openalex-snapshot
Approximate Relational Hoare Logic for Continuous Random Samplings
inferred← citeshttps://doi.org/10.1016/j.ic.2022.104953openalex-snapshot
Intensional Kleene and Rice theorems for abstract program semantics
inferred← citeshttps://doi.org/10.1016/j.jlamp.2015.10.010openalex-snapshot
LCTD: Test-guided proofs for C programs on LLVM
inferred← citeshttps://doi.org/10.1016/j.scico.2014.02.023openalex-snapshot
The design and implementation of Object Grammars
inferred← citeshttps://doi.org/10.1016/j.scico.2023.102957openalex-snapshot
A text-based syntax completion method using LR parsing and its evaluation
inferred← citeshttps://doi.org/10.1016/j.tcs.2021.12.018openalex-snapshot
An adaptation-complete proof system for local reasoning about cloud storage systems
inferred← citeshttps://doi.org/10.1016/j.tcs.2022.09.015openalex-snapshot
Reasoning about block-based cloud storage systems via separation logic
inferred← citeshttps://doi.org/10.1017/s0956796812000032openalex-snapshot
Semantic subtyping with an SMT solver
inferred← citeshttps://doi.org/10.1017/s0956796820000064openalex-snapshot
Heterogeneous binary random-access lists
inferred← citeshttps://doi.org/10.1093/logcom/exz033openalex-snapshot
Decidability of affine solution problems
inferred← citeshttps://doi.org/10.1109/sp.2017.28openalex-snapshot
Machine-Checked Proofs of Privacy for Electronic Voting Protocols
inferred← citeshttps://doi.org/10.1145/1152649.1152650openalex-snapshot
Variant parametric types
inferred← citeshttps://doi.org/10.1145/3360563openalex-snapshot
BDA: practical dependence analysis for binary executables by unbiased whole-program path sampling and per-path abstract interpretation
inferred← citeshttps://doi.org/10.1145/3371115openalex-snapshot
Disentanglement in nested-parallel programs
inferred← citeshttps://doi.org/10.1145/3373718.3394740openalex-snapshot
Russian Constructivism in a Prefascist Theory
inferred← citeshttps://doi.org/10.1145/3385412.3385994openalex-snapshot
From folklore to fact: comparing implementations of stacks and continuations
inferred← citeshttps://doi.org/10.1145/3412377openalex-snapshot
RegionTrack
inferred← citeshttps://doi.org/10.1145/3426422.3426985openalex-snapshot
Sound, heuristic type annotation inference for Ruby
inferred← citeshttps://doi.org/10.1145/3527314openalex-snapshot
Plausible sealing for gradual parametricity
inferred← citeshttps://doi.org/10.1145/3571194openalex-snapshot
CN: Verifying Systems C Code with Separation-Logic Refinement Types
inferred← citeshttps://doi.org/10.1145/3640537.3641563openalex-snapshot
Paguroidea: Fused Parser Generator with Transparent Semantic Actions
inferred← citeshttps://doi.org/10.1145/3656387openalex-snapshot
SMT Theory Arbitrage: Approximating Unbounded Constraints using Bounded Theories
inferred← citeshttps://doi.org/10.1145/3701729openalex-snapshot
A Proof System for the SMrCaIT Calculus
inferred← citeshttps://doi.org/10.1145/3704873openalex-snapshot
Linear and Non-linear Relational Analyses for Quantum Program Optimization
inferred← citeshttps://doi.org/10.1145/3722041.3723094openalex-snapshot
Diagnosing and Neutralizing Address-Sensitive Behavior in Multi-Variant Execution Systems
inferred← citeshttps://doi.org/10.1145/586088.586090openalex-snapshot
Practical extraction techniques for Java
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.