{"id":"W4404240713","doi":"10.1145/3696348.3696854","title":"Buffy: A Formal Language-Based Framework for Network Performance Analysis","year":2024,"lang":"en","type":"article","venue":"","topic":"Software System Performance and Reliability","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000853529,0.0001705462,0.0002624528,0.0001912339,0.0002103552,0.0003068895,0.0006246702,0.000132863,0.00006669795],"category_scores_gemma":[0.00003903828,0.0001216247,0.0003486533,0.002111599,0.00003198188,0.0007419347,0.0001046506,0.0001683554,0.0001046517],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005624674,"about_ca_system_score_gemma":0.0001324657,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002280445,"about_ca_topic_score_gemma":0.00001248488,"domain_scores_codex":[0.9984087,0.00002768921,0.0003047424,0.0004674868,0.0002564217,0.0005349325],"domain_scores_gemma":[0.9986222,0.0004283238,0.00004151524,0.000744063,0.00007221314,0.00009171464],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000100562,0.0001661072,0.0763175,0.002246286,0.001563822,0.00002855518,0.003326363,0.1370858,0.00002365861,0.2319066,0.01312709,0.5341077],"study_design_scores_gemma":[0.0001193413,0.0001125482,0.004225901,0.00008969037,0.0001038892,0.000002593885,0.00002330268,0.9855219,0.0002781527,0.001504106,0.007800348,0.0002182034],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05303767,0.0007231842,0.9428548,0.00054503,0.000946056,0.0002906673,0.000003973882,0.000902299,0.0006963739],"genre_scores_gemma":[0.7763159,0.000008859153,0.2224537,0.0004269182,0.0003345334,0.0001030401,0.000009430489,0.00000965005,0.0003380088],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8484361,"threshold_uncertainty_score":0.495971,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.009618130200247106,"score_gpt":0.2718143650108263,"score_spread":0.2621962348105792,"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."}}