{"id":"W2153269672","doi":"10.1145/1542431.1542443","title":"Efficient alias set analysis using SSA form","year":2009,"lang":"en","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":13,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Alias; Pointer (user interface); Theoretical computer science; Set (abstract data type); Data structure; Algorithm; Data mining; Artificial intelligence; Programming language","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.001361637,0.0009130477,0.00104351,0.002282714,0.001016452,0.003448923,0.001673438,0.0007103376,0.007738727],"category_scores_gemma":[0.007110937,0.0006796547,0.001619699,0.002509898,0.001441542,0.005351572,0.002918086,0.001237166,0.002334877],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001178886,"about_ca_system_score_gemma":0.001917266,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001879178,"about_ca_topic_score_gemma":0.002324261,"domain_scores_codex":[0.9973344,0.0005652325,0.0002789485,0.0003941773,0.001156122,0.0002712915],"domain_scores_gemma":[0.9954379,0.001721563,0.0004241261,0.00150884,0.0008220299,0.00008562669],"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.0006511913,0.0001936301,0.004101948,0.0006102337,0.0001454189,0.000433892,0.001153303,0.07005174,0.04880735,0.388632,0.01170531,0.473514],"study_design_scores_gemma":[0.00009255465,0.0002220056,0.0007740916,0.000143753,0.0001362657,0.0004041827,0.000303711,0.4897699,0.07086074,0.3997484,0.03745617,0.00008808176],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01153873,0.0000887513,0.9803118,0.00008391617,0.00003131277,0.00007510627,0.0002033806,0.005261504,0.002405625],"genre_scores_gemma":[0.2615598,0.0002506709,0.7300939,0.0001775611,0.0001023572,0.0003024077,0.0008249159,0.001621341,0.00506698],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007738727,"threshold_uncertainty_score":0.02588868,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03953858822029264,"score_gpt":0.2850487480340174,"score_spread":0.2455101598137248,"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."}}