{"id":"W2729364654","doi":"10.1109/isorc.2017.6","title":"A Reordering Framework for Testing Message-Passing Systems","year":2017,"lang":"en","type":"article","venue":"","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Timeout; Debugging; Message passing; Overhead (engineering); Concurrency; Speedup; Process (computing); Isolation (microbiology); Component (thermodynamics); Distributed computing; Blocking (statistics); Operating system; Parallel computing; Computer network","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":["scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.0004531819,0.0001207694,0.0001989304,0.00002686279,0.001004413,0.002305984,0.00127556,0.00007945782,0.000001460782],"category_scores_gemma":[0.0007446448,0.0001052286,0.00005199369,0.00008364011,0.00002955456,0.0007047046,0.0002212367,0.00009899167,0.00001355148],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002679702,"about_ca_system_score_gemma":0.00004203725,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001575982,"about_ca_topic_score_gemma":0.000003950984,"domain_scores_codex":[0.9988846,0.00001818681,0.0002433423,0.0003552935,0.0001686808,0.0003298684],"domain_scores_gemma":[0.9981703,0.0002381907,0.0002509403,0.001117754,0.0001426748,0.00008016876],"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.000002403389,0.00002251444,0.001883614,0.0001465378,0.00002069335,0.00001443303,0.000157353,0.0004717575,0.0005337963,0.9325247,0.001236842,0.06298538],"study_design_scores_gemma":[0.0004667195,0.00006235004,0.00391017,0.00103335,0.000007274341,0.00004235253,0.0001089122,0.9379601,0.0004222883,0.01803632,0.03747048,0.0004796198],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001103502,0.0001524193,0.9799076,0.0004833049,0.00129633,0.0002481497,0.000004474588,0.0002461381,0.01655807],"genre_scores_gemma":[0.7089806,7.308741e-7,0.2901159,0.00004241342,0.0001857905,0.00005321704,5.117598e-7,0.00000840903,0.0006124658],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9374884,"threshold_uncertainty_score":0.9987297,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0700465447451735,"score_gpt":0.3184291099397978,"score_spread":0.2483825651946243,"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."}}