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

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:4950b45687afb61fdaaedd6aac1e735e834d17d242bb0edcba17cfe7e5efbb04

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:3184b2eb346a907e92825e2d1f8ea7b11fc92667c80edc2caad9ac65a2a0ee0a

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:0e2b4532fdea06335764eecdc6f0ca6891151b2a0da9536bc2f0c30dfaf30336

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

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:79fe6921984aa1c9a30e31a6714aa37bb4aa88b8dc1d6f07f963a8ce88aaf39f

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

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:4382b74d9dc613e78fe399d4b3582b9c3237a2e65315d01b4797b6cd6d121fc7

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:8433d1cffb8af9a3ee6bee98099fa335d76728826a1ac5de1ffba3a4385c7a59

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

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:644061342fe737cb6fcddaafa61d39ee09db5f75458861646770656c2b05ce96

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

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

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:89c268375553d1f8529ede93c9d0d98e9ac5d39159d15444af8523fb31d9a7f0

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:80c6b220703a4144c24480a3a2dfb9222f01b2067530c93e040612e6773e2ac1

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:276a9cc9468daa05d55fa2dc52456e3127b26ca5ca728af480140e483200dc2d

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

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:81206141e9203ab7a91a20cb00fbd2888e0b8d6eeca60c9ef2450d72e69de509

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

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

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:71e65f7fd0514296d3ae486cf6d06c8af1a05c08ed0a197766c7d06fd608d030

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:0471d18f9439eec7f5708c3fde92ad28aa904db419d5e3ce4b1f8bb5f14b0583

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:2698fa16891a280a0a99fe1e56cd78d4b64d773690b560e79c8a5f7b3653197b

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

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

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:960f2dc32bd2b44d78e54247b1bc2a64441c2efcdbe2be4a57c31744fda94ff5

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:30168314b9b26a2a7be6fbeb42316faddd5e75837e211501030d2af41411a343

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

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:23be7c06a20cebb4ca424f1cdb1d6a945b049a11066fdba267c554fd0d112176

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:45e0246cc3cb3a68d8a3c77d9425fc3c2545b89faeaacba4e69db5834507c412

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

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:38e4494259e967c1685214ca2e326ea520fe3390b1d955adfd01cbd6fec28a6b

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

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

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

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

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

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

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:72ddc88d2b8a2e7c90da7a7864351e185ad6bfdfdf4f2563092acf66d5d8d144

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

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

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

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

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:99f9da89a42486929b981b3a1bfc747e80d5a2d5a20c6b7011d88f762fd1d758

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

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:9657fe991ceddb6dd3b6ff0bd275c0fae0653b0586d3f0f13326906d33bc5a5e

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

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:4171f2cdca39fe4bdc5523841e5488b93be9a2349e4bd436b4cdc79506da944b

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

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

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

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

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

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

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:54deb4c18a3342c72167fc3070ebbfedd9031a246a6ebff88155da200ef4a7ed

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

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

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

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:1685ad4d9cb382dc4f9c8078368710dba11978364ce64a0221fa589584986650

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:92e073f59e790a64eddd5f0c551432eca0296b30ff8fb18285f2c69f93dc92e7

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

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

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

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

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

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

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

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

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:267eb700b99932498bd7c1a53fa395d41e999553c9c2ce97b259a832f00d1dee

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

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:79ae746a8c3d6773a3b25c5e957cbd3d3cbc2b8a0a878fbc62e14211bc578c75

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

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

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

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

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

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

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:59095231b056ae07df189bd8888e1814fbb15a549b7af9e40839f457a1f63b12

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

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:7110fdc075871ae4aa1477bccc305d6e79d838446a89b6f3d0022b07af56a329

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

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:5668319a274132b88a46ba45537d156284b038e91dddf0820688d0c880984498

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

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

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

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

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:663ba90c5de19710d4d76951b572114ffb2052dce77628531c6f93cd7daf167c

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

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

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:30c7006fd3d7661fd6dede5ddffc55bf390deed60a0e63a6bbd4806b3860e67c

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:098a04084ecf6034e4f836adaecf5f05af4b39d0bc0abe1c7000d9992db8656f

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

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:99be4afdac6459a06979424444b79e774cd1c9eeb49666d37e976ef353cd760e

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

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

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:887f373acd38463b21bccc5ffff2ef4da8c9d65c3fba013f2d373140df6a14c2

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

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

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:36da7f5ec1885cf96d0ee1e84407e46a7188c9c2986b5ba141a3b85b5fe491ca

Pith citing papers

No inbound Pith citation observations are available.