{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:H6U7CLEMIVVSDYIMZNQQXLU7KR","short_pith_number":"pith:H6U7CLEM","canonical_record":{"source":{"id":"1308.3938","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-08-19T07:15:23Z","cross_cats_sorted":[],"title_canon_sha256":"a059fa9ffd46f5ec378adcd80e48d9c799c62c189f627ea17838e018752357a0","abstract_canon_sha256":"71ea1bcd6f54407951993850620187661597b01944f85fb989a5ad9c7907e680"},"schema_version":"1.0"},"canonical_sha256":"3fa9f12c8c456b21e10ccb610bae9f54553f131e8cf7410347d019f0e27e308d","source":{"kind":"arxiv","id":"1308.3938","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1308.3938","created_at":"2026-05-18T03:15:35Z"},{"alias_kind":"arxiv_version","alias_value":"1308.3938v1","created_at":"2026-05-18T03:15:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1308.3938","created_at":"2026-05-18T03:15:35Z"},{"alias_kind":"pith_short_12","alias_value":"H6U7CLEMIVVS","created_at":"2026-05-18T12:27:46Z"},{"alias_kind":"pith_short_16","alias_value":"H6U7CLEMIVVSDYIM","created_at":"2026-05-18T12:27:46Z"},{"alias_kind":"pith_short_8","alias_value":"H6U7CLEM","created_at":"2026-05-18T12:27:46Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:H6U7CLEMIVVSDYIMZNQQXLU7KR","target":"record","payload":{"canonical_record":{"source":{"id":"1308.3938","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-08-19T07:15:23Z","cross_cats_sorted":[],"title_canon_sha256":"a059fa9ffd46f5ec378adcd80e48d9c799c62c189f627ea17838e018752357a0","abstract_canon_sha256":"71ea1bcd6f54407951993850620187661597b01944f85fb989a5ad9c7907e680"},"schema_version":"1.0"},"canonical_sha256":"3fa9f12c8c456b21e10ccb610bae9f54553f131e8cf7410347d019f0e27e308d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:15:35.261363Z","signature_b64":"jHWuuQqr+0ysz74O6CpPeb+BpqUMeDkh3EtYtwJd8XrwZWAyFLwvgFjARb47AyiUG9GZ31B8PpoYWLdXg5CqBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3fa9f12c8c456b21e10ccb610bae9f54553f131e8cf7410347d019f0e27e308d","last_reissued_at":"2026-05-18T03:15:35.260759Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:15:35.260759Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1308.3938","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-05-18T03:15:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"aeReN0zFn45MuCTFJffHW7t2KbwET+H36QZ0P9YEXfJL1vF4+X/sIdZBTVlOY5dmMBuDKOyZXyN7BE/5FiaOCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-25T23:24:01.489300Z"},"content_sha256":"e44e07fc57216aa59758e8d932fd729bf8d27a18adb4b7f46a63eae50546c15b","schema_version":"1.0","event_id":"sha256:e44e07fc57216aa59758e8d932fd729bf8d27a18adb4b7f46a63eae50546c15b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:H6U7CLEMIVVSDYIMZNQQXLU7KR","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Efficiently Retrieving Function Dependencies in the Linux Kernel Using XSB","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"David S. Warren, Donald E. Porter, Spyros Hadjichristodoulou","submitted_at":"2013-08-19T07:15:23Z","abstract_excerpt":"In this paper we investigate XSB-Prolog as a static analysis engine for data represented by medium-sized graphs. We use XSB-Prolog to automatically identify function dependencies in the Linux Kernel---queries that are difficult to implement efficiently in a commodity database and that developers often have to identify manually. This project illustrates that Prolog systems are ideal for building tools for use in other disciplines that require sophisticated inferences, because Prolog is both declarative and can efficiently implement complex problem specifications through tabling and indexing."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1308.3938","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":""},"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-05-18T03:15:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"v9evToe35lxLN4/UijrRXpSjiuR9U8H/ByuwwgOCCqL8fFU6bnCrpbxrglss8wP3vkxvifbVthlz2O2RKtggBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-25T23:24:01.489657Z"},"content_sha256":"287165a8d992b95f21c9e9309603237c5efb9b45e305512e7400151a4f4f3a59","schema_version":"1.0","event_id":"sha256:287165a8d992b95f21c9e9309603237c5efb9b45e305512e7400151a4f4f3a59"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/H6U7CLEMIVVSDYIMZNQQXLU7KR/bundle.json","state_url":"https://pith.science/pith/H6U7CLEMIVVSDYIMZNQQXLU7KR/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/H6U7CLEMIVVSDYIMZNQQXLU7KR/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-06-25T23:24:01Z","links":{"resolver":"https://pith.science/pith/H6U7CLEMIVVSDYIMZNQQXLU7KR","bundle":"https://pith.science/pith/H6U7CLEMIVVSDYIMZNQQXLU7KR/bundle.json","state":"https://pith.science/pith/H6U7CLEMIVVSDYIMZNQQXLU7KR/state.json","well_known_bundle":"https://pith.science/.well-known/pith/H6U7CLEMIVVSDYIMZNQQXLU7KR/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:H6U7CLEMIVVSDYIMZNQQXLU7KR","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":"71ea1bcd6f54407951993850620187661597b01944f85fb989a5ad9c7907e680","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-08-19T07:15:23Z","title_canon_sha256":"a059fa9ffd46f5ec378adcd80e48d9c799c62c189f627ea17838e018752357a0"},"schema_version":"1.0","source":{"id":"1308.3938","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1308.3938","created_at":"2026-05-18T03:15:35Z"},{"alias_kind":"arxiv_version","alias_value":"1308.3938v1","created_at":"2026-05-18T03:15:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1308.3938","created_at":"2026-05-18T03:15:35Z"},{"alias_kind":"pith_short_12","alias_value":"H6U7CLEMIVVS","created_at":"2026-05-18T12:27:46Z"},{"alias_kind":"pith_short_16","alias_value":"H6U7CLEMIVVSDYIM","created_at":"2026-05-18T12:27:46Z"},{"alias_kind":"pith_short_8","alias_value":"H6U7CLEM","created_at":"2026-05-18T12:27:46Z"}],"graph_snapshots":[{"event_id":"sha256:287165a8d992b95f21c9e9309603237c5efb9b45e305512e7400151a4f4f3a59","target":"graph","created_at":"2026-05-18T03:15:35Z","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"},"paper":{"abstract_excerpt":"In this paper we investigate XSB-Prolog as a static analysis engine for data represented by medium-sized graphs. We use XSB-Prolog to automatically identify function dependencies in the Linux Kernel---queries that are difficult to implement efficiently in a commodity database and that developers often have to identify manually. This project illustrates that Prolog systems are ideal for building tools for use in other disciplines that require sophisticated inferences, because Prolog is both declarative and can efficiently implement complex problem specifications through tabling and indexing.","authors_text":"David S. Warren, Donald E. Porter, Spyros Hadjichristodoulou","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-08-19T07:15:23Z","title":"Efficiently Retrieving Function Dependencies in the Linux Kernel Using XSB"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1308.3938","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:e44e07fc57216aa59758e8d932fd729bf8d27a18adb4b7f46a63eae50546c15b","target":"record","created_at":"2026-05-18T03:15:35Z","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":"71ea1bcd6f54407951993850620187661597b01944f85fb989a5ad9c7907e680","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-08-19T07:15:23Z","title_canon_sha256":"a059fa9ffd46f5ec378adcd80e48d9c799c62c189f627ea17838e018752357a0"},"schema_version":"1.0","source":{"id":"1308.3938","kind":"arxiv","version":1}},"canonical_sha256":"3fa9f12c8c456b21e10ccb610bae9f54553f131e8cf7410347d019f0e27e308d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3fa9f12c8c456b21e10ccb610bae9f54553f131e8cf7410347d019f0e27e308d","first_computed_at":"2026-05-18T03:15:35.260759Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:15:35.260759Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"jHWuuQqr+0ysz74O6CpPeb+BpqUMeDkh3EtYtwJd8XrwZWAyFLwvgFjARb47AyiUG9GZ31B8PpoYWLdXg5CqBA==","signature_status":"signed_v1","signed_at":"2026-05-18T03:15:35.261363Z","signed_message":"canonical_sha256_bytes"},"source_id":"1308.3938","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e44e07fc57216aa59758e8d932fd729bf8d27a18adb4b7f46a63eae50546c15b","sha256:287165a8d992b95f21c9e9309603237c5efb9b45e305512e7400151a4f4f3a59"],"state_sha256":"1eba2d863e90257f25559358a5509d11c4b2814b5ff53c1e1fd0f790fb4b2da4"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"m95wZbN8rAhHnWtpQThr58Ov6ENC8HH6TGcwFvtNNAoEWdn6J+ZdId7OYtzfRHnOEnydI4Flx4VyJ/QEnGSgBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-25T23:24:01.491773Z","bundle_sha256":"faf2ed7d7fee9a014d591b61f296f5de9d689209fe98e4d764d0e0cf684fb2ff"}}