On the public citation graph

Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '95

https://doi.org/10.1145/199448

0 signed · 43 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/11691372_5openalex-snapshot

Evaluating the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs

inferred← citeshttps://doi.org/10.1007/978-3-642-03829-7_7openalex-snapshot

Verification of Concurrent Programs with Chalice

inferred← citeshttps://doi.org/10.1007/978-3-662-45231-8_9openalex-snapshot

Fully Abstract Operation Contracts

inferred← citeshttps://doi.org/10.1007/978-3-662-45501-2_19openalex-snapshot

Impact Analysis via Reachability and Alias Analysis

inferred← citeshttps://doi.org/10.1007/978-3-662-46663-6_10openalex-snapshot

Towards a Scalable Framework for Context-Free Language Reachability

inferred← citeshttps://doi.org/10.1007/s10009-025-00783-4openalex-snapshot

Analysing futex-based synchronisation primitives using model checking

inferred← citeshttps://doi.org/10.1007/s10703-012-0153-5openalex-snapshot

Temporal property verification as a program analysis task

inferred← citeshttps://doi.org/10.1007/s10817-012-9258-1openalex-snapshot

Specification and Verification of Concurrent Programs Through Refinements

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.2019.09.007openalex-snapshot

On Bisimilarity in Lambda Calculi with Continuous Probabilistic Choice

inferred← citeshttps://doi.org/10.1016/j.infsof.2018.07.001openalex-snapshot

Diversity driven adaptive test generation for concurrent data structures

inferred← citeshttps://doi.org/10.1016/j.ipl.2024.106492openalex-snapshot

Branching bisimulation semantics for quantum processes

inferred← citeshttps://doi.org/10.1016/j.is.2008.01.006openalex-snapshot

Dual syntax for XML languages

inferred← citeshttps://doi.org/10.1016/j.jlamp.2016.05.003openalex-snapshot

Effect-polymorphic behaviour inference for deadlock checking

inferred← citeshttps://doi.org/10.1016/j.jss.2018.10.001openalex-snapshot

A general method for rendering static analyses for diverse concurrency models modular

inferred← citeshttps://doi.org/10.1016/j.jss.2020.110590openalex-snapshot

More precise construction of static single assignment programs using reaching definitions

inferred← citeshttps://doi.org/10.1016/j.scico.2013.10.003openalex-snapshot

On OCL-based imperative languages

inferred← citeshttps://doi.org/10.1016/j.scico.2014.03.013openalex-snapshot

Specification and verification of GPGPU programs

inferred← citeshttps://doi.org/10.1016/j.scico.2018.08.005openalex-snapshot

Session-ocaml: A session-based library with polarities and lenses

inferred← citeshttps://doi.org/10.1017/s0956796804005398openalex-snapshot

Embedded interpreters

inferred← citeshttps://doi.org/10.1017/s095679681000016xopenalex-snapshot

Generic programming with C++ concepts and Haskell type classes—a comparison

inferred← citeshttps://doi.org/10.1109/csf64896.2025.00032openalex-snapshot

A Graded Modal Approach to Relaxed Semantic Declassification

inferred← citeshttps://doi.org/10.1145/3314221.3314608openalex-snapshot

AutoPersist: an easy-to-use Java NVM framework based on reachability

inferred← citeshttps://doi.org/10.1145/3359619.3359747openalex-snapshot

Reflections on the compatibility, performance, and scalability of parallel Python

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/3360568openalex-snapshot

A formalization of Java’s concurrent access modes

inferred← citeshttps://doi.org/10.1145/3428215openalex-snapshot

Exposing cache timing side-channel leaks through out-of-order symbolic execution

inferred← citeshttps://doi.org/10.1145/3428266openalex-snapshot

Scalable and serializable networked multi-actor programming

inferred← citeshttps://doi.org/10.1145/3437992.3439930openalex-snapshot

Contextual refinement of the Michael-Scott queue (proof pearl)

inferred← citeshttps://doi.org/10.1145/3470496.3533045openalex-snapshot

Mixed-proxy extensions for the NVIDIA PTX memory consistency model

inferred← citeshttps://doi.org/10.1145/3589962openalex-snapshot

Mechanized Proofs of Adversarial Complexity and Application to Universal Composability

inferred← citeshttps://doi.org/10.1145/3620666.3651366openalex-snapshot

SIRO: Empowering Version Compatibility in Intermediate Representations via Program Synthesis

inferred← citeshttps://doi.org/10.1145/3622781.3674177openalex-snapshot

Manta: Hybrid-Sensitive Type Inference Toward Type-Assisted Bug Detection for Stripped Binaries

inferred← citeshttps://doi.org/10.1145/3632743openalex-snapshot

Octopus : Scaling Value-Flow Analysis via Parallel Collection of Realizable Path Conditions

inferred← citeshttps://doi.org/10.1145/3632885openalex-snapshot

Quantum Bisimilarity via Barbs and Contexts: Curbing the Power of Non-deterministic Observers

inferred← citeshttps://doi.org/10.1145/3649814openalex-snapshot

A Learning-Based Approach to Static Program Slicing

inferred← citeshttps://doi.org/10.1145/3649854openalex-snapshot

ParDiff: Practical Static Differential Analysis of Network Protocol Parsers

inferred← citeshttps://doi.org/10.1145/3649857openalex-snapshot

Scenario-Based Proofs for Concurrent Objects

inferred← citeshttps://doi.org/10.1145/3720513openalex-snapshot

Peepco: Batch-Based Consistency Optimization

inferred← citeshttps://doi.org/10.1145/3731569.3764821openalex-snapshot

Atmosphere: Practical Verified Kernels with Rust and Verus

inferred← citeshttps://doi.org/10.1145/3763083openalex-snapshot

Efficient Abstract Interpretation via Selective Widening

inferred← citeshttps://doi.org/10.1155/2013/493678openalex-snapshot

A Fault-Tolerant Method for Enhancing Reliability of Services Composition Application in WSNs Based on BPEL

inferred← citeshttps://doi.org/10.21941/kcss/2021/7openalex-snapshot

Tagungsband zum 21. Kolloquium Programmiersprachen und Grundlagen der Programmierung

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.