{"id":"W4381611547","doi":"10.1145/3593856.3595899","title":"Beyond isolation: OS verification as a foundation for correct applications","year":2023,"lang":"en","type":"article","venue":"","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Computer science; Correctness; Isolation (microbiology); File system; Operating system; Software system; Software; Distributed computing; Software engineering; Programming language","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.01748643,0.001336265,0.001617071,0.001951546,0.002443445,0.007909099,0.004114161,0.00358686,0.007774712],"category_scores_gemma":[0.07331472,0.001617701,0.002208547,0.0008975442,0.0157368,0.02564282,0.00909801,0.01095711,0.00443752],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002097506,"about_ca_system_score_gemma":0.007992866,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00258783,"about_ca_topic_score_gemma":0.001149988,"domain_scores_codex":[0.9832007,0.00468991,0.001483718,0.002869841,0.006140736,0.001615151],"domain_scores_gemma":[0.9047734,0.03964358,0.003584347,0.03604648,0.01369496,0.00225727],"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.0002675877,0.0001054312,0.001405321,0.0004335718,0.0000509307,0.0002949616,0.000918771,0.01029607,0.004171077,0.9280733,0.005457317,0.04852572],"study_design_scores_gemma":[0.00009699653,0.000151283,0.000333727,0.0004442281,0.00007840177,0.0002242803,0.0001976108,0.04608618,0.0135221,0.9034315,0.03535287,0.00008074538],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01183707,0.001329955,0.9589744,0.005276914,0.0007251537,0.0001415602,0.0001623879,0.003320198,0.01823252],"genre_scores_gemma":[0.4966242,0.002206699,0.4817411,0.002850385,0.001311997,0.000351967,0.0006208198,0.003272138,0.01102087],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01748643,"threshold_uncertainty_score":0.09247822,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03280637670240246,"score_gpt":0.3097435233755303,"score_spread":0.2769371466731279,"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."}}