{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003276552,0.0001936611,0.0003078631,0.0003467315,0.0004216945,0.0007200891,0.001466321,0.0001057427,0.00002849142],"category_scores_gemma":[0.00009640637,0.0002055255,0.0002058221,0.001786255,0.00007962516,0.0003508455,0.0002306245,0.0001985956,0.00005201276],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007938335,"about_ca_system_score_gemma":0.000126112,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008776314,"about_ca_topic_score_gemma":0.0001722874,"domain_scores_codex":[0.9963383,0.001902972,0.0004937865,0.0005910296,0.0003859301,0.0002879951],"domain_scores_gemma":[0.9962506,0.0008756038,0.0002200506,0.001493543,0.001043972,0.0001162637],"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.00001253326,0.0009426553,0.001673278,0.0001963181,0.000890577,0.0000177431,0.003514104,0.01591183,0.005562644,0.9434682,0.005133438,0.02267665],"study_design_scores_gemma":[0.0005857697,4.636524e-7,0.01527188,0.0006230308,0.0001362228,0.00001769028,0.00005426773,0.96211,0.00381862,0.001882434,0.01512498,0.0003745824],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01159534,0.0004036862,0.9489248,0.004431575,0.0002668695,0.0001901568,0.00005779947,0.0003090513,0.03382077],"genre_scores_gemma":[0.9780748,0.00001754776,0.01934915,0.00009728329,0.00001609099,0.00002011734,0.0007211793,0.000007400573,0.001696383],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9664795,"threshold_uncertainty_score":0.8381087,"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."}}