{"id":"W1964642996","doi":"10.1145/1806672.1806680","title":"Interprocedural induction variable analysis based on interprocedural SSA form IR","year":2010,"lang":"en","type":"article","venue":"","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Compiler; Variable (mathematics); Parallel computing; Heap (data structure); Algorithm; Programming language; Mathematics","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.001334834,0.001035554,0.0008364923,0.001963434,0.0006263804,0.001204018,0.001616365,0.0003342585,0.007202136],"category_scores_gemma":[0.005046652,0.0004607043,0.001986657,0.001598927,0.00112354,0.002251864,0.001684413,0.001617364,0.00191204],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000782543,"about_ca_system_score_gemma":0.002015739,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001559695,"about_ca_topic_score_gemma":0.002252513,"domain_scores_codex":[0.9977273,0.0005268617,0.0002160157,0.0003740747,0.0007710253,0.0003847199],"domain_scores_gemma":[0.994443,0.002150629,0.000612965,0.001621383,0.001094394,0.00007760062],"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.00125265,0.0003279845,0.02005955,0.000848765,0.0001805499,0.0006402838,0.0006054225,0.07349661,0.09183625,0.07917538,0.01406265,0.7175139],"study_design_scores_gemma":[0.000128507,0.0006840181,0.0061422,0.000129225,0.0002487145,0.0006048839,0.0001522253,0.6281009,0.2496986,0.08338594,0.03058602,0.0001387712],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.05486378,0.0002016151,0.914437,0.0001383269,0.0000668339,0.0001964313,0.0004666546,0.02411033,0.005518971],"genre_scores_gemma":[0.4566992,0.0001641714,0.5319177,0.0002101009,0.0001303697,0.000344216,0.001493502,0.003808967,0.005231728],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007202136,"threshold_uncertainty_score":0.02409357,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.007423614477936341,"score_gpt":0.2458875622554356,"score_spread":0.2384639477774993,"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."}}