Pith. sign in

Paper Citation Record · LEDGER

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval

As of 8 August 2026, this Paper Citation Record lists 99 of 99 outbound references and 0 inbound Pith citation observations for arXiv:2506.18394.

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

pith.paper-citation-record.v1
2506.18394 v1

Coverage vector

measured 99 of 99 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-06T23:21:05.841975Z

measured 99 of 99 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-08T06:32:00.761636+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

99 of 99 outbound references displayed

  • verified exact1
  • verified fuzzy6
  • unresolved92
  • parse uncertain0
  • malformed identifier0
  • metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 6bb48ec3-5de4-4c63-a2c7-8a0cfb4356b0 · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 1

Resolution
unresolved
no resolver link, observed 2026-08-06T23:20:56.144834Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T23:20:56.144834Z digest=sha256:d828277973bcb5398146e08fe664ae84efbcfd6a9b83fe32722fee4b058c5b06

Observation ea27d451-038e-4049-9ead-fc9dcbfcb220 · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 2

Resolution
unresolved
no resolver link, observed 2026-08-06T23:20:56.274930Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T23:20:56.274930Z digest=sha256:517627b74aaf952f9c0c30d9a317beff09964dce92296d0381cf0d66ab919b1c

Observation d72212dc-4bc0-481b-9ade-b78e6a7872cc · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 3

Resolution
unresolved
no resolver link, observed 2026-08-06T23:20:56.390263Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T23:20:56.390263Z digest=sha256:3b97080433a8f982c5e3fb0ba17e2dfaaf7eb853a22dc0e479439f505048d430

Observation 36a74b59-44ff-4468-84b0-b6ac1486c5cb · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 4

Resolution
unresolved
no resolver link, observed 2026-08-06T23:20:56.525017Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T23:20:56.525017Z digest=sha256:8da9486da4e8aba9c4c7c05a1badfef6d8582b000172b8ec5dea2337b36a88bf

Observation 9a9826ce-d1c5-42fb-9de3-064a192c1a87 · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 5

Resolution
unresolved
no resolver link, observed 2026-08-06T23:20:56.675494Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T23:20:56.675494Z digest=sha256:f9b358ffbfa2ca606dd05c868ce4457945c912e619edbb94c89ad071f011753a

Observation 50cc11ce-857a-46ee-b307-4b9152c29015 · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 6

Resolution
unresolved
no resolver link, observed 2026-08-06T23:20:56.815270Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T23:20:56.815270Z digest=sha256:477f9fcef3443655dac3f0f57a839469edd32c434a1903660e7846cd0256a3d5

Observation fc889bde-ef80-4b84-8f72-e5134b5a1397 · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 7

Resolution
unresolved
no resolver link, observed 2026-08-06T23:20:56.914822Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T23:20:56.914822Z digest=sha256:4db3faeb64993bbf71e3f2c0f8c8f94a050b26b8be153056f18f0aec47e219b7

Observation 9b13baf4-f5ec-4d65-bbe9-05ddb5087870 · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 8

Resolution
unresolved
no resolver link, observed 2026-08-06T23:20:57.014879Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T23:20:57.014879Z digest=sha256:537a6e0bef12b2ae20db4a9569378e444f2a53142762d1c9887e34a0f89959f4

Observation 951c6ddf-8c49-4ef0-86c8-7174521de107 · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 9

Resolution
unresolved
no resolver link, observed 2026-08-06T23:20:57.107894Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T23:20:57.107894Z digest=sha256:28ac0ffc959e3aa7e1730e93bd6a14eb8ddab2e23ec11a0453765fb09b164a79

Observation dcdd7e70-dbd6-40d6-b102-1021fa69569e · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 10

Resolution
unresolved
no resolver link, observed 2026-08-06T23:20:57.330600Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T23:20:57.330600Z digest=sha256:08c15a6096ada6376f71d37e30050abcad223a459a2cd105736eb4cec4552137

Observation 8ea2069a-e9d0-49e3-acee-3848494993dc · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 11

Resolution
unresolved
no resolver link, observed 2026-08-06T23:20:57.424284Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T23:20:57.424284Z digest=sha256:22b4097f2fcf4d93d527426a41c163a0e625f11848f32cdbd07658493c6220de

Observation ab40cdaf-4483-49dc-847f-1da6bb8b3806 · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 12

Resolution
unresolved
no resolver link, observed 2026-08-06T23:20:57.525534Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T23:20:57.525534Z digest=sha256:b1c4a8349c0b4a6fed892167140710117d4716535d6181b010c71becd69a8598

Observation 7deb67a0-35c3-4500-bbf9-3c76f4106a46 · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 13

Resolution
unresolved
no resolver link, observed 2026-08-06T23:20:57.650834Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T23:20:57.650834Z digest=sha256:779882f87561cf5df45a65ccc24a2e5dba14a2d9b7ba58825006b1176a0e620d

Observation ae617986-8206-4112-b9a1-fa76045fc1b4 · outbound

This paper cites Devanbu, and Vincent J.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Devanbu, and Vincent J

Reference 14

Resolution
unresolved
no resolver link, observed 2026-08-06T23:20:57.744561Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T23:20:57.744561Z digest=sha256:598f271d61a47ef1371f3e7e5620b57ce8d1b49e9365084ad2be16b3d27c2ad4

Observation 2ba17cbf-a760-4cef-86e6-a9562a876ca6 · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 15

Resolution
unresolved
no resolver link, observed 2026-08-06T23:20:57.829436Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T23:20:57.829436Z digest=sha256:d07eeeff8942c0c0f36bc1456e18b7098366fb86c1bed6d3b26a77181a883893

Observation a25221be-ab8b-45c5-877c-da9f4d4bd4db · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 16

Resolution
unresolved
no resolver link, observed 2026-08-06T23:20:57.994744Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T23:20:57.994744Z digest=sha256:0ec66ec44083208fed46c761292ca590c109bcc8377f626d94e2d915c5d565ea

Observation 699fadff-620c-4cc5-a923-fcd5fb1ac417 · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 17

Resolution
unresolved
no resolver link, observed 2026-08-06T23:20:58.120216Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T23:20:58.120216Z digest=sha256:96aa4bc5a134d17e4aaf5bdf10b0e7b9ddd061ff40717b9ed0e2617f47980920

Observation 91778653-2cb1-432d-8b15-f6ddf9a1d380 · outbound

This paper cites Fink, Eran Yahav, Nurit Dor, G.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Fink, Eran Yahav, Nurit Dor, G

Reference 18

Resolution
unresolved
no resolver link, observed 2026-08-06T23:20:58.217881Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T23:20:58.217881Z digest=sha256:30e85bbd07f54af34e122869a6ad8265134e5d5afda61efe26dba9e647b20581

Observation 8dce75d6-48af-4091-b23d-1dd5188d3b30 · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 19

Resolution
unresolved
raw_fallback, observed 2026-08-06T23:21:18.695013Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T23:20:58.269208Z digest=sha256:517faa7c259d439904d86fd02963d6c4c3b6c1f142dbf9735089fda4a5b180b0

Observation 1f06c95a-b630-4fd3-b41f-fe6a69872157 · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 20

Resolution
unresolved
raw_fallback, observed 2026-08-06T23:21:18.552648Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T23:20:58.303014Z digest=sha256:90575003b571586917ea03d57955b24ccb80f6440a020029646616f8fd11e7ba

Observation 4736f064-a630-468a-a2b3-9497fd8ef3dc · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 21

Resolution
unresolved
raw_fallback, observed 2026-08-06T23:21:18.404903Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T23:20:58.397216Z digest=sha256:a9dcf94e8e3faa53a2f969c3b0d6f9509180c9436dec67da3502f7d2aedfe468

Observation e4e9831c-d144-4b06-b80f-5477f54debeb · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 22

Resolution
unresolved
raw_fallback, observed 2026-08-06T23:21:18.204996Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T23:20:58.437698Z digest=sha256:a50ba607c16519a6478739e5347fae7d8806869f66e9e52740d060fef8cf4272

Observation 05a8b795-50d8-4a71-914a-b9cfe3922d82 · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 23

Resolution
unresolved
raw_fallback, observed 2026-08-06T23:21:17.824942Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T23:20:58.559532Z digest=sha256:c07ff1812887bf69638c10579368f68b1eeab41533cb4ed359b6e9eff177cbe4

Observation e8cf37b0-03f1-4836-880f-79fbdb86e571 · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 24

Resolution
unresolved
raw_fallback, observed 2026-08-06T23:21:17.578002Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T23:20:58.632181Z digest=sha256:e3cd2dbc97ba85b6f78adf012e7b598b9720f03f159e6423cc728158a30d02c3

Observation 6971aba4-3c61-4201-a5c1-689da91df603 · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 25

Resolution
unresolved
raw_fallback, observed 2026-08-06T23:21:17.415118Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T23:20:58.768809Z digest=sha256:994a6f9a45752594323a90c4244a56ddebfc3d865d1eab90cdf57445497d7548

Observation cb29eac9-5b32-410d-940c-bfb4f4cfd338 · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 26

Resolution
unresolved
raw_fallback, observed 2026-08-06T23:21:17.280202Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T23:20:58.878083Z digest=sha256:b1c541d23cf8e6a73a9152566d348c380a955b9151a0b216ac988768d8e02b18

Observation cc5d3972-a9fb-4bf4-a70a-f95892772c6e · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 27

Resolution
unresolved
raw_fallback, observed 2026-08-06T23:21:17.124721Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T23:20:58.964271Z digest=sha256:9f97433e5167a6033d0db1e435285249ede2d91b5e6ce3e92b0f7cf8a91fdb2b

Observation d974d586-c672-4661-b5e1-9240da43cda4 · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 28

Resolution
unresolved
raw_fallback, observed 2026-08-06T23:21:16.945202Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T23:20:59.046079Z digest=sha256:94a96f830a525e2f9a6ccd733913c19819b4a366d155c333618bde4b872aec05

Observation 9e9f2ef8-b0c6-4738-a550-67eb907c1828 · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 29

Resolution
unresolved
raw_fallback, observed 2026-08-06T23:21:16.804846Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T23:20:59.118327Z digest=sha256:5e4f88089df25ff8a5c990b3429abe4fd018c0f1e9355c642ed585c246c7ca47

Observation e11ef79c-d945-44e1-8c68-e75b9eadbb24 · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 30

Resolution
unresolved
raw_fallback, observed 2026-08-06T23:21:16.625179Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T23:20:59.223662Z digest=sha256:df6b050fa1a398df36fcc9e1607d7d8b6242a1680c7e58e54542867f0ad9737e

Observation 9d8070a5-f6b2-4b88-b8e2-291ce1861e6e · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 31

Resolution
unresolved
raw_fallback, observed 2026-08-06T23:21:16.486347Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T23:20:59.331677Z digest=sha256:f92b33290c661976fb91a971a4cd1c934b2c04c3d30d567771c64e119561c727

Observation d7b5898c-5264-4628-840d-ab82f18c30a3 · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 32

Resolution
unresolved
raw_fallback, observed 2026-08-06T23:21:16.345788Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T23:20:59.377933Z digest=sha256:970d76a0052e899644e2654585824b43032377c32bdbc6d66ac6c4059b602e7a

Observation 8270c221-86ca-419d-9cfe-09430b65e5e7 · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 33

Resolution
unresolved
raw_fallback, observed 2026-08-06T23:21:16.202540Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T23:20:59.444197Z digest=sha256:62f5bb5574bc7cc82d4c9f0922c7a7efe20917afb3870e750a2acae329684cc2

Observation b06e99a5-4301-453a-ae82-1a9675dd93c4 · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 34

Resolution
unresolved
raw_fallback, observed 2026-08-06T23:21:16.047000Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T23:20:59.572298Z digest=sha256:8c6a6e43124cfcdd441a6031017ee0efea83a0afae5850a41dd38ee7d51c1045

Observation 8e90a61a-104c-47f1-a65b-85342a3d6d58 · outbound

This paper cites Le, David Lo, and Claire Le Goues.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Le, David Lo, and Claire Le Goues

Reference 35

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T23:21:15.887262Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T23:20:59.639992Z digest=sha256:dab4d408b2109863afc4cd9902c4d76fcf142a7a9cfc8fe2d1263afad490f0c5

Observation 3cff107e-1455-4c6d-98b2-4bcf81fddf4a · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 36

Resolution
unresolved
raw_fallback, observed 2026-08-06T23:21:15.705014Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T23:20:59.760788Z digest=sha256:a2dd5fb3cc17e1c3b5a372984ecc20e109394e418aa8cc9a587e2583b6605aeb

Observation bbef1dff-f485-4251-8567-d6905846d552 · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 37

Resolution
unresolved
raw_fallback, observed 2026-08-06T23:21:15.524748Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T23:20:59.855395Z digest=sha256:ce32b0dc643ab313847d3a16c0048891f834dd49c5d41002f06da45a9297fed0

Observation 3dcf597a-8ce6-42bf-82a0-5f4d7b584913 · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 38

Resolution
unresolved
raw_fallback, observed 2026-08-06T23:21:15.314955Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T23:21:00.014569Z digest=sha256:94a9504783e26c7eea7c6e21b8a897363a77f631941ad40b029a2cdf61a129ec

Observation a601e518-b793-499f-a760-7a7f1852adeb · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 39

Resolution
unresolved
raw_fallback, observed 2026-08-06T23:21:15.194749Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T23:21:00.062714Z digest=sha256:972445ccf9d2c3b4347add672a7c340482832178c462902e1d043cc605a6b389

Observation 7cc32ee2-7ec1-4c5a-bc46-2018fe522a6e · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 40

Resolution
unresolved
raw_fallback, observed 2026-08-06T23:21:15.115942Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T23:21:00.120021Z digest=sha256:f60282a065ce37b99a154b3400e163c0d0a658bcdb249ebbbfbdf5d833457f25

Observation 858b106e-3ca6-49eb-b003-774a63b3a8a2 · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 41

Resolution
unresolved
raw_fallback, observed 2026-08-06T23:21:14.934259Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T23:21:00.257113Z digest=sha256:acd7ff9a9b57f40e457d026bb22d2c6de920ceebb7f457365ca40da994dfb4e6

Observation 9bcf03ff-be0f-4871-a88d-b16223ad11ab · outbound

This paper cites Bissyandé, Dongsun Kim, Peng Wu, Jacques Klein, Xiaoguang Mao, and Yves Le Traon.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Bissyandé, Dongsun Kim, Peng Wu, Jacques Klein, Xiaoguang Mao, and Yves Le Traon

Reference 42

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T23:21:14.754748Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T23:21:00.427405Z digest=sha256:f04416f70a842d5e9f4d283a742508c1e0f674d4725e4ad782c0aba71727c348

Observation b406f04a-1812-4729-a317-ebed44d9cce6 · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 43

Resolution
unresolved
no resolver link, observed 2026-08-06T23:21:00.512104Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T23:21:00.512104Z digest=sha256:b7a8532d1bc44bfd83838e673c03f9fd81c54907bde69678a41930e612470de2

Observation cea75b95-e14b-4a7f-a4e7-d84d3640a16f · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 44

Resolution
unresolved
raw_fallback, observed 2026-08-06T23:21:14.486618Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T23:21:00.597237Z digest=sha256:83aa3cb70f939e52a2fd28a95b49e06ba2ff0881a44d2d5e482c479dcf51d1ae

Observation 79b198be-a3a3-4a42-a7e9-aea57cd68463 · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 45

Resolution
unresolved
raw_fallback, observed 2026-08-06T23:21:14.311090Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T23:21:00.695009Z digest=sha256:0090d85d3137b529f1d7a936ee9f78bc4cf9941be6363625de16b7a08169900d

Observation a531bde2-50b3-4146-a95d-bb66296bb015 · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 46

Resolution
unresolved
raw_fallback, observed 2026-08-06T23:21:14.149870Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T23:21:00.832897Z digest=sha256:f0a35a3fc17295254478d9b1554fb842cededda5dface337e211e8a40e3790f7

Observation 1d56ee9c-a896-4f84-9994-ea98b8d01bb4 · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 47

Resolution
unresolved
raw_fallback, observed 2026-08-06T23:21:13.984838Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T23:21:00.955585Z digest=sha256:e94677e29de5e8f0846462cdcd32f9e169ea22a87e8b811aabd554edc14bb5b1

Observation 4c9d9a38-cb1e-474d-b3b9-0bead94edbe1 · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 48

Resolution
unresolved
raw_fallback, observed 2026-08-06T23:21:13.821473Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T23:21:01.048629Z digest=sha256:c9cd4f6a3f8e1a659b83a1cef3c80dc80549e50e121e63b0420257643f3932b4

Observation 6cca9c38-11a0-41b6-8fc7-e334f1221748 · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 49

Resolution
unresolved
raw_fallback, observed 2026-08-06T23:21:13.647565Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T23:21:01.128561Z digest=sha256:e7212a25b43d6f7e743e58a48abc7642bcec19178a5556b36a595d15394feac7

Observation 1adceed8-be32-4661-a7c3-04ea02c18db6 · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 50

Resolution
unresolved
raw_fallback, observed 2026-08-06T23:21:13.484882Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T23:21:01.194668Z digest=sha256:720e622028d909c83d43e3911dcdee3a2eb009a77890f3f6f9f441213128b3f5

Observation 35b2ae1c-1395-4564-a152-4cf1b91a43fb · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 51

Resolution
unresolved
raw_fallback, observed 2026-08-06T23:21:13.309300Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T23:21:01.255044Z digest=sha256:0a93ae6901b265b8222d91b581033c1339a8482225ba251bdc676abc56dd6dc3

Observation d2831130-14a2-47f9-ac47-7bb758b179b3 · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 52

Resolution
unresolved
raw_fallback, observed 2026-08-06T23:21:13.154965Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T23:21:01.334650Z digest=sha256:5724b70e7926d2f8ef86039d49319b7c60aa5f6fedb0670fe233e7d489da5840

Observation 3b03f87f-8f71-429f-bf5e-e35dd90ec124 · outbound

This paper cites Murali, M.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Murali, M

Reference 53

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T23:21:12.944824Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T23:21:01.428024Z digest=sha256:b140d2bc4aaff5e3c3d027af5acc95438e99e6975c02a34b96c0b3f22eead301

Observation 8c550c85-33c5-4555-8da0-5a1167e8529b · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 54

Resolution
unresolved
raw_fallback, observed 2026-08-06T23:21:12.844749Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T23:21:01.557011Z digest=sha256:accfc3df6b1056d9cc870762e56355f414366e39fe80eb6349f09a33b73c1831

Observation 6275bc36-e8f8-4d32-9736-332f10e89f0a · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 55

Resolution
unresolved
no resolver link, observed 2026-08-06T23:21:01.621457Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T23:21:01.621457Z digest=sha256:7d18fd484e1b0f79213649687ffacca5c99c6ba64afa828ba0f3ceb46530a1f1

Observation f28b5911-bdee-4825-9c5e-2012fa982b21 · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 56

Resolution
unresolved
raw_fallback, observed 2026-08-06T23:21:12.741207Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T23:21:01.711652Z digest=sha256:a313322ebefc41f95be001ba359ea53b30050d1e22b2c30b79d5c8f448bd8908

Observation c4aa95c3-8e70-463c-9025-029bd5ebfaad · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 57

Resolution
unresolved
raw_fallback, observed 2026-08-06T23:21:12.692028Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T23:21:01.796700Z digest=sha256:77a3ec2349aaff88c6e807f6772b66e12d5e1693e7ea37a7355cfcbc79728d9c

Observation f018a667-a913-46c9-b5a6-4516c21992dd · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 58

Resolution
unresolved
raw_fallback, observed 2026-08-06T23:21:12.646567Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T23:21:01.834646Z digest=sha256:662695c1f0b53e8b252e1726a1f3a7a6fd74ad01e5011a9b6062c80de41fc887

Observation 58e49e23-95e5-435a-bb44-e31f32407783 · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 59

Resolution
unresolved
raw_fallback, observed 2026-08-06T23:21:12.521928Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T23:21:01.867318Z digest=sha256:2e3623deca4cd66dfcdc6823d30fc02709a6dfd340972f1d3d90c0407485fb0e

Observation 05494fac-fc15-4112-8d15-04b2182a9a14 · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 60

Resolution
unresolved
raw_fallback, observed 2026-08-06T23:21:12.475644Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T23:21:01.963450Z digest=sha256:d48be9b46103df768aa09686f530bac7bd3f310a26031d88c346c551196cf51d

Observation db5b968e-2d75-455c-919d-0f0b08a54644 · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 61

Resolution
unresolved
raw_fallback, observed 2026-08-06T23:21:12.404504Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T23:21:02.038059Z digest=sha256:beaf841a4347a670a1b765e19df20a841dacbb9f4a092a9e11d557f668488bfd

Observation ed737ae5-ab79-405f-9ed3-41e5fcc76889 · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 62

Resolution
unresolved
raw_fallback, observed 2026-08-06T23:21:12.198963Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T23:21:02.168349Z digest=sha256:995deed1b9765b824d0728a51b83b05c071efac401e794465d92b4f16185270c

Observation 5755bdd4-accf-40e2-acdd-554568dfed00 · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 63

Resolution
unresolved
raw_fallback, observed 2026-08-06T23:21:11.954749Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T23:21:02.258778Z digest=sha256:1e40ed0ac3a3b5db59e4f43ef9e63832e6511ab7fde085559c873e589205068e

Observation f743b5dd-ea96-4142-b631-a5ce07067190 · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 64

Resolution
unresolved
no resolver link, observed 2026-08-06T23:21:02.340849Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T23:21:02.340849Z digest=sha256:260ea08e0c0773e0130ab401e519bcbead55a7d1294da7ab39e7b06c97cdd7ae

Observation 3c7c4f32-962d-4164-84ee-2b788428ac70 · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 65

Resolution
unresolved
raw_fallback, observed 2026-08-06T23:21:11.699874Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T23:21:02.410695Z digest=sha256:bdf5ddaf3603e46b58d604075c0cafb376582552bb57b83eaa83ff79e7b01ff8

Observation 67b6808a-65c6-4538-873e-497e5ec6ea20 · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 66

Resolution
unresolved
raw_fallback, observed 2026-08-06T23:21:11.450378Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T23:21:02.498461Z digest=sha256:93402beac7704ffa615860ff25ffaad1511fc5def8d8598db5191a0f19cbd4b2

Observation 93702139-362c-49f0-a88e-ac34d3e081c3 · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 67

Resolution
unresolved
raw_fallback, observed 2026-08-06T23:21:11.069603Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T23:21:02.571269Z digest=sha256:c42bfaa5c37425594b4fc253e494b578ade55e82b979237e03570e49af8c5951

Observation f6d2d078-68e9-4991-878c-a5d557a7f745 · outbound

This paper cites Strom and Shaula Yemini.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Strom and Shaula Yemini

Reference 68

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T23:21:10.779967Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T23:21:02.626000Z digest=sha256:5edaaba12e283972b9678b2d64ba34b512e69dd4ea8409351099a0e6730b6942

Observation 46a0f99d-a033-482e-a9f5-63517aa5a006 · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 69

Resolution
unresolved
raw_fallback, observed 2026-08-06T23:21:10.562219Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T23:21:02.745483Z digest=sha256:ce6e2c060956b3e28da4b9f4c0e78f80974cc53e535262a9ccaeba174c6865d5

Observation 53b8c9a4-1847-4730-a23c-b5272dac56fe · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 70

Resolution
unresolved
raw_fallback, observed 2026-08-06T23:21:10.374873Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T23:21:02.853889Z digest=sha256:0bd13dec9973a72928c5b37d5f059e741a9f49638caabd1d472854b6c92c519b

Observation e926a010-588a-42c2-b29f-0eb911846b3c · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 71

Resolution
unresolved
raw_fallback, observed 2026-08-06T23:21:10.151336Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T23:21:02.970332Z digest=sha256:992f8633a08d5d75c83de6d140f8bca8c47ea76db6f333cca59ce7a3793d4772

Observation 4756d74a-5be3-43e2-ac80-688dc87fa72c · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 72

Resolution
unresolved
raw_fallback, observed 2026-08-06T23:21:09.955415Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T23:21:03.074746Z digest=sha256:4492776441da020ba0a56264b3ef03bc71b7fab22ee8e64123867820b2dad7ea

Observation 06064935-e536-4308-8d5e-9d3c7957eea8 · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 73

Resolution
unresolved
raw_fallback, observed 2026-08-06T23:21:09.720946Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T23:21:03.192154Z digest=sha256:d626baa10a8cb4c74a693d2ddd4e48fe1efaf7b7edc665bbdb564c1eb4b49757

Observation 8be780bc-06a4-441e-a705-60c5476902d4 · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 74

Resolution
unresolved
raw_fallback, observed 2026-08-06T23:21:09.464399Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T23:21:03.288301Z digest=sha256:f047933744fdbe30031a5aa6a46210da3d82b5543bdeebcf794448261669b935

Observation 3e5db393-e31c-4fd2-af30-d653c5e8d4db · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 75

Resolution
verified exact
doi, observed 2026-08-06T23:21:06.071686Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T23:21:03.402918Z digest=sha256:8b512b64db8fbdada672f7b64dfc4ca8ecbb6f59b12f9da280566ca239830072

Observation 39b9dc89-5fcb-483a-893a-79a3c59b5a3a · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 76

Resolution
unresolved
raw_fallback, observed 2026-08-06T23:21:09.257619Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T23:21:03.520542Z digest=sha256:f4e94bf52dad60096f82a997dd23919fcfbf736a114ca05835a86dff506eb449

Observation 88258162-20e1-45a6-9a36-19e2bffa74c4 · outbound

This paper cites OpenHands: An Open Platform for AI Software Developers as Generalist Agents.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval OpenHands: An Open Platform for AI Software Developers as Generalist Agents

Reference 77

Resolution
unresolved
no resolver link, observed 2026-08-06T23:21:03.641182Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T23:21:03.641182Z digest=sha256:db8cf4dfbbbf0979d093157607fdb81b8da61aee15ac7f0bd43601b2050aa077

Observation be59cf09-802b-4d81-8c4e-6507acf34cc3 · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 78

Resolution
unresolved
no resolver link, observed 2026-08-06T23:21:03.744856Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T23:21:03.744856Z digest=sha256:bb11032d5f48984915692111ca2ed80e79272dcd19c23d7679f9d80c7e992203

Observation dccf8848-f374-470e-b6f5-4544b90176d8 · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 79

Resolution
unresolved
raw_fallback, observed 2026-08-06T23:21:09.092496Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T23:21:03.845714Z digest=sha256:d719f1b300ab0770f4280864710013d9a102c9b5968a503a43c4a2c484c93fd6

Observation ca40445c-b991-4f4d-98d4-509ecc64e807 · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 80

Resolution
unresolved
no resolver link, observed 2026-08-06T23:21:03.974745Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T23:21:03.974745Z digest=sha256:768fd11aa4599ad7b2fed3b99b8bbc37ed64b11a1dda7d595556deb59dda8269

Observation 8c2a229a-87e2-4650-a05b-b3772fc684d2 · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 81

Resolution
unresolved
raw_fallback, observed 2026-08-06T23:21:08.773373Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T23:21:04.136379Z digest=sha256:d36ea137d7e49f44f403c937442f0feaaa61ff0009d5fc2ed95ee96278d43d1c

Observation 2aef33a3-f56b-40f5-92dd-17a933858a3d · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 82

Resolution
unresolved
raw_fallback, observed 2026-08-06T23:21:08.658922Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T23:21:04.200100Z digest=sha256:628fcb4c7e2c90cff93117a30a3512f6862b94a7d0dacb432d8c9b5f5280861f

Observation 0a900085-fbe0-4732-99fa-9fd28a8b5c2f · outbound

This paper cites How Far Can We Go with Practical Function-Level Program Repair?.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval How Far Can We Go with Practical Function-Level Program Repair?

Reference 83

Resolution
unresolved
no resolver link, observed 2026-08-06T23:21:04.349807Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T23:21:04.349807Z digest=sha256:404bf93ba18e1c32fe2f55b46edd4807a873ce384d19e0cd4aa6d8c63c301499

Observation 45841d33-6998-40b9-9e3e-ce559c0f3a06 · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 84

Resolution
unresolved
raw_fallback, observed 2026-08-06T23:21:08.458321Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T23:21:04.522356Z digest=sha256:2e6b9fbf1027aa61f9be2702cac0dac1ed29bdb909a514b7d599830eb98801b3

Observation e1bbc19a-ad23-40dd-a9ef-0bd158f85b65 · outbound

This paper cites Reiss, and Jifeng Xuan.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Reiss, and Jifeng Xuan

Reference 85

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T23:21:08.345552Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T23:21:04.681663Z digest=sha256:6bfe9ac37cd4ccbb93b2d9bafd9114174dc294c379eb8dbe583ce130574bec48

Observation c43c894c-f143-43ec-8d05-649b114daf8a · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 86

Resolution
unresolved
raw_fallback, observed 2026-08-06T23:21:08.234671Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T23:21:04.754876Z digest=sha256:bf0b00245b8a4dbad35d7f74a7afd0d093baf3eca5de3d3957328dc7ec09dd5b

Observation dfa1b71c-5b1b-44c1-bf7c-7a31506beb43 · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 87

Resolution
unresolved
no resolver link, observed 2026-08-06T23:21:04.906237Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T23:21:04.906237Z digest=sha256:9cada9673e492aacdc842d7b8933232a52093689eeed6405b619b58507ea1fbd

Observation 3098100c-b919-46f4-9b45-8cc1e85462a3 · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 88

Resolution
unresolved
raw_fallback, observed 2026-08-06T23:21:08.046192Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T23:21:05.028400Z digest=sha256:9729ff4f557328dbc49f4bf41b640f4766a96cb59d840e5a1dfb589a9adef635

Observation d9164056-71cc-4798-a589-9ae3606d42e0 · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 89

Resolution
unresolved
raw_fallback, observed 2026-08-06T23:21:07.887366Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T23:21:05.154872Z digest=sha256:6f5411e8c3ce0b4232682078eb4208ce3f5cb8019d5ac88b2b57dd71fda6550a

Observation 6895747c-9d3a-45d2-8e78-67ab1b8caf04 · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 90

Resolution
unresolved
raw_fallback, observed 2026-08-06T23:21:07.650816Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T23:21:05.357932Z digest=sha256:26247bf518891fe1df08ff3c4ed0f6032c4a7569ac6c43f124defd759256c2c8

Observation 382318aa-7d5f-47ef-957a-1e2607e6262e · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 91

Resolution
unresolved
raw_fallback, observed 2026-08-06T23:21:07.459344Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T23:21:05.469992Z digest=sha256:6617d331cd90dd68d11e596d0e5dd2bb8c35c54825ed576b10c89dabcbec4a4c

Observation bff14eed-2161-4f58-9798-b4c8080c7946 · outbound

This paper cites SWE-agent: Agent-Computer Interfaces Enable Automated Software Engineering.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval SWE-agent: Agent-Computer Interfaces Enable Automated Software Engineering

Reference 92

Resolution
unresolved
no resolver link, observed 2026-08-06T23:21:05.239098Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T23:21:05.239098Z digest=sha256:d52637174c577de9cdd477a68392a993a28a398f5469201e9fa8cb83e1b74109

Observation d12588c1-a932-4f16-bde0-256069fffbb9 · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 93

Resolution
unresolved
raw_fallback, observed 2026-08-06T23:21:07.242708Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T23:21:05.577553Z digest=sha256:47b9b50b36bb19bdf0fd9ec02b2f6b61641060e14660f0ae1e45d2fb3eac0115

Observation 2c23a397-0763-4219-a27e-e78e17954d22 · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 94

Resolution
unresolved
raw_fallback, observed 2026-08-06T23:21:07.042971Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T23:21:05.671414Z digest=sha256:fe672cc9c538eea9e0f0449077d4f4f1b92e7318d2f4a2490e0b57c277eb46e5

Observation a33e0611-c1ef-4ac4-a1d1-806b7b7a962a · outbound

This paper cites CodeAgent: Enhancing Code Generation with Tool-Integrated Agent Systems for Real-World Repo-level Coding Challenges.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval CodeAgent: Enhancing Code Generation with Tool-Integrated Agent Systems for Real-World Repo-level Coding Challenges

Reference 95

Resolution
unresolved
no resolver link, observed 2026-08-06T23:21:05.528163Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T23:21:05.528163Z digest=sha256:70769158ef87d07bdbb7e3ea6180c36e6295d72c8e853299053b25163b9fd826

Observation cbcee34c-adbc-4bd7-b9f6-c7a82a8ad57d · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 96

Resolution
unresolved
raw_fallback, observed 2026-08-06T23:21:06.676214Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T23:21:05.841975Z digest=sha256:9f3657d262558ae9b5f8f210c625e1111f23639258ad73207f91cb42d8591d4d

Observation bad4955c-066d-4df0-bc9f-6715f9dcf393 · outbound

This paper cites an unresolved cited work.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval Unresolved cited work

Reference 98

Resolution
unresolved
raw_fallback, observed 2026-08-06T23:21:06.859110Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T23:21:05.757989Z digest=sha256:78fb3f6035498f3320c963adaab8fb08b7576a72f8d2564317eb2682af68bc86

Observation 3eab6880-4dc6-4916-a299-04f7952197b2 · outbound

This paper cites IEEE Trans.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval IEEE Trans

Reference 2021

Resolution
unresolved
no resolver link, observed 2026-08-06T23:20:57.187106Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-06T23:20:57.187106Z digest=sha256:95a777e2a422bdb01adde00dd7060c5515b2fe5aff5c9d4a9f18d46e97e0200e

Observation ea8c90e2-3932-461e-a982-db579d3df93f · outbound

This paper cites In Computer Aided Verification.

Tracing Errors, Constructing Fixes: Repository-Level Memory Error Repair via Typestate-Guided Context Retrieval In Computer Aided Verification

Reference 2024

Resolution
verified fuzzy
raw_fallback, observed 2026-08-06T23:21:08.894748Z

Source-reported events for the cited work

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

source=pdf_text observed=2026-08-06T23:21:04.033995Z digest=sha256:8a189507361f28f9b65e0c435e8aff900d6569ddab69807c70f727f68285c112

Pith citing papers

No inbound Pith citation observations are available.