{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:AL47AQ4Z34WI25QDKGVOS5VGV5","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":"8bc0b2d3166080185da8660d2eb18b39d7597dcb9558cdb63c50e7708eed609f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PF","submitted_at":"2020-01-28T22:23:51Z","title_canon_sha256":"3e3aa5f8baca7e382572f60e694e7d3e30a7323f788bb5032324fea80d6e620a"},"schema_version":"1.0","source":{"id":"2001.10621","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2001.10621","created_at":"2026-07-05T01:03:22Z"},{"alias_kind":"arxiv_version","alias_value":"2001.10621v3","created_at":"2026-07-05T01:03:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2001.10621","created_at":"2026-07-05T01:03:22Z"},{"alias_kind":"pith_short_12","alias_value":"AL47AQ4Z34WI","created_at":"2026-07-05T01:03:22Z"},{"alias_kind":"pith_short_16","alias_value":"AL47AQ4Z34WI25QD","created_at":"2026-07-05T01:03:22Z"},{"alias_kind":"pith_short_8","alias_value":"AL47AQ4Z","created_at":"2026-07-05T01:03:22Z"}],"graph_snapshots":[{"event_id":"sha256:6bebc67e01dee3663906c4a8d239f24be841e34806ebab670d6439ac32f129fc","target":"graph","created_at":"2026-07-05T01:03:22Z","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/2001.10621/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Binary code analysis is widely used to assess a program's correctness, performance, and provenance. Binary analysis applications often construct control flow graphs, analyze data flow, and use debugging information to understand how machine code relates to source lines, inlined functions, and data types. To date, binary analysis has been single-threaded, which is too slow for applications such as performance analysis and software forensics, where it is becoming common to analyze binaries that are gigabytes in size and in large batches that contain thousands of binaries.\n  This paper describes ","authors_text":"Barton P. Miller, John Mellor-Crummey, Jonathon M. Anderson, Mark W. Krentel, Sr{\\dj}an Milakovi\\'c, Xiaozhu Meng","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PF","submitted_at":"2020-01-28T22:23:51Z","title":"Parallel Binary Code Analysis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2001.10621","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:8f9a8cce68d59fb6e661a8ca333d5c32120d5c0412481e14afd77faf228155f4","target":"record","created_at":"2026-07-05T01:03:22Z","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":"8bc0b2d3166080185da8660d2eb18b39d7597dcb9558cdb63c50e7708eed609f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PF","submitted_at":"2020-01-28T22:23:51Z","title_canon_sha256":"3e3aa5f8baca7e382572f60e694e7d3e30a7323f788bb5032324fea80d6e620a"},"schema_version":"1.0","source":{"id":"2001.10621","kind":"arxiv","version":3}},"canonical_sha256":"02f9f04399df2c8d760351aae976a6af7ef78232c2b85d6d9c4c417aae90f026","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"02f9f04399df2c8d760351aae976a6af7ef78232c2b85d6d9c4c417aae90f026","first_computed_at":"2026-07-05T01:03:22.834713Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T01:03:22.834713Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"//E5Ab+qsv44iqGsCU1rhxk+oPdnCjTsyzwGXY/qhKKcWiKTUhfrKz8WBbu9f5+99jv3kAl7GQRnSPImx7+WDA==","signature_status":"signed_v1","signed_at":"2026-07-05T01:03:22.835290Z","signed_message":"canonical_sha256_bytes"},"source_id":"2001.10621","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8f9a8cce68d59fb6e661a8ca333d5c32120d5c0412481e14afd77faf228155f4","sha256:6bebc67e01dee3663906c4a8d239f24be841e34806ebab670d6439ac32f129fc"],"state_sha256":"c62e69cea867c7e8627f9009bc58e7e37c2b5ed0baa9c3bea49960b335da430c"}