Pith. sign in

Paper Citation Record · LEDGER

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

As of 11 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-11T06:34:44.6726+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:10a0efcafd391e71711f89b68bf1f687642236720729157bd12b60b571409500

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:2cf7c6e93fdc74adf4302f5d563270b2838c5e19f7d0566ece941c9785894b7f

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:7127ef5b00e27b2a2845305273d7e82ff4f669da8167a407c6e2c06214ec13e5

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:7fd5c793c40936231bdb0d2ca2a5039752c096e5c20f02f12b8938948a8763fa

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:4cc1aa81487bb56290bce98770e87a2b9bc998a980a406eca85c2bd6160a8654

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:28bc82a990cbdfbe9941222a35cdb05968c5af6b48ffa80ba789627d0761656f

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:a8da20ba308c83588b6cf7d2018fc32b2b65f66e2011649a449e0f1d484ada24

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:da9dfcdf16774bfb2a22c681ff2731fa1569a025138aa238ee9bb2e717e90db7

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:7c0e5a53eb93637931f2b369e679c5bf098739ecf61375355f429dc73d273ad7

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:e53b91fbcb41b152ae8c275d0931c42f2476547fc366bfb4007f290f18324f60

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:f05ff2d028bceff431b4a2601e3c478300e7c9653aad007833e3db92cd931f08

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:02d072ce01d66a72026c0172c3cbde9352232c5fd373e83b6ea2dd849503c9fa

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:e20888c84dad328b1c536547dbe4cf619e5f2f2251066969781ffd3310bcd633

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:62b8070c9c8a4ee57208be618316b02d1812e17c6dea60e82a599fdd6f6983c6

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:dcf891c911872251dcfb7a1c879c6072f80e74815ae424191a0b37ba11bd65f6

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:76e72ecfeb2da5157a3c01368b006a3cb047be8cdab0b6f42d8fa4445cd0900c

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:5eedc1fd4ff34ef23de96735b91c3e177dfa3dfd2334caaacbe7aa16fd305ed2

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:33ed2add0cf6c282ae6a358748dd1c8a29f1bb4b1a988b253e28332e58a27765

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-11T06:34:44.6726+00:00.

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

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-11T06:34:44.6726+00:00.

source=pdf_text observed=2026-08-06T23:20:58.303014Z digest=sha256:0b942900237601f45d84e268e173891eac2190baffea50579cb2e737bf8e910a

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-11T06:34:44.6726+00:00.

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

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-11T06:34:44.6726+00:00.

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

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-11T06:34:44.6726+00:00.

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

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-11T06:34:44.6726+00:00.

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

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-11T06:34:44.6726+00:00.

source=pdf_text observed=2026-08-06T23:20:58.768809Z digest=sha256:04678fc045a99c2395859b2244fd51f810d22fe008cd30cfc1472a73accb056f

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-11T06:34:44.6726+00:00.

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

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-11T06:34:44.6726+00:00.

source=pdf_text observed=2026-08-06T23:20:58.964271Z digest=sha256:066351be9980007fd8056617628c577aa91e80a7efd9be77c4a00892e0fe0ca9

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-11T06:34:44.6726+00:00.

source=pdf_text observed=2026-08-06T23:20:59.046079Z digest=sha256:64618003d806d8aba3c812bbda5fc2194a8a0ca29ae5eef259dea10e7e156b2e

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-11T06:34:44.6726+00:00.

source=pdf_text observed=2026-08-06T23:20:59.118327Z digest=sha256:710b200bc28f60d57f07f20a1783da2230bc3fd6e4219561a9bebc5c5324437a

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-11T06:34:44.6726+00:00.

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

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-11T06:34:44.6726+00:00.

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

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-11T06:34:44.6726+00:00.

source=pdf_text observed=2026-08-06T23:20:59.377933Z digest=sha256:06237cd5ea43dcedc48f750d7a721ad82c80ef1b10391b9f0c0d690af0494061

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-11T06:34:44.6726+00:00.

source=pdf_text observed=2026-08-06T23:20:59.444197Z digest=sha256:4569d2a04996ffdca39f7e3037a00626bbb40a3a0443f46556b457aa2ee7572e

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-11T06:34:44.6726+00:00.

source=pdf_text observed=2026-08-06T23:20:59.572298Z digest=sha256:1a452b50a7b2b4111a7b20ed7c84015838436ff532c70beecda5d7a87cc0b713

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-11T06:34:44.6726+00:00.

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

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-11T06:34:44.6726+00:00.

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

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-11T06:34:44.6726+00:00.

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

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-11T06:34:44.6726+00:00.

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

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-11T06:34:44.6726+00:00.

source=pdf_text observed=2026-08-06T23:21:00.062714Z digest=sha256:9a525625bfe010bed313de6ca9fc1da0f3ffda92eb15e7d70ee16f3c39d4126d

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-11T06:34:44.6726+00:00.

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

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-11T06:34:44.6726+00:00.

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

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-11T06:34:44.6726+00:00.

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

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:e0c70f48dea1f3118048220d80a9caab4bd33554a274e285cc77e90cd2e0f643

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-11T06:34:44.6726+00:00.

source=pdf_text observed=2026-08-06T23:21:00.597237Z digest=sha256:9549baa71ed98211aff94e345d23af2c99e16433c40756f600705767295a0639

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-11T06:34:44.6726+00:00.

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

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-11T06:34:44.6726+00:00.

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

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-11T06:34:44.6726+00:00.

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

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-11T06:34:44.6726+00:00.

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

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-11T06:34:44.6726+00:00.

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

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-11T06:34:44.6726+00:00.

source=pdf_text observed=2026-08-06T23:21:01.194668Z digest=sha256:80987e1257a37d96f0dc8eed80d9cbe5371a5e0ddfb05b2291056cb74c10d212

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-11T06:34:44.6726+00:00.

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

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-11T06:34:44.6726+00:00.

source=pdf_text observed=2026-08-06T23:21:01.334650Z digest=sha256:060446db5e883cc66154e1019f6fabfb8cd376e10ce7a77eada65355a45e3864

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-11T06:34:44.6726+00:00.

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

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-11T06:34:44.6726+00:00.

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

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:5dcbc989b47f13f433346c9b642b7fc32677c600b1f2548c10715d30ca169eea

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-11T06:34:44.6726+00:00.

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

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-11T06:34:44.6726+00:00.

source=pdf_text observed=2026-08-06T23:21:01.796700Z digest=sha256:5c9eef8747c6e7d71fb7bd7900a138d1267f7f0823d3494e26a8821e0eb870bd

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-11T06:34:44.6726+00:00.

source=pdf_text observed=2026-08-06T23:21:01.834646Z digest=sha256:0d65fcf6a42f61c26388291365d41ca107dd462663c4f653965f42e9fba1b5bc

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-11T06:34:44.6726+00:00.

source=pdf_text observed=2026-08-06T23:21:01.867318Z digest=sha256:96582245d672b57cb17839cba50eb171a82d01ee3546c85c9f3c71c5ac5258e4

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-11T06:34:44.6726+00:00.

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

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-11T06:34:44.6726+00:00.

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

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-11T06:34:44.6726+00:00.

source=pdf_text observed=2026-08-06T23:21:02.168349Z digest=sha256:81e0480730c66d0d8c90e790f66270398cdc583b9a4307fdea69f65d7ecc66a8

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-11T06:34:44.6726+00:00.

source=pdf_text observed=2026-08-06T23:21:02.258778Z digest=sha256:5a1552f28ebe27ff7962b82b908b65e4f46ea329f646c894de3cc6e6eeaa2f5f

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:d9416e64de2cff7a5364293b05169e89c0c39d96fd4fc21d1a8387e22bf503e3

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-11T06:34:44.6726+00:00.

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

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-11T06:34:44.6726+00:00.

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

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-11T06:34:44.6726+00:00.

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

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-11T06:34:44.6726+00:00.

source=pdf_text observed=2026-08-06T23:21:02.626000Z digest=sha256:3f72f38b0e96bb47b840eb12d2012df47414f52f8357500f8d0c6ba425dc2484

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-11T06:34:44.6726+00:00.

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

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-11T06:34:44.6726+00:00.

source=pdf_text observed=2026-08-06T23:21:02.853889Z digest=sha256:3876e5dda3ce8030b62023e949c2649e39e8dc7842f42d5af84746128a0e2f28

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-11T06:34:44.6726+00:00.

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

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-11T06:34:44.6726+00:00.

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

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-11T06:34:44.6726+00:00.

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

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-11T06:34:44.6726+00:00.

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

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-11T06:34:44.6726+00:00.

source=pdf_text observed=2026-08-06T23:21:03.402918Z digest=sha256:99b60d510c68b570447b3993729966bd3e9d0da9c1e876e5ac2e762b8fdccc17

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-11T06:34:44.6726+00:00.

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

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:d85b5ed48c373ff08258292036e57db2b592377f88743fb3f01505a4e6305889

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:d2396206254c4a18aaa76063d0c3b6ca7fea37e7b0d037f3e8a12cba39a99562

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-11T06:34:44.6726+00:00.

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

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:aa4fef828bd619b855474d469ba8f4eeba1990871bd62022d02c2d710e1a74e4

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-11T06:34:44.6726+00:00.

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

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-11T06:34:44.6726+00:00.

source=pdf_text observed=2026-08-06T23:21:04.200100Z digest=sha256:19e550359d5be891b590de1f1135517b6f89bc0245540527673ec15fc9a48a19

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:4f00fd2edda5159aedcd9f502d46b6ef4c4774a95b62badb4be984eb36f7d05a

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-11T06:34:44.6726+00:00.

source=pdf_text observed=2026-08-06T23:21:04.522356Z digest=sha256:2562ea590ed80aaf2b4ecfd5ad313eb0701836afcb636793174cf58ae5cc2863

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-11T06:34:44.6726+00:00.

source=pdf_text observed=2026-08-06T23:21:04.681663Z digest=sha256:7867959acca31ee3519406948c9eafb1e2b187893146db1d31c908fca56a6e6c

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-11T06:34:44.6726+00:00.

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

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:65012d822603eb1a2dd06de65841ae97d1e71f44e948eb8dadf70c6ad85f2486

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-11T06:34:44.6726+00:00.

source=pdf_text observed=2026-08-06T23:21:05.028400Z digest=sha256:70a02b7331f1522e737136c16ba01a73ad55530716571e558cdedeb8a9f7795c

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-11T06:34:44.6726+00:00.

source=pdf_text observed=2026-08-06T23:21:05.154872Z digest=sha256:311529ce702df0c0a6e1198f591b016f631433d0335806a73fe41fbe0f04ad5d

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-11T06:34:44.6726+00:00.

source=pdf_text observed=2026-08-06T23:21:05.357932Z digest=sha256:64018c89245fd78b920ad7c4984def81e884272e029a9773f8c5ea4eedfb30b0

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-11T06:34:44.6726+00:00.

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

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:8fd632c4496d5ee67bd92f6a2d6c0ed7b224d5f94e659f8ff33fccd988f8cf46

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-11T06:34:44.6726+00:00.

source=pdf_text observed=2026-08-06T23:21:05.577553Z digest=sha256:14f4eedd9047334ff123a553b5640db4c9676a018510c948935968ae4319fb36

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-11T06:34:44.6726+00:00.

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

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:2e5d12429f0bc79e2e21647393552d59c6ffae6967cdca180c19f5f6a9a879ca

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-11T06:34:44.6726+00:00.

source=pdf_text observed=2026-08-06T23:21:05.841975Z digest=sha256:2f0285f9a6403d7a7bd4ca467cdab4508df59b9e0efe5c5d7d9f90fed4d4bdf1

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-11T06:34:44.6726+00:00.

source=pdf_text observed=2026-08-06T23:21:05.757989Z digest=sha256:9a00aa53bde49753716b0f81277bee9f6346b00a24d563bb1c0e112c258b2f5e

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:aad8f2f9949b1478fa441cbc7b14f7fe78697379bae77a6eec14cdeb660abd98

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-11T06:34:44.6726+00:00.

source=pdf_text observed=2026-08-06T23:21:04.033995Z digest=sha256:2cd6d407be7ab8c0428b19c31a6db9bd5e04e3262b884286733900c29f69e1e7

Pith citing papers

No inbound Pith citation observations are available.