{"id":"W4409310616","doi":"10.1145/3720436","title":"IncIDFA: An Efficient and Generic Algorithm for Incremental Iterative Dataflow Analysis","year":2025,"lang":"en","type":"article","venue":"Proceedings of the ACM on Programming Languages","topic":"Advanced Database Systems and Queries","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Science and Engineering Research Board; IBM Canada","keywords":"Dataflow; Algorithm; Computer science; Parallel computing","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001703086,0.002133352,0.001041251,0.00245549,0.001066115,0.002196496,0.003292331,0.001614627,0.009282737],"category_scores_gemma":[0.007922081,0.001003181,0.002200419,0.00126253,0.001723176,0.003306691,0.004502345,0.002665572,0.004574678],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001454081,"about_ca_system_score_gemma":0.003471578,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003621381,"about_ca_topic_score_gemma":0.006011195,"domain_scores_codex":[0.9984376,0.0002083082,0.0001400678,0.000327778,0.0006660672,0.0002202014],"domain_scores_gemma":[0.9970464,0.001282561,0.000160503,0.0007280969,0.0006877074,0.00009474938],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0005063084,0.0001803441,0.003096892,0.0006921979,0.0001345594,0.0004026984,0.000532449,0.07520683,0.02365231,0.06504758,0.03367998,0.7968678],"study_design_scores_gemma":[0.0002177564,0.0002112198,0.0005455929,0.0001771071,0.00008681407,0.0004835285,0.0001974827,0.8082908,0.03681814,0.0984377,0.05441203,0.0001217489],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002706039,0.0001394661,0.9797086,0.0001096951,0.00006144386,0.0001701563,0.0001840029,0.0148141,0.002106508],"genre_scores_gemma":[0.04920608,0.0001493044,0.9439449,0.0001786512,0.00004224643,0.0003258981,0.001077432,0.002350803,0.002724611],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.009282737,"threshold_uncertainty_score":0.03105384,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01314837035727775,"score_gpt":0.2926624817676283,"score_spread":0.2795141114103505,"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."}}