{"id":"W3015862912","doi":"10.1145/2480359.2429086","title":"Inductive data flow graphs","year":2013,"lang":"en","type":"article","venue":"ACM SIGPLAN Notices","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":13,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Control flow graph; Correctness; Data flow diagram; Theoretical computer science; Thread (computing); Graph; Control flow; Data-flow analysis; Program analysis; Algorithm; Programming language; Database","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.003114922,0.001094476,0.0006453951,0.00220333,0.001456273,0.00205618,0.00248318,0.001147683,0.005433366],"category_scores_gemma":[0.01133246,0.0007104262,0.001969305,0.00148846,0.00358395,0.006162995,0.002352095,0.002292692,0.001152655],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0016624,"about_ca_system_score_gemma":0.002313363,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005078883,"about_ca_topic_score_gemma":0.003946919,"domain_scores_codex":[0.9960099,0.001023694,0.0003265124,0.0008444037,0.001327296,0.0004681219],"domain_scores_gemma":[0.9866644,0.008186458,0.000808485,0.001782388,0.002291879,0.0002663165],"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.0002378113,0.0001506957,0.001702844,0.0004194852,0.0000481574,0.0004593311,0.0007651866,0.04477427,0.009631984,0.8419154,0.004639704,0.09525515],"study_design_scores_gemma":[0.00004630519,0.0000718032,0.0002943339,0.00009766865,0.00005737604,0.000155366,0.0001330342,0.1028279,0.01818782,0.8474837,0.03059249,0.00005221513],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.006228467,0.00005197727,0.9867931,0.0002035528,0.00003599959,0.0001942561,0.0006107969,0.001640998,0.004240749],"genre_scores_gemma":[0.2744614,0.0003867061,0.7115163,0.0006455359,0.000154827,0.001264443,0.003445177,0.000977248,0.007148417],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005433366,"threshold_uncertainty_score":0.0181765,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04660543932888916,"score_gpt":0.2677414092628199,"score_spread":0.2211359699339307,"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."}}