Paper Citation Record · LEDGER

Mechanised operational semantics of Rowhammer

As of 5 August 2026, this Paper Citation Record lists 44 of 44 outbound references and 0 inbound Pith citation observations for arXiv:2607.10314.

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

pith.paper-citation-record.v1
2607.10314 v1

Coverage vector

measured 44 of 44 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-07-14T12:41:58.564684Z

measured 44 of 44 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-05T06:32:48.257954+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

44 of 44 outbound references displayed

verified exact10
verified fuzzy0
unresolved29
parse uncertain0
malformed identifier5
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation e6253fd1-48af-48f3-ae09-10a982f7c7e5 · outbound

This paper cites Mechanised operational semantics of Rowhammer.

Mechanised operational semantics of Rowhammer Mechanised operational semantics of Rowhammer

Reference 1

Resolution: unresolved; no resolver link, observed 2026-07-14T12:41:58.564684Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dece1c22-f3bd-435c-9bbb-2cb4743d9652 · outbound

This paper cites an unresolved cited work.

Mechanised operational semantics of Rowhammer Unresolved cited work

Reference 2

Resolution: unresolved; no resolver link, observed 2026-07-14T12:41:58.564684Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a20bf2b4-3dec-4ec4-a601-b994c8cc727d · outbound

This paper cites Clarkson and Fred B.

Mechanised operational semantics of Rowhammer Clarkson and Fred B

Reference 3

Resolution: unresolved; no resolver link, observed 2026-07-14T12:41:58.564684Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 50835fc2-9b1a-4db9-98f6-30cfdf2a1ead · outbound

This paper cites an unresolved cited work.

Mechanised operational semantics of Rowhammer Unresolved cited work

Reference 4

Resolution: unresolved; no resolver link, observed 2026-07-14T12:41:58.564684Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 720d3692-ee22-4199-a409-5df7512b6622 · outbound

This paper cites an unresolved cited work.

Mechanised operational semantics of Rowhammer Unresolved cited work

Reference 6

Resolution: unresolved; no resolver link, observed 2026-07-14T12:41:58.564684Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c06f1777-1326-4bea-bde6-c8906d5017eb · outbound

This paper cites an unresolved cited work.

Mechanised operational semantics of Rowhammer Unresolved cited work

Reference 7

Resolution: unresolved; no resolver link, observed 2026-07-14T12:41:58.564684Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 824b6885-217c-4d83-a0fc-dc1ff9ffb83b · outbound

This paper cites an unresolved cited work.

Mechanised operational semantics of Rowhammer Unresolved cited work

Reference 8

Resolution: unresolved; no resolver link, observed 2026-07-14T12:41:58.564684Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3af992e3-4b75-4c89-acf4-2aed86dce2b4 · outbound

This paper cites 1940.The Consistency of the Continuum-Hypothesis.

Mechanised operational semantics of Rowhammer 1940.The Consistency of the Continuum-Hypothesis

Reference 9

Resolution: verified exact; doi, observed 2026-07-14T12:50:29.148759Z

Source-reported events for the cited work

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

Observation 80623af3-dda6-4646-975b-20db118a64cb · outbound

This paper cites Goguen and José Meseguer.

Mechanised operational semantics of Rowhammer Goguen and José Meseguer

Reference 10

Resolution: unresolved; no resolver link, observed 2026-07-14T12:41:58.564684Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1fa29d70-19d0-43db-9f59-f72280e18b4a · outbound

This paper cites an unresolved cited work.

Mechanised operational semantics of Rowhammer Unresolved cited work

Reference 11

Resolution: verified exact; doi, observed 2026-07-14T12:50:29.107042Z

Source-reported events for the cited work

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

Observation 381c7228-bed2-4d58-916a-f528398f525f · outbound

This paper cites an unresolved cited work.

Mechanised operational semantics of Rowhammer Unresolved cited work

Reference 12

Resolution: unresolved; no resolver link, observed 2026-07-14T12:41:58.564684Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e17a4c78-53ff-466f-a324-10d5d3eb4136 · outbound

This paper cites Kim, Victor van der Veen, Kaveh Razavi, and Onur Mutlu.

Mechanised operational semantics of Rowhammer Kim, Victor van der Veen, Kaveh Razavi, and Onur Mutlu

Reference 13

Resolution: unresolved; no resolver link, observed 2026-07-14T12:41:58.564684Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4e68a7d8-c5a1-4e74-96ab-8241a0c917b2 · outbound

This paper cites an unresolved cited work.

Mechanised operational semantics of Rowhammer Unresolved cited work

Reference 14

Resolution: verified exact; doi, observed 2026-07-14T12:50:29.192538Z

Source-reported events for the cited work

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

Observation 9184f04c-21e0-455c-93ce-3f10176579f6 · outbound

This paper cites an unresolved cited work.

Mechanised operational semantics of Rowhammer Unresolved cited work

Reference 15

Resolution: malformed identifier; no resolver link, observed 2026-07-14T12:41:58.564684Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0c06c71c-3f4f-44f9-9fc3-8d492a5fc0aa · outbound

This paper cites an unresolved cited work.

Mechanised operational semantics of Rowhammer Unresolved cited work

Reference 16

Resolution: unresolved; no resolver link, observed 2026-07-14T12:41:58.564684Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation badf2b24-a638-4391-afee-8808cb3e96c3 · outbound

This paper cites an unresolved cited work.

Mechanised operational semantics of Rowhammer Unresolved cited work

Reference 17

Resolution: unresolved; no resolver link, observed 2026-07-14T12:41:58.564684Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 59d983b0-4993-4403-96e4-afda7b0c95f9 · outbound

This paper cites an unresolved cited work.

Mechanised operational semantics of Rowhammer Unresolved cited work

Reference 18

Resolution: unresolved; no resolver link, observed 2026-07-14T12:41:58.564684Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 10237a6d-5812-4fc0-a472-171718a362e7 · outbound

This paper cites an unresolved cited work.

Mechanised operational semantics of Rowhammer Unresolved cited work

Reference 19

Resolution: malformed identifier; no resolver link, observed 2026-07-14T12:41:58.564684Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b960ba6b-4508-4db6-9c2b-3c41864fe245 · outbound

This paper cites an unresolved cited work.

Mechanised operational semantics of Rowhammer Unresolved cited work

Reference 20

Resolution: unresolved; no resolver link, observed 2026-07-14T12:41:58.564684Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a62b18ed-c7bd-4c36-990e-0e95a7d4f9b3 · outbound

This paper cites an unresolved cited work.

Mechanised operational semantics of Rowhammer Unresolved cited work

Reference 21

Resolution: unresolved; no resolver link, observed 2026-07-14T12:41:58.564684Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation aeb6f94a-8b94-42ae-a254-fcdf85c6f988 · outbound

This paper cites 1998.Categories for the Working Mathematician(2 ed.).

Mechanised operational semantics of Rowhammer 1998.Categories for the Working Mathematician(2 ed.)

Reference 22

Resolution: unresolved; no resolver link, observed 2026-07-14T12:41:58.564684Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ba4cd48a-0e9b-4b21-848e-48b3ddd75711 · outbound

This paper cites an unresolved cited work.

Mechanised operational semantics of Rowhammer Unresolved cited work

Reference 23

Resolution: unresolved; no resolver link, observed 2026-07-14T12:41:58.564684Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eca5c8a4-4fad-4ab7-9bc6-9e8cf953b81a · outbound

This paper cites an unresolved cited work.

Mechanised operational semantics of Rowhammer Unresolved cited work

Reference 24

Resolution: unresolved; no resolver link, observed 2026-07-14T12:41:58.564684Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 87dcc4d0-6c46-4deb-a2e1-500da9a121b9 · outbound

This paper cites an unresolved cited work.

Mechanised operational semantics of Rowhammer Unresolved cited work

Reference 25

Resolution: verified exact; doi, observed 2026-07-14T12:50:29.122803Z

Source-reported events for the cited work

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

Observation 1672b8bd-57d6-4eec-8d10-e55f85e2e8cc · outbound

This paper cites an unresolved cited work.

Mechanised operational semantics of Rowhammer Unresolved cited work

Reference 26

Resolution: unresolved; no resolver link, observed 2026-07-14T12:41:58.564684Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f0e559c2-2f95-4876-82af-db9400da95ba · outbound

This paper cites 2024.Towards Automatic Analysis of Microarchitectural Attacks.

Mechanised operational semantics of Rowhammer 2024.Towards Automatic Analysis of Microarchitectural Attacks

Reference 27

Resolution: unresolved; no resolver link, observed 2026-07-14T12:41:58.564684Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 89584ab4-f2d1-4138-a6cd-300bd1766b7b · outbound

This paper cites an unresolved cited work.

Mechanised operational semantics of Rowhammer Unresolved cited work

Reference 28

Resolution: malformed identifier; no resolver link, observed 2026-07-14T12:41:58.564684Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0e5f7bd9-75b4-4b99-878d-d73feb9f4df3 · outbound

This paper cites Giray Yağlıkçı, Haocong Luo, Ataberk Olgun, Jisung Park, Hasan Hassan, Minesh Patel, Jeremie S.

Mechanised operational semantics of Rowhammer Giray Yağlıkçı, Haocong Luo, Ataberk Olgun, Jisung Park, Hasan Hassan, Minesh Patel, Jeremie S

Reference 30

Resolution: unresolved; no resolver link, observed 2026-07-14T12:41:58.564684Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 22ebf5e7-4c4a-43cc-8632-6b63e158de95 · outbound

This paper cites an unresolved cited work.

Mechanised operational semantics of Rowhammer Unresolved cited work

Reference 31

Resolution: verified exact; doi, observed 2026-07-14T12:50:29.131452Z

Source-reported events for the cited work

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

Observation 800165e1-ab8b-47da-86b7-97fda1ad477c · outbound

This paper cites an unresolved cited work.

Mechanised operational semantics of Rowhammer Unresolved cited work

Reference 32

Resolution: malformed identifier; doi_truncated, observed 2026-07-14T12:50:29.169200Z

Source-reported events for the cited work

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

Observation 96574f33-4a5b-4b4a-9e77-28f0216612f9 · outbound

This paper cites an unresolved cited work.

Mechanised operational semantics of Rowhammer Unresolved cited work

Reference 33

Resolution: unresolved; no resolver link, observed 2026-07-14T12:41:58.564684Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a4ef66c5-586b-44d3-a4da-dd98ab886e68 · outbound

This paper cites an unresolved cited work.

Mechanised operational semantics of Rowhammer Unresolved cited work

Reference 34

Resolution: unresolved; no resolver link, observed 2026-07-14T12:41:58.564684Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f0ba8dd1-3a23-4718-aeec-934b6584d8f9 · outbound

This paper cites an unresolved cited work.

Mechanised operational semantics of Rowhammer Unresolved cited work

Reference 35

Resolution: unresolved; no resolver link, observed 2026-07-14T12:41:58.564684Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bec9ef1e-b0f3-4576-893f-227efa0eaacf · outbound

This paper cites an unresolved cited work.

Mechanised operational semantics of Rowhammer Unresolved cited work

Reference 36

Resolution: unresolved; no resolver link, observed 2026-07-14T12:41:58.564684Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a7d8f66a-f9a4-42bf-a67e-8f4e14a32fea · outbound

This paper cites an unresolved cited work.

Mechanised operational semantics of Rowhammer Unresolved cited work

Reference 37

Resolution: unresolved; no resolver link, observed 2026-07-14T12:41:58.564684Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2a48c91a-dc93-405e-8d3e-2f48d83c40df · outbound

This paper cites The While language.

Mechanised operational semantics of Rowhammer The While language

Reference 38

Resolution: malformed identifier; local_arxiv, observed 2026-07-14T12:50:29.210231Z

Source-reported events for the cited work

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

Observation 3283338c-18b8-4501-857c-ab672ee5ea8f · outbound

This paper cites an unresolved cited work.

Mechanised operational semantics of Rowhammer Unresolved cited work

Reference 39

Resolution: verified exact; arxiv_id, observed 2026-07-14T12:50:29.115203Z

Source-reported events for the cited work

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

Observation 1d491c7d-3b34-4f65-a776-9aca3b039a86 · outbound

This paper cites Giray Yağlıkçı, Minesh Patel, Jeremie S.

Mechanised operational semantics of Rowhammer Giray Yağlıkçı, Minesh Patel, Jeremie S

Reference 40

Resolution: unresolved; no resolver link, observed 2026-07-14T12:41:58.564684Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a2c0a736-a292-4c3d-a864-ac3b09f99af5 · outbound

This paper cites 2020.Semantics of Probabilistic Programming: A Gentle Introduction.

Mechanised operational semantics of Rowhammer 2020.Semantics of Probabilistic Programming: A Gentle Introduction

Reference 41

Resolution: verified exact; doi, observed 2026-07-14T12:50:29.204252Z

Source-reported events for the cited work

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

Observation 3a44dbf2-ee34-4f96-a8d9-f05258772bbb · outbound

This paper cites an unresolved cited work.

Mechanised operational semantics of Rowhammer Unresolved cited work

Reference 42

Resolution: verified exact; doi, observed 2026-07-14T12:50:29.214692Z

Source-reported events for the cited work

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

Observation 60b14254-f188-43e9-a72f-81a14f151b81 · outbound

This paper cites an unresolved cited work.

Mechanised operational semantics of Rowhammer Unresolved cited work

Reference 43

Resolution: unresolved; no resolver link, observed 2026-07-14T12:41:58.564684Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1c9baedc-4db0-4239-9e86-dec6623129b9 · outbound

This paper cites 2007.Semantics with Applications: An Appetizer (Undergraduate Topics in Computer Science).

Mechanised operational semantics of Rowhammer 2007.Semantics with Applications: An Appetizer (Undergraduate Topics in Computer Science)

Reference 44

Resolution: unresolved; no resolver link, observed 2026-07-14T12:41:58.564684Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 67ac6ee4-495d-4b18-b629-5aea096a5c62 · outbound

This paper cites 2014.Concrete Semantics: With Isabelle/HOL.

Mechanised operational semantics of Rowhammer 2014.Concrete Semantics: With Isabelle/HOL

Reference 45

Resolution: verified exact; doi, observed 2026-07-14T12:50:29.227211Z

Source-reported events for the cited work

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

Observation b13d2c7e-e63a-4f03-aaba-ed969b9dc5fd · outbound

This paper cites 1993.The Formal Semantics of Programming Languages.

Mechanised operational semantics of Rowhammer 1993.The Formal Semantics of Programming Languages

Reference 46

Resolution: verified exact; doi, observed 2026-07-14T12:50:29.159275Z

Source-reported events for the cited work

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

Pith citing papers

No inbound Pith citation observations are available.