{"id":"W2626356917","doi":"10.1145/3062341.3062359","title":"Context transformations for pointer analysis","year":2017,"lang":"en","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":30,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Reachability; Computer science; Pointer analysis; Context (archaeology); Theoretical computer science; Pointer (user interface); Programming language; Abstraction; Reachability problem; Relation (database); Sensitivity (control systems); Static analysis; Artificial intelligence; Data mining","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001525813,0.0007803317,0.0005525426,0.00193902,0.0009719044,0.002308526,0.001424561,0.001038278,0.006108084],"category_scores_gemma":[0.007021084,0.0006350763,0.002073096,0.001526812,0.002432352,0.004624432,0.003931129,0.003625893,0.001987645],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001419907,"about_ca_system_score_gemma":0.001422502,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00220643,"about_ca_topic_score_gemma":0.00229694,"domain_scores_codex":[0.9969754,0.0007832766,0.0002381332,0.0004993922,0.001241938,0.000261735],"domain_scores_gemma":[0.9975432,0.001072192,0.0001787934,0.000792781,0.0003477301,0.00006522224],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00007625938,0.0000398185,0.001006606,0.000232473,0.00005321104,0.0002899992,0.0004598846,0.01702433,0.009321677,0.8521041,0.003444946,0.1159466],"study_design_scores_gemma":[0.00001549708,0.00002460214,0.000335176,0.0001107434,0.00004915966,0.0001781769,0.00009160825,0.06221935,0.01148427,0.8973015,0.02814018,0.00004970694],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.006743407,0.000380849,0.9794922,0.0003312697,0.0000901958,0.00008603474,0.0001848013,0.004176942,0.008514321],"genre_scores_gemma":[0.4161356,0.001005769,0.5720797,0.000845343,0.0002600127,0.0003357215,0.0004589511,0.002240577,0.006638306],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006108084,"threshold_uncertainty_score":0.02043355,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03744499914655293,"score_gpt":0.2877055162022907,"score_spread":0.2502605170557378,"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."}}