{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:ONTQNA6FYKA6NLQXKY5GZ45ARV","short_pith_number":"pith:ONTQNA6F","canonical_record":{"source":{"id":"1709.00828","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-09-04T06:28:33Z","cross_cats_sorted":[],"title_canon_sha256":"6b8ea535ca16a08d82832bf33d2ca696aa467ca5b586908529ba3e9c0ae3e04c","abstract_canon_sha256":"4e69cdf331b50bfd5b3d382bea061d64baf3b7315203292c14a0af06e1642ba2"},"schema_version":"1.0"},"canonical_sha256":"73670683c5c281e6ae17563a6cf3a08d74c01d4cf978c61f168c5418123d441c","source":{"kind":"arxiv","id":"1709.00828","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1709.00828","created_at":"2026-05-18T00:36:04Z"},{"alias_kind":"arxiv_version","alias_value":"1709.00828v1","created_at":"2026-05-18T00:36:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1709.00828","created_at":"2026-05-18T00:36:04Z"},{"alias_kind":"pith_short_12","alias_value":"ONTQNA6FYKA6","created_at":"2026-05-18T12:31:34Z"},{"alias_kind":"pith_short_16","alias_value":"ONTQNA6FYKA6NLQX","created_at":"2026-05-18T12:31:34Z"},{"alias_kind":"pith_short_8","alias_value":"ONTQNA6F","created_at":"2026-05-18T12:31:34Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:ONTQNA6FYKA6NLQXKY5GZ45ARV","target":"record","payload":{"canonical_record":{"source":{"id":"1709.00828","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-09-04T06:28:33Z","cross_cats_sorted":[],"title_canon_sha256":"6b8ea535ca16a08d82832bf33d2ca696aa467ca5b586908529ba3e9c0ae3e04c","abstract_canon_sha256":"4e69cdf331b50bfd5b3d382bea061d64baf3b7315203292c14a0af06e1642ba2"},"schema_version":"1.0"},"canonical_sha256":"73670683c5c281e6ae17563a6cf3a08d74c01d4cf978c61f168c5418123d441c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:36:04.997117Z","signature_b64":"XNyy1t2oB+/C+G6vvGDx/pDKGKSeOluSwZf36ZbUDIjtxhfwPwHfaCCNZ1WPexzc6G0lPWZIm1a7cuYQwLM4DQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"73670683c5c281e6ae17563a6cf3a08d74c01d4cf978c61f168c5418123d441c","last_reissued_at":"2026-05-18T00:36:04.996672Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:36:04.996672Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1709.00828","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-18T00:36:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"THw3kKyd8q6ygqZtbCyei+mKhJZvYsIIInXEAfAlwMBnWydMVJGQicZihW0ln17A0e8DuZL+/NPySzNS539lCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T23:02:51.876053Z"},"content_sha256":"7aab6077dce73f2c1e096b4ea75b45785ea214e3b1f63f6245ec348653460cd5","schema_version":"1.0","event_id":"sha256:7aab6077dce73f2c1e096b4ea75b45785ea214e3b1f63f6245ec348653460cd5"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:ONTQNA6FYKA6NLQXKY5GZ45ARV","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Reversing Imperative Parallel Programs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Irek Ulidowski (University of Leicester), James Hoey (University of Leicester), Shoji Yuen (Nagoya University)","submitted_at":"2017-09-04T06:28:33Z","abstract_excerpt":"We propose an approach and a subsequent extension for reversing imperative programs. Firstly, we produce both an augmented version and a corresponding inverted version of the original program. Augmentation saves reversal information into an auxiliary data store, maintaining segregation between this and the program state, while never altering the data store in any other way than that of the original program. Inversion uses this information to revert the final program state to the state as it was before execution. We prove that augmentation and inversion work as intended, and illustrate our appr"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1709.00828","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-18T00:36:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"q6inzduJE8Ex9q6la8EmZYfZ7Svfd0xP8jtlb77QoUBGFK2wAQd0OgkH+yEOx1O/vXqKHGNRAE8qOQe3d/McCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T23:02:51.876402Z"},"content_sha256":"df6049f167cbef4b12757ac63eac81a0055cc8ec22a820240dae27ec1f8c1aef","schema_version":"1.0","event_id":"sha256:df6049f167cbef4b12757ac63eac81a0055cc8ec22a820240dae27ec1f8c1aef"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ONTQNA6FYKA6NLQXKY5GZ45ARV/bundle.json","state_url":"https://pith.science/pith/ONTQNA6FYKA6NLQXKY5GZ45ARV/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ONTQNA6FYKA6NLQXKY5GZ45ARV/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-26T23:02:51Z","links":{"resolver":"https://pith.science/pith/ONTQNA6FYKA6NLQXKY5GZ45ARV","bundle":"https://pith.science/pith/ONTQNA6FYKA6NLQXKY5GZ45ARV/bundle.json","state":"https://pith.science/pith/ONTQNA6FYKA6NLQXKY5GZ45ARV/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ONTQNA6FYKA6NLQXKY5GZ45ARV/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:ONTQNA6FYKA6NLQXKY5GZ45ARV","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":"4e69cdf331b50bfd5b3d382bea061d64baf3b7315203292c14a0af06e1642ba2","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-09-04T06:28:33Z","title_canon_sha256":"6b8ea535ca16a08d82832bf33d2ca696aa467ca5b586908529ba3e9c0ae3e04c"},"schema_version":"1.0","source":{"id":"1709.00828","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1709.00828","created_at":"2026-05-18T00:36:04Z"},{"alias_kind":"arxiv_version","alias_value":"1709.00828v1","created_at":"2026-05-18T00:36:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1709.00828","created_at":"2026-05-18T00:36:04Z"},{"alias_kind":"pith_short_12","alias_value":"ONTQNA6FYKA6","created_at":"2026-05-18T12:31:34Z"},{"alias_kind":"pith_short_16","alias_value":"ONTQNA6FYKA6NLQX","created_at":"2026-05-18T12:31:34Z"},{"alias_kind":"pith_short_8","alias_value":"ONTQNA6F","created_at":"2026-05-18T12:31:34Z"}],"graph_snapshots":[{"event_id":"sha256:df6049f167cbef4b12757ac63eac81a0055cc8ec22a820240dae27ec1f8c1aef","target":"graph","created_at":"2026-05-18T00:36:04Z","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":"We propose an approach and a subsequent extension for reversing imperative programs. Firstly, we produce both an augmented version and a corresponding inverted version of the original program. Augmentation saves reversal information into an auxiliary data store, maintaining segregation between this and the program state, while never altering the data store in any other way than that of the original program. Inversion uses this information to revert the final program state to the state as it was before execution. We prove that augmentation and inversion work as intended, and illustrate our appr","authors_text":"Irek Ulidowski (University of Leicester), James Hoey (University of Leicester), Shoji Yuen (Nagoya University)","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-09-04T06:28:33Z","title":"Reversing Imperative Parallel Programs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1709.00828","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:7aab6077dce73f2c1e096b4ea75b45785ea214e3b1f63f6245ec348653460cd5","target":"record","created_at":"2026-05-18T00:36:04Z","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":"4e69cdf331b50bfd5b3d382bea061d64baf3b7315203292c14a0af06e1642ba2","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-09-04T06:28:33Z","title_canon_sha256":"6b8ea535ca16a08d82832bf33d2ca696aa467ca5b586908529ba3e9c0ae3e04c"},"schema_version":"1.0","source":{"id":"1709.00828","kind":"arxiv","version":1}},"canonical_sha256":"73670683c5c281e6ae17563a6cf3a08d74c01d4cf978c61f168c5418123d441c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"73670683c5c281e6ae17563a6cf3a08d74c01d4cf978c61f168c5418123d441c","first_computed_at":"2026-05-18T00:36:04.996672Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:36:04.996672Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"XNyy1t2oB+/C+G6vvGDx/pDKGKSeOluSwZf36ZbUDIjtxhfwPwHfaCCNZ1WPexzc6G0lPWZIm1a7cuYQwLM4DQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:36:04.997117Z","signed_message":"canonical_sha256_bytes"},"source_id":"1709.00828","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7aab6077dce73f2c1e096b4ea75b45785ea214e3b1f63f6245ec348653460cd5","sha256:df6049f167cbef4b12757ac63eac81a0055cc8ec22a820240dae27ec1f8c1aef"],"state_sha256":"7de5c351303360d6e9cffbe8dcda904fc7575a40629a62828d355385f94f8482"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/nk6EyG0Mlimhyu9hX5utvNm5jnRdQi2qFFpZnY59xKdyb5Lasb61d3031cRTNCzbX9zoEU9ioAgCMmbeubPBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-26T23:02:51.878250Z","bundle_sha256":"6c9cf153ef7742f65dade360a52c0dda669a8ff1e0f8059c60bca57962339d85"}}