{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:GHH3FY2LHLQ7NQHACGVSEY43BZ","short_pith_number":"pith:GHH3FY2L","canonical_record":{"source":{"id":"1704.04119","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NE","submitted_at":"2017-04-13T13:23:21Z","cross_cats_sorted":[],"title_canon_sha256":"03e7a87ebda5e9da7d50585b8393bc0112e6f8a1e2158df4cad1faa377e93b57","abstract_canon_sha256":"5411e1b7bc9efba8ea510f1e276f6ebc778eeaa36d10345797f57fc779f4c67f"},"schema_version":"1.0"},"canonical_sha256":"31cfb2e34b3ae1f6c0e011ab22639b0e6878f4a660c9a43682e00c03ca82f525","source":{"kind":"arxiv","id":"1704.04119","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1704.04119","created_at":"2026-05-18T00:46:25Z"},{"alias_kind":"arxiv_version","alias_value":"1704.04119v1","created_at":"2026-05-18T00:46:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1704.04119","created_at":"2026-05-18T00:46:25Z"},{"alias_kind":"pith_short_12","alias_value":"GHH3FY2LHLQ7","created_at":"2026-05-18T12:31:18Z"},{"alias_kind":"pith_short_16","alias_value":"GHH3FY2LHLQ7NQHA","created_at":"2026-05-18T12:31:18Z"},{"alias_kind":"pith_short_8","alias_value":"GHH3FY2L","created_at":"2026-05-18T12:31:18Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:GHH3FY2LHLQ7NQHACGVSEY43BZ","target":"record","payload":{"canonical_record":{"source":{"id":"1704.04119","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NE","submitted_at":"2017-04-13T13:23:21Z","cross_cats_sorted":[],"title_canon_sha256":"03e7a87ebda5e9da7d50585b8393bc0112e6f8a1e2158df4cad1faa377e93b57","abstract_canon_sha256":"5411e1b7bc9efba8ea510f1e276f6ebc778eeaa36d10345797f57fc779f4c67f"},"schema_version":"1.0"},"canonical_sha256":"31cfb2e34b3ae1f6c0e011ab22639b0e6878f4a660c9a43682e00c03ca82f525","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:46:25.313514Z","signature_b64":"fLnC7aopBxuRHsUs2LiWa4jxV23F35KNH217AQMq1aG9/vMQ4nTKk05RfC5gkvauMdUhj/93pQdmVvIc/mU0CQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"31cfb2e34b3ae1f6c0e011ab22639b0e6878f4a660c9a43682e00c03ca82f525","last_reissued_at":"2026-05-18T00:46:25.312992Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:46:25.312992Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1704.04119","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:46:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2a5S+/L9A6BYnQG5MrmzT3UtwdmeE9OcL6Glw6HQNYteNNp9JjvM722TVNdc7khGJ0EYhxd63hXUTNgh5wDyDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T21:45:44.237119Z"},"content_sha256":"4195c37d1c2711baedb5b753f615769edbf1b5bf3a2024d216b2584234dfaa4e","schema_version":"1.0","event_id":"sha256:4195c37d1c2711baedb5b753f615769edbf1b5bf3a2024d216b2584234dfaa4e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:GHH3FY2LHLQ7NQHACGVSEY43BZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Search for Improved Performance in Regular Expressions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.NE","authors_text":"Adrian Ronayne, Brendan Cody-Kenny, Eoghan Considine, Michael Fenton, Michael O'Neill, Thomas McGuire","submitted_at":"2017-04-13T13:23:21Z","abstract_excerpt":"The primary aim of automated performance improvement is to reduce the running time of programs while maintaining (or improving on) functionality. In this paper, Genetic Programming is used to find performance improvements in regular expressions for an array of target programs, representing the first application of automated software improvement for run-time performance in the Regular Expression language. This particular problem is interesting as there may be many possible alternative regular expressions which perform the same task while exhibiting subtle differences in performance. A benchmark"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1704.04119","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:46:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Wmsj51rDq+yjr1/+IFbFi2P5mx8C6oinDfLuXDuWjJIQYDh1Cm9zUo49RYsHjn9ibmbp6B2BgMQHWz4N5cdvBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T21:45:44.237484Z"},"content_sha256":"2a9965f99eae1a200fa8f75aca168552fc6a51205c27b7e32caaefb216fe59af","schema_version":"1.0","event_id":"sha256:2a9965f99eae1a200fa8f75aca168552fc6a51205c27b7e32caaefb216fe59af"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GHH3FY2LHLQ7NQHACGVSEY43BZ/bundle.json","state_url":"https://pith.science/pith/GHH3FY2LHLQ7NQHACGVSEY43BZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GHH3FY2LHLQ7NQHACGVSEY43BZ/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-04T21:45:44Z","links":{"resolver":"https://pith.science/pith/GHH3FY2LHLQ7NQHACGVSEY43BZ","bundle":"https://pith.science/pith/GHH3FY2LHLQ7NQHACGVSEY43BZ/bundle.json","state":"https://pith.science/pith/GHH3FY2LHLQ7NQHACGVSEY43BZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GHH3FY2LHLQ7NQHACGVSEY43BZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:GHH3FY2LHLQ7NQHACGVSEY43BZ","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":"5411e1b7bc9efba8ea510f1e276f6ebc778eeaa36d10345797f57fc779f4c67f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NE","submitted_at":"2017-04-13T13:23:21Z","title_canon_sha256":"03e7a87ebda5e9da7d50585b8393bc0112e6f8a1e2158df4cad1faa377e93b57"},"schema_version":"1.0","source":{"id":"1704.04119","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1704.04119","created_at":"2026-05-18T00:46:25Z"},{"alias_kind":"arxiv_version","alias_value":"1704.04119v1","created_at":"2026-05-18T00:46:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1704.04119","created_at":"2026-05-18T00:46:25Z"},{"alias_kind":"pith_short_12","alias_value":"GHH3FY2LHLQ7","created_at":"2026-05-18T12:31:18Z"},{"alias_kind":"pith_short_16","alias_value":"GHH3FY2LHLQ7NQHA","created_at":"2026-05-18T12:31:18Z"},{"alias_kind":"pith_short_8","alias_value":"GHH3FY2L","created_at":"2026-05-18T12:31:18Z"}],"graph_snapshots":[{"event_id":"sha256:2a9965f99eae1a200fa8f75aca168552fc6a51205c27b7e32caaefb216fe59af","target":"graph","created_at":"2026-05-18T00:46:25Z","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 primary aim of automated performance improvement is to reduce the running time of programs while maintaining (or improving on) functionality. In this paper, Genetic Programming is used to find performance improvements in regular expressions for an array of target programs, representing the first application of automated software improvement for run-time performance in the Regular Expression language. This particular problem is interesting as there may be many possible alternative regular expressions which perform the same task while exhibiting subtle differences in performance. A benchmark","authors_text":"Adrian Ronayne, Brendan Cody-Kenny, Eoghan Considine, Michael Fenton, Michael O'Neill, Thomas McGuire","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NE","submitted_at":"2017-04-13T13:23:21Z","title":"A Search for Improved Performance in Regular Expressions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1704.04119","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:4195c37d1c2711baedb5b753f615769edbf1b5bf3a2024d216b2584234dfaa4e","target":"record","created_at":"2026-05-18T00:46:25Z","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":"5411e1b7bc9efba8ea510f1e276f6ebc778eeaa36d10345797f57fc779f4c67f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.NE","submitted_at":"2017-04-13T13:23:21Z","title_canon_sha256":"03e7a87ebda5e9da7d50585b8393bc0112e6f8a1e2158df4cad1faa377e93b57"},"schema_version":"1.0","source":{"id":"1704.04119","kind":"arxiv","version":1}},"canonical_sha256":"31cfb2e34b3ae1f6c0e011ab22639b0e6878f4a660c9a43682e00c03ca82f525","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"31cfb2e34b3ae1f6c0e011ab22639b0e6878f4a660c9a43682e00c03ca82f525","first_computed_at":"2026-05-18T00:46:25.312992Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:46:25.312992Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"fLnC7aopBxuRHsUs2LiWa4jxV23F35KNH217AQMq1aG9/vMQ4nTKk05RfC5gkvauMdUhj/93pQdmVvIc/mU0CQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:46:25.313514Z","signed_message":"canonical_sha256_bytes"},"source_id":"1704.04119","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4195c37d1c2711baedb5b753f615769edbf1b5bf3a2024d216b2584234dfaa4e","sha256:2a9965f99eae1a200fa8f75aca168552fc6a51205c27b7e32caaefb216fe59af"],"state_sha256":"4c5589d15a6d22560a57bd6280d361e36760da4956c951c9df99fd7ad6411388"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lsBKURtEK3J8f0bhilsiVw1KSE3h8BssbETHxjrsb6a5qUe00HlW0RDAcg/0EE6ubhDr10lvee32U8hdpKMiCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-04T21:45:44.239522Z","bundle_sha256":"0f9083d17662dbec903d903949786a0a5e8840fbdeab373bb59737a309699c42"}}