{"id":"W1536098516","doi":"10.1007/3-540-36579-6_12","title":"Scaling Java Points-to Analysis Using Spark","year":2003,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":430,"is_retracted":false,"has_abstract":false,"ca_institutions":"McGill University","funders":"","keywords":"SPARK (programming language); Computer science; Java; Modular design; Implementation; Scala; Graph; Scaling; Theoretical computer science; Programming language; Mathematics","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.002141118,0.001892059,0.001910595,0.002962308,0.00124522,0.003252627,0.002951803,0.0008226176,0.01542665],"category_scores_gemma":[0.01230911,0.0009812337,0.001696259,0.003214629,0.0008570575,0.004810581,0.002727438,0.002375252,0.00575658],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001214726,"about_ca_system_score_gemma":0.002302851,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006173604,"about_ca_topic_score_gemma":0.006644083,"domain_scores_codex":[0.9958816,0.0006257893,0.0002814892,0.0008117441,0.001955369,0.0004439894],"domain_scores_gemma":[0.9933738,0.001925233,0.0002337702,0.002586442,0.001608901,0.0002719543],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00211569,0.0007643109,0.009108497,0.0006489946,0.0004702538,0.0002013262,0.0005636364,0.06548176,0.03021498,0.06752646,0.1129278,0.7099763],"study_design_scores_gemma":[0.0004423661,0.0002153037,0.002931088,0.0001160866,0.0002771121,0.0002187183,0.0003028948,0.735132,0.04996506,0.1506273,0.05960372,0.000168257],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.06034152,0.001228378,0.7405823,0.0006907526,0.0009159716,0.0002242984,0.001768478,0.1627331,0.03151507],"genre_scores_gemma":[0.432338,0.000651228,0.5257217,0.0005708715,0.0003046344,0.00034753,0.005111984,0.02265956,0.01229443],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01542665,"threshold_uncertainty_score":0.05160731,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03014260705133876,"score_gpt":0.2649328401996686,"score_spread":0.2347902331483298,"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."}}