{"id":"W1987035533","doi":"10.1145/1391984.1391987","title":"Evaluating the benefits of context-sensitive points-to analysis using a BDD-based implementation","year":2008,"lang":"en","type":"article","venue":"ACM Transactions on Software Engineering and Methodology","topic":"Software Engineering Research","field":"Computer Science","cited_by":117,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University; University of Waterloo","funders":"","keywords":"Computer science; Heap (data structure); Pointer analysis; Call graph; Java; Pointer (user interface); Programming language; Paddle; Theoretical computer science; Static analysis; Artificial intelligence; Operating system","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.00443894,0.001334773,0.0009597012,0.00184093,0.0006144313,0.002118821,0.002376267,0.001202915,0.002555707],"category_scores_gemma":[0.02180941,0.001051126,0.001216449,0.001522847,0.001370553,0.003356234,0.00167879,0.001618335,0.0005650828],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001415097,"about_ca_system_score_gemma":0.002584554,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006658626,"about_ca_topic_score_gemma":0.005750468,"domain_scores_codex":[0.9937617,0.001918098,0.0004443438,0.0005512314,0.002903679,0.0004208953],"domain_scores_gemma":[0.9848458,0.009851998,0.000606255,0.002682208,0.001825813,0.0001879068],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.003574597,0.000685513,0.01599784,0.001441418,0.0004715285,0.0003967175,0.0005657792,0.5577378,0.06500242,0.06154757,0.004244809,0.2883341],"study_design_scores_gemma":[0.000239286,0.0004010686,0.001185758,0.00006190225,0.0001726425,0.0001004424,0.00007302908,0.9388827,0.04317279,0.0125751,0.003073983,0.00006131453],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.256029,0.001040156,0.716509,0.0004346841,0.0001384181,0.0002915113,0.0005001547,0.01845938,0.006597567],"genre_scores_gemma":[0.60131,0.0003024575,0.395988,0.0001462303,0.00002124124,0.0001238183,0.0003793913,0.0007469842,0.000981873],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006658626,"threshold_uncertainty_score":0.02347565,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.2244972601558458,"score_gpt":0.4221343935073883,"score_spread":0.1976371333515425,"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."}}