{"id":"W204293210","doi":"10.1007/978-3-642-19861-8_6","title":"Faster Alias Set Analysis Using Summaries","year":2011,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"Ontario Ministry of Research and Innovation; Natural Sciences and Engineering Research Council of Canada","keywords":"Alias; Computer science; Pointer analysis; Aliasing; Set (abstract data type); Pointer (user interface); Programming language; Static analysis; Data mining; Algorithm; Artificial intelligence","routes":{"ca_aff":true,"ca_fund":true,"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.001677206,0.002279104,0.002058094,0.00629981,0.001560342,0.004816207,0.002777402,0.001206118,0.04253628],"category_scores_gemma":[0.01376148,0.001521848,0.002793577,0.005720396,0.0007558171,0.00990048,0.004502302,0.002316971,0.01398034],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00131317,"about_ca_system_score_gemma":0.001560691,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001601056,"about_ca_topic_score_gemma":0.002564829,"domain_scores_codex":[0.9958947,0.000560653,0.0004312908,0.0008370619,0.00191687,0.0003594013],"domain_scores_gemma":[0.9911076,0.002820225,0.0004794157,0.003815881,0.00158354,0.0001933272],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000892713,0.0001538113,0.001578736,0.0007303876,0.0001712492,0.000202755,0.0004012163,0.007853163,0.01963356,0.07600375,0.03775473,0.8546239],"study_design_scores_gemma":[0.0002419095,0.0003711032,0.001437152,0.0004270101,0.0005986937,0.0007118114,0.0005395458,0.3028743,0.1304436,0.3971696,0.1649705,0.0002148878],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0147309,0.0009636618,0.9159351,0.0004123111,0.0003657282,0.0003175045,0.00262495,0.0519807,0.01266905],"genre_scores_gemma":[0.1913803,0.0006781095,0.7662464,0.0003691956,0.0003638538,0.0003364744,0.006215889,0.008504892,0.02590493],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.04253628,"threshold_uncertainty_score":0.142298,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06045631422111657,"score_gpt":0.2805793259517801,"score_spread":0.2201230117306636,"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."}}