{"id":"W164606597","doi":"","title":"patch (1) considered harmful","year":2005,"lang":"en","type":"article","venue":"Workshop on Hot Topics in Operating Systems","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":33,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Victoria","funders":"","keywords":"Computer science; Kernel (algebra); Correctness; Programming language; Syntax; Semantics (computer science); Abstraction; Linux kernel; Simple (philosophy); Domain (mathematical analysis); Source code; Theoretical computer science; Software engineering; Operating system; Artificial intelligence","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.001987867,0.0008528832,0.0006951043,0.00101809,0.002210516,0.002687203,0.001661174,0.002796848,0.03310107],"category_scores_gemma":[0.01446676,0.0005314575,0.0007699784,0.0008649547,0.002473488,0.005903268,0.00405215,0.002305628,0.008782604],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001237171,"about_ca_system_score_gemma":0.001479746,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002778784,"about_ca_topic_score_gemma":0.002367999,"domain_scores_codex":[0.9964071,0.0004636788,0.0002761572,0.0009565091,0.001199491,0.0006970242],"domain_scores_gemma":[0.9899301,0.002700157,0.0009053392,0.003970468,0.00192458,0.0005693171],"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.001345357,0.0003805464,0.03784918,0.001355125,0.0002231119,0.006954187,0.006122891,0.004663766,0.02709498,0.3391382,0.2827286,0.292144],"study_design_scores_gemma":[0.00009455041,0.0003330657,0.009857248,0.0003140253,0.0002201537,0.005994587,0.001885212,0.007550581,0.02119812,0.1433266,0.8090976,0.000128202],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"other","genre_gemma":"commentary","genre_scores_codex":[0.2505476,0.002167569,0.2463734,0.01231692,0.005822128,0.001074129,0.005347374,0.04553487,0.430816],"genre_scores_gemma":[0.7690223,0.001018899,0.05996164,0.007477099,0.001212224,0.0004628156,0.004443664,0.01446173,0.1419396],"genre_candidate":"commentary","genre_consensus":null,"teacher_disagreement_score":0.03310107,"threshold_uncertainty_score":0.1107342,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05007305583384269,"score_gpt":0.3020199961544404,"score_spread":0.2519469403205977,"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."}}