On the public citation graph

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation

https://doi.org/10.1145/3062341
0 signed · 41 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.artint.2020.103368openalex-snapshot
Dashed strings for string constraint solving
inferred← citeshttps://doi.org/10.1016/j.cell.2023.07.035openalex-snapshot
Brain-wide representations of behavior spanning multiple timescales and states in C. elegans
inferred← citeshttps://doi.org/10.1016/j.cola.2024.101289openalex-snapshot
An empirical study on divergence of differently-sourced LLVM IRs
inferred← citeshttps://doi.org/10.1016/j.comnet.2022.109109openalex-snapshot
A deterministic approach for extracting network security intents
inferred← citeshttps://doi.org/10.1016/j.cose.2017.06.006openalex-snapshot
S-OpenSGX: A system-level platform for exploring SGX enclave-based computing
inferred← citeshttps://doi.org/10.1016/j.cose.2024.103731openalex-snapshot
Wasm-Mutate: Fast and effective binary diversification for WebAssembly
inferred← citeshttps://doi.org/10.1016/j.future.2019.11.038openalex-snapshot
Strict Timed Causal Consistency as a Hybrid Consistency Model in the Cloud Environment
inferred← citeshttps://doi.org/10.1016/j.future.2023.03.046openalex-snapshot
Modeling GPU Dynamic Parallelism for self similar density workloads
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.2021.100714openalex-snapshot
Defining behaviorizeable relations to enable inference in semi-automatic program synthesis
inferred← citeshttps://doi.org/10.1016/j.jpdc.2020.05.010openalex-snapshot
CScript: A distributed programming language for building mixed-consistency applications
inferred← citeshttps://doi.org/10.1016/j.jss.2020.110585openalex-snapshot
Automated defect identification via path analysis-based features with transfer learning
inferred← citeshttps://doi.org/10.1016/j.jss.2020.110884openalex-snapshot
An empirical study of optimization bugs in GCC and LLVM
inferred← citeshttps://doi.org/10.1016/j.jss.2022.111247openalex-snapshot
WDBT: Non-volatile memory wear characterization and mitigation for DBT systems
inferred← citeshttps://doi.org/10.1016/j.neucom.2024.127273openalex-snapshot
GraphMoCo: A graph momentum contrast model for large-scale binary function representation learning
inferred← citeshttps://doi.org/10.1016/j.scico.2020.102391openalex-snapshot
Bidirectionality in flow-sensitive demand-driven analysis
inferred← citeshttps://doi.org/10.1016/j.scico.2020.102477openalex-snapshot
Handling B models in the PERF integrated verification framework: Formalised and certified embedding
inferred← citeshttps://doi.org/10.1016/j.scico.2020.102499openalex-snapshot
A polymorphic RPC calculus
inferred← citeshttps://doi.org/10.1016/j.scico.2023.102989openalex-snapshot
Gaiwan: A size-polymorphic typesystem for GPU programs
inferred← citeshttps://doi.org/10.1016/j.sysarc.2023.103046openalex-snapshot
ThreadAbs: A template to build verified thread-local interfaces with software scheduler abstractions
inferred← citeshttps://doi.org/10.1016/j.sysarc.2023.103049openalex-snapshot
SimplMM: A simplified and abstract multicore hardware model for large scale system software formal verification
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.1145/3324884.3416570openalex-snapshot
Enhanced compiler bug isolation via memoized search
inferred← citeshttps://doi.org/10.1145/3368826.3377922openalex-snapshot
ATMem: adaptive data placement in graph applications on heterogeneous memories
inferred← citeshttps://doi.org/10.1145/3374664.3375745openalex-snapshot
n-m-Variant Systems
inferred← citeshttps://doi.org/10.1145/3385412.3385966openalex-snapshot
Decidable verification under a causally consistent shared memory
inferred← citeshttps://doi.org/10.1145/3472749.3474819openalex-snapshot
Ten Million Users and Ten Years Later: Python Tutor’s Design Guidelines for Building Scalable and Sustainable Research Software in Academia
inferred← citeshttps://doi.org/10.1145/3551349.3556946openalex-snapshot
So Many Fuzzers, So Little Time✱
inferred← citeshttps://doi.org/10.1145/3579641openalex-snapshot
IFDS-based Context Debloating for Object-Sensitive Pointer Analysis
inferred← citeshttps://doi.org/10.1145/3597926.3598060openalex-snapshot
Who Judges the Judge: An Empirical Study on Online Judge Tests
inferred← citeshttps://doi.org/10.1145/3640310.3674102openalex-snapshot
Tree-Based versus Hybrid Graphical-Textual Model Editors: An Empirical Study of Testing Specifications
inferred← citeshttps://doi.org/10.1145/3650212.3652135openalex-snapshot
DiaVio: LLM-Empowered Diagnosis of Safety Violations in ADS Simulation Testing
inferred← citeshttps://doi.org/10.1145/3650212.3680377openalex-snapshot
Reproducing Timing-Dependent GUI Flaky Tests in Android Apps via a Single Event Delay
inferred← citeshttps://doi.org/10.1145/3652892.3700755openalex-snapshot
Near-Storage Processing in FaaS Environments with Funclets
inferred← citeshttps://doi.org/10.1145/3656381openalex-snapshot
Recursive Program Synthesis using Paramorphisms
inferred← citeshttps://doi.org/10.1145/3677997openalex-snapshot
Proceedings of the 1st ACM SIGPLAN International Workshop on Functional Programming for Productivity and Performance
inferred← citeshttps://doi.org/10.1145/3814987.3814994openalex-snapshot
Exploring Locally Bounded Translation Validation
inferred← citeshttps://doi.org/10.1177/1550147716662947openalex-snapshot
Using malware for software-defined networking–based smart home security management through a taint checking approach
inferred← citeshttps://doi.org/10.14722/bar.2022.23005openalex-snapshot
Detecting Obfuscated Function Clones in Binaries using Machine Learning
inferred← citeshttps://doi.org/10.17760/d20467221openalex-snapshot
Interoperability through realizability: expressing high-level abstractions using low-level code
inferred← citeshttps://doi.org/10.46298/lmcs-18(3:23)2022openalex-snapshot
Strongly-Normalizing Higher-Order Relational Queries
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.