{"id":"W4253459289","doi":"10.1145/3140587.3062359","title":"Context transformations for pointer analysis","year":2017,"lang":"en","type":"article","venue":"ACM SIGPLAN Notices","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Reachability; Pointer analysis; Computer science; Pointer (user interface); Theoretical computer science; Programming language; Context (archaeology); Static analysis; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001468264,0.0009279772,0.0005931754,0.002263816,0.00110988,0.002630113,0.00148414,0.001002789,0.006620675],"category_scores_gemma":[0.007158178,0.0006931981,0.002245239,0.00205144,0.002459168,0.005385204,0.004032507,0.003321455,0.002136652],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001535352,"about_ca_system_score_gemma":0.00162757,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002191838,"about_ca_topic_score_gemma":0.002267662,"domain_scores_codex":[0.9967862,0.0007613129,0.0003035253,0.0005846393,0.00131584,0.0002484461],"domain_scores_gemma":[0.9976085,0.001067151,0.0001962336,0.0006914236,0.0003784886,0.00005814305],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00007618556,0.00004041248,0.0009399451,0.0002466621,0.00004916292,0.0002495652,0.0004362767,0.01738875,0.008954605,0.8422236,0.002827978,0.1265668],"study_design_scores_gemma":[0.00001567107,0.00003298737,0.0003151449,0.0001214107,0.00004682218,0.0001752997,0.00009916803,0.06925797,0.01126003,0.8861756,0.0324466,0.00005335173],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00527359,0.0003126902,0.9845063,0.000208178,0.00006729607,0.00009706784,0.000170977,0.002908261,0.006455693],"genre_scores_gemma":[0.2745153,0.0009175846,0.7156302,0.0006029842,0.0002303124,0.0004438884,0.0005222628,0.001550014,0.005587446],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006620675,"threshold_uncertainty_score":0.02214837,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04519828578666672,"score_gpt":0.2962575487850186,"score_spread":0.2510592629983519,"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."}}