{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003422898,0.000180898,0.0002117865,0.0005584544,0.0001404924,0.0002289773,0.0008290178,0.0001200598,0.0001398382],"category_scores_gemma":[0.0001068821,0.0001504104,0.0001319208,0.001511622,0.00003515586,0.0004797314,0.0001523424,0.0003411814,0.00003277304],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004201576,"about_ca_system_score_gemma":0.00009941004,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00009633968,"about_ca_topic_score_gemma":0.00005130308,"domain_scores_codex":[0.9987023,0.00002915246,0.0002868732,0.0004621219,0.000244513,0.0002750173],"domain_scores_gemma":[0.9989369,0.00006709429,0.0001184525,0.0006126142,0.0001614307,0.0001034918],"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.0002953427,0.001977997,0.02844925,0.0001482632,0.000884225,0.00002210968,0.002581817,0.3497956,0.01265706,0.382804,0.04635357,0.1740308],"study_design_scores_gemma":[0.0001396522,0.0001065076,0.001291374,0.00001177823,0.0000229509,0.000006107161,0.000008651019,0.9903553,0.005377423,0.002152642,0.0003226779,0.000204949],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01671449,0.000002085992,0.9682953,0.0006348936,0.000414864,0.0001066811,8.464292e-7,0.001060504,0.01277033],"genre_scores_gemma":[0.6813776,4.733944e-7,0.3169679,0.001106231,0.00004686128,0.00001364143,0.00000613481,0.000006425599,0.0004747721],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.6646631,"threshold_uncertainty_score":0.6133559,"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."}}