{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.008404911,0.0006366295,0.0005888217,0.0009558903,0.001834642,0.005295865,0.001703551,0.002927429,0.008770946],"category_scores_gemma":[0.03166431,0.0006250386,0.0008779997,0.0008049779,0.007417158,0.01817002,0.002748704,0.005671643,0.005533847],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002172269,"about_ca_system_score_gemma":0.003490932,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002035594,"about_ca_topic_score_gemma":0.001642729,"domain_scores_codex":[0.9913676,0.001722817,0.000496942,0.0008685167,0.005135266,0.0004087358],"domain_scores_gemma":[0.95715,0.01721912,0.002138321,0.01342593,0.009336713,0.0007299505],"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.0001085913,0.00004540763,0.003802397,0.001529162,0.0001146853,0.0005744456,0.00129263,0.003071942,0.009484811,0.5772567,0.0882213,0.3144979],"study_design_scores_gemma":[0.00004162345,0.0001217964,0.001728832,0.0009196008,0.00007052017,0.00225826,0.000816398,0.00498499,0.01290784,0.3584605,0.6175849,0.000104747],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02602799,0.0469358,0.6804402,0.1662855,0.008785187,0.0001952842,0.0009335762,0.009887051,0.06050941],"genre_scores_gemma":[0.4570253,0.04389807,0.4059446,0.027274,0.005061754,0.0002263483,0.001822094,0.00469862,0.0540492],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008770946,"threshold_uncertainty_score":0.04444993,"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."}}