{"id":"W2117576153","doi":"10.1145/1168857.1168908","title":"A probabilistic pointer analysis for speculative optimizations","year":2006,"lang":"en","type":"article","venue":"","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":41,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Pointer analysis; Computer science; Pointer (user interface); Optimizing compiler; Abstract interpretation; Compiler; Correctness; Probabilistic logic; Test suite; Theoretical computer science; Algorithm; Static analysis; Programming language; Parallel computing; Test case; Artificial intelligence; Machine learning","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.0001162212,0.00008321273,0.0001287681,0.0002173706,0.0001030671,0.0001307055,0.0003157696,0.00002888659,0.00002543643],"category_scores_gemma":[0.0000322464,0.00007199465,0.0001297138,0.0009116689,0.0000208675,0.0001522942,0.00006879454,0.00002664366,0.000005464661],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002733299,"about_ca_system_score_gemma":0.00002186075,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003706313,"about_ca_topic_score_gemma":0.00002184403,"domain_scores_codex":[0.9992858,0.00002484566,0.0001906329,0.0002663753,0.0000875611,0.0001447686],"domain_scores_gemma":[0.9993514,0.00008857208,0.0000624787,0.0002928103,0.0001774189,0.00002727653],"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.000001094302,0.00003853671,0.0003026025,0.00000185007,0.00003720047,2.980153e-7,0.00003337672,0.6647004,0.000003771735,0.3321289,0.002638596,0.0001133864],"study_design_scores_gemma":[0.0001372766,0.00002337749,0.001041111,0.000001954819,0.0000330005,6.693704e-7,0.000001850571,0.9703854,0.0002299779,0.0274898,0.0005524562,0.0001031306],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0002003604,0.000009448462,0.9808082,0.0005344549,0.00002859961,0.0002259445,0.000002354725,0.0005424707,0.01764819],"genre_scores_gemma":[0.2820456,4.896138e-7,0.715351,0.0001115242,0.00002239332,0.00003116114,0.0000175691,0.000003662894,0.002416621],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.305685,"threshold_uncertainty_score":0.2935857,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01523451484401205,"score_gpt":0.2610020047553765,"score_spread":0.2457674899113644,"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."}}