{"id":"W2584678583","doi":"10.1145/3033019.3033032","title":"Granullar: gradual nullable types for Java","year":2017,"lang":"en","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada; Air Force Civil Engineer Center; U.S. Air Force","keywords":"Computer science; Java; Programming language; Pointer (user interface); Compiler; Annotation; Null (SQL); Default; Operating system; Artificial intelligence; Database","routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004521322,0.0009075095,0.000786987,0.001317867,0.00109382,0.004052904,0.004035022,0.001557762,0.01693064],"category_scores_gemma":[0.009073149,0.001507316,0.001684464,0.001023639,0.00290145,0.007780194,0.005867561,0.003670015,0.009939943],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001971271,"about_ca_system_score_gemma":0.00249743,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002089754,"about_ca_topic_score_gemma":0.003309057,"domain_scores_codex":[0.9970945,0.0004900191,0.0003660723,0.000436226,0.001256043,0.0003570936],"domain_scores_gemma":[0.9962596,0.001043008,0.0003573094,0.001589676,0.0005444849,0.000205894],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0008703536,0.0001165523,0.002263052,0.0009544776,0.00005848195,0.0003331869,0.0007897529,0.003336306,0.01328946,0.7322484,0.06053855,0.1852015],"study_design_scores_gemma":[0.000389527,0.0001777373,0.0008849599,0.0005619081,0.0001034422,0.001136786,0.0001826151,0.02862898,0.02632736,0.3809489,0.5604159,0.0002418553],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.007188265,0.0008735138,0.8938442,0.0008285008,0.0006529759,0.0001925696,0.001793622,0.07361401,0.0210124],"genre_scores_gemma":[0.2190361,0.001562736,0.6952146,0.002113657,0.0004511538,0.000802275,0.006018968,0.03481908,0.03998144],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01693064,"threshold_uncertainty_score":0.05663866,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04435423163664322,"score_gpt":0.2814667278640935,"score_spread":0.2371124962274503,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}