Paper Citation Record · LEDGER

Making Software Meaningful

As of 18 August 2026, this Paper Citation Record lists 52 of 52 outbound references and 1 inbound Pith citation observation for arXiv:2606.11051.

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

pith.paper-citation-record.v1
2606.11051 v1

Coverage vector

measured 52 of 52 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-06-27T12:17:58.319066Z

measured 53 of 53 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-18T06:34:40.430872+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-08-01T22:34:18.395159Z

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

52 of 52 outbound references displayed

verified exact15
verified fuzzy0
unresolved29
parse uncertain0
malformed identifier0
metadata mismatch8

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 0e49c213-4814-48ce-875b-a01489041295 · outbound

This paper cites an unresolved cited work.

Making Software Meaningful Unresolved cited work

Reference 1

Resolution: unresolved; no resolver link, observed 2026-06-27T12:17:58.319066Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 935c4de0-2616-43cc-80d2-70691c4ae7a0 · outbound

This paper cites 1996.The B-Book: Assigning Programs to Mean- ings.

Making Software Meaningful 1996.The B-Book: Assigning Programs to Mean- ings

Reference 2

Resolution: unresolved; no resolver link, observed 2026-06-27T12:17:58.319066Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 44eee2cd-8d8c-4b80-8814-5ace82041723 · outbound

This paper cites an unresolved cited work.

Making Software Meaningful Unresolved cited work

Reference 3

Resolution: unresolved; no resolver link, observed 2026-06-27T12:17:58.319066Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 11789670-3b2c-4bc6-a6c8-e1a764603b97 · outbound

This paper cites In FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems (Lecture Notes in Computer Science, Vol.

Making Software Meaningful In FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems (Lecture Notes in Computer Science, Vol

Reference 4

Resolution: verified exact; doi, observed 2026-06-27T12:20:54.169289Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation bbf9116a-d35e-40e9-a097-d938fa67c4f7 · outbound

This paper cites 2019.Race After Technology: Abolitionist Tools for the New Jim Code.

Making Software Meaningful 2019.Race After Technology: Abolitionist Tools for the New Jim Code

Reference 5

Resolution: unresolved; no resolver link, observed 2026-06-27T12:17:58.319066Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8232237e-8c5b-4456-ad6b-89c8da8027bb · outbound

This paper cites SIGSOFT ’08/FSE-16, pp.

Making Software Meaningful SIGSOFT ’08/FSE-16, pp

Reference 6

Resolution: verified exact; arxiv_id, observed 2026-06-27T12:20:54.166971Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation f06958fd-f3bc-48a6-9bfc-0ad6a9c245b7 · outbound

This paper cites an unresolved cited work.

Making Software Meaningful Unresolved cited work

Reference 7

Resolution: unresolved; no resolver link, observed 2026-06-27T12:17:58.319066Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6850f4c8-55dd-4162-a6af-d75585fa948d · outbound

This paper cites an unresolved cited work.

Making Software Meaningful Unresolved cited work

Reference 8

Resolution: unresolved; no resolver link, observed 2026-06-27T12:17:58.319066Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 62014a82-bf22-4ed5-85a4-16d879c10147 · outbound

This paper cites 2004.User Stories Applied: For Agile Software Development.

Making Software Meaningful 2004.User Stories Applied: For Agile Software Development

Reference 9

Resolution: unresolved; no resolver link, observed 2026-06-27T12:17:58.319066Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 43e4798f-891b-489c-8c6e-aca5be5b3505 · outbound

This paper cites an unresolved cited work.

Making Software Meaningful Unresolved cited work

Reference 10

Resolution: unresolved; no resolver link, observed 2026-06-27T12:17:58.319066Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f85d2cf7-1634-4d86-80c7-ed08f3319359 · outbound

This paper cites Denning (Ed.).

Making Software Meaningful Denning (Ed.)

Reference 11

Resolution: verified exact; arxiv_id, observed 2026-06-27T12:20:54.210129Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 1361772b-e84c-42ef-a9b8-b739d85e72ae · outbound

This paper cites Algo- rithms Ruin Everything.

Making Software Meaningful Algo- rithms Ruin Everything

Reference 12

Resolution: verified exact; arxiv_id, observed 2026-06-27T12:20:54.212812Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 8f3d9e20-c799-4d24-ba39-62fe9629a5c7 · outbound

This paper cites an unresolved cited work.

Making Software Meaningful Unresolved cited work

Reference 13

Resolution: unresolved; no resolver link, observed 2026-06-27T12:17:58.319066Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1f1a692f-d068-4e23-aec8-0348313a8263 · outbound

This paper cites I always assumed that I wasn’t really that close to [her].

Making Software Meaningful I always assumed that I wasn’t really that close to [her]

Reference 14

Resolution: metadata mismatch; arxiv_id, observed 2026-06-27T12:20:54.207454Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 58c74ec0-171c-4269-9cc7-b9f9c535889a · outbound

This paper cites 2003.Domain-Driven Design: Tackling Complexity in the Heart of Software.

Making Software Meaningful 2003.Domain-Driven Design: Tackling Complexity in the Heart of Software

Reference 15

Resolution: unresolved; no resolver link, observed 2026-06-27T12:17:58.319066Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4201ba70-0fdc-4452-ae4f-72d608fefc31 · outbound

This paper cites an unresolved cited work.

Making Software Meaningful Unresolved cited work

Reference 16

Resolution: unresolved; no resolver link, observed 2026-06-27T12:17:58.319066Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3618d109-a11f-4cf7-b68a-4b808b11d7e0 · outbound

This paper cites Karger, and David D.

Making Software Meaningful Karger, and David D

Reference 17

Resolution: metadata mismatch; arxiv_id, observed 2026-06-27T12:20:54.201854Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 886923f7-5b65-4123-bbc1-0d377ad613d3 · outbound

This paper cites an unresolved cited work.

Making Software Meaningful Unresolved cited work

Reference 18

Resolution: unresolved; no resolver link, observed 2026-06-27T12:17:58.319066Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d6d94113-d6f7-4564-ba64-8bb9cd0190d5 · outbound

This paper cites Hutchins, James D.

Making Software Meaningful Hutchins, James D

Reference 19

Resolution: verified exact; doi, observed 2026-06-27T12:20:54.199053Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 407678db-be89-4b3e-92ad-ffddc6b76b27 · outbound

This paper cites 2011.Software Abstractions: Logic, Language, and Analysis(revised ed.).

Making Software Meaningful 2011.Software Abstractions: Logic, Language, and Analysis(revised ed.)

Reference 20

Resolution: unresolved; no resolver link, observed 2026-06-27T12:17:58.319066Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f9bc362c-3fa7-49f7-a533-5c18bc485e4a · outbound

This paper cites 2021.The Essence of Software: Why Concepts Matter for Great Design.

Making Software Meaningful 2021.The Essence of Software: Why Concepts Matter for Great Design

Reference 21

Resolution: unresolved; no resolver link, observed 2026-06-27T12:17:58.319066Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 794424ab-64d4-4f1a-a2dc-407383c36e43 · outbound

This paper cites an unresolved cited work.

Making Software Meaningful Unresolved cited work

Reference 22

Resolution: unresolved; no resolver link, observed 2026-06-27T12:17:58.319066Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 88660459-5834-41d3-be32-1f5d55c30fa2 · outbound

This paper cites In: Proceedings of the 17th international conference on Software engineering.

Making Software Meaningful In: Proceedings of the 17th international conference on Software engineering

Reference 23

Resolution: verified exact; arxiv_id, observed 2026-06-27T12:20:54.204656Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 5357aee8-0e83-43ff-a1ed-4cbcd9144316 · outbound

This paper cites an unresolved cited work.

Making Software Meaningful Unresolved cited work

Reference 24

Resolution: unresolved; no resolver link, observed 2026-06-27T12:17:58.319066Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3e5b8510-93af-4835-8b77-8e21a1620be7 · outbound

This paper cites an unresolved cited work.

Making Software Meaningful Unresolved cited work

Reference 25

Resolution: unresolved; no resolver link, observed 2026-06-27T12:17:58.319066Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ba625bed-3ed6-48b7-a41f-5d422cd92a42 · outbound

This paper cites Aggarwal and M.S.

Making Software Meaningful Aggarwal and M.S

Reference 26

Resolution: metadata mismatch; arxiv_id, observed 2026-06-27T12:20:54.215877Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation b09b478b-d3da-4a7b-9712-1bf01536f0a3 · outbound

This paper cites Ko, Robert DeLine, and Gina Venolia.

Making Software Meaningful Ko, Robert DeLine, and Gina Venolia

Reference 27

Resolution: verified exact; doi, observed 2026-06-27T12:20:54.191477Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 55dfc52c-18a1-4036-873b-6b2523e71503 · outbound

This paper cites The AI Scientist: Towards Fully Automated Open-Ended Scientific Discovery.

Making Software Meaningful The AI Scientist: Towards Fully Automated Open-Ended Scientific Discovery

Reference 28

Resolution: verified exact; local_arxiv, observed 2026-06-27T12:20:54.183788Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation e4bb9e41-e82a-41a4-83e7-32ac0d0601ac · outbound

This paper cites Mathur, G.

Making Software Meaningful Mathur, G

Reference 29

Resolution: metadata mismatch; doi, observed 2026-06-27T12:20:54.185880Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 5138a44c-7d6b-4d5b-9057-0b09df35a30c · outbound

This paper cites InProceedings of the 2025 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software.

Making Software Meaningful InProceedings of the 2025 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software

Reference 30

Resolution: metadata mismatch; arxiv_id, observed 2026-06-27T12:20:54.189230Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 7578efbb-28c6-4335-bfd5-579f8b9ccf7c · outbound

This paper cites Merrill and Will Oremus.

Making Software Meaningful Merrill and Will Oremus

Reference 31

Resolution: unresolved; no resolver link, observed 2026-06-27T12:17:58.319066Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a357c08b-7868-4266-b37d-06421e5f443f · outbound

This paper cites AI for software engineering: from probable to provable.

Making Software Meaningful AI for software engineering: from probable to provable

Reference 32

Resolution: verified exact; local_arxiv, observed 2026-06-27T12:20:54.197141Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 15d4643b-1a6e-4bb4-9c81-3b163130e6b3 · outbound

This paper cites an unresolved cited work.

Making Software Meaningful Unresolved cited work

Reference 33

Resolution: unresolved; no resolver link, observed 2026-06-27T12:17:58.319066Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a609dd5b-34cd-4643-b85a-056121fa134c · outbound

This paper cites an unresolved cited work.

Making Software Meaningful Unresolved cited work

Reference 34

Resolution: unresolved; no resolver link, observed 2026-06-27T12:17:58.319066Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bdae0552-f19a-43fc-8c24-79cabba3e9b3 · outbound

This paper cites an unresolved cited work.

Making Software Meaningful Unresolved cited work

Reference 35

Resolution: unresolved; no resolver link, observed 2026-06-27T12:17:58.319066Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 27190922-5de1-4a59-bf8d-eac235d20262 · outbound

This paper cites MemGPT: Towards LLMs as Operating Systems.

Making Software Meaningful MemGPT: Towards LLMs as Operating Systems

Reference 36

Resolution: metadata mismatch; local_arxiv, observed 2026-06-27T12:20:54.218529Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 69607383-6547-4fb1-92c0-9495b800983c · outbound

This paper cites O'Brien and Carrie Jun Cai and Meredith Ringel Morris and Percy Liang and Michael S.

Making Software Meaningful O'Brien and Carrie Jun Cai and Meredith Ringel Morris and Percy Liang and Michael S

Reference 37

Resolution: verified exact; arxiv_id, observed 2026-06-27T12:20:54.221482Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 3ed8c075-a09b-41a0-9f99-2b0e7b7f227c · outbound

This paper cites Ernst, and Jonathan Jacky.

Making Software Meaningful Ernst, and Jonathan Jacky

Reference 38

Resolution: unresolved; no resolver link, observed 2026-06-27T12:17:58.319066Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 82fbf50f-d4f7-4e1d-8f54-c8eb1c2b121a · outbound

This paper cites Gordon, Carina Negreanu, Christian Poelitz, Sruti Srinivasa Ragavan, and Ben Zorn.

Making Software Meaningful Gordon, Carina Negreanu, Christian Poelitz, Sruti Srinivasa Ragavan, and Ben Zorn

Reference 39

Resolution: unresolved; no resolver link, observed 2026-06-27T12:17:58.319066Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 86382a1e-9c38-454a-8e96-d50ec428cd30 · outbound

This paper cites Model Cards for Model Reporting.

Making Software Meaningful Model Cards for Model Reporting

Reference 40

Resolution: metadata mismatch; arxiv_id, observed 2026-06-27T12:20:54.179306Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 18192f86-1b66-4308-9c4d-b7c7d05ae67c · outbound

This paper cites 2012.Routledge Interna- tional Handbook of Participatory Design.

Making Software Meaningful 2012.Routledge Interna- tional Handbook of Participatory Design

Reference 41

Resolution: verified exact; doi, observed 2026-06-27T12:20:54.181082Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 6d214132-c01b-4a75-8671-f56af25e866d · outbound

This paper cites an unresolved cited work.

Making Software Meaningful Unresolved cited work

Reference 42

Resolution: unresolved; no resolver link, observed 2026-06-27T12:17:58.319066Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f295eeb4-6f24-4e84-8946-e80ccc76fada · outbound

This paper cites 2026.Computational Reflections.

Making Software Meaningful 2026.Computational Reflections

Reference 43

Resolution: unresolved; no resolver link, observed 2026-06-27T12:17:58.319066Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d8ce5a1c-e1a9-4682-b11a-79d0cb21b6fb · outbound

This paper cites an unresolved cited work.

Making Software Meaningful Unresolved cited work

Reference 44

Resolution: unresolved; no resolver link, observed 2026-06-27T12:17:58.319066Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 638a88e9-ee7b-4794-ac33-eab1b89aca29 · outbound

This paper cites Federal Trade Commission.

Making Software Meaningful Federal Trade Commission

Reference 45

Resolution: unresolved; no resolver link, observed 2026-06-27T12:17:58.319066Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c6ed03d5-9234-4ff6-965d-a961f8723570 · outbound

This paper cites Keith Edwards, Mark W.

Making Software Meaningful Keith Edwards, Mark W

Reference 46

Resolution: verified exact; arxiv_id, observed 2026-06-27T12:20:54.176034Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation fc09693c-2f1d-4c2f-b280-26da11857e42 · outbound

This paper cites an unresolved cited work.

Making Software Meaningful Unresolved cited work

Reference 47

Resolution: unresolved; no resolver link, observed 2026-06-27T12:17:58.319066Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6d65a351-77b3-46b6-8b7d-28afab854a2e · outbound

This paper cites an unresolved cited work.

Making Software Meaningful Unresolved cited work

Reference 48

Resolution: verified exact; doi, observed 2026-06-27T12:20:54.172863Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation d2f73f01-6f3b-4349-88a4-c38cdfbab76c · outbound

This paper cites 1986.Understanding Comput- ers and Cognition: A New Foundation for Design.

Making Software Meaningful 1986.Understanding Comput- ers and Cognition: A New Foundation for Design

Reference 49

Resolution: unresolved; no resolver link, observed 2026-06-27T12:17:58.319066Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4b44e437-78af-4f88-a592-119d49dac752 · outbound

This paper cites AutoGen: Enabling Next-Gen LLM Applications via Multi-Agent Conversation.

Making Software Meaningful AutoGen: Enabling Next-Gen LLM Applications via Multi-Agent Conversation

Reference 50

Resolution: metadata mismatch; local_arxiv, observed 2026-06-27T12:20:54.194569Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 36f0efca-44e8-4ae9-a797-d8381a2bb2c1 · outbound

This paper cites ReAct: Synergizing Reasoning and Acting in Language Models.

Making Software Meaningful ReAct: Synergizing Reasoning and Acting in Language Models

Reference 51

Resolution: verified exact; local_arxiv, observed 2026-07-03T07:07:44.760083Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 84f44adc-5bcc-43fc-ad23-e02c6b9cafd4 · outbound

This paper cites Mastodon.

Making Software Meaningful Mastodon

Reference 52

Resolution: verified exact; doi, observed 2026-06-27T12:20:54.171014Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Pith citing papers

Observation 531b4b95-5123-4fd9-9cc7-9501b611c710 · inbound

Verified LLM-Driven Synthesis for Concept Design cites this paper.

Verified LLM-Driven Synthesis for Concept Design Making Software Meaningful

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-01T22:34:18.395159Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.