{"id":"W4252503621","doi":"10.1145/1168917.1168908","title":"A probabilistic pointer analysis for speculative optimizations","year":2006,"lang":"en","type":"article","venue":"ACM SIGOPS Operating Systems Review","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Pointer analysis; Computer science; Pointer (user interface); Abstract interpretation; Optimizing compiler; Compiler; Correctness; Probabilistic logic; Test suite; Static analysis; Theoretical computer science; Algorithm; Programming language; Parallel computing; Test case; Artificial intelligence","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.0008111162,0.0002191069,0.0006001691,0.0001639736,0.0002793794,0.0003943205,0.001000764,0.00005496249,0.00001026887],"category_scores_gemma":[0.0008147389,0.0001827197,0.0002544608,0.001426074,0.0000256946,0.0002815576,0.0002119437,0.0000823648,0.00001321967],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007309913,"about_ca_system_score_gemma":0.00006711495,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001107919,"about_ca_topic_score_gemma":0.000008417303,"domain_scores_codex":[0.9979277,0.0002550124,0.0007965438,0.0005361929,0.0002159312,0.0002686779],"domain_scores_gemma":[0.9977186,0.0003246517,0.0003037224,0.001076098,0.0005211871,0.00005573533],"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":[8.164118e-7,0.00009378032,0.0005127441,0.00134755,0.0002181148,0.000003525061,0.0001129728,0.888055,0.0000166174,0.09569176,0.01320244,0.0007447248],"study_design_scores_gemma":[0.0001870331,0.00005955954,0.0000857081,0.001491526,0.0002086936,0.00001010443,0.000004479431,0.9921092,0.00002416983,0.0007141075,0.004789714,0.0003156864],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00005914771,0.01313981,0.9818547,0.0008970441,0.0001170428,0.001543911,0.000008852428,0.0004544164,0.001925117],"genre_scores_gemma":[0.1317653,0.0007044203,0.8639317,0.0006168247,0.0001843867,0.0008156765,0.0001291807,0.00003089103,0.00182162],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.1317062,"threshold_uncertainty_score":0.7451094,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02762760743139822,"score_gpt":0.2985828050386919,"score_spread":0.2709551976072936,"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."}}