On the public citation graph

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

https://doi.org/10.1145/2837614
0 signed · 45 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/978-3-030-64437-6_4openalex-snapshot
Neural Networks, Secure by Construction
inferred← citeshttps://doi.org/10.1007/978-3-031-57262-3openalex-snapshot
Programming Languages and Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-63390-9_3openalex-snapshot
Non-polynomial Worst-Case Analysis of Recursive Programs
inferred← citeshttps://doi.org/10.1007/s11432-018-1465-6openalex-snapshot
A manual inspection of Defects4J bugs and its implications for automatic program repair
inferred← citeshttps://doi.org/10.1007/s11432-023-4127-5openalex-snapshot
Deep learning-based software engineering: progress, challenges, and opportunities
inferred← citeshttps://doi.org/10.1007/s11704-018-7008-1openalex-snapshot
Analyses for specific defects in android applications: a survey
inferred← citeshttps://doi.org/10.1016/j.cola.2022.101135openalex-snapshot
A novel data-driven approach on inferring loop invariants for C programs
inferred← citeshttps://doi.org/10.1016/j.cose.2020.102087openalex-snapshot
Android security assessment: A review, taxonomy and research gap study
inferred← citeshttps://doi.org/10.1016/j.cosrev.2024.100634openalex-snapshot
Twenty-two years since revealing cross-site scripting attacks: A systematic mapping and a comprehensive survey
inferred← citeshttps://doi.org/10.1016/j.entcs.2020.10.013openalex-snapshot
Gradual Typing Using Union Typing With Records
inferred← citeshttps://doi.org/10.1016/j.ic.2018.03.001openalex-snapshot
Incorporating quotation and evaluation into Church's type theory
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.jlamp.2018.08.003openalex-snapshot
Preemptive type checking
inferred← citeshttps://doi.org/10.1016/j.jlamp.2020.100636openalex-snapshot
Computer says no: Verdict explainability for runtime monitors using a local proof system
inferred← citeshttps://doi.org/10.1016/j.jlamp.2021.100677openalex-snapshot
Operational semantics with semicommutations
inferred← citeshttps://doi.org/10.1016/j.jlamp.2021.100714openalex-snapshot
Defining behaviorizeable relations to enable inference in semi-automatic program synthesis
inferred← citeshttps://doi.org/10.1016/j.jlamp.2021.100731openalex-snapshot
Session-typed concurrent contracts
inferred← citeshttps://doi.org/10.1016/j.jss.2017.06.039openalex-snapshot
The impacts of techniques, programs and tests on automated program repair: An empirical study
inferred← citeshttps://doi.org/10.1016/j.jss.2020.110671openalex-snapshot
SpongeBugs: Automatically generating fix suggestions in response to static code analysis warnings
inferred← citeshttps://doi.org/10.1016/j.jss.2024.112230openalex-snapshot
Information needs in bug reports for web applications
inferred← citeshttps://doi.org/10.1016/j.jss.2025.112637openalex-snapshot
Modeling the composition of analysis components and automatic constraint checking for semantic soundness
inferred← citeshttps://doi.org/10.1016/j.knosys.2019.05.013openalex-snapshot
Rule-based program specialization to optimize gradually typed code
inferred← citeshttps://doi.org/10.1016/j.scico.2020.102393openalex-snapshot
Pallene: A companion language for Lua
inferred← citeshttps://doi.org/10.1016/j.scico.2021.102657openalex-snapshot
Mechanical incrementalization of typing algorithms
inferred← citeshttps://doi.org/10.1016/j.scico.2022.102779openalex-snapshot
Compositional noninterference on hardware weak memory models
inferred← citeshttps://doi.org/10.1016/j.softx.2022.101211openalex-snapshot
The StaDyn programming language
inferred← citeshttps://doi.org/10.1016/j.sysarc.2022.102438openalex-snapshot
UTP semantics for the MCA ARMv8 architecture
inferred← citeshttps://doi.org/10.1016/j.tcs.2015.02.027openalex-snapshot
Observational program calculi and the correctness of translations
inferred← citeshttps://doi.org/10.1016/j.tcs.2022.12.009openalex-snapshot
Towards more efficient methods for solving regular-expression heavy string constraints
inferred← citeshttps://doi.org/10.1017/s0960129517000056openalex-snapshot
Coinductive predicates and final sequences in a fibration
inferred← citeshttps://doi.org/10.1145/3385412.3385966openalex-snapshot
Decidable verification under a causally consistent shared memory
inferred← citeshttps://doi.org/10.1145/3385412.3386005openalex-snapshot
Type error feedback via analytic program repair
inferred← citeshttps://doi.org/10.1145/3547655openalex-snapshot
A reasonably gradual type theory
inferred← citeshttps://doi.org/10.1145/3563315openalex-snapshot
Model checking for a multi-execution memory model
inferred← citeshttps://doi.org/10.1145/3611643.3616256openalex-snapshot
RAP-Gen: Retrieval-Augmented Patch Generation with CodeT5 for Automatic Program Repair
inferred← citeshttps://doi.org/10.1145/3616901.3616918openalex-snapshot
Automatic Program Repair with Improved Transformer
inferred← citeshttps://doi.org/10.1145/3626202.3637563openalex-snapshot
Formal Verification of Source-to-Source Transformations for HLS
inferred← citeshttps://doi.org/10.1145/3652620.3687822openalex-snapshot
Verifying UML Models Annotated with OCL Strings
inferred← citeshttps://doi.org/10.1145/3656381openalex-snapshot
Recursive Program Synthesis using Paramorphisms
inferred← citeshttps://doi.org/10.1145/3674644openalex-snapshot
Gradual Indexed Inductive Types
inferred← citeshttps://doi.org/10.1145/3696630.3728556openalex-snapshot
HapRepair: Learn to Repair OpenHarmony Apps
inferred← citeshttps://doi.org/10.1145/3715004openalex-snapshot
Hybrid Automated Program Repair by Combining Large Language Models and Program Analysis
inferred← citeshttps://doi.org/10.14778/3574245.3574268openalex-snapshot
Keep CALM and CRDT On
inferred← citeshttps://doi.org/10.14778/3641204.3641211openalex-snapshot
Data-Driven Insight Synthesis for Multi-Dimensional Data
inferred← citeshttps://doi.org/10.22152/programming-journal.org/2023/7/11openalex-snapshot
Primrose: Selecting Container Data Types by Their Properties
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.