{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:3TSA2QDGFO2MTYKQROMF7ZWVQS","short_pith_number":"pith:3TSA2QDG","schema_version":"1.0","canonical_sha256":"dce40d40662bb4c9e1508b985fe6d584925d4f9e1295bd1d7af1165212e9fa52","source":{"kind":"arxiv","id":"1703.05615","version":2},"attestation_state":"computed","paper":{"title":"Spencer: Interactive Heap Analysis for the Masses","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Stephan Brandauer, Tobias Wrigstad","submitted_at":"2017-03-16T13:37:05Z","abstract_excerpt":"Programming language-design and run-time-implementation require detailed knowledge about the programs that users want to implement. Acquiring this knowledge is hard, and there is little tool support to effectively estimate whether a proposed tradeoff actually makes sense in the context of real world applications.\n  Ideally, knowledge about behaviour of \"typical\" programs is 1) easily obtainable, 2) easily reproducible, and 3) easily sharable. We present Spencer, a web service and API framework for dynamic analysis of a continuously growing set of traces of standard program corpora. Users do no"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1703.05615","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-03-16T13:37:05Z","cross_cats_sorted":[],"title_canon_sha256":"b56c11147c7d1a040dc80d5f1bbdb55dc0f8630475cb2a3f8e5388c07e5f5781","abstract_canon_sha256":"5b1858e69de9f3398b3107c8e3b5a579d88023dea46ef2f4b235397796f6c886"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:47:33.231971Z","signature_b64":"Dw4G1sZrukp36DhuSRhT0kwoUBkKNMuDsU75t+KUHVuQJoSB/CQSjioNMQ2WjsiMVsoHV6TVTpGdJRV8fOXSCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"dce40d40662bb4c9e1508b985fe6d584925d4f9e1295bd1d7af1165212e9fa52","last_reissued_at":"2026-05-18T00:47:33.231413Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:47:33.231413Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Spencer: Interactive Heap Analysis for the Masses","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Stephan Brandauer, Tobias Wrigstad","submitted_at":"2017-03-16T13:37:05Z","abstract_excerpt":"Programming language-design and run-time-implementation require detailed knowledge about the programs that users want to implement. Acquiring this knowledge is hard, and there is little tool support to effectively estimate whether a proposed tradeoff actually makes sense in the context of real world applications.\n  Ideally, knowledge about behaviour of \"typical\" programs is 1) easily obtainable, 2) easily reproducible, and 3) easily sharable. We present Spencer, a web service and API framework for dynamic analysis of a continuously growing set of traces of standard program corpora. Users do no"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1703.05615","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1703.05615","created_at":"2026-05-18T00:47:33.231489+00:00"},{"alias_kind":"arxiv_version","alias_value":"1703.05615v2","created_at":"2026-05-18T00:47:33.231489+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1703.05615","created_at":"2026-05-18T00:47:33.231489+00:00"},{"alias_kind":"pith_short_12","alias_value":"3TSA2QDGFO2M","created_at":"2026-05-18T12:30:58.224056+00:00"},{"alias_kind":"pith_short_16","alias_value":"3TSA2QDGFO2MTYKQ","created_at":"2026-05-18T12:30:58.224056+00:00"},{"alias_kind":"pith_short_8","alias_value":"3TSA2QDG","created_at":"2026-05-18T12:30:58.224056+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/3TSA2QDGFO2MTYKQROMF7ZWVQS","json":"https://pith.science/pith/3TSA2QDGFO2MTYKQROMF7ZWVQS.json","graph_json":"https://pith.science/api/pith-number/3TSA2QDGFO2MTYKQROMF7ZWVQS/graph.json","events_json":"https://pith.science/api/pith-number/3TSA2QDGFO2MTYKQROMF7ZWVQS/events.json","paper":"https://pith.science/paper/3TSA2QDG"},"agent_actions":{"view_html":"https://pith.science/pith/3TSA2QDGFO2MTYKQROMF7ZWVQS","download_json":"https://pith.science/pith/3TSA2QDGFO2MTYKQROMF7ZWVQS.json","view_paper":"https://pith.science/paper/3TSA2QDG","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1703.05615&json=true","fetch_graph":"https://pith.science/api/pith-number/3TSA2QDGFO2MTYKQROMF7ZWVQS/graph.json","fetch_events":"https://pith.science/api/pith-number/3TSA2QDGFO2MTYKQROMF7ZWVQS/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/3TSA2QDGFO2MTYKQROMF7ZWVQS/action/timestamp_anchor","attest_storage":"https://pith.science/pith/3TSA2QDGFO2MTYKQROMF7ZWVQS/action/storage_attestation","attest_author":"https://pith.science/pith/3TSA2QDGFO2MTYKQROMF7ZWVQS/action/author_attestation","sign_citation":"https://pith.science/pith/3TSA2QDGFO2MTYKQROMF7ZWVQS/action/citation_signature","submit_replication":"https://pith.science/pith/3TSA2QDGFO2MTYKQROMF7ZWVQS/action/replication_record"}},"created_at":"2026-05-18T00:47:33.231489+00:00","updated_at":"2026-05-18T00:47:33.231489+00:00"}