{"id":"W7097635113","doi":"","title":"University of Alberta SafeType: Detecting Type Violations for Type-Based Alias Analysis of C","year":2015,"lang":"en","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Alias; Permission; Assertion; Type (biology); Association (psychology)","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002604393,0.00004769808,0.0001591414,0.0001277626,0.00004081673,0.000009353676,0.0002624894,0.0000397228,0.00001531714],"category_scores_gemma":[0.0001137701,0.00004262475,0.00008019263,0.001065337,0.00002088143,0.00007825211,0.00004381432,0.00002135809,0.000008347398],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002057156,"about_ca_system_score_gemma":0.0001114379,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002861186,"about_ca_topic_score_gemma":0.002428401,"domain_scores_codex":[0.9995205,0.00003400491,0.0001223642,0.000133411,0.00009960534,0.0000900956],"domain_scores_gemma":[0.9990356,0.0001471102,0.0001184467,0.0002662645,0.0003846471,0.00004791341],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0002848118,0.0004173147,0.1983058,0.0001670403,0.002128887,0.00000408849,0.007267447,0.01978177,0.001637112,0.7349057,0.003436724,0.03166332],"study_design_scores_gemma":[0.0013785,0.0008149932,0.008840647,0.000006748605,0.000792567,0.000001190353,0.0008464241,0.9470791,0.004172907,0.003926785,0.03178669,0.00035342],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01045544,0.00003037952,0.9813189,0.000072625,0.0001693329,0.0001230096,7.25602e-7,0.0000315454,0.007798027],"genre_scores_gemma":[0.9809856,5.43599e-7,0.01785063,0.00001165596,0.000008052376,2.077335e-7,0.000005639008,0.000002172694,0.001135484],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9705302,"threshold_uncertainty_score":0.4325277,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06554210992485195,"score_gpt":0.2768229832021458,"score_spread":0.2112808732772938,"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."}}