{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:67PJHF2VMWQA2F6XQUC46RYI2O","short_pith_number":"pith:67PJHF2V","schema_version":"1.0","canonical_sha256":"f7de93975565a00d17d78505cf4708d3ab5de8211b0a4816b71574fb443f74fc","source":{"kind":"arxiv","id":"1809.04193","version":1},"attestation_state":"computed","paper":{"title":"Faster Variational Execution with Transparent Bytecode Transformation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.PL","authors_text":"Christian K\\\"astner, Chu-Pan Wong, Jens Meinicke, Lukas Lazarek","submitted_at":"2018-09-11T22:54:37Z","abstract_excerpt":"Variational execution is a novel dynamic analysis technique for exploring highly configurable systems and accurately tracking information flow. It is able to efficiently analyze many configurations by aggressively sharing redundancies of program executions. The idea of variational execution has been demonstrated to be effective in exploring variations in the program, especially when the configuration space grows out of control. Existing implementations of variational execution often require heavy lifting of the runtime interpreter, which is painstaking and error-prone. Furthermore, the perform"},"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":"1809.04193","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-09-11T22:54:37Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"f92ff9c4f95df78eef3d32e6db0fc567548e056c5d2b8ac7faa4a7a977898040","abstract_canon_sha256":"a3ff720353e068bedf0b99e7cde97a19e1a42c1bf3e1b2bfc22b0a4b6e83b1ca"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:05:55.236270Z","signature_b64":"6tBSWdh/k88OXjs0ZnWLCxrUqtZ94KFx7qX+9dsqfTxMeGouUGpexpp/FoqKCOzLI8XmrIYf8xWgxAph15Y8BQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f7de93975565a00d17d78505cf4708d3ab5de8211b0a4816b71574fb443f74fc","last_reissued_at":"2026-05-18T00:05:55.235760Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:05:55.235760Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Faster Variational Execution with Transparent Bytecode Transformation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.PL","authors_text":"Christian K\\\"astner, Chu-Pan Wong, Jens Meinicke, Lukas Lazarek","submitted_at":"2018-09-11T22:54:37Z","abstract_excerpt":"Variational execution is a novel dynamic analysis technique for exploring highly configurable systems and accurately tracking information flow. It is able to efficiently analyze many configurations by aggressively sharing redundancies of program executions. The idea of variational execution has been demonstrated to be effective in exploring variations in the program, especially when the configuration space grows out of control. Existing implementations of variational execution often require heavy lifting of the runtime interpreter, which is painstaking and error-prone. Furthermore, the perform"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1809.04193","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1809.04193","created_at":"2026-05-18T00:05:55.235837+00:00"},{"alias_kind":"arxiv_version","alias_value":"1809.04193v1","created_at":"2026-05-18T00:05:55.235837+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1809.04193","created_at":"2026-05-18T00:05:55.235837+00:00"},{"alias_kind":"pith_short_12","alias_value":"67PJHF2VMWQA","created_at":"2026-05-18T12:32:08.215937+00:00"},{"alias_kind":"pith_short_16","alias_value":"67PJHF2VMWQA2F6X","created_at":"2026-05-18T12:32:08.215937+00:00"},{"alias_kind":"pith_short_8","alias_value":"67PJHF2V","created_at":"2026-05-18T12:32:08.215937+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/67PJHF2VMWQA2F6XQUC46RYI2O","json":"https://pith.science/pith/67PJHF2VMWQA2F6XQUC46RYI2O.json","graph_json":"https://pith.science/api/pith-number/67PJHF2VMWQA2F6XQUC46RYI2O/graph.json","events_json":"https://pith.science/api/pith-number/67PJHF2VMWQA2F6XQUC46RYI2O/events.json","paper":"https://pith.science/paper/67PJHF2V"},"agent_actions":{"view_html":"https://pith.science/pith/67PJHF2VMWQA2F6XQUC46RYI2O","download_json":"https://pith.science/pith/67PJHF2VMWQA2F6XQUC46RYI2O.json","view_paper":"https://pith.science/paper/67PJHF2V","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1809.04193&json=true","fetch_graph":"https://pith.science/api/pith-number/67PJHF2VMWQA2F6XQUC46RYI2O/graph.json","fetch_events":"https://pith.science/api/pith-number/67PJHF2VMWQA2F6XQUC46RYI2O/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/67PJHF2VMWQA2F6XQUC46RYI2O/action/timestamp_anchor","attest_storage":"https://pith.science/pith/67PJHF2VMWQA2F6XQUC46RYI2O/action/storage_attestation","attest_author":"https://pith.science/pith/67PJHF2VMWQA2F6XQUC46RYI2O/action/author_attestation","sign_citation":"https://pith.science/pith/67PJHF2VMWQA2F6XQUC46RYI2O/action/citation_signature","submit_replication":"https://pith.science/pith/67PJHF2VMWQA2F6XQUC46RYI2O/action/replication_record"}},"created_at":"2026-05-18T00:05:55.235837+00:00","updated_at":"2026-05-18T00:05:55.235837+00:00"}