{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:OZW5LYAEPXKE3BXTTRRL6H2MKW","short_pith_number":"pith:OZW5LYAE","canonical_record":{"source":{"id":"1808.08748","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-08-27T09:14:07Z","cross_cats_sorted":[],"title_canon_sha256":"dae32d43b518690b1a73f5431313dfd904a5ecb9758013689112ca0c7abbb0ca","abstract_canon_sha256":"bcf535fe3d714b775df2dfb1a0d85149406b96f0b4ae2f91fbc0e28d15af9b72"},"schema_version":"1.0"},"canonical_sha256":"766dd5e0047dd44d86f39c62bf1f4c55b204035a02f891bfb66e6ddc119d1f20","source":{"kind":"arxiv","id":"1808.08748","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1808.08748","created_at":"2026-05-17T23:48:11Z"},{"alias_kind":"arxiv_version","alias_value":"1808.08748v2","created_at":"2026-05-17T23:48:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1808.08748","created_at":"2026-05-17T23:48:11Z"},{"alias_kind":"pith_short_12","alias_value":"OZW5LYAEPXKE","created_at":"2026-05-18T12:32:43Z"},{"alias_kind":"pith_short_16","alias_value":"OZW5LYAEPXKE3BXT","created_at":"2026-05-18T12:32:43Z"},{"alias_kind":"pith_short_8","alias_value":"OZW5LYAE","created_at":"2026-05-18T12:32:43Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:OZW5LYAEPXKE3BXTTRRL6H2MKW","target":"record","payload":{"canonical_record":{"source":{"id":"1808.08748","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-08-27T09:14:07Z","cross_cats_sorted":[],"title_canon_sha256":"dae32d43b518690b1a73f5431313dfd904a5ecb9758013689112ca0c7abbb0ca","abstract_canon_sha256":"bcf535fe3d714b775df2dfb1a0d85149406b96f0b4ae2f91fbc0e28d15af9b72"},"schema_version":"1.0"},"canonical_sha256":"766dd5e0047dd44d86f39c62bf1f4c55b204035a02f891bfb66e6ddc119d1f20","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:48:11.456156Z","signature_b64":"xfiCxtL/jGSsiJJX2Lokh9mgB5ql7KDeO97sbc9mnLob3CEGZGnzIm6d/KyYZnQXthR+zF8ZxfbVl0WE5mNGDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"766dd5e0047dd44d86f39c62bf1f4c55b204035a02f891bfb66e6ddc119d1f20","last_reissued_at":"2026-05-17T23:48:11.455341Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:48:11.455341Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1808.08748","source_version":2,"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-17T23:48:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qxuE9sy6lh5aAgvhXWGwLbzZzdLm9My6qbv+hBZbZ7D6cKEjlNAk/djI8LCDkXRItgb9I2Q8K0GOIv76dgxMCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T17:00:24.484735Z"},"content_sha256":"cadf49600078f4273504e1be5be34882e655128a052843e7253d60d03b6fdaf3","schema_version":"1.0","event_id":"sha256:cadf49600078f4273504e1be5be34882e655128a052843e7253d60d03b6fdaf3"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:OZW5LYAEPXKE3BXTTRRL6H2MKW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"AutoAlias: Automatic Variable-Precision Alias Analysis for Object-Oriented Programs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Bertrand Meyer, Victor Rivera","submitted_at":"2018-08-27T09:14:07Z","abstract_excerpt":"The aliasing question (can two reference expressions point, during an execution, to the same object?) is both one of the most critical in practice, for applications ranging from compiler optimization to programmer verification, and one of the most heavily researched, with many hundreds of publications over several decades. One might then expect that good off-the-shelf solutions are widely available, ready to be plugged into a compiler or verifier. This is not the case. In practice, efficient and precise alias analysis remains an open problem.\n  We present a practical tool, AutoAlias, which can"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1808.08748","kind":"arxiv","version":2},"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-17T23:48:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"N5MOI7R/WC8RzHbCt4Iq75vgmvRS+VxaCZggq1eWtw4GP1aV9zCKnUvFxXp9jXA+7U4FqXSGodq4I55AwZeWDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T17:00:24.485080Z"},"content_sha256":"3f50e4d88fc49ca90a5bf9f46b8e8bd3bc3a5265eea2bec5432549a4ade053b8","schema_version":"1.0","event_id":"sha256:3f50e4d88fc49ca90a5bf9f46b8e8bd3bc3a5265eea2bec5432549a4ade053b8"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/OZW5LYAEPXKE3BXTTRRL6H2MKW/bundle.json","state_url":"https://pith.science/pith/OZW5LYAEPXKE3BXTTRRL6H2MKW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/OZW5LYAEPXKE3BXTTRRL6H2MKW/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-03T17:00:24Z","links":{"resolver":"https://pith.science/pith/OZW5LYAEPXKE3BXTTRRL6H2MKW","bundle":"https://pith.science/pith/OZW5LYAEPXKE3BXTTRRL6H2MKW/bundle.json","state":"https://pith.science/pith/OZW5LYAEPXKE3BXTTRRL6H2MKW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/OZW5LYAEPXKE3BXTTRRL6H2MKW/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:OZW5LYAEPXKE3BXTTRRL6H2MKW","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":"bcf535fe3d714b775df2dfb1a0d85149406b96f0b4ae2f91fbc0e28d15af9b72","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-08-27T09:14:07Z","title_canon_sha256":"dae32d43b518690b1a73f5431313dfd904a5ecb9758013689112ca0c7abbb0ca"},"schema_version":"1.0","source":{"id":"1808.08748","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1808.08748","created_at":"2026-05-17T23:48:11Z"},{"alias_kind":"arxiv_version","alias_value":"1808.08748v2","created_at":"2026-05-17T23:48:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1808.08748","created_at":"2026-05-17T23:48:11Z"},{"alias_kind":"pith_short_12","alias_value":"OZW5LYAEPXKE","created_at":"2026-05-18T12:32:43Z"},{"alias_kind":"pith_short_16","alias_value":"OZW5LYAEPXKE3BXT","created_at":"2026-05-18T12:32:43Z"},{"alias_kind":"pith_short_8","alias_value":"OZW5LYAE","created_at":"2026-05-18T12:32:43Z"}],"graph_snapshots":[{"event_id":"sha256:3f50e4d88fc49ca90a5bf9f46b8e8bd3bc3a5265eea2bec5432549a4ade053b8","target":"graph","created_at":"2026-05-17T23:48:11Z","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":"The aliasing question (can two reference expressions point, during an execution, to the same object?) is both one of the most critical in practice, for applications ranging from compiler optimization to programmer verification, and one of the most heavily researched, with many hundreds of publications over several decades. One might then expect that good off-the-shelf solutions are widely available, ready to be plugged into a compiler or verifier. This is not the case. In practice, efficient and precise alias analysis remains an open problem.\n  We present a practical tool, AutoAlias, which can","authors_text":"Bertrand Meyer, Victor Rivera","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-08-27T09:14:07Z","title":"AutoAlias: Automatic Variable-Precision Alias Analysis for Object-Oriented Programs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1808.08748","kind":"arxiv","version":2},"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:cadf49600078f4273504e1be5be34882e655128a052843e7253d60d03b6fdaf3","target":"record","created_at":"2026-05-17T23:48:11Z","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":"bcf535fe3d714b775df2dfb1a0d85149406b96f0b4ae2f91fbc0e28d15af9b72","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-08-27T09:14:07Z","title_canon_sha256":"dae32d43b518690b1a73f5431313dfd904a5ecb9758013689112ca0c7abbb0ca"},"schema_version":"1.0","source":{"id":"1808.08748","kind":"arxiv","version":2}},"canonical_sha256":"766dd5e0047dd44d86f39c62bf1f4c55b204035a02f891bfb66e6ddc119d1f20","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"766dd5e0047dd44d86f39c62bf1f4c55b204035a02f891bfb66e6ddc119d1f20","first_computed_at":"2026-05-17T23:48:11.455341Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:48:11.455341Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"xfiCxtL/jGSsiJJX2Lokh9mgB5ql7KDeO97sbc9mnLob3CEGZGnzIm6d/KyYZnQXthR+zF8ZxfbVl0WE5mNGDw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:48:11.456156Z","signed_message":"canonical_sha256_bytes"},"source_id":"1808.08748","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:cadf49600078f4273504e1be5be34882e655128a052843e7253d60d03b6fdaf3","sha256:3f50e4d88fc49ca90a5bf9f46b8e8bd3bc3a5265eea2bec5432549a4ade053b8"],"state_sha256":"e0bfcf5c7a2eb5757a4358512a55627f8d7e6a10838a5ff594e35c6c1586c30c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6NKcdwSrKS2CtpwA44tywL3NIhuoAfEhqfik1bbwWo63m0WAl7qu2pxaTY619yU7wWXMqwCbSboyaWoUxjThAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T17:00:24.487095Z","bundle_sha256":"6cf5a260b94d8200d30cf6a6a75bff1f306e549bb349c9157e27bde2640d06ae"}}