{"id":"W4230073812","doi":"10.1109/pdcat.2007.4420171","title":"Detecting Atomicity Errors in Message Passing Programs","year":2007,"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":"Concordia University","funders":"","keywords":"Atomicity; Computer science; Correctness; Serialization; Programming language; Message passing; Statement (logic); Theoretical computer science; Distributed computing","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.004853724,0.0007789918,0.001048235,0.001310578,0.001110959,0.001874904,0.001728798,0.001256171,0.0006002137],"category_scores_gemma":[0.0310106,0.0009453555,0.0006449576,0.00105596,0.002495603,0.003363295,0.002787368,0.002110865,0.0001957913],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001047093,"about_ca_system_score_gemma":0.001701995,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001999967,"about_ca_topic_score_gemma":0.001354003,"domain_scores_codex":[0.9926763,0.002568052,0.0005040117,0.0008231328,0.002760766,0.0006677975],"domain_scores_gemma":[0.9659756,0.02182372,0.003863978,0.005038005,0.002937751,0.0003608501],"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.002155259,0.0005990646,0.03813428,0.000595796,0.0002094642,0.001351184,0.002534112,0.3014842,0.1119852,0.1411465,0.002642728,0.3971623],"study_design_scores_gemma":[0.0001326239,0.0003391262,0.001897568,0.00004583083,0.00009309078,0.000381289,0.000222917,0.8162333,0.1040106,0.07314315,0.00344463,0.00005570751],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1629761,0.0002147567,0.8327425,0.0003056584,0.00004168612,0.0001185866,0.00002465566,0.002751385,0.0008247712],"genre_scores_gemma":[0.6803229,0.0002166648,0.3176885,0.0001003593,0.00004946509,0.0001239816,0.00009017559,0.0002514588,0.001156385],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004853724,"threshold_uncertainty_score":0.02566928,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01915935269669298,"score_gpt":0.2633130191913209,"score_spread":0.244153666494628,"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."}}