{"id":"W4414381622","doi":"","title":"Compositional Dataflow Analysis via Abstract Transition Systems","year":2025,"lang":"en","type":"article","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Distributed and Parallel Computing Systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Google (Canada)","funders":"","keywords":"Static analysis; Abstraction; Program analysis; Undecidable problem; Dataflow; Interface (matter); Abstract interpretation; Concurrency; Soundness","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.002949225,0.000994151,0.0007646676,0.002774395,0.0009976237,0.002808338,0.001303165,0.0008765695,0.004210996],"category_scores_gemma":[0.007420653,0.0008062568,0.002539295,0.001123927,0.002999812,0.004773772,0.003433515,0.002119199,0.0008091207],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00188381,"about_ca_system_score_gemma":0.002399477,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003305134,"about_ca_topic_score_gemma":0.002775692,"domain_scores_codex":[0.9971393,0.0007494308,0.0001876259,0.0005212202,0.00115983,0.0002426636],"domain_scores_gemma":[0.9965192,0.002000476,0.0002800637,0.0006085597,0.0004814572,0.0001102076],"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.0001316471,0.00006947666,0.001297508,0.0002196346,0.00007519258,0.0002375389,0.0006352584,0.2050124,0.008884278,0.6988004,0.00127385,0.08336288],"study_design_scores_gemma":[0.000021146,0.00002449538,0.000138453,0.00005077657,0.00003486486,0.00004593773,0.00004637744,0.5087925,0.007057254,0.4773047,0.006457213,0.00002630644],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002963041,0.00003917451,0.9949682,0.00004889375,0.00001196987,0.0000407369,0.00004028616,0.0007053594,0.001182241],"genre_scores_gemma":[0.2824454,0.0003751812,0.7116095,0.0001462276,0.00008741466,0.0003226839,0.0004098852,0.0005791854,0.004024477],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004210996,"threshold_uncertainty_score":0.01559716,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.00844845978955304,"score_gpt":0.2200583785338817,"score_spread":0.2116099187443287,"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."}}