{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01443413,0.002905861,0.002038222,0.003995607,0.00179333,0.009267816,0.007256214,0.003385689,0.005964152],"category_scores_gemma":[0.04055664,0.002071349,0.003073249,0.003523944,0.009153637,0.02016323,0.01078253,0.008270456,0.006385298],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002165205,"about_ca_system_score_gemma":0.004585176,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002903631,"about_ca_topic_score_gemma":0.001629562,"domain_scores_codex":[0.9826913,0.003860901,0.001436993,0.003145615,0.007704358,0.001160722],"domain_scores_gemma":[0.9465471,0.008993885,0.002648629,0.03706618,0.004055188,0.0006890562],"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.000922836,0.0001854271,0.002445837,0.0006826621,0.0002499103,0.000404773,0.002526361,0.02289498,0.02704951,0.5357273,0.01673642,0.390174],"study_design_scores_gemma":[0.0001807806,0.0003763716,0.0009116844,0.0005775532,0.0003615033,0.0008209868,0.0004105096,0.1023595,0.09306843,0.6535676,0.1469391,0.0004260987],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003563582,0.0003538417,0.9838086,0.0007535265,0.0001490671,0.00008983291,0.0001453109,0.008015037,0.003121261],"genre_scores_gemma":[0.1220156,0.001000713,0.8538911,0.001280551,0.0003235422,0.0004675587,0.0008896122,0.009341658,0.01078956],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01443413,"threshold_uncertainty_score":0.07633591,"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."}}