{"id":"W4234766501","doi":"10.1145/781143.781144","title":"Points-to analysis using BDDs","year":2003,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Binary decision diagram; Computer science; Algorithm; Solver; Model checking; Simple (philosophy); Data structure; Theoretical computer science; Programming language","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.002391862,0.001654093,0.001353374,0.002951322,0.001044192,0.00349066,0.001851509,0.000996959,0.007579429],"category_scores_gemma":[0.008570044,0.00103115,0.00273906,0.001895638,0.001924559,0.004914935,0.002200174,0.002627764,0.001480121],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001655552,"about_ca_system_score_gemma":0.00190304,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003835374,"about_ca_topic_score_gemma":0.00346833,"domain_scores_codex":[0.9962696,0.0009923724,0.0003414552,0.0005912196,0.001616202,0.0001892409],"domain_scores_gemma":[0.9954894,0.002907503,0.0002666594,0.0005860845,0.0006896148,0.00006070951],"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.0002804821,0.00008447291,0.0009887969,0.0007762925,0.0001608145,0.0002461732,0.0004685534,0.2100676,0.008411855,0.5610231,0.005126877,0.212365],"study_design_scores_gemma":[0.0000912595,0.00008074356,0.0001455037,0.0001617845,0.0001014919,0.0001918193,0.000121833,0.5043907,0.02172608,0.4250096,0.04791442,0.0000647536],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001087479,0.0000686729,0.9968245,0.00006322034,0.00001996651,0.00005942095,0.00009147435,0.0007730727,0.001012148],"genre_scores_gemma":[0.06279396,0.0005309216,0.9332014,0.0001253932,0.00004446455,0.0002719039,0.0005109287,0.0005041178,0.002016915],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007579429,"threshold_uncertainty_score":0.0253557,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05826976372535029,"score_gpt":0.3475587982911371,"score_spread":0.2892890345657868,"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."}}