{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:HAQAYX7ZNQAWHLDQB7Z5JLKDXG","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":"0f7cf794735d292c410c55eb7916a3696d0faea7847a7c4cf2b951471b70dfc8","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2025-05-31T19:56:16Z","title_canon_sha256":"229e29a8bbd87f55a8eb01e0b2024031a1b6fa527b1fe30dd5fb464a2236d2fe"},"schema_version":"1.0","source":{"id":"2506.00693","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2506.00693","created_at":"2026-07-20T02:19:14Z"},{"alias_kind":"arxiv_version","alias_value":"2506.00693v3","created_at":"2026-07-20T02:19:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2506.00693","created_at":"2026-07-20T02:19:14Z"},{"alias_kind":"pith_short_12","alias_value":"HAQAYX7ZNQAW","created_at":"2026-07-20T02:19:14Z"},{"alias_kind":"pith_short_16","alias_value":"HAQAYX7ZNQAWHLDQ","created_at":"2026-07-20T02:19:14Z"},{"alias_kind":"pith_short_8","alias_value":"HAQAYX7Z","created_at":"2026-07-20T02:19:14Z"}],"graph_snapshots":[{"event_id":"sha256:205e1135a9d51df64855495ae5ab2ac732238de7a5646f5fadd1a163a48d01f4","target":"graph","created_at":"2026-07-20T02:19:14Z","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/2506.00693/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper presents a study of human visual attention during localization of memory bugs in C. Human visual attention refers to the mechanical processes by which we selectively process and prioritize information. Visual attention is important to study because it is central to what information people (who are sighted) use to solve a particular problem. Meanwhile, memory bugs are among the most common types of bugs in C programs that manifest as a variety of program faults. In this paper, we study human visual attention while people attempt to locate memory bugs in code. We recruit 21 programmer","authors_text":"Collin McMillan, Emory Michaels, Matthew Robison, Robert Wallace, Yu Huang","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2025-05-31T19:56:16Z","title":"Human Attention During Localization of Memory Bugs in C Programs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2506.00693","kind":"arxiv","version":3},"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:4050d4b23b491889d87929d911db5d495af89f5da536f2127debe3e72b87cd95","target":"record","created_at":"2026-07-20T02:19:14Z","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":"0f7cf794735d292c410c55eb7916a3696d0faea7847a7c4cf2b951471b70dfc8","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2025-05-31T19:56:16Z","title_canon_sha256":"229e29a8bbd87f55a8eb01e0b2024031a1b6fa527b1fe30dd5fb464a2236d2fe"},"schema_version":"1.0","source":{"id":"2506.00693","kind":"arxiv","version":3}},"canonical_sha256":"38200c5ff96c0163ac700ff3d4ad43b9bc0fb4c4d91b8f98cd84b77678651541","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"38200c5ff96c0163ac700ff3d4ad43b9bc0fb4c4d91b8f98cd84b77678651541","first_computed_at":"2026-07-20T02:19:14.510807Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-20T02:19:14.510807Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"2hupc7hdGdzsA/JfM8ggpfxRMTi9cw8JfnlUTwiIn7+QxpSq9gQSj+dBPaTjTevJe2i3UbKBS543U92nbfiSBQ==","signature_status":"signed_v1","signed_at":"2026-07-20T02:19:14.511726Z","signed_message":"canonical_sha256_bytes"},"source_id":"2506.00693","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4050d4b23b491889d87929d911db5d495af89f5da536f2127debe3e72b87cd95","sha256:205e1135a9d51df64855495ae5ab2ac732238de7a5646f5fadd1a163a48d01f4"],"state_sha256":"b3a3b6249a01dc5d1a90f668aaf967810673ae2dd4e81565481794a86c013cfe"}