{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:VCN6LTQYYHQFGRMRFDOVPB4RZY","short_pith_number":"pith:VCN6LTQY","canonical_record":{"source":{"id":"1802.09239","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-02-26T10:33:30Z","cross_cats_sorted":[],"title_canon_sha256":"b3308ce81cf0098247aabce160794d6e38a46a95ae86b3f3710f84411792d367","abstract_canon_sha256":"4da00745695ca2a98b1f1a65254e657c6f3168dfc0b154c51dcbd5826641177c"},"schema_version":"1.0"},"canonical_sha256":"a89be5ce18c1e053459128dd578791ce057b39433aebd1b9c337c6643afccbc8","source":{"kind":"arxiv","id":"1802.09239","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1802.09239","created_at":"2026-05-18T00:13:37Z"},{"alias_kind":"arxiv_version","alias_value":"1802.09239v1","created_at":"2026-05-18T00:13:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1802.09239","created_at":"2026-05-18T00:13:37Z"},{"alias_kind":"pith_short_12","alias_value":"VCN6LTQYYHQF","created_at":"2026-05-18T12:32:59Z"},{"alias_kind":"pith_short_16","alias_value":"VCN6LTQYYHQFGRMR","created_at":"2026-05-18T12:32:59Z"},{"alias_kind":"pith_short_8","alias_value":"VCN6LTQY","created_at":"2026-05-18T12:32:59Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:VCN6LTQYYHQFGRMRFDOVPB4RZY","target":"record","payload":{"canonical_record":{"source":{"id":"1802.09239","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-02-26T10:33:30Z","cross_cats_sorted":[],"title_canon_sha256":"b3308ce81cf0098247aabce160794d6e38a46a95ae86b3f3710f84411792d367","abstract_canon_sha256":"4da00745695ca2a98b1f1a65254e657c6f3168dfc0b154c51dcbd5826641177c"},"schema_version":"1.0"},"canonical_sha256":"a89be5ce18c1e053459128dd578791ce057b39433aebd1b9c337c6643afccbc8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:13:37.182912Z","signature_b64":"tvba7TiUX4Z/YDzCM7FWn/kEewXVckvLGyoGNjhw3yooaHPkWD4VCj0DFaQVsdhttjCIoS4NASowMkiYvWBSBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a89be5ce18c1e053459128dd578791ce057b39433aebd1b9c337c6643afccbc8","last_reissued_at":"2026-05-18T00:13:37.182477Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:13:37.182477Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1802.09239","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:13:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1vHc2HJ5u7uNgO1AOm6e+okFUxDdmfdVlc8BwKiO12tlNrRLxC4tA8GP3vU+sRdiuOY0NW2lhL1kCccWWSrsAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-22T16:00:05.834574Z"},"content_sha256":"0ecf3df37b1db849af3d3cef744ef7ddd867c5473ab4511c343d261e3fc726a6","schema_version":"1.0","event_id":"sha256:0ecf3df37b1db849af3d3cef744ef7ddd867c5473ab4511c343d261e3fc726a6"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:VCN6LTQYYHQFGRMRFDOVPB4RZY","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Scalable and Precise Estimation and Debugging of the Worst-Case Execution Time for Analysis-Friendly Processors","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Martin Becker, Ravindra Metta, R Venkatesh, Samarjt Chakraborty","submitted_at":"2018-02-26T10:33:30Z","abstract_excerpt":"Estimating the Worst-Case Execution Time (WCET) of an application is an essential task in the context of developing real-time or safety-critical software, but it is also a complex and error-prone process. Conventional approaches require at least some manual inputs from the user, such as loop bounds and infeasible path information, which are hard to obtain and can lead to unsafe results if they are incorrect. This is aggravated by the lack of a comprehensive explanation of the WCET estimate, i.e., a specific trace showing how WCET was reached. It is therefore hard to spot incorrect inputs and h"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1802.09239","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:13:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Xt9xI//0gqa2so88n97C2/+RhiU9CP4z6FTAVHU/zcBlUmBFC9nNsb/qB7g8hg0KgUQW/0jbfADEirWUqv/ZDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-22T16:00:05.834910Z"},"content_sha256":"cee85b5865914a950212e345773f6b65b238c3993dd3a1cf61a064b405037088","schema_version":"1.0","event_id":"sha256:cee85b5865914a950212e345773f6b65b238c3993dd3a1cf61a064b405037088"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VCN6LTQYYHQFGRMRFDOVPB4RZY/bundle.json","state_url":"https://pith.science/pith/VCN6LTQYYHQFGRMRFDOVPB4RZY/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VCN6LTQYYHQFGRMRFDOVPB4RZY/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-22T16:00:05Z","links":{"resolver":"https://pith.science/pith/VCN6LTQYYHQFGRMRFDOVPB4RZY","bundle":"https://pith.science/pith/VCN6LTQYYHQFGRMRFDOVPB4RZY/bundle.json","state":"https://pith.science/pith/VCN6LTQYYHQFGRMRFDOVPB4RZY/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VCN6LTQYYHQFGRMRFDOVPB4RZY/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:VCN6LTQYYHQFGRMRFDOVPB4RZY","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":"4da00745695ca2a98b1f1a65254e657c6f3168dfc0b154c51dcbd5826641177c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-02-26T10:33:30Z","title_canon_sha256":"b3308ce81cf0098247aabce160794d6e38a46a95ae86b3f3710f84411792d367"},"schema_version":"1.0","source":{"id":"1802.09239","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1802.09239","created_at":"2026-05-18T00:13:37Z"},{"alias_kind":"arxiv_version","alias_value":"1802.09239v1","created_at":"2026-05-18T00:13:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1802.09239","created_at":"2026-05-18T00:13:37Z"},{"alias_kind":"pith_short_12","alias_value":"VCN6LTQYYHQF","created_at":"2026-05-18T12:32:59Z"},{"alias_kind":"pith_short_16","alias_value":"VCN6LTQYYHQFGRMR","created_at":"2026-05-18T12:32:59Z"},{"alias_kind":"pith_short_8","alias_value":"VCN6LTQY","created_at":"2026-05-18T12:32:59Z"}],"graph_snapshots":[{"event_id":"sha256:cee85b5865914a950212e345773f6b65b238c3993dd3a1cf61a064b405037088","target":"graph","created_at":"2026-05-18T00:13:37Z","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":"Estimating the Worst-Case Execution Time (WCET) of an application is an essential task in the context of developing real-time or safety-critical software, but it is also a complex and error-prone process. Conventional approaches require at least some manual inputs from the user, such as loop bounds and infeasible path information, which are hard to obtain and can lead to unsafe results if they are incorrect. This is aggravated by the lack of a comprehensive explanation of the WCET estimate, i.e., a specific trace showing how WCET was reached. It is therefore hard to spot incorrect inputs and h","authors_text":"Martin Becker, Ravindra Metta, R Venkatesh, Samarjt Chakraborty","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-02-26T10:33:30Z","title":"Scalable and Precise Estimation and Debugging of the Worst-Case Execution Time for Analysis-Friendly Processors"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1802.09239","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:0ecf3df37b1db849af3d3cef744ef7ddd867c5473ab4511c343d261e3fc726a6","target":"record","created_at":"2026-05-18T00:13:37Z","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":"4da00745695ca2a98b1f1a65254e657c6f3168dfc0b154c51dcbd5826641177c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-02-26T10:33:30Z","title_canon_sha256":"b3308ce81cf0098247aabce160794d6e38a46a95ae86b3f3710f84411792d367"},"schema_version":"1.0","source":{"id":"1802.09239","kind":"arxiv","version":1}},"canonical_sha256":"a89be5ce18c1e053459128dd578791ce057b39433aebd1b9c337c6643afccbc8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a89be5ce18c1e053459128dd578791ce057b39433aebd1b9c337c6643afccbc8","first_computed_at":"2026-05-18T00:13:37.182477Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:13:37.182477Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"tvba7TiUX4Z/YDzCM7FWn/kEewXVckvLGyoGNjhw3yooaHPkWD4VCj0DFaQVsdhttjCIoS4NASowMkiYvWBSBw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:13:37.182912Z","signed_message":"canonical_sha256_bytes"},"source_id":"1802.09239","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0ecf3df37b1db849af3d3cef744ef7ddd867c5473ab4511c343d261e3fc726a6","sha256:cee85b5865914a950212e345773f6b65b238c3993dd3a1cf61a064b405037088"],"state_sha256":"51c952f09541e9bba3631ad9c07f4f1e76fc4b88e1cc9e219fb27b1732289333"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"m9N54EM+zmf65nyqxuTZEMwKfS1rpi29zIgzfB9L4IPwKn7ND/Fqr+HCIcNMu+XcYNShfOhlAvsTMXsYQ3O+CQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-22T16:00:05.836725Z","bundle_sha256":"f433a02a6d98d3aef8ce613d4e17e366b1b65eb1d105fa0070c5f25ab8b57aed"}}