{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:SU5YMBYSMQ3EXQ3PTU75TETG7Q","short_pith_number":"pith:SU5YMBYS","canonical_record":{"source":{"id":"1304.3804","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PF","submitted_at":"2013-04-13T12:39:34Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"dafbff2a94f8b4cc12f9ede4c5c1fb60a2d7ad51841517e0b4aa1bc485932b3c","abstract_canon_sha256":"342d38c513e1f4f3552548f32ae15e0107a73e29be57170481f3ad692a107b75"},"schema_version":"1.0"},"canonical_sha256":"953b86071264364bc36f9d3fd99266fc25ebc4d90f609eca217a7b6858ee9d7a","source":{"kind":"arxiv","id":"1304.3804","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1304.3804","created_at":"2026-05-18T03:28:04Z"},{"alias_kind":"arxiv_version","alias_value":"1304.3804v1","created_at":"2026-05-18T03:28:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1304.3804","created_at":"2026-05-18T03:28:04Z"},{"alias_kind":"pith_short_12","alias_value":"SU5YMBYSMQ3E","created_at":"2026-05-18T12:27:59Z"},{"alias_kind":"pith_short_16","alias_value":"SU5YMBYSMQ3EXQ3P","created_at":"2026-05-18T12:27:59Z"},{"alias_kind":"pith_short_8","alias_value":"SU5YMBYS","created_at":"2026-05-18T12:27:59Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:SU5YMBYSMQ3EXQ3PTU75TETG7Q","target":"record","payload":{"canonical_record":{"source":{"id":"1304.3804","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PF","submitted_at":"2013-04-13T12:39:34Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"dafbff2a94f8b4cc12f9ede4c5c1fb60a2d7ad51841517e0b4aa1bc485932b3c","abstract_canon_sha256":"342d38c513e1f4f3552548f32ae15e0107a73e29be57170481f3ad692a107b75"},"schema_version":"1.0"},"canonical_sha256":"953b86071264364bc36f9d3fd99266fc25ebc4d90f609eca217a7b6858ee9d7a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:28:04.287686Z","signature_b64":"eKQdtEEYvZgZUuilqP/P/hAGq3jlm/IOjm4WppuICuP+tEHwxhSURJChoFPpas8Ou3rxzll+kKzzgeGQzjVkDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"953b86071264364bc36f9d3fd99266fc25ebc4d90f609eca217a7b6858ee9d7a","last_reissued_at":"2026-05-18T03:28:04.286785Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:28:04.286785Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1304.3804","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:28:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Kyc9RzGMyPaLt3QIT6rvqJqZh66WLmsK+MBxUJ2dLbLqJ+OGUi70XDjfVWaFUqAstqsxB9qiteufUbraCi2KBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T20:58:56.465426Z"},"content_sha256":"34c1da7c6cf434977bf6d8e01181e7e4381e074f0b0522a13d0306be1a7ceb76","schema_version":"1.0","event_id":"sha256:34c1da7c6cf434977bf6d8e01181e7e4381e074f0b0522a13d0306be1a7ceb76"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:SU5YMBYSMQ3EXQ3PTU75TETG7Q","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Multithreaded Input-Sensitive Profiling","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.PF","authors_text":"Camil Demetrescu, Emilio Coppa, Irene Finocchi, Romolo Marotta","submitted_at":"2013-04-13T12:39:34Z","abstract_excerpt":"Input-sensitive profiling is a recent performance analysis technique that makes it possible to estimate the empirical cost function of individual routines of a program, helping developers understand how performance scales to larger inputs and pinpoint asymptotic bottlenecks in the code. A current limitation of input-sensitive profilers is that they specifically target sequential computations, ignoring any communication between threads. In this paper we show how to overcome this limitation, extending the range of applicability of the original approach to multithreaded applications and to applic"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1304.3804","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:28:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1XXwCXeJs+74EJMRi7HtCFuUVyYQQ4PlMTEysatnh0ABbwx0qd3NZnylHFmu5OlauBJqtTopRUeEuQnktxr9CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T20:58:56.465775Z"},"content_sha256":"360d382f02758ec088f54840e52954cacaa76ce510629896a60c39bd3dfdfa14","schema_version":"1.0","event_id":"sha256:360d382f02758ec088f54840e52954cacaa76ce510629896a60c39bd3dfdfa14"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/SU5YMBYSMQ3EXQ3PTU75TETG7Q/bundle.json","state_url":"https://pith.science/pith/SU5YMBYSMQ3EXQ3PTU75TETG7Q/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/SU5YMBYSMQ3EXQ3PTU75TETG7Q/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-02T20:58:56Z","links":{"resolver":"https://pith.science/pith/SU5YMBYSMQ3EXQ3PTU75TETG7Q","bundle":"https://pith.science/pith/SU5YMBYSMQ3EXQ3PTU75TETG7Q/bundle.json","state":"https://pith.science/pith/SU5YMBYSMQ3EXQ3PTU75TETG7Q/state.json","well_known_bundle":"https://pith.science/.well-known/pith/SU5YMBYSMQ3EXQ3PTU75TETG7Q/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:SU5YMBYSMQ3EXQ3PTU75TETG7Q","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":"342d38c513e1f4f3552548f32ae15e0107a73e29be57170481f3ad692a107b75","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PF","submitted_at":"2013-04-13T12:39:34Z","title_canon_sha256":"dafbff2a94f8b4cc12f9ede4c5c1fb60a2d7ad51841517e0b4aa1bc485932b3c"},"schema_version":"1.0","source":{"id":"1304.3804","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1304.3804","created_at":"2026-05-18T03:28:04Z"},{"alias_kind":"arxiv_version","alias_value":"1304.3804v1","created_at":"2026-05-18T03:28:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1304.3804","created_at":"2026-05-18T03:28:04Z"},{"alias_kind":"pith_short_12","alias_value":"SU5YMBYSMQ3E","created_at":"2026-05-18T12:27:59Z"},{"alias_kind":"pith_short_16","alias_value":"SU5YMBYSMQ3EXQ3P","created_at":"2026-05-18T12:27:59Z"},{"alias_kind":"pith_short_8","alias_value":"SU5YMBYS","created_at":"2026-05-18T12:27:59Z"}],"graph_snapshots":[{"event_id":"sha256:360d382f02758ec088f54840e52954cacaa76ce510629896a60c39bd3dfdfa14","target":"graph","created_at":"2026-05-18T03:28: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":"Input-sensitive profiling is a recent performance analysis technique that makes it possible to estimate the empirical cost function of individual routines of a program, helping developers understand how performance scales to larger inputs and pinpoint asymptotic bottlenecks in the code. A current limitation of input-sensitive profilers is that they specifically target sequential computations, ignoring any communication between threads. In this paper we show how to overcome this limitation, extending the range of applicability of the original approach to multithreaded applications and to applic","authors_text":"Camil Demetrescu, Emilio Coppa, Irene Finocchi, Romolo Marotta","cross_cats":["cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PF","submitted_at":"2013-04-13T12:39:34Z","title":"Multithreaded Input-Sensitive Profiling"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1304.3804","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:34c1da7c6cf434977bf6d8e01181e7e4381e074f0b0522a13d0306be1a7ceb76","target":"record","created_at":"2026-05-18T03:28: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":"342d38c513e1f4f3552548f32ae15e0107a73e29be57170481f3ad692a107b75","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PF","submitted_at":"2013-04-13T12:39:34Z","title_canon_sha256":"dafbff2a94f8b4cc12f9ede4c5c1fb60a2d7ad51841517e0b4aa1bc485932b3c"},"schema_version":"1.0","source":{"id":"1304.3804","kind":"arxiv","version":1}},"canonical_sha256":"953b86071264364bc36f9d3fd99266fc25ebc4d90f609eca217a7b6858ee9d7a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"953b86071264364bc36f9d3fd99266fc25ebc4d90f609eca217a7b6858ee9d7a","first_computed_at":"2026-05-18T03:28:04.286785Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:28:04.286785Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"eKQdtEEYvZgZUuilqP/P/hAGq3jlm/IOjm4WppuICuP+tEHwxhSURJChoFPpas8Ou3rxzll+kKzzgeGQzjVkDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:28:04.287686Z","signed_message":"canonical_sha256_bytes"},"source_id":"1304.3804","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:34c1da7c6cf434977bf6d8e01181e7e4381e074f0b0522a13d0306be1a7ceb76","sha256:360d382f02758ec088f54840e52954cacaa76ce510629896a60c39bd3dfdfa14"],"state_sha256":"aa2237ba39477c540b9e056bc642577391a533b1c976c7ec805b1502280392da"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6TllzD6XGSYa5hHhUKkQsD78YIJkOAZnh2svLKq8jloJOtVm1ye/Bs79lyIF/YrxMKt8H5Bs6SN5Uxk1PYeaCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T20:58:56.467909Z","bundle_sha256":"2b7e1d05d1f285352b8891c16e92455847f8caff64177d1a6bbe3cd00573741b"}}