{"id":"W2128257486","doi":"10.1145/2261417.2261437","title":"Automated model repair for distributed programs","year":2012,"lang":"en","type":"article","venue":"ACM SIGACT News","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Model transformation; Scalability; Model checking; Automaton; Distributed computing; Property (philosophy); Transformation (genetics); Mutual exclusion; Finite-state machine; Security token; Theoretical computer science; Programming language; Artificial intelligence; 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.0003623716,0.0002131323,0.0002725836,0.00003946601,0.0001578687,0.0001612206,0.001158381,0.0001230668,0.000002619727],"category_scores_gemma":[0.0002018496,0.0001824368,0.0002042363,0.0004000781,0.00002824886,0.0009099641,0.000251871,0.00009937715,0.00006258075],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006736926,"about_ca_system_score_gemma":0.00006924167,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004764237,"about_ca_topic_score_gemma":0.000007880971,"domain_scores_codex":[0.9982408,0.00004073828,0.000367717,0.0003764477,0.000246632,0.0007276938],"domain_scores_gemma":[0.9980281,0.00009077119,0.0001489796,0.00134479,0.0001258053,0.0002615416],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001001121,0.002198004,0.02522935,0.0003742789,0.0003518919,0.00001933136,0.003609064,0.004358905,0.004023709,0.1469386,0.6391909,0.1736058],"study_design_scores_gemma":[0.0005600738,0.00007595174,0.001212534,0.00003231472,0.0000124798,0.00001266133,0.00003033694,0.8519701,0.0003679077,0.000886804,0.1445257,0.0003131258],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02515967,0.0002976007,0.9672276,0.0008922895,0.0007031753,0.0008945839,0.0001297306,0.004066507,0.000628862],"genre_scores_gemma":[0.9079103,0.000004098439,0.09082018,0.0002797223,0.0001771262,0.0002484715,0.0001921616,0.00001973537,0.0003481806],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8827506,"threshold_uncertainty_score":0.7439556,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0418212947630007,"score_gpt":0.2959016699125667,"score_spread":0.2540803751495659,"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."}}