{"id":"W4241352414","doi":"10.1145/1926385.1926389","title":"Points-to analysis with efficient strong updates","year":2011,"lang":"en","type":"article","venue":"","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":57,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Singleton; Computer science; Flow (mathematics); Set (abstract data type); Sensitivity (control systems); Compiler; Program analysis; Key (lock); Quadratic equation; Abstract interpretation; Optimizing compiler; Algorithm; Theoretical computer science; Programming language; Mathematics; Operating system","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.0001645284,0.00008356765,0.0001144413,0.0002624171,0.00006505587,0.00006516634,0.0005494325,0.00001862617,0.00007325069],"category_scores_gemma":[0.000006610508,0.00005972101,0.00004228007,0.001219113,0.000014262,0.00007536788,0.0001551724,0.00003847328,0.00005549296],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001331082,"about_ca_system_score_gemma":0.00001698581,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006805817,"about_ca_topic_score_gemma":0.00001560781,"domain_scores_codex":[0.9992602,0.00002625083,0.0001153829,0.0002767851,0.0001506448,0.0001706769],"domain_scores_gemma":[0.9993363,0.00001439489,0.00003746433,0.0004389011,0.00008313603,0.00008981901],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00003684304,0.0004656964,0.03452096,0.000007248871,0.0006468494,0.00002817278,0.004324237,0.4714747,0.00003710418,0.4702705,0.005418239,0.01276951],"study_design_scores_gemma":[0.0000970049,0.0001386249,0.009592769,0.000005162683,0.00003700163,0.000001683097,0.00002780764,0.9840625,0.005326216,0.0002624851,0.0002440281,0.0002047123],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.008187264,0.000004786959,0.9636369,0.0001690339,0.00001828315,0.00006764394,2.753065e-7,0.0005799823,0.02733585],"genre_scores_gemma":[0.5082507,3.16783e-7,0.4914003,0.0001814451,0.000003111689,0.000003026386,5.882865e-7,0.000002102666,0.0001584384],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.5125878,"threshold_uncertainty_score":0.2435352,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01964234144362245,"score_gpt":0.2396317707072679,"score_spread":0.2199894292636454,"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."}}