Pith. sign in

Paper Citation Record · LEDGER

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

As of 18 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-18T06:34:40.430872+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:bf2bf117e5f5bd5043e1458a268152413b2046daba1b182d011426ea375b0656

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:03b5e0fe51dade153685643a577554dfb2d88e4a14ab1705e47365ff428a4c37

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:9e09ae8ea44e5f4dd25d09db0f1cac4ca22249ec2f0631bbf4e3431990481683

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:26957902a0a6205eb587c9d1fa23bd58b3debb007c71057d82ce550726ae5317

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

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:082a6db12239cb648e9bf7b107755ae520a852fc48cc90553939ee6b3fdd7ead

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:598757959ba21a98ae8f3e88fd8b7cd557096a23d95f8a251ecdf9200f4141c8

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

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:6312df309d75e7a1d6bd4015a11bf9cd1f39cc4563f60c34cb646872a7d14c45

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:3ef00150d7a936b73c39b0e88bc30f69b3f21e925ab897fef6a2f2190bd93a48

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

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:9dc26c9e3698deb85eab4beca5a3fffc04204caa10ad3d0bec44e599a9643b8c

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

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

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

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:9a33f7c8b8b2c19ace4a5c817c25e1363572ede2237816c546f0f4055dbab70c

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

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

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-06T23:20:58.303014Z digest=sha256:65e121225e398532086ed52c53063dd6e605bdf8b6cb009cbcfb5e290a09dde5

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-06T23:20:59.046079Z digest=sha256:4e0044c0cf489de7338b4da494b71167309f11f61fdade16811b8cae4bdf4b4f

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-06T23:20:59.118327Z digest=sha256:4ff8d28f55b747b7d2546f1c7223c4519abf0cc2fc2b17bc9e6c8767395b9d30

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-06T23:20:59.444197Z digest=sha256:264b643c57642456b09253c25acdde720a9834cd876f1f95755589e7c6a3a76d

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-06T23:21:00.062714Z digest=sha256:644af245605cbf40fe5f029430057dba354f12dca92faeb67d84a359e9f0d1f9

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

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

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:5349264caa5a8c22e8a1fe0d450413581aab90c2a740440386d2b5f097b29b32

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-06T23:21:01.334650Z digest=sha256:1d18de2a4a619b9cce4cbf67ff3f65984f4974b56fbcb81981745a29716fe495

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

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

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

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-06T23:21:02.168349Z digest=sha256:898c211fe7b59fc5895517580eb65af277d61c7c75c886f0aa374141baf055f1

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-06T23:21:02.258778Z digest=sha256:57877fcacf9e28ae40f6bb81ff3a45f7a7318060d3dcc57ff7b2771bd147f0eb

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:1baaab436d41225fb6f1bbfc661313186d977db4bc1d31844d4ad83f8cc0fa2f

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-06T23:21:02.626000Z digest=sha256:0eb292d418b6cfe50f2e804d166f814da1d6f75a85a81eb3a7cbec54f07d56a2

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

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

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

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:74c008057e48a2e996123d6594c4a47d92ef4051bb8e4bb53ce5a7fc7fcfced6

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-18T06:34:40.430872+00:00.

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

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:3aa5dc5e351c5f59dd8ef32ecad6edfa4eb474aa1f9bf0eb1f0f13f46e708631

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

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

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

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-06T23:21:04.681663Z digest=sha256:0d76721b7ee18024173ce02c866f5f919ed99f1c8a64c43d00fad0c2d5faf04e

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-18T06:34:40.430872+00:00.

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

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:6ee58e54a80a8ecc2c86e81e2b7491a4f9029ccf2bcf11e2e5ecaa2a995d87e9

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-06T23:21:05.028400Z digest=sha256:47d576a2e95cead5d7788c2b02faf2c6a360f08ec14ccfdf2e134fcdcd723ee9

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-06T23:21:05.154872Z digest=sha256:30a83de3edf93d6e76f4e58ce4f6c7f3914d1a2f4057f5b30f58fc4a72c183e9

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-06T23:21:05.357932Z digest=sha256:75ff9f53d8ec4977c12c31af6b8fc81e811922bb4d6a6d6b032bf4349b9a4220

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-18T06:34:40.430872+00:00.

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

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:74e5a90e468bd76a24183d97e4175fea494bded5ff43f03a2ce4472a1cfdefed

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-06T23:21:05.577553Z digest=sha256:35d8cc598a1c5a2b77cc36ea54a46a1474ab29dc017d536b3eec7bb46b58fe68

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-18T06:34:40.430872+00:00.

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

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

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-18T06:34:40.430872+00:00.

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

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-18T06:34:40.430872+00:00.

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

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

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-18T06:34:40.430872+00:00.

source=pdf_text observed=2026-08-06T23:21:04.033995Z digest=sha256:571358dda94823cc484afceb9e1240ffa7939acf54d2ae0ec314cfe984cce780

Pith citing papers

No inbound Pith citation observations are available.