{"id":"W4318541571","doi":"10.1145/3575693.3575695","title":"Compiling Distributed System Models with PGo","year":2023,"lang":"en","type":"article","venue":"","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"Natural Sciences and Engineering Research Council of Canada; Amazon Web Services","keywords":"Computer science; Key (lock); Bridge (graph theory); Domain (mathematical analysis); Distributed computing; Software engineering; Formal verification; Systems design; Systems engineering; Theoretical computer science; Computer security; Engineering","routes":{"ca_aff":true,"ca_fund":true,"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.0002458168,0.0001403799,0.0002091849,0.00006630846,0.0001570866,0.0002259264,0.000680365,0.00004588026,0.000001399548],"category_scores_gemma":[0.000003434394,0.0001011289,0.00004314221,0.001130844,0.00002234275,0.0004769974,0.000148448,0.00008096122,0.0002659614],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005097012,"about_ca_system_score_gemma":0.00004310928,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006735912,"about_ca_topic_score_gemma":0.000009847504,"domain_scores_codex":[0.9986538,0.00003389037,0.0002306157,0.0003797674,0.0003362567,0.0003657041],"domain_scores_gemma":[0.9990954,0.00002985998,0.00006597437,0.000580233,0.0001130579,0.000115427],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000005529294,0.00002131614,0.0002293184,0.00009349128,0.00002739729,0.0001238202,0.0001670148,0.05635449,0.0000919488,0.9381531,0.003440811,0.001291703],"study_design_scores_gemma":[0.0003004404,0.00002903351,0.0004830443,0.0001052353,0.000002677034,0.00003731474,0.0001938719,0.9966996,0.0001317781,0.0004210247,0.001422122,0.0001738243],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.008807882,0.00004365663,0.9791621,0.0003036704,0.000195898,0.000166956,0.00004007324,0.001927648,0.009352097],"genre_scores_gemma":[0.9949518,0.00000167656,0.00434702,0.00004152353,0.00003735674,0.00002318156,0.00004598,0.000008915014,0.0005425403],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9861439,"threshold_uncertainty_score":0.4123918,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02091634199224421,"score_gpt":0.2177230296435546,"score_spread":0.1968066876513104,"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."}}