{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:BYWS5Q55AK7R4B5GSLD7W3Y6AP","short_pith_number":"pith:BYWS5Q55","canonical_record":{"source":{"id":"2504.15637","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DC","submitted_at":"2025-04-22T06:56:15Z","cross_cats_sorted":["cs.AI","cs.LG","cs.PL","cs.SE"],"title_canon_sha256":"879d0ff0b5e54e909186a8363cca976497e552c0b0f4bc01c970a3d3bcca9498","abstract_canon_sha256":"f357fb261e0f2db1975dc4f90df085a8e3eb6ccf51bc6efe79781270f21d70e5"},"schema_version":"1.0"},"canonical_sha256":"0e2d2ec3bd02bf1e07a692c7fb6f1e03eca3bfcd54b3241c85f3ec2582acdda1","source":{"kind":"arxiv","id":"2504.15637","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2504.15637","created_at":"2026-07-05T10:52:27Z"},{"alias_kind":"arxiv_version","alias_value":"2504.15637v1","created_at":"2026-07-05T10:52:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.15637","created_at":"2026-07-05T10:52:27Z"},{"alias_kind":"pith_short_12","alias_value":"BYWS5Q55AK7R","created_at":"2026-07-05T10:52:27Z"},{"alias_kind":"pith_short_16","alias_value":"BYWS5Q55AK7R4B5G","created_at":"2026-07-05T10:52:27Z"},{"alias_kind":"pith_short_8","alias_value":"BYWS5Q55","created_at":"2026-07-05T10:52:27Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:BYWS5Q55AK7R4B5GSLD7W3Y6AP","target":"record","payload":{"canonical_record":{"source":{"id":"2504.15637","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DC","submitted_at":"2025-04-22T06:56:15Z","cross_cats_sorted":["cs.AI","cs.LG","cs.PL","cs.SE"],"title_canon_sha256":"879d0ff0b5e54e909186a8363cca976497e552c0b0f4bc01c970a3d3bcca9498","abstract_canon_sha256":"f357fb261e0f2db1975dc4f90df085a8e3eb6ccf51bc6efe79781270f21d70e5"},"schema_version":"1.0"},"canonical_sha256":"0e2d2ec3bd02bf1e07a692c7fb6f1e03eca3bfcd54b3241c85f3ec2582acdda1","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:52:27.826288Z","signature_b64":"KuxukrLu19e1/WADZ062s8FpY3AYHy+dCaAizaC9n3Iqhl5tT/SQsPfsz9H9W3LOZMqowDuGybmUqVdx7DboCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0e2d2ec3bd02bf1e07a692c7fb6f1e03eca3bfcd54b3241c85f3ec2582acdda1","last_reissued_at":"2026-07-05T10:52:27.825836Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:52:27.825836Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2504.15637","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T10:52:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hyqH0kxa/MbV85d0dcZvaq4nTdEZuOSQDn9Yz1OAlf+hwS+UVHDQUXzXRWQC5O89LXw0PeKjnKyYgn11PqhkAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T17:37:13.009141Z"},"content_sha256":"e2552576ce6335e133324ad74459588ef77cab9a15d12898a48c4f25d0a14efc","schema_version":"1.0","event_id":"sha256:e2552576ce6335e133324ad74459588ef77cab9a15d12898a48c4f25d0a14efc"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:BYWS5Q55AK7R4B5GSLD7W3Y6AP","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"DR.FIX: Automatically Fixing Data Races at Industry Scale","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI","cs.LG","cs.PL","cs.SE"],"primary_cat":"cs.DC","authors_text":"Farnaz Behrang, Georgian-Vlad Saioc, Milind Chabbi, Peng Liu, Zhizhou Zhang","submitted_at":"2025-04-22T06:56:15Z","abstract_excerpt":"Data races are a prevalent class of concurrency bugs in shared-memory parallel programs, posing significant challenges to software reliability and reproducibility. While there is an extensive body of research on detecting data races and a wealth of practical detection tools across various programming languages, considerably less effort has been directed toward automatically fixing data races at an industrial scale. In large codebases, data races are continuously introduced and exhibit myriad patterns, making automated fixing particularly challenging.\n  In this paper, we tackle the problem of a"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.15637","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2504.15637/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T10:52:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zPwRX9qx2uC19v5q4sk72T2NlfOhFN4c/Z2YZFp72ogI6RDImw/Rza+QeXui7SVdRkEf/V+SizADyRQ/OpK9Ag==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T17:37:13.009971Z"},"content_sha256":"50c7a605d734f03ec90e8c507fbdbdc2e1031e29ea52cf89fe556fa0dc25da13","schema_version":"1.0","event_id":"sha256:50c7a605d734f03ec90e8c507fbdbdc2e1031e29ea52cf89fe556fa0dc25da13"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BYWS5Q55AK7R4B5GSLD7W3Y6AP/bundle.json","state_url":"https://pith.science/pith/BYWS5Q55AK7R4B5GSLD7W3Y6AP/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BYWS5Q55AK7R4B5GSLD7W3Y6AP/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-08T17:37:13Z","links":{"resolver":"https://pith.science/pith/BYWS5Q55AK7R4B5GSLD7W3Y6AP","bundle":"https://pith.science/pith/BYWS5Q55AK7R4B5GSLD7W3Y6AP/bundle.json","state":"https://pith.science/pith/BYWS5Q55AK7R4B5GSLD7W3Y6AP/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BYWS5Q55AK7R4B5GSLD7W3Y6AP/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:BYWS5Q55AK7R4B5GSLD7W3Y6AP","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"f357fb261e0f2db1975dc4f90df085a8e3eb6ccf51bc6efe79781270f21d70e5","cross_cats_sorted":["cs.AI","cs.LG","cs.PL","cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DC","submitted_at":"2025-04-22T06:56:15Z","title_canon_sha256":"879d0ff0b5e54e909186a8363cca976497e552c0b0f4bc01c970a3d3bcca9498"},"schema_version":"1.0","source":{"id":"2504.15637","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2504.15637","created_at":"2026-07-05T10:52:27Z"},{"alias_kind":"arxiv_version","alias_value":"2504.15637v1","created_at":"2026-07-05T10:52:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.15637","created_at":"2026-07-05T10:52:27Z"},{"alias_kind":"pith_short_12","alias_value":"BYWS5Q55AK7R","created_at":"2026-07-05T10:52:27Z"},{"alias_kind":"pith_short_16","alias_value":"BYWS5Q55AK7R4B5G","created_at":"2026-07-05T10:52:27Z"},{"alias_kind":"pith_short_8","alias_value":"BYWS5Q55","created_at":"2026-07-05T10:52:27Z"}],"graph_snapshots":[{"event_id":"sha256:50c7a605d734f03ec90e8c507fbdbdc2e1031e29ea52cf89fe556fa0dc25da13","target":"graph","created_at":"2026-07-05T10:52:27Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2504.15637/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Data races are a prevalent class of concurrency bugs in shared-memory parallel programs, posing significant challenges to software reliability and reproducibility. While there is an extensive body of research on detecting data races and a wealth of practical detection tools across various programming languages, considerably less effort has been directed toward automatically fixing data races at an industrial scale. In large codebases, data races are continuously introduced and exhibit myriad patterns, making automated fixing particularly challenging.\n  In this paper, we tackle the problem of a","authors_text":"Farnaz Behrang, Georgian-Vlad Saioc, Milind Chabbi, Peng Liu, Zhizhou Zhang","cross_cats":["cs.AI","cs.LG","cs.PL","cs.SE"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DC","submitted_at":"2025-04-22T06:56:15Z","title":"DR.FIX: Automatically Fixing Data Races at Industry Scale"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.15637","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:e2552576ce6335e133324ad74459588ef77cab9a15d12898a48c4f25d0a14efc","target":"record","created_at":"2026-07-05T10:52:27Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"f357fb261e0f2db1975dc4f90df085a8e3eb6ccf51bc6efe79781270f21d70e5","cross_cats_sorted":["cs.AI","cs.LG","cs.PL","cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DC","submitted_at":"2025-04-22T06:56:15Z","title_canon_sha256":"879d0ff0b5e54e909186a8363cca976497e552c0b0f4bc01c970a3d3bcca9498"},"schema_version":"1.0","source":{"id":"2504.15637","kind":"arxiv","version":1}},"canonical_sha256":"0e2d2ec3bd02bf1e07a692c7fb6f1e03eca3bfcd54b3241c85f3ec2582acdda1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0e2d2ec3bd02bf1e07a692c7fb6f1e03eca3bfcd54b3241c85f3ec2582acdda1","first_computed_at":"2026-07-05T10:52:27.825836Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:52:27.825836Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"KuxukrLu19e1/WADZ062s8FpY3AYHy+dCaAizaC9n3Iqhl5tT/SQsPfsz9H9W3LOZMqowDuGybmUqVdx7DboCA==","signature_status":"signed_v1","signed_at":"2026-07-05T10:52:27.826288Z","signed_message":"canonical_sha256_bytes"},"source_id":"2504.15637","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e2552576ce6335e133324ad74459588ef77cab9a15d12898a48c4f25d0a14efc","sha256:50c7a605d734f03ec90e8c507fbdbdc2e1031e29ea52cf89fe556fa0dc25da13"],"state_sha256":"52edf8109ef169878cd98bfd48d7168956954a36a3f5b89a26a37d6835e076da"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"j63rbiaZZgJjT/4CwE9I0R99fOX+2UnFiwTz3WPYURGnRc2bI3KcVGGLcCghv08XlmXCOKPu2kErmBTEI8QKAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-08T17:37:13.015378Z","bundle_sha256":"d741420c252227c62842d83f3a2a4eb24f8f8e32f26c4308481ef5be923ff467"}}