{"id":"W2145987238","doi":"10.1109/icpads.2007.4447747","title":"Using synchronized atoms to check distributed programs","year":2007,"lang":"en","type":"article","venue":"","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Predicate (mathematical logic); Correctness; Serialization; Theoretical computer science; Model checking; Computation; Atomicity; Bounded function; Debugging; Syntactic predicate; Predicate abstraction; Algorithm; Programming language; Mathematics; Database transaction","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.000584049,0.0001680625,0.0002192019,0.00006476579,0.000127217,0.0002673708,0.0007603264,0.00007756556,0.00001511452],"category_scores_gemma":[0.00002524701,0.0001426389,0.00007713294,0.001077042,0.00002561895,0.0003079131,0.0002078705,0.00009240801,0.0001351745],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000136563,"about_ca_system_score_gemma":0.00006062225,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001539098,"about_ca_topic_score_gemma":0.00003762372,"domain_scores_codex":[0.9982439,0.00002228004,0.0003626533,0.0004323034,0.0003419587,0.0005968513],"domain_scores_gemma":[0.9988688,0.00002471168,0.0000737786,0.000591404,0.0001439682,0.0002973426],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0001058469,0.001157693,0.01698896,0.0001582419,0.0001941737,0.0005701337,0.00220628,0.001447015,0.01878645,0.3541297,0.01085017,0.5934054],"study_design_scores_gemma":[0.002901212,0.0004211327,0.01780064,0.0003259826,0.00002389107,0.0002881447,0.0003942115,0.4089533,0.01363031,0.001305254,0.5520296,0.001926305],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07069963,0.00004852978,0.9253231,0.0002282296,0.0003915953,0.0003503437,0.000008397805,0.0003909114,0.002559293],"genre_scores_gemma":[0.9043584,4.064779e-7,0.09500293,0.000219598,0.00008760218,0.000008981813,0.00001623133,0.000008761781,0.0002970436],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8336588,"threshold_uncertainty_score":0.5816644,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03753284358254843,"score_gpt":0.3009193811125255,"score_spread":0.263386537529977,"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."}}