{"id":"W2033942886","doi":"10.1145/2429069.2429086","title":"Inductive data flow graphs","year":2013,"lang":"en","type":"article","venue":"","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":51,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Control flow graph; Correctness; Computer science; 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":"codex-gemma-dda1882f352a","candidate_categories":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0001040368,0.00007047163,0.00008767716,0.00002804608,0.00005251646,0.0002161067,0.001664275,0.00003232991,0.0001043252],"category_scores_gemma":[0.00001297961,0.00005266827,0.00001724307,0.0002638603,0.00001942879,0.001479861,0.0004657216,0.00006297846,0.000879715],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000006588893,"about_ca_system_score_gemma":0.0000208096,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0004088573,"about_ca_topic_score_gemma":0.00001353897,"domain_scores_codex":[0.9992069,0.00002121649,0.0001222363,0.0003340178,0.000146367,0.0001692794],"domain_scores_gemma":[0.998517,0.0000172393,0.00003060322,0.001293804,0.00007159555,0.00006975872],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[5.617071e-7,0.00008098331,0.0009852304,0.000008305379,0.00003211243,0.00000722374,0.0002908974,0.00002254342,0.000469492,0.2809827,0.4149815,0.3021384],"study_design_scores_gemma":[0.0004132238,0.00004631484,0.01674546,0.00002187779,0.000003191645,0.00002346293,0.0001374808,0.7989737,0.0003228772,0.02789759,0.1549802,0.0004345386],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.004685233,0.00006455476,0.9610031,0.001330891,0.000532247,0.0001883625,0.00002053613,0.000204903,0.03197021],"genre_scores_gemma":[0.9107238,0.000003905754,0.0871043,0.0005025332,0.000058274,0.00002226064,0.00002887574,0.000004515316,0.001551535],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9060386,"threshold_uncertainty_score":0.9998982,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03438226618304596,"score_gpt":0.2497571538607306,"score_spread":0.2153748876776847,"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."}}