{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:IOIMHEXOQX56DOO6OBK56L5OKZ","short_pith_number":"pith:IOIMHEXO","schema_version":"1.0","canonical_sha256":"4390c392ee85fbe1b9de7055df2fae565c8eb91f448ab14e947e265c286e4a46","source":{"kind":"arxiv","id":"1907.02127","version":1},"attestation_state":"computed","paper":{"title":"NullAway: Practical Type-Based Null Safety for Java","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Lazaro Clapp, Manu Sridharan, Subarno Banerjee","submitted_at":"2019-07-03T20:46:49Z","abstract_excerpt":"NullPointerExceptions (NPEs) are a key source of crashes in modern Java programs. Previous work has shown how such errors can be prevented at compile time via code annotations and pluggable type checking. However, such systems have been difficult to deploy on large-scale software projects, due to significant build-time overhead and / or a high annotation burden. This paper presents NullAway, a new type-based null safety checker for Java that overcomes these issues. NullAway has been carefully engineered for low overhead, so it can run as part of every build. Further, NullAway reduces annotatio"},"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":"1907.02127","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-07-03T20:46:49Z","cross_cats_sorted":[],"title_canon_sha256":"0a93d643a4ed6f151dbaae7eddaa13f1c3f0af4764058191a4f227e2fa4f2cd2","abstract_canon_sha256":"1dbc8967218a43dfe98817e4a5a7dee7fcb0c0543766ced87395a00c2b3b5267"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:41:29.807516Z","signature_b64":"Kma57TzAbKoNpauMnhiGEJfIXKrgjBRFeHVFlzGqjYuHr9XZ6+slJ1X1/VN7T6T6lrt4zmqOMoVGr85Vdd0eDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4390c392ee85fbe1b9de7055df2fae565c8eb91f448ab14e947e265c286e4a46","last_reissued_at":"2026-05-17T23:41:29.806763Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:41:29.806763Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"NullAway: Practical Type-Based Null Safety for Java","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Lazaro Clapp, Manu Sridharan, Subarno Banerjee","submitted_at":"2019-07-03T20:46:49Z","abstract_excerpt":"NullPointerExceptions (NPEs) are a key source of crashes in modern Java programs. Previous work has shown how such errors can be prevented at compile time via code annotations and pluggable type checking. However, such systems have been difficult to deploy on large-scale software projects, due to significant build-time overhead and / or a high annotation burden. This paper presents NullAway, a new type-based null safety checker for Java that overcomes these issues. NullAway has been carefully engineered for low overhead, so it can run as part of every build. Further, NullAway reduces annotatio"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1907.02127","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":"1907.02127","created_at":"2026-05-17T23:41:29.806881+00:00"},{"alias_kind":"arxiv_version","alias_value":"1907.02127v1","created_at":"2026-05-17T23:41:29.806881+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1907.02127","created_at":"2026-05-17T23:41:29.806881+00:00"},{"alias_kind":"pith_short_12","alias_value":"IOIMHEXOQX56","created_at":"2026-05-18T12:33:18.533446+00:00"},{"alias_kind":"pith_short_16","alias_value":"IOIMHEXOQX56DOO6","created_at":"2026-05-18T12:33:18.533446+00:00"},{"alias_kind":"pith_short_8","alias_value":"IOIMHEXO","created_at":"2026-05-18T12:33:18.533446+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/IOIMHEXOQX56DOO6OBK56L5OKZ","json":"https://pith.science/pith/IOIMHEXOQX56DOO6OBK56L5OKZ.json","graph_json":"https://pith.science/api/pith-number/IOIMHEXOQX56DOO6OBK56L5OKZ/graph.json","events_json":"https://pith.science/api/pith-number/IOIMHEXOQX56DOO6OBK56L5OKZ/events.json","paper":"https://pith.science/paper/IOIMHEXO"},"agent_actions":{"view_html":"https://pith.science/pith/IOIMHEXOQX56DOO6OBK56L5OKZ","download_json":"https://pith.science/pith/IOIMHEXOQX56DOO6OBK56L5OKZ.json","view_paper":"https://pith.science/paper/IOIMHEXO","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1907.02127&json=true","fetch_graph":"https://pith.science/api/pith-number/IOIMHEXOQX56DOO6OBK56L5OKZ/graph.json","fetch_events":"https://pith.science/api/pith-number/IOIMHEXOQX56DOO6OBK56L5OKZ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/IOIMHEXOQX56DOO6OBK56L5OKZ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/IOIMHEXOQX56DOO6OBK56L5OKZ/action/storage_attestation","attest_author":"https://pith.science/pith/IOIMHEXOQX56DOO6OBK56L5OKZ/action/author_attestation","sign_citation":"https://pith.science/pith/IOIMHEXOQX56DOO6OBK56L5OKZ/action/citation_signature","submit_replication":"https://pith.science/pith/IOIMHEXOQX56DOO6OBK56L5OKZ/action/replication_record"}},"created_at":"2026-05-17T23:41:29.806881+00:00","updated_at":"2026-05-17T23:41:29.806881+00:00"}