Paper Citation Record · LEDGER

Certificate-Carrying Transformation of Event-Driven Block Programs

As of 21 August 2026, this Paper Citation Record lists 61 of 61 outbound references and 1 inbound Pith citation observation for arXiv:2607.00563.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2607.00563 v1

Coverage vector

measured 61 of 61 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-07-02T02:20:48.735715Z

measured 62 of 62 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-21T06:32:19.484+00:00

measured 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-07-12T00:34:05.404187Z

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

61 of 61 outbound references displayed

verified exact7
verified fuzzy53
unresolved0
parse uncertain0
malformed identifier0
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 989d3959-9468-4379-b0b3-bfa52a60e84b · outbound

This paper cites Understanding recurring quality prob- lems and their impact on code sharing in block-based software,.

Certificate-Carrying Transformation of Event-Driven Block Programs Understanding recurring quality prob- lems and their impact on code sharing in block-based software,

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T09:12:10.152744Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation e0a8686d-ddb0-4efe-8787-56d15ffbddd5 · outbound

This paper cites Software clones in Scratch projects: On the presence of copy-and-paste in compu- tational thinking learning,.

Certificate-Carrying Transformation of Event-Driven Block Programs Software clones in Scratch projects: On the presence of copy-and-paste in compu- tational thinking learning,

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T09:12:10.164321Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation c4f41d58-6826-489e-967d-e3a70bdfd195 · outbound

This paper cites Formal verification of a realistic compiler,.

Certificate-Carrying Transformation of Event-Driven Block Programs Formal verification of a realistic compiler,

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T09:12:10.142287Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 2b034c81-86fb-4c6e-b175-9c39ad1e1d45 · outbound

This paper cites A formally verified compiler back-end,.

Certificate-Carrying Transformation of Event-Driven Block Programs A formally verified compiler back-end,

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T09:12:10.121608Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 9b19abee-a191-4b8d-a6db-7e400802c406 · outbound

This paper cites Translation validation,.

Certificate-Carrying Transformation of Event-Driven Block Programs Translation validation,

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T09:12:10.135197Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation c7b57cca-b388-4ab5-949b-236a020ecdba · outbound

This paper cites Translation validation for an optimizing compiler,.

Certificate-Carrying Transformation of Event-Driven Block Programs Translation validation for an optimizing compiler,

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T09:12:10.138646Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 4d9e890e-f3d7-4de1-9d25-3b9ac6fb4252 · outbound

This paper cites Alive2: Bounded translation validation for LLVM,.

Certificate-Carrying Transformation of Event-Driven Block Programs Alive2: Bounded translation validation for LLVM,

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T09:12:10.101790Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation c2aac99d-cbb2-46af-980d-69d46c45c4cb · outbound

This paper cites Code quality improvement for all: Automated refactoring for Scratch,.

Certificate-Carrying Transformation of Event-Driven Block Programs Code quality improvement for all: Automated refactoring for Scratch,

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T09:12:10.146019Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation d60b6335-f024-46b8-b8bc-bf15bf1e4382 · outbound

This paper cites Improving readability of Scratch programs with search-based refactoring,.

Certificate-Carrying Transformation of Event-Driven Block Programs Improving readability of Scratch programs with search-based refactoring,

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T09:12:10.077199Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 2bb6f23c-fc8a-4565-9014-5fdea7df4b11 · outbound

This paper cites The Scratch programming language and environment,.

Certificate-Carrying Transformation of Event-Driven Block Programs The Scratch programming language and environment,

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T09:12:10.089399Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation d81b89ce-2320-4e03-82a3-8b7d599c1ea2 · outbound

This paper cites Scratch: Programming for all,.

Certificate-Carrying Transformation of Event-Driven Block Programs Scratch: Programming for all,

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T09:12:10.147826Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 955be5a4-a1bf-4b06-a546-8151a8808944 · outbound

This paper cites The Lean 4 theorem prover and program- ming language,.

Certificate-Carrying Transformation of Event-Driven Block Programs The Lean 4 theorem prover and program- ming language,

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T09:12:10.114508Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 6e1e71fb-80fc-4679-b78d-1b6d9fce38eb · outbound

This paper cites Equality saturation: A new approach to optimization,.

Certificate-Carrying Transformation of Event-Driven Block Programs Equality saturation: A new approach to optimization,

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T09:12:10.110813Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 60a0e039-1f90-4fee-9091-835d0a035575 · outbound

This paper cites egg: Fast and extensible equality saturation,.

Certificate-Carrying Transformation of Event-Driven Block Programs egg: Fast and extensible equality saturation,

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T09:12:10.090378Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 6ba464f0-05ff-48a3-9a7d-1e7266ae569b · outbound

This paper cites Ehrig, K.

Certificate-Carrying Transformation of Event-Driven Block Programs Ehrig, K

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T09:12:10.112798Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 75a419df-d349-4be4-98c3-3219fb614af8 · outbound

This paper cites ScratchLens: Lens-Parametric Behavioral Equivalence for Scratch Programs.

Certificate-Carrying Transformation of Event-Driven Block Programs ScratchLens: Lens-Parametric Behavioral Equivalence for Scratch Programs

Reference 16

Resolution: verified exact; local_arxiv, observed 2026-07-02T02:26:25.929776Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation a0ffc1d4-0803-482b-a71f-d4ba0d7939cd · outbound

This paper cites CakeML: A verified implementation of ML,.

Certificate-Carrying Transformation of Event-Driven Block Programs CakeML: A verified implementation of ML,

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T09:12:10.124848Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 5bfd5054-c779-40b4-b4a1-aa59e09de311 · outbound

This paper cites Compositional CompCert,.

Certificate-Carrying Transformation of Event-Driven Block Programs Compositional CompCert,

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T09:12:10.143953Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation d2509cea-80f2-4048-875c-64d7bcf5d23f · outbound

This paper cites Verified software toolchain,.

Certificate-Carrying Transformation of Event-Driven Block Programs Verified software toolchain,

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T09:12:10.116151Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 84910233-827a-453c-9618-4ec39257e1de · outbound

This paper cites VOC: A methodology for the translation validation of optimizing compilers,.

Certificate-Carrying Transformation of Event-Driven Block Programs VOC: A methodology for the translation validation of optimizing compilers,

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T09:12:10.150529Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 19cfbf5d-7170-4858-90ee-f94565d934ca · outbound

This paper cites TVOC: A translation validator for optimizing compilers,.

Certificate-Carrying Transformation of Event-Driven Block Programs TVOC: A translation validator for optimizing compilers,

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T09:12:10.071908Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation f56390dd-e8cb-49b6-a3e1-7e500da33fde · outbound

This paper cites Formal verification of translation valida- tors: A case study on instruction scheduling optimizations,.

Certificate-Carrying Transformation of Event-Driven Block Programs Formal verification of translation valida- tors: A case study on instruction scheduling optimizations,

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T09:12:10.107507Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation cc8141d2-60eb-4797-a765-e0001cc977c5 · outbound

This paper cites Verified validation of lazy code motion,.

Certificate-Carrying Transformation of Event-Driven Block Programs Verified validation of lazy code motion,

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T09:12:10.129824Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 11aebb71-3f3b-4802-a6f7-e5ad5c941970 · outbound

This paper cites Verified peephole optimizations for CompCert,.

Certificate-Carrying Transformation of Event-Driven Block Programs Verified peephole optimizations for CompCert,

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T09:12:10.117619Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 0a9eddf3-fa27-4379-bc3b-3e77b9ddbd03 · outbound

This paper cites Provably correct peephole optimizations with Alive,.

Certificate-Carrying Transformation of Event-Driven Block Programs Provably correct peephole optimizations with Alive,

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T09:12:10.139400Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 73d3b7e2-a2db-47db-81d3-8f6d3af1326e · outbound

This paper cites Automatically proving the correctness of compiler optimizations,.

Certificate-Carrying Transformation of Event-Driven Block Programs Automatically proving the correctness of compiler optimizations,

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T09:12:10.094633Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation fc85a0b3-0a1e-45da-a371-734a9c696411 · outbound

This paper cites Credible compilation,.

Certificate-Carrying Transformation of Event-Driven Block Programs Credible compilation,

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T09:12:10.153275Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 580d8dc6-23b0-491e-accd-b74f47a8a680 · outbound

This paper cites Witnessing program transformations,.

Certificate-Carrying Transformation of Event-Driven Block Programs Witnessing program transformations,

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T09:12:10.124349Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation d25a7afc-8d03-459b-9ed6-7db92bc87ec1 · outbound

This paper cites Crellvm: Verified credible compilation for LLVM,.

Certificate-Carrying Transformation of Event-Driven Block Programs Crellvm: Verified credible compilation for LLVM,

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T09:12:10.115973Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 0745db86-96de-4786-b2d2-aa7f1e35997a · outbound

This paper cites Equality-based translation validator for LLVM,.

Certificate-Carrying Transformation of Event-Driven Block Programs Equality-based translation validator for LLVM,

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T09:12:10.154676Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 49fe51f6-bf0d-4cd6-9ff1-b01dc4fd3686 · outbound

This paper cites CompCertTSO: A verified compiler for relaxed-memory concurrency,.

Certificate-Carrying Transformation of Event-Driven Block Programs CompCertTSO: A verified compiler for relaxed-memory concurrency,

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T09:12:10.148538Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 07cbb389-412b-483a-8a27-7e9c93989779 · outbound

This paper cites Proof-carrying code,.

Certificate-Carrying Transformation of Event-Driven Block Programs Proof-carrying code,

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T09:12:10.158984Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 66f3694f-33c8-4a11-9022-55699dc285b8 · outbound

This paper cites seL4: Formal verification of an OS kernel,.

Certificate-Carrying Transformation of Event-Driven Block Programs seL4: Formal verification of an OS kernel,

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T09:12:10.126429Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 437e82a6-7b49-4204-b6f4-e1a7f11078a6 · outbound

This paper cites The Esterel synchronous programming language: Design, semantics, implementation,.

Certificate-Carrying Transformation of Event-Driven Block Programs The Esterel synchronous programming language: Design, semantics, implementation,

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T09:12:10.144135Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation f403ce05-b66f-42ac-962f-a71c9f73d02f · outbound

This paper cites The synchronous data flow programming language LUSTRE,.

Certificate-Carrying Transformation of Event-Driven Block Programs The synchronous data flow programming language LUSTRE,

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T09:12:10.131733Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation a9b91784-2954-451d-9829-448b40d42279 · outbound

This paper cites A formally verified compiler for Lustre,.

Certificate-Carrying Transformation of Event-Driven Block Programs A formally verified compiler for Lustre,

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T09:12:10.128203Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation f1532fa2-7dce-45ec-9632-2fb6c9821d2e · outbound

This paper cites A dataset of Scratch programs: Scraped, shaped and scored,.

Certificate-Carrying Transformation of Event-Driven Block Programs A dataset of Scratch programs: Scraped, shaped and scored,

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T09:12:10.136787Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 95122543-7ebf-471d-8883-759f6219986f · outbound

This paper cites How kids code and how we know: An exploratory study on the Scratch repository,.

Certificate-Carrying Transformation of Event-Driven Block Programs How kids code and how we know: An exploratory study on the Scratch repository,

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T09:12:10.109140Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 869df317-2956-40ef-92f0-f8f123c0108c · outbound

This paper cites Hairball: Lint-inspired static analysis of Scratch projects,.

Certificate-Carrying Transformation of Event-Driven Block Programs Hairball: Lint-inspired static analysis of Scratch projects,

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T09:12:10.082425Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 07664ea2-8726-4fc1-a0c1-f011503cbc19 · outbound

This paper cites Common bugs in Scratch programs,.

Certificate-Carrying Transformation of Event-Driven Block Programs Common bugs in Scratch programs,

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T09:12:10.133528Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation e853e8c9-7d62-43d7-87fb-10b4b4da4cd8 · outbound

This paper cites Testing scratch programs automatically,.

Certificate-Carrying Transformation of Event-Driven Block Programs Testing scratch programs automatically,

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T09:12:10.123291Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation b09e14a3-6b3c-4b90-82a6-084433d75111 · outbound

This paper cites ViScratch: Using Large Language Models and Gameplay Videos for Automated Feedback in Scratch.

Certificate-Carrying Transformation of Event-Driven Block Programs ViScratch: Using Large Language Models and Gameplay Videos for Automated Feedback in Scratch

Reference 42

Resolution: metadata mismatch; arxiv_id, observed 2026-07-02T02:26:25.922764Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 16594873-c47d-4500-8960-8445fd0ed0ab · outbound

This paper cites Stitch: Step-by-step LLM guided tutoring for Scratch,.

Certificate-Carrying Transformation of Event-Driven Block Programs Stitch: Step-by-step LLM guided tutoring for Scratch,

Reference 43

Resolution: verified exact; arxiv_id, observed 2026-07-02T02:26:25.932884Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 8a2d529e-5f8e-47d7-8cce-a79b554f68cd · outbound

This paper cites ScratchEval: A multi- modal evaluation framework for LLMs in block-based programming,.

Certificate-Carrying Transformation of Event-Driven Block Programs ScratchEval: A multi- modal evaluation framework for LLMs in block-based programming,

Reference 44

Resolution: verified exact; arxiv_id, observed 2026-07-02T02:26:25.935884Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 14e2a603-bb80-4db4-a0ab-854eaf1dfedd · outbound

This paper cites EcoScratch: Cost- effective multimodal repair for Scratch using execution feedback,.

Certificate-Carrying Transformation of Event-Driven Block Programs EcoScratch: Cost- effective multimodal repair for Scratch using execution feedback,

Reference 45

Resolution: verified exact; arxiv_id, observed 2026-07-02T02:26:25.918644Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 90a98e0a-a8de-4645-b771-860e5d7aea8d · outbound

This paper cites Raven: Rethinking Automated Assessment for Scratch Programs via Video-Grounded Evaluation.

Certificate-Carrying Transformation of Event-Driven Block Programs Raven: Rethinking Automated Assessment for Scratch Programs via Video-Grounded Evaluation

Reference 46

Resolution: verified exact; local_arxiv, observed 2026-07-02T02:26:25.911928Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation fac2358d-9379-4bfa-a305-8466771f232e · outbound

This paper cites ScratchWorld: Evaluating If World Models Compute Executable Consequences.

Certificate-Carrying Transformation of Event-Driven Block Programs ScratchWorld: Evaluating If World Models Compute Executable Consequences

Reference 47

Resolution: verified exact; local_arxiv, observed 2026-07-02T02:26:25.914977Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation e84d8cbb-30f2-4dc2-8c7e-5def0b636d4b · outbound

This paper cites Automated feedback generation for competition-level code,.

Certificate-Carrying Transformation of Event-Driven Block Programs Automated feedback generation for competition-level code,

Reference 48

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T09:12:10.126298Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation cb742e3a-956b-47bb-8144-9f1ddd21e3f0 · outbound

This paper cites PyDex: Repairing bugs in introductory python assignments using LLMs,.

Certificate-Carrying Transformation of Event-Driven Block Programs PyDex: Repairing bugs in introductory python assignments using LLMs,

Reference 49

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T09:12:10.118281Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 7242f241-64c3-4796-b545-7db17150f888 · outbound

This paper cites A systematic study of time limit exceeded errors in online programming assignments,.

Certificate-Carrying Transformation of Event-Driven Block Programs A systematic study of time limit exceeded errors in online programming assignments,

Reference 50

Resolution: verified exact; arxiv_id, observed 2026-07-02T02:26:25.926160Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation a1a549ff-94c3-4b5f-9694-0358c928f970 · outbound

This paper cites Using pre-trained language models to resolve textual and semantic merge conflicts,.

Certificate-Carrying Transformation of Event-Driven Block Programs Using pre-trained language models to resolve textual and semantic merge conflicts,

Reference 51

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T09:12:10.097930Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation ffa6f1f1-fc83-4a41-8847-6f5756fdf3cb · outbound

This paper cites Learning CI configuration correctness for early build feedback,.

Certificate-Carrying Transformation of Event-Driven Block Programs Learning CI configuration correctness for early build feedback,

Reference 52

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T09:12:10.084961Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 45c70b2e-865d-47dc-abf4-df1b844f70bf · outbound

This paper cites Static detection of silent misconfigurations with deep interaction analysis.

Certificate-Carrying Transformation of Event-Driven Block Programs Static detection of silent misconfigurations with deep interaction analysis

Reference 53

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T09:12:10.092136Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 6474a854-d068-42e8-88ed-7d712a56acf1 · outbound

This paper cites The state of the art in end-user software engineering,.

Certificate-Carrying Transformation of Event-Driven Block Programs The state of the art in end-user software engineering,

Reference 54

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T09:12:10.114276Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation a8418bb5-964f-4b9d-bd93-08f1dc3bf820 · outbound

This paper cites Denali: A goal-directed superop- timizer,.

Certificate-Carrying Transformation of Event-Driven Block Programs Denali: A goal-directed superop- timizer,

Reference 55

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T09:12:10.136974Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation ec314c12-cee1-4be1-b844-7cf6c10f363b · outbound

This paper cites Automatic generation of peephole superop- timizers,.

Certificate-Carrying Transformation of Event-Driven Block Programs Automatic generation of peephole superop- timizers,

Reference 56

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T09:12:10.156506Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation e133d172-5e64-4312-91c8-cd805a3ccac9 · outbound

This paper cites Stochastic superoptimization,.

Certificate-Carrying Transformation of Event-Driven Block Programs Stochastic superoptimization,

Reference 57

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T09:12:10.149448Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 22d417dc-220a-46de-bd9c-e2ada407e4ec · outbound

This paper cites Rewrite rule inference using equality saturation,.

Certificate-Carrying Transformation of Event-Driven Block Programs Rewrite rule inference using equality saturation,

Reference 58

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T09:12:10.128056Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation dc247615-234a-4e32-a631-b1c81a53b1c1 · outbound

This paper cites Separation logic: A logic for shared mutable data structures,.

Certificate-Carrying Transformation of Event-Driven Block Programs Separation logic: A logic for shared mutable data structures,

Reference 59

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T09:12:10.161466Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 5bdf1840-c6ef-42e1-8fca-5e0a9f8c9ac9 · outbound

This paper cites Resources, concurrency, and local reasoning,.

Certificate-Carrying Transformation of Event-Driven Block Programs Resources, concurrency, and local reasoning,

Reference 60

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T09:12:10.146270Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation c2a23547-6538-44bd-acf9-aeda2df543af · outbound

This paper cites A logical view of composition,.

Certificate-Carrying Transformation of Event-Driven Block Programs A logical view of composition,

Reference 61

Resolution: verified fuzzy; raw_fallback, observed 2026-07-06T09:12:10.083172Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Pith citing papers

Observation c56e27eb-6d10-4985-b928-523edae033b3 · inbound

Content Hidden Behind Execution: Analyzing Public Scratch Projects at Runtime cites this paper.

Content Hidden Behind Execution: Analyzing Public Scratch Projects at Runtime Certificate-Carrying Transformation of Event-Driven Block Programs

Reference 38

Resolution: unresolved; no resolver link, observed 2026-07-12T00:34:05.404187Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.