On the public citation graph

The Art, Science, and Engineering of Programming

https://doi.org/10.22152/programming-journal.org

0 signed · 79 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.1145/3411764.3445149openalex-snapshot

danceON: Culturally Responsive Creative Computing

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

Supporting Early-Career Academics in the UK Computer Science Community

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

Exploring Modal Locking in Window Manipulation

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

Toward Exploratory Understanding of Software using Test Suites

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

Rec.HTML: Declarative HTML

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

Static stack-preserving intra-procedural slicing of webassembly binaries

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

Toward Just-in-Time and Language-Agnostic Mutation Testing

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

Example Mining

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

A Study of Editor Features in a Creative Coding Classroom

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

Event-Based Out-of-Place Debugging

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

Machine-Learning-Based Self-Optimizing Compiler Heuristics✱

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

Dynamic Taint Analysis with Label-Defined Semantics

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

Polyglot, Label-Defined Dynamic Taint Analysis in TruffleTaint

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

Portals: An Extension of Dataflow Streaming for Stateful Serverless

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

Competitive Debugging: Toward Contests Promoting Debugging as a Skill

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

Bridging the Syntax-Semantics Gap of Programming

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

Relentless Repairability or Reckless Reuse: Whether or Not to Rebuild a Concern with Your Familiar Tools and Materials

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

Explicit Tool Support for Implicit Layer Activation

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

A Step toward Programming with Versions in Real-World Functional Languages

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

Lorgnette: Creating Malleable Code Projections

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

Beyond the Artifact: Power as a Lens for Creativity Support Tools

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

GTP Benchmarks for Gradual Typing Performance

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

Object-Centric Time-Travel Debugging

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

Probe Log: Visualizing the Control Flow of Babylonian Programming

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

Clerk: Moldable Live Programming for Clojure

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

Special Delivery: Programming with Mailbox Types

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

How to Evaluate Blame for Gradual Types, Part 2

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

Calculating Compilers for Concurrency

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

A Software Architecture Based on Coarse-Grained Self-Adjusting Computations

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

Infix-Extensible Record Types for Tabular Data

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

A Graph-Based Formal Semantics of Reactive Programming from First Principles

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

MµSE: Supporting Exploration of Software-Hardware Interactions Through Examples

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

SuperNOVA: Design Strategies and Opportunities for Interactive Visualization in Computational Notebooks

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

A Global Survey of Introductory Programming Courses

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

Meet MicroCode: a Live and Portable Programming Tool for the BBC micro:bit

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

Polymorphic Type Inference for Dynamic Languages

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

Understanding and Supporting Code Performances

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

Extensions and Scalability Experiments of a Generic Model-Driven Architecture for Variability Model Reasoning

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

Source Code Archiving to the Rescue of Reproducible Deployment

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

Forge: A Tool and Language for Teaching Formal Methods

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

Multiverse Notebook: Shifting Data Scientists to Time Travelers

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

Gradually Typed Languages Should Be Vigilant!

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

Taypsi: Static Enforcement of Privacy Policies for Policy-Agnostic Oblivious Computation

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

Switching Mechanism for Update Timing of Time-Varying Values in an FRP Language for Small-Scale Embedded Systems

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

Dr Wenowdis: Specializing Dynamic Language C Extensions using Type Information

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

Tyche: Making Sense of PBT Effectiveness

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

Faster Feedback with AI? A Test Prioritization Study

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

A Virtual Machine for Higher-Order Reactors

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

Unanticipated Progress Indication: Continuous Responsiveness for Courageous Exploration

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

Examples out of Thin Air: AI-Generated Dynamic Context to Assist Program Comprehension by Example

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

Implementing Babylonian/G by Putting Examples into Game Contexts

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

Beyond Trees: Calculating Graph-Based Compilers (Functional Pearl)

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

Same Same but Different: A Comparative Analysis of Static Type Checkers in Erlang

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

Nominal Types for Erlang

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

Erlang on TOAST: Generating Erlang Stubs with Inline TOAST Monitors

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

Calculating Compilers Effectively (Functional Pearl)

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

Language-Agnostic Debugging for Microcontrollers

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

Concrete Syntax Metapatterns

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

Data Systems Education: Curriculum Recommendations, Course Syllabi, and Industry Needs

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

Supporting Construction of Domain-Specific Representations in Textual Source Code

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

Bridging Incremental Programming and Complex Software Development Environments

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

(Programs), Proofs and Refutations (and Tests and Mutants)

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

Moldable Exceptions

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

Active DSU: Dynamic Software Updates for Active Functions

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

The Meerkat Vision: Language Support for Live, Scalable, Reactive Web Apps

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

Talking to Objects in Natural Language: Toward Semantic Tools for Exploratory Programming

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

Extending Cloud Build Systems to Eliminate Transitive Trust

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

Unifying Model Execution and Deductive Verification with Interaction Trees in Isabelle/HOL

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

Formalising Graph Algorithms with Coinduction

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

Empirically Evaluating the Impact of Object-Centric Breakpoints on the Debugging of Object-Oriented Programs

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

Code Style Sheets: CSS for Code

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

QED in Context: An Observation Study of Proof Assistant Users

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

Polymorphic Records for Dynamic Languages

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

Efficient Algorithms for the Uniform Tokenization Problem

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

Automated Exploit Generation for Node.js Packages

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

Exploratory, Omniscient, and Multiverse Diagnostics in Debuggers for Non-Deterministic Languages

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

Imperative Program Synthesis by Abstract Static Analysis and SMT Mutations

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

Implementing Unsafe Features on top of a Safe Virtual Machine

inferred← citeshttps://doi.org/10.26686/wgtn.17138669openalex-snapshot

CJing: Combining Live Coding and VJing for Live Visual Performance

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.