On the public citation graph

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

https://doi.org/10.1145/2491956

0 signed · 88 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.cola.2019.100940openalex-snapshot

Relational reference attribute grammars: Improving continuous model validation

inferred← citeshttps://doi.org/10.1016/j.cola.2022.101155openalex-snapshot

Where-provenance for bidirectional editing in spreadsheets

inferred← citeshttps://doi.org/10.1016/j.cola.2024.101286openalex-snapshot

Live application programming in the defense industry with the Molecule component framework

inferred← citeshttps://doi.org/10.1016/j.cola.2025.101352openalex-snapshot

Improving LLM-based code completion using LR parsing

inferred← citeshttps://doi.org/10.1016/j.compedu.2018.09.021openalex-snapshot

Analyzing students' perceptions to improve the design of an automated assessment tool in online distributed programming

inferred← citeshttps://doi.org/10.1016/j.cose.2020.102011openalex-snapshot

Detecting personally identifiable information transmission in android applications using light-weight static analysis

inferred← citeshttps://doi.org/10.1016/j.cose.2023.103213openalex-snapshot

RegGuard: Leveraging CPU registers for mitigation of control- and data-oriented attacks

inferred← citeshttps://doi.org/10.1016/j.cose.2023.103296openalex-snapshot

WebAssembly diversification for malware evasion

inferred← citeshttps://doi.org/10.1016/j.cose.2025.104646openalex-snapshot

A survey on Android dynamic evasive malware: Taxonomy, countermeasures and open challenges

inferred← citeshttps://doi.org/10.1016/j.cpc.2024.109123openalex-snapshot

Developing performance portable plasma edge simulations: A survey

inferred← citeshttps://doi.org/10.1016/j.cpc.2025.109699openalex-snapshot

qlbm – A quantum lattice Boltzmann software framework

inferred← citeshttps://doi.org/10.1016/j.entcs.2014.08.002openalex-snapshot

Efficient Constraint/Generator Removal from Double Description of Polyhedra

inferred← citeshttps://doi.org/10.1016/j.eswa.2020.114348openalex-snapshot

BinDeep: A deep learning approach to binary code similarity detection

inferred← citeshttps://doi.org/10.1016/j.eswa.2025.129972openalex-snapshot

iJTyper: An effective type inference framework for incomplete java codes by integrating constraint- and statistics-based methods

inferred← citeshttps://doi.org/10.1016/j.future.2024.05.034openalex-snapshot

LLM4VV: Developing LLM-driven testsuite for compiler validation

inferred← citeshttps://doi.org/10.1016/j.ic.2018.09.001openalex-snapshot

Reachability analysis of quantum Markov decision processes

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

Feature-family-based reliability analysis of software product lines

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

A scalable learning algorithm for data-driven program analysis

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

Multi-grained contextual code representation learning for commit message generation

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

Demand-driven interprocedural analysis for map-based abstract domains

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

Verification of the ROS NavFn planner using executable specification languages

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

On algebraic array theories

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

Succinct ordering and aggregation constraints in algebraic array theories

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

Multifaceted formal methods and their interdisciplinary role — From the cathedral of ‘components as coalgebras’ to the HCI context and the open source software bazaar

inferred← citeshttps://doi.org/10.1016/j.jpdc.2016.12.023openalex-snapshot

A hybrid computing method of SpMV on CPU–GPU heterogeneous computing systems

inferred← citeshttps://doi.org/10.1016/j.jpdc.2019.04.019openalex-snapshot

Large-scale performance of a DSL-based multi-block structured-mesh application for Direct Numerical Simulation

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

Stepwise API usage assistance using n -gram language models

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

ReSeer: Efficient search-based replay for multiprocessor virtual machines

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

StaDART: Addressing the problem of dynamic code updates in the security analysis of android applications

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.jss.2022.111417openalex-snapshot

Automated repair of resource leaks in Android applications

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

VsusFL: Variable-suspiciousness-based Fault Localization for novice programs

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

Product lines of dataflows

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

Syntax-preserving program slicing for C-based software product lines

inferred← citeshttps://doi.org/10.1016/j.micpro.2019.02.005openalex-snapshot

Formal constraint-based compilation for noisy intermediate-scale quantum systems

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

Two approaches for proving linearizability of multiset

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

All roads lead to Rome: Commuting strategies for product-line reliability analysis

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

Castor: Programming with extensible generative visitors

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

GraphPyRec: A novel graph-based approach for fine-grained Python code recommendation

inferred← citeshttps://doi.org/10.1016/j.simpa.2022.100461openalex-snapshot

Questions for teaching phrase building with automatic feedback

inferred← citeshttps://doi.org/10.1016/j.softx.2018.07.007openalex-snapshot

A language and hardware independent approach to quantum–classical computing

inferred← citeshttps://doi.org/10.1016/j.sysarc.2017.02.004openalex-snapshot

An efficient data structure for dynamic two-dimensional reconfiguration

inferred← citeshttps://doi.org/10.1016/j.sysarc.2017.10.004openalex-snapshot

Enabling PoCL-based runtime frameworks on the HSA for OpenCL 2.0 support

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.1103/physrevresearch.5.023096openalex-snapshot

Quantum compiling with a variational instruction set for accurate and fast quantum computing

inferred← citeshttps://doi.org/10.1103/physrevresearch.5.043210openalex-snapshot

Noisy gates for simulating quantum computers

inferred← citeshttps://doi.org/10.1109/icst60714.2024.00044openalex-snapshot

Randomised Testing of the Compiler for a Verification-Aware Programming Language

inferred← citeshttps://doi.org/10.1142/s0129626421500195openalex-snapshot

Machine Learning to Design an Auto-tuning System for the Best Compressed Format Detection for Parallel Sparse Computations

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

Abstract interpretation

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

Reflections on LMS: exploring front-end alternatives

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

Scaling up functional programming education: under the hood of the OCaml MOOC

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

SCAF: a speculation-aware collaborative dependence analysis framework

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

Verifying concurrent search structure templates

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

Rethinking programming “environment”: technical and social environment design toward convivial computing

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

A Survey of Android Malware Detection with Deep Neural Models

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

Snowboard

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

History-driven test program synthesis for JVM testing

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

Aper

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

CoqQ: Foundational Verification of Quantum Programs

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

Optimizing Multi-grid Computation and Parallelization on Multi-cores

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

NextGen-Malloc: Giving Memory Allocator Its Own Room in the House

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

Hybrid Inlining: A Framework for Compositional and Context-Sensitive Static Analysis

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

Silent Compiler Bug De-duplication via Three-Dimensional Analysis

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

Data-Dependent Confidentiality in DCR Graphs

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

Incremental Computation: What Is the Essence? (Invited Contribution)

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

Program Ingredients Abstraction and Instantiation for Synthesis-based JVM Testing

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

Large Language Models for Software Engineering: A Systematic Literature Review

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

KBX: Verified Model Synchronization via Formal Bidirectional Transformation

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

Compiler Optimization Testing Based on Optimization-Guided Equivalence Transformations

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

Soundness of Predictive Concurrency Analyses

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

Prompt-Based Code Completion via Multi-Retrieval Augmented Generation

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

Expressing and Checking Statistical Assumptions

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

Qutes: A High-Level Quantum Programming Language for Simplified Quantum Computing

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

TickTock: Verified Isolation in a Production Embedded OS

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

Proceedings of the 24th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences

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

A Layered Certifying Compiler Architecture

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

Probabilistic Inference for Datalog with Correlated Inputs

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

Work Packets: A New Abstraction for GC Software Engineering, Optimization, and Innovation

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

Holistic Optimization Framework for FPGA Accelerators

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

Guaranteed Inference for Probabilistic Programs: A Parallelisable, Small-Step Operational Approach

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

DamFlow: Preventing a Flood of Irrelevant Data Flows in Android Apps

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

Fast, Fine-Grained Equivalence Checking for Neural Decompilers

inferred← citeshttps://doi.org/10.14778/3712221.3712232openalex-snapshot

Datalog with First-Class Facts

inferred← citeshttps://doi.org/10.22152/programming-journal.org/2017/1/13openalex-snapshot

Edit Transactions: Dynamically Scoped Change Sets for Controlled Updates in Live Programming

inferred← citeshttps://doi.org/10.22152/programming-journal.org/2022/6/4openalex-snapshot

Sham: A DSL for Fast DSLs

inferred← citeshttps://doi.org/10.26512/2016.11.d.22680openalex-snapshot

Estratégias comutativas para análise de confiabilidade em linha de produtos de software

inferred← citeshttps://doi.org/10.31390/gradschool_dissertations.3480openalex-snapshot

Parallel Processes in HPX: Designing an Infrastructure for Adaptive Resource Management

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.