{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:AZFMSAKDUQ7UI4KGXJXFIHCXR2","short_pith_number":"pith:AZFMSAKD","schema_version":"1.0","canonical_sha256":"064ac90143a43f447146ba6e541c578e838b1394822e42f8629c73a7284059d9","source":{"kind":"arxiv","id":"1906.04924","version":2},"attestation_state":"computed","paper":{"title":"Lifestate: Event-Driven Protocols and Callback Control Flow (Extended Version)","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.PL","authors_text":"Bor-Yuh Evan Chang, Sergio Mover, Shawn Meier","submitted_at":"2019-06-12T03:36:11Z","abstract_excerpt":"Developing interactive applications (apps) against event-driven software frameworks such as Android is notoriously difficult. To create apps that behave as expected, developers must follow complex and often implicit asynchronous programming protocols. Such protocols intertwine the proper registering of callbacks to receive control from the framework with appropriate application-programming interface (API) calls that in turn affect the set of possible future callbacks. An app violates the protocol when, for example, it calls a particular API method in a state of the framework where such a call "},"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":"1906.04924","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-06-12T03:36:11Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"157f7e4b8359c3eefc07270d1a6096b36763639c82212f70d808868944b47167","abstract_canon_sha256":"89c9db02741012e7d5696cf52dd832f39ba76e5c57349c6d8bbeaa97650a7103"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:43:25.673258Z","signature_b64":"aaFWPsZvw/UuPuceicdaXd/OKyuTXEoylh8hGQs4P4RKvy1Ba4mugo8IagDIdr7q2J/Wy+MD02UCNpMXOjk2BQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"064ac90143a43f447146ba6e541c578e838b1394822e42f8629c73a7284059d9","last_reissued_at":"2026-05-17T23:43:25.672829Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:43:25.672829Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Lifestate: Event-Driven Protocols and Callback Control Flow (Extended Version)","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.PL","authors_text":"Bor-Yuh Evan Chang, Sergio Mover, Shawn Meier","submitted_at":"2019-06-12T03:36:11Z","abstract_excerpt":"Developing interactive applications (apps) against event-driven software frameworks such as Android is notoriously difficult. To create apps that behave as expected, developers must follow complex and often implicit asynchronous programming protocols. Such protocols intertwine the proper registering of callbacks to receive control from the framework with appropriate application-programming interface (API) calls that in turn affect the set of possible future callbacks. An app violates the protocol when, for example, it calls a particular API method in a state of the framework where such a call "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1906.04924","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":"1906.04924","created_at":"2026-05-17T23:43:25.672894+00:00"},{"alias_kind":"arxiv_version","alias_value":"1906.04924v2","created_at":"2026-05-17T23:43:25.672894+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1906.04924","created_at":"2026-05-17T23:43:25.672894+00:00"},{"alias_kind":"pith_short_12","alias_value":"AZFMSAKDUQ7U","created_at":"2026-05-18T12:33:12.712433+00:00"},{"alias_kind":"pith_short_16","alias_value":"AZFMSAKDUQ7UI4KG","created_at":"2026-05-18T12:33:12.712433+00:00"},{"alias_kind":"pith_short_8","alias_value":"AZFMSAKD","created_at":"2026-05-18T12:33:12.712433+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/AZFMSAKDUQ7UI4KGXJXFIHCXR2","json":"https://pith.science/pith/AZFMSAKDUQ7UI4KGXJXFIHCXR2.json","graph_json":"https://pith.science/api/pith-number/AZFMSAKDUQ7UI4KGXJXFIHCXR2/graph.json","events_json":"https://pith.science/api/pith-number/AZFMSAKDUQ7UI4KGXJXFIHCXR2/events.json","paper":"https://pith.science/paper/AZFMSAKD"},"agent_actions":{"view_html":"https://pith.science/pith/AZFMSAKDUQ7UI4KGXJXFIHCXR2","download_json":"https://pith.science/pith/AZFMSAKDUQ7UI4KGXJXFIHCXR2.json","view_paper":"https://pith.science/paper/AZFMSAKD","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1906.04924&json=true","fetch_graph":"https://pith.science/api/pith-number/AZFMSAKDUQ7UI4KGXJXFIHCXR2/graph.json","fetch_events":"https://pith.science/api/pith-number/AZFMSAKDUQ7UI4KGXJXFIHCXR2/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/AZFMSAKDUQ7UI4KGXJXFIHCXR2/action/timestamp_anchor","attest_storage":"https://pith.science/pith/AZFMSAKDUQ7UI4KGXJXFIHCXR2/action/storage_attestation","attest_author":"https://pith.science/pith/AZFMSAKDUQ7UI4KGXJXFIHCXR2/action/author_attestation","sign_citation":"https://pith.science/pith/AZFMSAKDUQ7UI4KGXJXFIHCXR2/action/citation_signature","submit_replication":"https://pith.science/pith/AZFMSAKDUQ7UI4KGXJXFIHCXR2/action/replication_record"}},"created_at":"2026-05-17T23:43:25.672894+00:00","updated_at":"2026-05-17T23:43:25.672894+00:00"}