{"as_of":"2026-07-25T04:40:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:8d9dbbcb23ab4201f95db1d8b8deddaf41914617b9376dd483f9fabd4a05f461","coverage":[{"denominator":121,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":100,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-10T19:20:22.353790Z","state":"measured"},{"denominator":100,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":100,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-07-24T06:31:00.690269+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2604.05753/citation-record","integrity":"/paper/2604.05753/integrity","json":"/paper/2604.05753/citation-record.json","paper":"/paper/2604.05753"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"c15976dd-ecfb-4a8f-8d84-1c5230efb0e6","year":2008},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:82de12dd1021fd02c3d075a64fa47dd558cb873df19377a46d895b4e9a941f32","observation_id":"08b7445b-34d5-4b1a-934c-71167e01aeb2","resolution":{"observed_at":"2026-05-16T05:47:25.264399Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Tree of thoughts: Deliberate problem solving with large language models[J]","venue":null,"work_id":"7c27736d-b0da-411a-986d-6bd3af42ade9","year":2024},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:cfeba19f0ccdc72e9e8b474b3bb905ae7ba04f11dc0047bd52c070f77bc0b9ae","observation_id":"64f8601e-4e6d-4377-b254-59b8b91f0e5f","resolution":{"observed_at":"2026-05-16T05:47:25.271211Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"A unified approach for localizing non- deadlock concurrency bugs[C]//2012 IEEE Fifth International Confer- ence on Software Testing, Verification and Validation","venue":null,"work_id":"116f2d79-7949-402d-b362-70090faadb67","year":2012},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:d8b0a330520bbff857a04f3aacce333d1c925528d62e9273ba91da60e6ae76db","observation_id":"ca43fd80-c565-40e6-8685-0567ecafcb23","resolution":{"observed_at":"2026-05-16T05:47:25.268969Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Verifying synchronization for atomicity violation fixing[J]","venue":null,"work_id":"6abbb178-23d2-4d3a-8121-4104cce5fcf7","year":2015},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:8896f585f60136f688952c6c67e7f5ae35e4cf0efb55e389f08b1fd1555f860d","observation_id":"67f1adfc-6410-46bd-a793-a3df6167b04b","resolution":{"observed_at":"2026-05-16T05:50:40.648634Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"RacerD: composi- tional static race detection[J]","venue":null,"work_id":"0eede38f-d1aa-4920-abe2-08f33eb44a8e","year":2018},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:5ca146d6587828d2cc4cea44820b10a24a92f674e60f8e0e3624a483cb20a75e","observation_id":"20cdc79c-8b32-488b-934d-106b5e50fdb1","resolution":{"observed_at":"2026-05-16T05:47:25.260159Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Pfix: fixing concurrency bugs based on memory access patterns[C]//Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering","venue":null,"work_id":"83dec5a1-8c3c-48d8-8c07-0589c179fee2","year":2018},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:f841a4d9d0e95d6c41621982a3b07228faa6dc5bb8ab720c2fbe1b920c55b4a7","observation_id":"2e88c80b-8d1f-49fa-b4a4-dbbf7a048a1e","resolution":{"observed_at":"2026-05-16T05:47:25.262328Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"a3b20940-045b-4bbd-a3a5-2ce1dcb8b424","year":2015},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:05d23bfcd4c10ab45ce5dfba3400b732b1e494fd6bd486a032341a411b63207f","observation_id":"a143530d-41f4-44c8-b95f-9672a22b84f2","resolution":{"observed_at":"2026-05-16T05:47:25.277244Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"6ec3d38a-bbbe-44d7-b66e-ea73c90c350f","year":2023},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:bbac11d7c17e2a35d9a07260f73d66f6ac149cbb509cb6a660f0e40d71e9d4ef","observation_id":"fdbd1e89-45e4-4db1-8479-0347a86d49b4","resolution":{"observed_at":"2026-05-16T05:50:40.665934Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"5a7d49a2-9884-42af-9a18-d576aeb0c9ce","year":2016},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:c81681a738ae2198b8e5c81c57a7f94054bac98476c94f1ca1f2c695fe72e65a","observation_id":"a137251f-56f5-4756-925f-b901e9730347","resolution":{"observed_at":"2026-05-16T05:50:40.734130Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/icst.2012.85","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"and Vuduc, R","venue":null,"work_id":"0d1be449-f1ab-4992-93c7-49b30df27dae","year":2012},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:5e342ffce968703261f2a556dd9c356b0a25307a8b2bb3b6198548532c015aa6","observation_id":"5ca23be3-e976-4cf8-915c-53bee580e3b3","resolution":{"observed_at":"2026-05-10T19:20:44.379734Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Time, clocks, and the ordering of events in a distributed system[M]//Concurrency: the Works of Leslie Lamport","venue":null,"work_id":"231348e6-5e31-45fc-b917-2d4f65216702","year":2019},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:5c2e7d2e3a393d0c60773803dd403fc96d5fe95e36ae2f7b616b58caf6ad07ff","observation_id":"7cdedfd6-d25a-4fd8-9255-b2d5c082a7e2","resolution":{"observed_at":"2026-05-16T05:50:40.806481Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1320.111106","doi":"10.1145/1111320.1111067","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-11T11:50:26.030339Z","title":null,"venue":null,"work_id":"3ffbf9b9-125a-4492-9954-d91cb303a3d2","year":2006},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:caf799b3261a90567e50697f6aa67579ae24bfba2b3d7908d6af0fc5210e0f11","observation_id":"a9cd576b-bc35-41d9-aa6b-3342d6156ead","resolution":{"observed_at":"2026-05-10T19:20:44.382150Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"fa74d073-ff2e-48c6-a857-d159b5d25216","year":2015},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:2688528e130190dc86faf2cd6c263ce34d37679c178c0f6c139a93844c9965d0","observation_id":"72d8b9e8-045f-4e47-b406-f1ede42aa8dc","resolution":{"observed_at":"2026-05-16T05:50:40.786931Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"6888e528-6f38-4cfb-ac5f-3e117aa17d1d","year":2024},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:a92b03abf9c6be42909b03d71c4326b7604d1a3b0f2f5111d64e27743acb1c2d","observation_id":"5bb9cda3-6d2e-4819-a8ca-ab183722d2eb","resolution":{"observed_at":"2026-05-16T05:50:40.802615Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"4b9fb83f-914c-4139-8e54-c0b515912aec","year":2024},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:cf4e82be6459412a8be94be31c9622d14ce6382ef1dc4108122942ffc17fcc7a","observation_id":"19b9b4f8-ec6b-46eb-b02f-81908c04bf46","resolution":{"observed_at":"2026-05-16T05:50:40.790790Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"P ˇasˇareanu, and Sarfraz Khurshid","venue":null,"work_id":"be281d84-cdd3-4539-ae9a-a5616a8ec0de","year":2004},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:767fd74300ecdd6cdd82e1ca045245d9ce3f0116dccde734e313e78ca485f02d","observation_id":"3e45a50b-69dd-452b-8a15-27f725673e13","resolution":{"observed_at":"2026-05-16T05:50:40.837405Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"d410ab84-28d5-485d-a1da-b25f8993ca94","year":2023},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:26238fd978dc6131a97f0e45f1f3f61b403679f29089d6ff30229cc23c40014d","observation_id":"424d81e9-b5e4-4fbe-9ea9-6942671a8cd9","resolution":{"observed_at":"2026-05-16T05:50:40.799369Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2308.10620","last_updated":"2024-04-10T08:41:22Z","snapshot_observed_at":"2026-07-06T16:08:29.285279Z","submitted_at":"2023-08-21T10:37:49Z","title":"Large Language Models for Software Engineering: A Systematic Literature Review","version":6},"cited_work":{"arxiv_id":"2308.10620","doi":"10.48550/arxiv.2308.10620","metadata_source":"arxiv_reference","pith_arxiv_id":"2308.10620","snapshot_observed_at":"2026-07-10T06:15:00.866473Z","title":"arXiv preprint arXiv:2308.10620 (2023)","venue":null,"work_id":"95a41a91-71b5-4995-9900-0c80aa0d96a6","year":2024},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"cited_paper":"/paper/2308.10620","citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:bac5cd95fd8147c3082e847a1cc0860fb1a23066916c6fd6076a01f9490727b0","observation_id":"eaa4c4d7-6f1c-44b4-b9d5-eb68861a47b4","resolution":{"observed_at":"2026-05-10T23:05:49.735964Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"334046da-a9f2-4953-9d05-803a28258438","year":2017},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:b16b418e2077fd215ce445dcb901013800d33d582c3f61b0794e05dade2ac6b7","observation_id":"0cb9c63e-f7b2-4394-a55a-66ccff942100","resolution":{"observed_at":"2026-05-16T05:50:40.776915Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"93053aac-6459-4388-bdf1-2a98393ce212","year":2012},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:c03de786d115c670ca29e6bf0c302a63781585d5863239f9ffcbbcc76f892502","observation_id":"d5091edb-65e1-4456-8263-905cb3c6aa79","resolution":{"observed_at":"2026-05-16T05:50:40.827022Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"5fa55c8d-9e6e-457a-af2c-2630ef60bb15","year":2013},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:7f602375afe31462e52654dd4f8ab076059d71a6d7cfb58598fd858d1bf0c76f","observation_id":"521f34a7-9701-4c0b-b004-b7bf33355a5b","resolution":{"observed_at":"2026-05-16T05:50:40.749632Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"(2014, November)","venue":null,"work_id":"2ac274a0-3486-4b1a-92bf-894099249dd7","year":2014},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:033768c6203a65237b4db2763378970d0b2b8eac53d1a7a4c5ea3e2fc4fc1efd","observation_id":"13fdd4dc-660c-43ba-be0e-be2f9659ae5c","resolution":{"observed_at":"2026-05-16T05:50:40.731295Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"(2012, June)","venue":null,"work_id":"05f3c305-7e3c-451b-86f1-99548a39a7b8","year":2012},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:91977641f5bef34822d057bf8fcb148938dd25cb7721088879b76840930a3477","observation_id":"64d5c56d-b148-4eb7-8ab0-2304ffbc7c4a","resolution":{"observed_at":"2026-05-16T05:50:40.840870Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"ConcBugAssist: constraint solving for diagnosis and repair of concurrency bugs[C]//Proc of the 2015 International Symposium on Software Testing and Analysis (ISSTA 2015)","venue":null,"work_id":"92c2fbc5-b2bb-413b-a040-55d99fcea06f","year":2015},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:b23600ad5e56607bd21ed762ef66edc66366777d5093d54c09f1a6be48420447","observation_id":"b6f5eb7b-7ccc-4164-bc1c-ba56b53e4e59","resolution":{"observed_at":"2026-05-16T05:50:40.744380Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"d6307d0d-7aef-47c3-92a2-a653444ec1dd","year":2016},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:df9fb4776491290c5c503270cda720ad813ade2fd9d17f056268e8aac8568609","observation_id":"d7a0631b-3eb3-4ab6-bd3b-e36c98dd4be5","resolution":{"observed_at":"2026-05-16T05:50:40.833907Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"71cfc303-8e55-475d-856c-cfee52b87f2d","year":2009},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:ca24c5fb8fd0f0b22ffccd7a0b32cd0b3368c252edc1c1c98596672c74f08b20","observation_id":"7822bf5a-2142-4577-bbc0-06ac6d180ef0","resolution":{"observed_at":"2026-05-16T05:47:25.304564Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"bb1c026d-4ba9-4979-93fd-89fd5990f43a","year":2007},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:5ee4d194abb39b521bbf780df2bffa87234a82b645aea983402afab408f53ae2","observation_id":"93185536-3e66-4b46-a97b-577a3615bc3a","resolution":{"observed_at":"2026-05-16T05:50:40.809401Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"51c67efc-4227-4fb8-a3cd-708a6ebf4afa","year":2011},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:c20672894f9fb4c870f454cd2036f6b0e654ba2fffacde233c3b63e909b5de7a","observation_id":"a12043f9-e64b-4329-b9ef-e1333226a5c4","resolution":{"observed_at":"2026-05-16T05:50:40.708944Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"0652cf34-d4c1-4606-b6c6-06ac53c4cc81","year":2007},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:f1354333f490bee267bbf0bbcb0d112640e0aedbf9d587ada253dccc1cf44a1d","observation_id":"246e387d-57fb-466f-ae5f-a4ba624df7fe","resolution":{"observed_at":"2026-05-16T05:50:40.795533Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"83d3387e-a7af-4c1f-8928-c86301fdf770","year":2023},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:4ce71fc7fe7bba1743b5c9fade97ef09278979f9bd6188a1efad2d0a05ff51cf","observation_id":"23543f3a-42da-4196-8d1d-d8ef7fe15647","resolution":{"observed_at":"2026-05-16T05:50:40.812494Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"TDFix: A lightweight tool for fixing deadlocks based on templates[J]","venue":null,"work_id":"1c6f7b8d-a060-48bb-b83b-97449b7af702","year":2024},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:6a8c2c17966620bb9d9bc57035b24ff9ba681ff284682d5608da55f821e4c22c","observation_id":"a5e54449-78c6-46ce-b16e-9d76f398070c","resolution":{"observed_at":"2026-05-16T05:50:40.642601Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Self-refine: Iterative refinement with self-feedback[J]","venue":null,"work_id":"1091c0db-73a4-403a-a7c4-dcba75c4b6c3","year":2024},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:b631afc7852002e778412c93b79148fff811fc45ffb258997811f590aa92d878","observation_id":"aa59aafc-4e66-4b82-9481-7ebd70c6a1f5","resolution":{"observed_at":"2026-05-16T05:50:40.830522Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2305.11738","last_updated":"2024-02-21T12:59:21Z","snapshot_observed_at":"2026-07-06T15:29:47.124222Z","submitted_at":"2023-05-19T15:19:44Z","title":"CRITIC: Large Language Models Can Self-Correct with Tool-Interactive Critiquing","version":4},"cited_work":{"arxiv_id":"2305.11738","doi":"10.48550/arxiv.2305.11738","metadata_source":"pith","pith_arxiv_id":"2305.11738","snapshot_observed_at":"2026-07-10T21:27:35.725781Z","title":"CRITIC: Large Language Models Can Self-Correct with Tool-Interactive Critiquing","venue":"cs.CL","work_id":"dcdfa0ce-7ed4-4614-acd9-8bdbf491fc26","year":2023},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"cited_paper":"/paper/2305.11738","citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:d8d59b018d37bd9b93490b8700cbabc059b23d6f8c8301527e931898cd5848a1","observation_id":"0ab72be7-bf43-4e95-ad8b-722a7b0977b1","resolution":{"observed_at":"2026-05-13T18:59:24.692141Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-09T10:48:37.02582+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-09T10:48:37.02582+00:00","source":"openalex_status_cache"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Lazy diagnosis of in-production concurrency bugs[C]//Proceedings of the 26th Symposium on Operating Systems Principles","venue":null,"work_id":"2a4e40c0-2434-4d84-b6da-b4ddabe4b0c3","year":2017},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:e610b43fa91f19a9ccdc6b7628dc12855dd414353771c5a0ff07daa7ba70d943","observation_id":"5e05ca46-0c95-4b48-9ccf-4f0bd24fd5ff","resolution":{"observed_at":"2026-05-16T05:47:25.297286Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2308.05177","last_updated":"2023-08-09T18:30:27Z","snapshot_observed_at":"2026-07-06T16:04:34.902516Z","submitted_at":"2023-08-09T18:30:27Z","title":"Fixing Rust Compilation Errors using LLMs","version":1},"cited_work":{"arxiv_id":"2308.05177","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2308.05177","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Fixing rust compilation errors using llms","venue":null,"work_id":"60a8ccc9-2ced-44fa-832d-aa348ae7b07a","year":2023},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"cited_paper":"/paper/2308.05177","citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:c6beedc94e7ae653f8fefb7d24527ac485c290c3ce745d4df4fdfbefd7a50d58","observation_id":"3483c018-e279-4088-b287-f25817fdcb69","resolution":{"observed_at":"2026-05-10T23:05:49.774137Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2111.03922","last_updated":"2021-11-06T17:11:53Z","snapshot_observed_at":"2026-07-06T12:06:06.206174Z","submitted_at":"2021-11-06T17:11:53Z","title":"Automatic Program Repair with OpenAI's Codex: Evaluating QuixBugs","version":1},"cited_work":{"arxiv_id":"2111.03922","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2111.03922","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Automatic Program Repair with OpenAI’s Codex: Evaluating QuixBugs[J]","venue":null,"work_id":"a63cefea-d37b-4f7f-b441-d53e3c26f789","year":2021},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"cited_paper":"/paper/2111.03922","citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:f408694c18858632e8f265a6d9366edfcbf9c1492872ed779cec13649b179f6d","observation_id":"53591cbd-52ef-4639-af97-40f76dba2217","resolution":{"observed_at":"2026-05-10T23:05:49.721328Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2107.03374","last_updated":"2021-07-14T17:16:02Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2021-07-07T17:41:24Z","title":"Evaluating Large Language Models Trained on Code","version":2},"cited_work":{"arxiv_id":"2107.03374","doi":"10.48550/arxiv.2107.03374","metadata_source":"pith","pith_arxiv_id":"2107.03374","snapshot_observed_at":"2026-07-11T03:27:46.202228Z","title":"Evaluating Large Language Models Trained on Code","venue":"cs.LG","work_id":"042493e9-b26f-4b4e-bbde-382072ca9b08","year":2021},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"cited_paper":"/paper/2107.03374","citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:848cc0843c483420c308b0777985e4e4e13876301b3ef323d468f91b0b8f1c8d","observation_id":"96e03957-eb80-4f5a-a031-8c9df0ad7ed4","resolution":{"observed_at":"2026-05-10T23:05:49.830106Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-11T10:18:59.594684+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-11T10:18:59.594684+00:00","source":"openalex_status_cache"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"508fd55c-9731-47f1-adfd-9586f89e90d8","year":2021},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:cf1ca3301e1e4a417db4b548eb2185620d069f51b167a1ce55999fc45daf2c0b","observation_id":"a3bd35f3-2320-4eb9-9992-6ddfe83cc4e4","resolution":{"observed_at":"2026-05-16T05:47:25.299061Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2204.05999","last_updated":"2023-04-09T14:31:40Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2022-04-12T16:25:26Z","title":"InCoder: A Generative Model for Code Infilling and Synthesis","version":3},"cited_work":{"arxiv_id":"2204.05999","doi":"10.48550/arxiv.2204.05999","metadata_source":"pith","pith_arxiv_id":"2204.05999","snapshot_observed_at":"2026-07-10T06:15:00.866473Z","title":"InCoder: A Generative Model for Code Infilling and Synthesis","venue":"cs.SE","work_id":"e98a5559-529d-48b1-833c-b85b662f190c","year":2022},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"cited_paper":"/paper/2204.05999","citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:79c4191c9c38a299d128a63e739961f2561780ef5770669957d8decee1a50005","observation_id":"7e9d7381-0586-4a8c-9d71-5d0a9c920f7f","resolution":{"observed_at":"2026-05-16T02:21:20.606144Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"In Pro- ceedings of the 30th ACM Joint European Software Engineering Con- ference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2022)","venue":null,"work_id":"f6742218-5e87-46ca-a970-735017beccc2","year":2022},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:3908394c5bd15b1c2a71751c1fa46fec060fde9a44dc652e3f7e909cecf3d1e2","observation_id":"937b1644-d1c6-4d32-884e-c0bff95d3a6b","resolution":{"observed_at":"2026-05-16T05:47:25.293335Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2303.17651","last_updated":"2023-05-25T19:13:47Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2023-03-30T18:30:01Z","title":"Self-Refine: Iterative Refinement with Self-Feedback","version":2},"cited_work":{"arxiv_id":"2303.17651","doi":"10.1007/s10664-008-","metadata_source":"pith","pith_arxiv_id":"2303.17651","snapshot_observed_at":"2026-07-11T11:50:26.030339Z","title":"Self-Refine: Iterative Refinement with Self-Feedback","venue":"cs.CL","work_id":"59181e7f-e58e-45d3-8146-4477a9f53d5a","year":2023},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"cited_paper":"/paper/2303.17651","citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:57219d0575d9021e6e2093135ffc237e421f1366f29e5c520338983e3f2c8558","observation_id":"466defbd-59b4-4816-9b17-7327df782052","resolution":{"observed_at":"2026-05-10T23:05:49.841274Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2312.00024","last_updated":"2024-10-16T05:46:45Z","snapshot_observed_at":"2026-07-06T16:55:13.127567Z","submitted_at":"2023-11-13T08:54:37Z","title":"Can LLMs Patch Security Issues?","version":5},"cited_work":{"arxiv_id":"2312.00024","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2312.00024","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Can LLMs Patch Security Issues?[J]","venue":null,"work_id":"084bd549-4386-4881-bbfc-8dbd15e83088","year":2024},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"cited_paper":"/paper/2312.00024","citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:5f85e2a6cb7d43f6f4bbd6c60d6d660a365e9909ae0cc8bf16cbe97ca6076b3f","observation_id":"3ab2262e-9af8-4d64-85c1-fac2d92018d2","resolution":{"observed_at":"2026-05-10T23:05:49.835456Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"FastTrack: efficient and precise dynamic race detection[J]","venue":null,"work_id":"8086b250-0af4-4b4c-8f18-c681924be0ac","year":2009},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:2d51cfdcd1a1ac7b6744a58755acd3b4960a27c9659ced50810d70cb35e64c3d","observation_id":"e00c7ccc-889b-406e-87a0-abda746c06d0","resolution":{"observed_at":"2026-05-16T05:47:25.289533Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"81513c81-ffe1-4293-9257-269195f0c91c","year":2018},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:ffa0b7621a99d773bce79033203aa9b7fccf44816969f595fededdd210c307d5","observation_id":"1dbdd365-5837-4618-8af5-d5e64d74cb3b","resolution":{"observed_at":"2026-05-16T05:47:25.295248Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Automated program repair[J]","venue":null,"work_id":"eccb9e0a-19fe-4560-8d64-00dc28a823ce","year":2019},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:43bf4d2f7471e1dfc2a5a3591e28b1e95a5015f6f60ce0807f3fd5ddfd70a0f1","observation_id":"f1146b37-6915-4796-815b-6adf880c18f8","resolution":{"observed_at":"2026-05-16T05:47:25.291333Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"The Pecan Benchmarks","venue":null,"work_id":"1a499e18-5309-4771-8312-2ef0a986613e","year":2011},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:7212f063cf74acd20f0c5576a3e6bd2e3b2c4e9aad01bfb89ecfb474b208c7ac","observation_id":"e2a0790a-70c2-4bea-90ea-6f0d8ce2042d","resolution":{"observed_at":"2026-05-16T05:47:25.300918Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"JaConTeBe Object Biography","venue":null,"work_id":"89dbad1c-f9c0-4d93-a63a-f19ff5d0bd6d","year":2016},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:3fe1b84285374eb47ae02f9a43106fda6d898636826c5331b06647fef31dbc85","observation_id":"0903004a-9871-429e-a1e1-ff5aeb0d4e8e","resolution":{"observed_at":"2026-05-16T05:47:25.285580Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"The PFix Benchmarks","venue":null,"work_id":"8096d10e-90f6-43f9-9423-918b99d46441","year":2018},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:399c2c48dea601afb453764ea523caced38999559125a6ae895385e4ce11060c","observation_id":"9521a097-ae3c-46bc-8706-7bce350a9696","resolution":{"observed_at":"2026-05-16T05:50:40.816861Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"9db62e8f-9bb0-499e-90a2-69e8d84e495c","year":2018},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:20f223b7db07f0dc669cfaf1716fb4481a909696ee4050ddb069e3bab0dccb2d","observation_id":"7ffddc23-02b7-4c36-b954-65fe84a91592","resolution":{"observed_at":"2026-05-16T05:47:25.279165Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Sword: A scalable whole program race detector for java[C]//2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)","venue":null,"work_id":"4b828738-34a1-4ad0-82ff-45de445bf201","year":2019},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:c9d025a76f0291708e9b339ce70a068c94c1353e1b6819b5bb0381fe9367d820","observation_id":"05476d49-81ec-4c1d-b692-a13c14ccce70","resolution":{"observed_at":"2026-05-16T05:47:25.281614Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"a715df1d-d1c0-4fb0-96be-7f08df1d36ce","year":2005},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:c57e7c05eba8f86175dd457fb3ff7a3cd4177929fa570003ca2e437071921e17","observation_id":"74a20a61-1af4-4cf1-a7de-cd4dd451c4bc","resolution":{"observed_at":"2026-05-16T05:47:25.283753Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"GPT-3.5 Turbo Documentation","venue":null,"work_id":"576de201-5f4f-4fac-85a8-2f7c11dc0f44","year":null},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:463abfb9da181f730a5dce231ccb42cd315c8848e17e5760f6c8c1be47affdc7","observation_id":"a28de9dc-8076-42a8-b46e-93810c756007","resolution":{"observed_at":"2026-05-16T05:47:25.287480Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"articles/8555510","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"GPT-4 Turbo Documentation","venue":null,"work_id":"b65261be-9b9e-44d3-8f66-05357d277226","year":2024},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:c2993cfa82e2dc06283a6ab1d5e406ff48dbff721004e9eb7ba3086e4495f7ca","observation_id":"41ea96f6-d410-42ba-8b0b-d37cffeec0c2","resolution":{"observed_at":"2026-05-10T23:05:49.758111Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2210.14179","last_updated":"2024-12-09T20:42:29Z","snapshot_observed_at":"2026-07-06T14:10:16.603292Z","submitted_at":"2022-10-25T17:18:02Z","title":"Practical Program Repair in the Era of Large Pre-trained Language Models","version":2},"cited_work":{"arxiv_id":"2210.14179","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2210.14179","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"arXiv preprint arXiv:2210.14179 , year =","venue":null,"work_id":"fa404bb0-d536-45d4-8297-5469459e86d4","year":2022},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"cited_paper":"/paper/2210.14179","citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:41e8803f182877c70aec503ae8e51ee32aa9ce255595648ec537adddb1ba6b70","observation_id":"b8550438-d0eb-4f26-b761-ab8a1634469f","resolution":{"observed_at":"2026-05-10T23:05:49.808520Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"d259e995-8010-4f5c-a4b8-0fb0891e25d9","year":2022},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:e4b570a73205f68b4b0a8e55fb02e9a8e7fbc167e55c25dab127ea9d377c0967","observation_id":"7ae2f7da-5a29-4938-a4f0-97915c5c6e64","resolution":{"observed_at":"2026-05-16T05:47:25.302713Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"0ace0807-2432-412f-89d5-8afbf650b235","year":2023},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:3c5523cd00a953224bb5f779f3f54f50de18fdee8fca2a3a175531954681974c","observation_id":"17166df4-d433-41eb-95fe-08af50f05811","resolution":{"observed_at":"2026-05-16T05:50:40.692390Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2401.16185","last_updated":"2025-06-07T17:03:11Z","snapshot_observed_at":"2026-07-06T17:21:51.054477Z","submitted_at":"2024-01-29T14:32:27Z","title":"LLM4Vuln: A Unified Evaluation Framework for Decoupling and Enhancing LLMs' Vulnerability Reasoning","version":4},"cited_work":{"arxiv_id":"2401.16185","doi":"10.48550/arxiv.2401.16185","metadata_source":"arxiv_reference","pith_arxiv_id":"2401.16185","snapshot_observed_at":"2026-07-10T06:15:00.866473Z","title":"LLM4Vuln: A unified evaluation framework for decoupling and enhancing LLMs’ vulnerability reasoning","venue":null,"work_id":"d6fb2a95-f857-4fcf-bb71-4bfd82619495","year":2024},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"cited_paper":"/paper/2401.16185","citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:baf920ca75b8da9b215bed69d62a444dd652147d5bfa595688c6067028c2aa9f","observation_id":"e29a6dc4-5f9f-40c7-8a53-4b412de43799","resolution":{"observed_at":"2026-05-10T23:05:49.728975Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-12T01:20:20.219501+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-12T01:20:20.219501+00:00","source":"openalex_status_cache"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"d41d2de2-e70a-42d6-a489-2cb7b45fb203","year":2018},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:5daf99913e71e55b550cc52aeb33d51cdb109e6b1a725f53890700ebdc596c99","observation_id":"b7ee3c0b-f1a3-4493-8986-d27f99b89add","resolution":{"observed_at":"2026-05-16T05:47:25.266423Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"01e08a08-9400-406e-abf6-f8fb1859ce1b","year":2016},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:e375b9f86c0d1766683fdbd2e9e87cc9f8a5d4f4ee103036a4da9b75d578a491","observation_id":"c33a51b0-fd76-46a6-8ddd-2859869212cc","resolution":{"observed_at":"2026-05-16T05:47:25.273276Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"8b499b2c-7492-4dfd-89e7-3070a818fb7e","year":2016},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:49c8fcae89c54eb8c7cd58f77012d5ea302f289a941b3283dc38e4f001e4c1dd","observation_id":"622ecbd1-580a-4eb5-ad4e-8eff4b06368a","resolution":{"observed_at":"2026-05-16T05:47:25.275156Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"17d23f39-ccff-45ee-a90c-a7c0025c03d5","year":2008},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:7f4a1f73f136683b60e9cf3006101bb9c056192a95ae4d0a501f947e968df04e","observation_id":"66537974-fe0e-4cf6-b3b5-72414175b7b9","resolution":{"observed_at":"2026-05-16T05:47:25.306585Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Effective Data-Race Detection for the Kernel[C]//9th USENIX Symposium on Operating Systems Design and Implementation (OSDI 10)","venue":null,"work_id":"cfaf3947-20ab-45fe-a476-96a81d21c269","year":2010},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:2dd3a61c4bed8301732f28e28e7f48cc6e75138f6de8f0729e22437c11828223","observation_id":"8d9b908c-2c35-474e-a693-2c857765fc38","resolution":{"observed_at":"2026-05-16T05:50:40.821183Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Automatically classifying benign and harmful data races using replay analysis[C]//Proceedings of the 28th ACM SIGPLAN Conference on Programming Language Design and Implementation","venue":null,"work_id":"4403e39a-3ecf-44e7-b0b2-aea058c9fdcb","year":2007},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:40843fa848e20bea5741e4e91351f2b4b752ec758b2e2cca352c9642d9babea0","observation_id":"2dde6a9e-bc1b-4a0d-bb1b-05b25162722a","resolution":{"observed_at":"2026-05-16T05:50:40.669450Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"934abb23-b2f8-4c8c-b4c8-24af547d01a4","year":2017},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:410084715c3906795e71d60ff9a349bf252cee70f7e154919929f66047cf0a44","observation_id":"3574bcd1-d49b-4f5b-9519-05c2c8512758","resolution":{"observed_at":"2026-05-16T05:50:40.718561Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"09ade49b-e352-4f7c-ac71-dbe946f51921","year":null},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:8662d80e9d7e889f37ae75094ab1779e3af70afc6220f65d512808ff419f6c1f","observation_id":"03cf2914-4fc3-4f88-a030-cde05ecf27ac","resolution":{"observed_at":"2026-05-16T05:50:40.688008Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Better patching using LLM prompting, via Self-Consistency[C]//2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE)","venue":null,"work_id":"959cafc5-4cfe-410a-bd0b-28b1d21a5ca1","year":2023},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:add74c76716504fcc0a8bc2a0912dfca43b9bd389d6f3f3444431c4820036fb2","observation_id":"9ad38664-3b34-48dd-b7a7-666dc11acb9a","resolution":{"observed_at":"2026-05-16T05:50:40.698238Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"85fc1984-8a82-4a73-8898-4dead50d760c","year":2023},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:1e86bc40df4500cdf619c358679e112710d577bc3a6365120a99ead90ed1f599","observation_id":"d33a9710-6da6-42bd-ad5e-23d652c932a7","resolution":{"observed_at":"2026-05-16T05:50:40.839165Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"An empirical study on learning bug-fixing patches in the wild via neural machine translation[J]","venue":null,"work_id":"dc2c3a61-edd1-41dc-9823-5f5af2ece90d","year":2019},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:e174e13f144c13cc60aafa2f9418b0d2fbc0752959b9d6910480b0694985b620","observation_id":"a2014f33-75ae-4da3-a95f-8972a6ec03a4","resolution":{"observed_at":"2026-05-16T05:47:25.308769Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Sequencer: Sequence-to- sequence learning for end-to-end program repair[J]","venue":null,"work_id":"7b428e98-317f-4f4d-ab5e-6642c5737e42","year":2019},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:946897653f80e8f77f789ec03915a5fde7320733a688af345efd66dd7ec4a371","observation_id":"84715636-dabb-45ad-85fc-e8b16e0b3674","resolution":{"observed_at":"2026-05-16T05:50:40.832216Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Impact of code language models on automated program repair[C]//2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE)","venue":null,"work_id":"0bba487a-b0fc-422e-b12d-0f69834349c7","year":2023},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":73,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:ca7438d99044c530fafeb17c5d1a0b1c3fb5a90cd7884782bf43f99ba8b09953","observation_id":"58e02e2d-1fc7-4cb9-9d54-ed481e283c1e","resolution":{"observed_at":"2026-05-16T05:50:40.727298Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Dear: A novel deep learning-based approach for automated program repair[C]//Proceedings of the 44th international conference on software engineering","venue":null,"work_id":"9d857a5a-18aa-4a2a-be25-1782bcd2df8b","year":2022},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":74,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:4f3aef38a810a73cd273069366bc6518a332e9a1cd584a8113d2c45ea3dfcea0","observation_id":"4c61ae63-11e6-4145-857f-6969ca1736bc","resolution":{"observed_at":"2026-05-16T05:50:40.783759Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"b9c28a73-82e3-425f-9386-96f7bb8fcf3b","year":2022},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":75,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:9d88706cc3f69044753123143cd3b01f31e55359d0be57bb9e2c37c5092082df","observation_id":"cc745472-a708-4fc7-848f-a80d21388ad4","resolution":{"observed_at":"2026-05-16T05:50:40.593176Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Tfix: Learning to fix coding errors with a text-to-text transformer[C]//International Conference on Machine Learning","venue":null,"work_id":"9be1cee7-bd63-4cf5-a32c-d52e645cc60f","year":2021},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":76,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:d4be4ece2e0cdb72ccbf439ca42846a5e61633dad8e1b3558d392665d748a3c8","observation_id":"7b358ce4-801c-4dcb-b0dd-b3cab29aadd4","resolution":{"observed_at":"2026-05-16T05:50:40.737996Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Patch generation with language models: Feasibility and scaling behavior[C]//Deep Learning for Code Workshop","venue":null,"work_id":"d5f2dee3-df75-4d85-932b-34fe39437547","year":2022},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":77,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:045478787a07670299ba6a1d821420243d712c54624bfd8d3e1bc74e98e869ec","observation_id":"f69f2047-dfef-43bc-94ef-37e3fe16313b","resolution":{"observed_at":"2026-05-16T05:50:40.705633Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2311.07215","last_updated":"2024-02-23T06:56:16Z","snapshot_observed_at":"2026-07-06T16:46:30.470666Z","submitted_at":"2023-11-13T10:15:19Z","title":"Coffee: Boost Your Code LLMs by Fixing Bugs with Feedback","version":3},"cited_work":{"arxiv_id":"2311.07215","doi":"10.48550/arxiv.2311.07215","metadata_source":"arxiv_reference","pith_arxiv_id":"2311.07215","snapshot_observed_at":"2026-07-10T06:15:00.866473Z","title":"URLhttps://doi.org/10.48550/arXiv.2311.07215","venue":null,"work_id":"ba7c5b4e-151e-42f6-bff6-2529f02d6211","year":2024},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":78,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"cited_paper":"/paper/2311.07215","citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:8269dd47a23ad4abd76074bb3e657f91fce35c8d4f649ab329022e169cb273dd","observation_id":"6e935684-55d7-456c-8509-f65269ff7fdd","resolution":{"observed_at":"2026-05-10T23:05:49.742862Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Retrieval-based prompt selection for code-related few-shot learning[C]//2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE)","venue":null,"work_id":"b9e6104b-1813-42f8-93a8-510e88267810","year":2023},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":79,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:c41bbe2c98d610a83e715c5363266fe0184fb9856f9d824394e4887174d890fc","observation_id":"5150329b-9b2c-46a4-8f67-5b6e42166d7c","resolution":{"observed_at":"2026-05-16T05:50:40.677939Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"2788d25d-3daf-48a7-a526-1493924b2cfd","year":2022},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":80,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:b4422a55a51434348d2e46d7e2e17c6a7ebefdfd3e065c7a9b412b15db79e417","observation_id":"5ab22617-1695-4b3a-903d-cd4de21bcf0c","resolution":{"observed_at":"2026-05-16T05:50:40.716431Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Dlfix: Context-based code transfor- mation learning for automated program repair[C]//Proceedings of the ACM/IEEE 42nd international conference on software engineering","venue":null,"work_id":"661c6aee-3b0b-4c07-9846-f777009cb597","year":2020},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":81,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:e3ab997f3f63c52535dc0f74be5b0176d47bc0cbf690c86e772648e5d0c8aacd","observation_id":"b9b4bec3-7536-4d76-b319-b8da1f9556a5","resolution":{"observed_at":"2026-05-16T05:50:40.820809Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"ff8be128-2811-4299-ae9c-d25d2b4179e2","year":2023},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":82,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:638bd48e5e5dbf1fa76d7bd6b4aff98268507cfc528b6a9f755a222a5b8efa4b","observation_id":"3c95756c-c7f4-4609-9294-a6debee71883","resolution":{"observed_at":"2026-05-16T05:50:40.794156Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Improving bug detection via context-based code representation learning and attention-based neural networks[J]","venue":null,"work_id":"9646482b-3fa3-4f46-9dcd-b59b2e0f5b0f","year":2019},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":83,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:936256c34debd9b9e8179f3a629ece6fe50b206abbb2438a8beb812581034078","observation_id":"5ac01d96-6ba6-4252-bfb0-f469b30e828b","resolution":{"observed_at":"2026-05-16T05:50:40.610422Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2201.11903","last_updated":"2023-01-10T23:07:57Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2022-01-28T02:33:07Z","title":"Chain-of-Thought Prompting Elicits Reasoning in Large Language Models","version":6},"cited_work":{"arxiv_id":"2201.11903","doi":"10.48550/arxiv.2201.11903","metadata_source":"pith","pith_arxiv_id":"2201.11903","snapshot_observed_at":"2026-07-10T21:57:37.821767Z","title":"Chain-of-Thought Prompting Elicits Reasoning in Large Language Models","venue":"cs.CL","work_id":"d1cf6693-a082-403c-ada9-dac7b96341f9","year":2022},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":84,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"cited_paper":"/paper/2201.11903","citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:43249b2eb8daaa59d52d1515b179bea3f5819c420ae0d8df44fd0cb233c3dc13","observation_id":"217cd0be-95df-4d6f-8cab-99320fe79a73","resolution":{"observed_at":"2026-05-10T23:05:49.750165Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-18T08:21:06.391775+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-18T08:21:06.391775+00:00","source":"openalex_status_cache"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"abaaf9c3-a791-4ffb-824c-19117a2937b5","year":null},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":85,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:118fd8c17721daace80cd768710b162c95b91911cd9881f2275cd3c3964a8787","observation_id":"7ff62b70-bee4-4410-9e70-693dced611a9","resolution":{"observed_at":"2026-05-16T05:50:40.712044Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"The economic impacts of inadequate infrastructure for soft- ware testing","venue":null,"work_id":"712768e1-d376-476b-9a38-9f681184cb98","year":2002},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":86,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:dd3884caa78b786ab488a49564d349a76de7dc8d2fb5d8edfc55db6d804bd8f3","observation_id":"fc41d61b-354e-4e50-8c7a-242802bb0769","resolution":{"observed_at":"2026-05-16T05:50:40.745796Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"69eec11d-523b-4279-b23f-33624a73e4c3","year":2002},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":87,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:5b3d888bcb23a322e956dc7f833e2d7e42215421acf802d02e0a8b0f18be0ccc","observation_id":"12370ee3-f807-4fad-b8c5-656f5a0de2ba","resolution":{"observed_at":"2026-05-16T05:50:40.625037Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"MODIT: On Multi-modal Learning of Editing Source Code","venue":null,"work_id":"3936499c-57f1-42ce-81dc-f3e4657e8792","year":2021},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":88,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:ddcff7c8af11536b90aa1e8d109254f6ff326af9b05fe91c94c9b6354233ac32","observation_id":"e876c6d9-6b0b-4df0-b3f6-a21d419ba37d","resolution":{"observed_at":"2026-05-16T05:50:40.710718Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Nguyen, Danny Dig, Son Nguyen, Hieu Tran, and Michael Hilton","venue":null,"work_id":"072da6d0-265e-4d3f-bcbe-5da893adedb9","year":2019},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":89,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:ca78f163c73b2c8ac12f72497eb57810e8fa82a26bdb5beefc2768dcb9b2053c","observation_id":"222c706f-6f6f-4c6c-97d7-758b6529a775","resolution":{"observed_at":"2026-05-16T05:50:40.723329Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"b572d1b4-4bd6-4e5c-a357-b3a24e167786","year":2024},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":90,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:c8cf0fe6482ffa77852d024682f1a40ee611fbf7a7a514b3738c2eb9bdd945bc","observation_id":"993e2af3-1f02-49dc-aa51-a78196e6fe24","resolution":{"observed_at":"2026-05-16T05:50:40.691325Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Swe-agent: Agent-computer in- terfaces enable automated software engineering[J]","venue":null,"work_id":"60577126-966b-4bdf-93b1-5353b896379c","year":2025},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":91,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:6f052cfce59a06776ad7d90653a4b3045fea1f5b8389e9f972f5d6492a599117","observation_id":"f218eac6-5a3f-47b8-bf51-b8bd72b1d150","resolution":{"observed_at":"2026-05-16T05:50:40.672966Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2407.01489","last_updated":"2024-10-29T17:29:27Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2024-07-01T17:24:45Z","title":"Agentless: Demystifying LLM-based Software Engineering Agents","version":2},"cited_work":{"arxiv_id":"2407.01489","doi":"10.48550/arxiv.2407.01489","metadata_source":"pith","pith_arxiv_id":"2407.01489","snapshot_observed_at":"2026-07-10T15:07:19.632010Z","title":"Agentless: Demystifying LLM-based Software Engineering Agents","venue":"cs.SE","work_id":"71c901c4-3c83-4e10-af54-3daef7fff397","year":2024},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":92,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"cited_paper":"/paper/2407.01489","citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:8f1815eb9e74e6d36c3716f00ce30de6a6fb5b3f16b28169f5a601bdffeb26e5","observation_id":"13ac9b79-7aa7-47f9-93bb-d75cf23dac94","resolution":{"observed_at":"2026-05-12T05:12:23.134333Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-11T01:50:51.153796+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-11T01:50:51.153796+00:00","source":"openalex_status_cache"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2404.05427","last_updated":"2024-07-25T16:54:41Z","snapshot_observed_at":"2026-07-06T17:57:06.330791Z","submitted_at":"2024-04-08T11:55:09Z","title":"AutoCodeRover: Autonomous Program Improvement","version":3},"cited_work":{"arxiv_id":"2404.05427","doi":"10.48550/arxiv.2404.05427","metadata_source":"arxiv_reference","pith_arxiv_id":"2404.05427","snapshot_observed_at":"2026-07-10T06:15:00.866473Z","title":"AutoCodeRover : Autonomous Program Improvement , July 2024","venue":null,"work_id":"fa93e782-fee4-4c22-9486-d9d5d62f7b93","year":2024},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":93,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"cited_paper":"/paper/2404.05427","citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:9c6be0af846618a733e949daec3b65630054f0dc6bb9c1fcec0f5cb7edf4174b","observation_id":"c21d9ffb-b4c5-4675-b397-bda98d98d400","resolution":{"observed_at":"2026-05-10T23:05:49.674989Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3560815","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T13:37:06.812139Z","title":"ACM Comput","venue":null,"work_id":"b3532db7-8a2b-425b-ba78-f6d6863b3a25","year":2023},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":94,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:44e7a717df6f2a575089861fa5a784832ed67568d1fde61e1454e5856f89655c","observation_id":"8c810b5e-288d-4d95-bb59-e7cd316813e2","resolution":{"observed_at":"2026-05-10T19:20:44.375241Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-05-22T05:54:43.922482+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-22T05:54:43.922482+00:00","source":"openalex_status_cache"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2308.12950","last_updated":"2024-01-31T19:47:26Z","snapshot_observed_at":"2026-07-06T16:10:07.931347Z","submitted_at":"2023-08-24T17:39:13Z","title":"Code Llama: Open Foundation Models for Code","version":3},"cited_work":{"arxiv_id":"2308.12950","doi":"10.48550/arxiv.2308.12950","metadata_source":"pith","pith_arxiv_id":"2308.12950","snapshot_observed_at":"2026-07-11T03:17:52.238641Z","title":"Code Llama: Open Foundation Models for Code","venue":"cs.CL","work_id":"e73bffa4-7620-47ac-9327-259a60db52ca","year":2023},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":95,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"cited_paper":"/paper/2308.12950","citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:8194896a0ad073fe90ee94520a59988a6d27b833aa3352ab3a1a3bdeb533ae9b","observation_id":"0e24828b-21fe-4215-bef4-90c87511262c","resolution":{"observed_at":"2026-05-10T19:20:44.378014Z","resolver_source":"local_arxiv","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-09T08:48:36.742994+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-09T08:48:36.742994+00:00","source":"openalex_status_cache"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2412.19437","last_updated":"2025-02-18T17:26:38Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2024-12-27T04:03:16Z","title":"DeepSeek-V3 Technical Report","version":2},"cited_work":{"arxiv_id":"2412.19437","doi":"10.1016/j.neucom.2023.127063.url:https://www.sciencedirect","metadata_source":"pith","pith_arxiv_id":"2412.19437","snapshot_observed_at":"2026-07-11T11:50:26.030339Z","title":"DeepSeek-V3 Technical Report","venue":"cs.CL","work_id":"57d2791d-2219-4c31-a077-afc04b12a75c","year":2024},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":96,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"cited_paper":"/paper/2412.19437","citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:6b80e7037ee3291f7fbc130682995c68850003bc93fc258f1d2a09274a79057b","observation_id":"3b0628a0-203a-4a37-8830-6469c1a25ead","resolution":{"observed_at":"2026-05-10T23:05:49.668521Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2409.12186","last_updated":"2024-11-12T13:24:25Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2024-09-18T17:57:57Z","title":"Qwen2.5-Coder Technical Report","version":3},"cited_work":{"arxiv_id":"2409.12186","doi":"10.48550/arxiv.2409.12186","metadata_source":"pith","pith_arxiv_id":"2409.12186","snapshot_observed_at":"2026-07-10T16:07:20.290468Z","title":"Qwen2.5-Coder Technical Report","venue":"cs.CL","work_id":"09ba463d-6377-4017-9801-444ffb94b056","year":2024},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":97,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"cited_paper":"/paper/2409.12186","citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:cf567a27f6b6d9971f292c9bc281ae912faa1a3f8790f6fb50aa3103c310776d","observation_id":"86d2be01-e55b-46ff-99af-1c962f892fd5","resolution":{"observed_at":"2026-05-10T23:05:49.659453Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-11T05:18:55.772185+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-11T05:18:55.772185+00:00","source":"openalex_status_cache"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Needle in a haystack - pressure testing llms","venue":null,"work_id":"e2bc039d-cfb0-4035-a787-b3bd2e7e0fd2","year":2023},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":98,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:5a0c4e6634fec1b50b78cb861bacf1b235e0095f301d1ab74b90ed0d5f222356","observation_id":"c0c4d34c-5a97-4b92-b689-21d39b011c82","resolution":{"observed_at":"2026-05-16T05:50:40.828283Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Attention is all you need[C]//Proc of the 31st International Conference on Neural Infor- mation Processing Systems (NIPS’17)","venue":null,"work_id":"c4c8f948-a492-4d6d-814e-6098be88a649","year":2017},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":99,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:fe9ce4be498716f8a2b9210789ddd101dca9fad4c51b4e9f339bb600a2b1e525","observation_id":"8ff87cd2-9397-4379-839d-d05b9682ad20","resolution":{"observed_at":"2026-05-16T05:50:40.773165Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2312.10997","last_updated":"2024-03-27T09:16:57Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2023-12-18T07:47:33Z","title":"Retrieval-Augmented Generation for Large Language Models: A Survey","version":5},"cited_work":{"arxiv_id":"2312.10997","doi":"10.1186/1476-072x-8-72","metadata_source":"pith","pith_arxiv_id":"2312.10997","snapshot_observed_at":"2026-07-11T11:50:26.030339Z","title":"Retrieval-Augmented Generation for Large Language Models: A Survey","venue":"cs.CL","work_id":"b80d2790-6cd9-4c87-b3c4-de404f99a80e","year":2023},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":100,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"cited_paper":"/paper/2312.10997","citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:7821fabde9a2a19f40c1406d927988d00e2d9d5a8561c77f5fb863dbb5e2f362","observation_id":"c3918ee6-aa0c-4a35-87bb-ce086181b30f","resolution":{"observed_at":"2026-05-10T23:05:49.685924Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Yarn: Efficient context window extension of large language models","venue":null,"work_id":"3730f5ae-9626-42a4-bdc8-2b2415bd4958","year":2024},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":101,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:aad4747054b8cb533783023ae3afc5ab0bc2696d8736f6b52d44c82deceab059","observation_id":"131e0170-9f65-4126-ac49-521cd9dcbc96","resolution":{"observed_at":"2026-05-16T05:50:40.788086Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"f3841bab-ec01-4e43-834d-167ab44f75f8","year":2016},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":102,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:af7700b45be4ca938ca9b48c07ce2363d89e61698f139af41680cdb6e54a32e6","observation_id":"7846696c-0865-46bc-85e5-28cc06802c1a","resolution":{"observed_at":"2026-05-16T05:50:40.719962Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"CHESS: Systematic stress testing of con- current software[C]//International Symposium on Logic-based Program Synthesis and Transformation","venue":null,"work_id":"ddb778a4-31bb-4c2a-bc56-85257065df58","year":2006},"citing_paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor","version":1},"reference_index":103,"source":"pdf_text","source_observed_at":"2026-05-10T19:20:22.353790Z"},"links":{"citing_paper":"/paper/2604.05753"},"observation_digest":"sha256:b0dc71a0ea6afd1444a9775d105cf33dd1879daecab86990bef59b9da605b6c3","observation_id":"cd407e2d-951f-44f7-9f16-0c49e0c66ef1","resolution":{"observed_at":"2026-05-16T05:50:40.664181Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2604.05753","last_updated":"2026-04-07T11:56:35Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-07-06T22:54:26.231593Z","submitted_at":"2026-04-07T11:56:35Z","title":"An End-to-End Approach for Fixing Concurrency Bugs via SHB-Based Context Extractor"},"reference_resolution":{"displayed":100,"state_counts":{"malformed_identifier":1,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":0,"verified_exact":20,"verified_fuzzy":78},"total_outbound_references":121},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-07-24T06:31:00.690269+00:00","source":"crossref"},{"observed_at":"2026-07-24T06:30:55.483554+00:00","source":"retraction_watch"}],"thesis":"As of 25 July 2026, this Paper Citation Record lists 100 of 121 outbound references and 0 inbound Pith citation observations for arXiv:2604.05753."}