{"id":"W4403223543","doi":"10.1145/3689803","title":"The ART of Sharing Points-to Analysis: Reusing Points-to Analysis Results Safely and Efficiently","year":2024,"lang":"en","type":"article","venue":"Proceedings of the ACM on Programming Languages","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"IBM (Canada)","funders":"Indian Institute of Technology Bombay","keywords":"Reuse; Computer science; Engineering","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.002999206,0.000266373,0.0004966166,0.0007872878,0.0003063912,0.001030178,0.003295563,0.00008261131,0.000001585582],"category_scores_gemma":[0.002345145,0.0001569427,0.0003972472,0.006265869,0.0001174732,0.0002298697,0.002100646,0.0002272441,0.0000145624],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006061561,"about_ca_system_score_gemma":0.00002935333,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001554019,"about_ca_topic_score_gemma":0.00006689059,"domain_scores_codex":[0.9971581,0.00003117628,0.0006795011,0.0008675016,0.000753623,0.0005101099],"domain_scores_gemma":[0.9976633,0.0003093521,0.0003502097,0.001199869,0.0003240543,0.0001532374],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0004815942,0.000523936,0.05570781,0.001416379,0.01138727,0.00003776397,0.06591384,0.001023711,0.01485942,0.402211,0.00416125,0.442276],"study_design_scores_gemma":[0.004962296,0.007503045,0.147401,0.004077369,0.02679106,0.0002446385,0.04674338,0.1099491,0.2715779,0.07073787,0.302463,0.007549333],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9413418,0.003261505,0.02227125,0.0241695,0.0007518199,0.002299882,0.00001680619,0.0008990253,0.004988392],"genre_scores_gemma":[0.9810613,0.00001197184,0.01799561,0.0001347905,0.00007079981,0.00004348561,0.000002127221,0.00001962699,0.0006602561],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.4347267,"threshold_uncertainty_score":0.9934026,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01651066627121376,"score_gpt":0.2805686060616219,"score_spread":0.2640579397904081,"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."}}