{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001964506,0.0009424983,0.0007939356,0.001099709,0.00106801,0.001890888,0.001456759,0.00121242,0.00359481],"category_scores_gemma":[0.01143937,0.0006811377,0.001871013,0.0007230717,0.001939385,0.003341182,0.002695961,0.00206807,0.0007442712],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002236451,"about_ca_system_score_gemma":0.001929008,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002758586,"about_ca_topic_score_gemma":0.00303062,"domain_scores_codex":[0.9974921,0.0008613474,0.0001618669,0.0003766333,0.000927413,0.0001807551],"domain_scores_gemma":[0.993436,0.004304772,0.0004675813,0.001218128,0.0004998266,0.00007373019],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001797102,0.0001454329,0.00156905,0.0005142762,0.00009015061,0.0005353784,0.0007576569,0.4588496,0.01578221,0.3467245,0.006554795,0.1682971],"study_design_scores_gemma":[0.00004947312,0.00002925081,0.000101153,0.00004329876,0.0000247323,0.0001142633,0.00006852646,0.7871644,0.008205045,0.1952697,0.008911403,0.00001869549],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.006696342,0.0001099658,0.9882783,0.0003155696,0.00001964076,0.00006219727,0.00007513377,0.003145878,0.00129695],"genre_scores_gemma":[0.297235,0.0003832367,0.6962972,0.0001849084,0.00004950027,0.0003821586,0.0006096722,0.0009649462,0.003893307],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.00359481,"threshold_uncertainty_score":0.01622671,"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."}}