{"id":"W2136271630","doi":"10.1145/1925844.1926389","title":"Points-to analysis with efficient strong updates","year":2011,"lang":"en","type":"article","venue":"ACM SIGPLAN Notices","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":55,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Singleton; Flow (mathematics); Set (abstract data type); Program analysis; Compiler; Sensitivity (control systems); Abstract interpretation; Optimizing compiler; Key (lock); Static analysis; Quadratic equation; Theoretical computer science; Algorithm; Programming language; Mathematics; Operating system","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002422109,0.0001368502,0.0001832777,0.0003173065,0.0001146001,0.0001277821,0.001466302,0.00003455942,0.00004225537],"category_scores_gemma":[0.00006303409,0.0001054573,0.00005022077,0.001103602,0.00002814928,0.000153248,0.0003421787,0.00007345026,0.00007487021],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001551269,"about_ca_system_score_gemma":0.00002383209,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001184765,"about_ca_topic_score_gemma":0.00004698025,"domain_scores_codex":[0.9988948,0.00005350658,0.0001716053,0.0003909536,0.0002327123,0.0002564828],"domain_scores_gemma":[0.9986914,0.0001012076,0.0001031822,0.0008927716,0.00009170921,0.0001197096],"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.0001538079,0.0007277576,0.1568592,0.00004558945,0.0014768,0.0001368226,0.01641106,0.7276919,0.0001083828,0.07323623,0.004913261,0.0182392],"study_design_scores_gemma":[0.0004149247,0.0006250069,0.07477708,0.0000527756,0.0003112314,0.000006199763,0.0001961684,0.9108617,0.0100231,0.000858896,0.001010485,0.0008624777],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0850456,0.0000246562,0.9092016,0.0003139073,0.00005012275,0.0001040027,0.000002306217,0.0004952582,0.004762609],"genre_scores_gemma":[0.597808,8.110551e-7,0.4019384,0.0001913246,0.00001113601,0.00000454859,0.000003304878,0.000004368844,0.00003804745],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.5127624,"threshold_uncertainty_score":0.4300424,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02764097134449946,"score_gpt":0.2537133634451165,"score_spread":0.2260723921006171,"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."}}