{"id":"W4379522417","doi":"10.1145/3591195.3595274","title":"Memory Consistency Models for Program Transformations: An Intellectual Abstract","year":2023,"lang":"en","type":"article","venue":"","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"Engineering and Physical Sciences Research Council; Natural Sciences and Engineering Research Council of Canada; Mitacs","keywords":"Consistency (knowledge bases); Computer science; Sequential consistency; Consistency model; Compiler; Set (abstract data type); Property (philosophy); Memory model; Weak consistency; Parallel computing; Shared memory; Software; Programming language; Theoretical computer science; Strong consistency; Distributed computing; Data consistency; Artificial intelligence; Mathematics","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004480353,0.0008536409,0.0007011109,0.001281182,0.001269024,0.004273077,0.002284052,0.001880491,0.005386977],"category_scores_gemma":[0.01608113,0.001051671,0.002454608,0.00112947,0.005268408,0.009119624,0.004049371,0.006190865,0.0007779996],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002104863,"about_ca_system_score_gemma":0.00260443,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002713595,"about_ca_topic_score_gemma":0.002559189,"domain_scores_codex":[0.9955996,0.001437229,0.0003334123,0.0006815392,0.001535346,0.0004128609],"domain_scores_gemma":[0.9853784,0.00644565,0.0009307649,0.005354661,0.001505795,0.0003846695],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00003791614,0.00007340211,0.0005557344,0.00007906427,0.00002028651,0.00009652631,0.0002175752,0.03476785,0.001730315,0.9490919,0.001749572,0.01157992],"study_design_scores_gemma":[0.00003354789,0.00005592251,0.0001183271,0.00005029464,0.00003298113,0.00008812549,0.00008193013,0.1471561,0.003307943,0.8380191,0.01103484,0.00002088136],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02015168,0.0002986143,0.9619631,0.002887632,0.000112008,0.0001413672,0.0001786803,0.001113722,0.01315318],"genre_scores_gemma":[0.6212329,0.0007629181,0.3643883,0.001273484,0.0004862246,0.0006577016,0.0004830626,0.0009169015,0.009798496],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005386977,"threshold_uncertainty_score":0.02369463,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06552102090498618,"score_gpt":0.3220391888987704,"score_spread":0.2565181679937842,"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."}}