{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001787966,0.00005229272,0.0001128418,0.0000625942,0.0003261179,0.0004901318,0.0006654325,0.00002596338,0.00003027565],"category_scores_gemma":[0.00001770984,0.00003705669,0.0001664968,0.00006615534,0.00002243508,0.0005008056,0.00003483628,0.00002175148,0.00006494439],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00000754745,"about_ca_system_score_gemma":0.00001202845,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001681583,"about_ca_topic_score_gemma":0.0006136844,"domain_scores_codex":[0.999534,0.000009090599,0.0001249052,0.0001315231,0.00007179713,0.0001287418],"domain_scores_gemma":[0.999264,0.00002378687,0.00006421692,0.0005397936,0.000066466,0.00004173162],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000001248057,0.00001575831,0.0009663501,0.000005822974,0.0001248092,4.505166e-7,0.0006919706,0.00000267615,0.000007252041,0.9516076,0.001580366,0.04499569],"study_design_scores_gemma":[0.00244704,0.0002723652,0.01276835,0.000003133126,0.0003249125,0.00001110083,0.0004578749,0.2297341,0.002561711,0.1109012,0.6399188,0.0005993212],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0002616635,0.00001808654,0.9486545,0.001318531,0.000193929,0.0001546041,8.43319e-7,0.00007078944,0.04932703],"genre_scores_gemma":[0.9903538,0.000001100592,0.004759888,0.0001485159,0.00003173946,0.00002931615,0.000002275298,0.000001785113,0.0046716],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9900921,"threshold_uncertainty_score":0.4726352,"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."}}