{"id":"W4402687462","doi":"10.2514/6.2024-4850","title":"Software Runs Everything Off-World: Let’s Make Sure It’s Correct and Secure","year":2024,"lang":"en","type":"article","venue":"","topic":"Information and Cyber Security","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Software; Computer security; Programming language; Operating system; Software engineering","routes":{"ca_aff":true,"ca_fund":false,"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.004041024,0.0008723726,0.0004172066,0.001001158,0.002438533,0.006226982,0.00135168,0.002787652,0.00766264],"category_scores_gemma":[0.02243232,0.0005845471,0.0005520012,0.0007200323,0.01148562,0.0151288,0.002688678,0.005046352,0.007074124],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001748485,"about_ca_system_score_gemma":0.003442677,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003958989,"about_ca_topic_score_gemma":0.003183491,"domain_scores_codex":[0.9950853,0.001302803,0.0002690504,0.0006506024,0.00232182,0.0003704096],"domain_scores_gemma":[0.9890411,0.003882275,0.0005828751,0.002705753,0.003228839,0.0005590547],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0002242869,0.0001054228,0.00514552,0.0007402485,0.0001065988,0.0004328402,0.005277961,0.005702936,0.01374716,0.583018,0.1331447,0.2523543],"study_design_scores_gemma":[0.0000327678,0.0001759094,0.001506226,0.0008243415,0.00006891682,0.0007488169,0.001745822,0.007137449,0.01168093,0.2921009,0.683843,0.0001348229],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"commentary","genre_scores_codex":[0.03070167,0.007803329,0.570432,0.2059717,0.006197191,0.0002513845,0.0006278764,0.009358156,0.1686566],"genre_scores_gemma":[0.5334905,0.01025859,0.3421251,0.03069481,0.00180222,0.0003471589,0.001110916,0.00599814,0.07417256],"genre_candidate":"commentary","genre_consensus":null,"teacher_disagreement_score":0.00766264,"threshold_uncertainty_score":0.02563411,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01071088992832514,"score_gpt":0.2396368738737042,"score_spread":0.2289259839453791,"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."}}