{"id":"W2618644177","doi":"10.1145/2626401.2626414","title":"File systems deserve verification too!","year":2014,"lang":"en","type":"article","venue":"ACM SIGOPS Operating Systems Review","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Correctness; Modular design; Component (thermodynamics); Implementation; File system; Programming language; Set (abstract data type); Operating system","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002434636,0.0002481339,0.0005353972,0.00006235433,0.0004362883,0.0008171101,0.002211757,0.0001002077,0.00006249861],"category_scores_gemma":[0.003003828,0.000221682,0.0001030371,0.0005612404,0.00002704926,0.0006072915,0.0003294112,0.0002084412,0.0006245107],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008721339,"about_ca_system_score_gemma":0.00008435413,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002078086,"about_ca_topic_score_gemma":0.000001363578,"domain_scores_codex":[0.9967161,0.0008788392,0.000963971,0.0006639032,0.000429068,0.000348093],"domain_scores_gemma":[0.9957362,0.0009653411,0.0004472967,0.002378782,0.0003406112,0.0001317953],"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.000001991837,0.0001909494,0.000965391,0.023971,0.0001342537,0.000009509415,0.001530968,0.006104976,0.00185064,0.5829586,0.30874,0.07354167],"study_design_scores_gemma":[0.0002116885,0.00007133449,0.0002941138,0.01100102,0.00002540152,0.0001421039,0.00007335689,0.4701252,0.0001060501,0.00005887542,0.5172871,0.0006037503],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002670547,0.2010878,0.7693848,0.003193602,0.00617589,0.003730517,0.00004666224,0.00131166,0.01239857],"genre_scores_gemma":[0.9318044,0.006543336,0.05255524,0.003166469,0.00182439,0.001627867,0.0002841421,0.00009568666,0.002098484],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9291338,"threshold_uncertainty_score":0.903993,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0368236343944123,"score_gpt":0.2816071645961751,"score_spread":0.2447835302017628,"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."}}