{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.001744777,0.0006217601,0.000896553,0.001990235,0.0003844564,0.001100853,0.003355919,0.0003601987,0.00002719333],"category_scores_gemma":[0.0001453771,0.0005545649,0.0003432955,0.002903091,0.0003492665,0.000456344,0.001110136,0.0006069553,0.00009575773],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004338988,"about_ca_system_score_gemma":0.0003602218,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001117904,"about_ca_topic_score_gemma":0.0001201956,"domain_scores_codex":[0.9949007,0.00007976334,0.0007142611,0.00207371,0.001264548,0.000967031],"domain_scores_gemma":[0.9967799,0.0002914699,0.0003703411,0.001867408,0.0003329272,0.0003579578],"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.000007317416,0.00007194019,0.0009187893,0.0000857287,0.0002761165,0.0003235148,0.002725834,0.2650454,0.0001831139,0.1809361,0.00006157113,0.5493646],"study_design_scores_gemma":[0.000265599,0.0001652009,0.0001071975,0.0001126206,0.0001450607,0.0001337146,6.799011e-7,0.7984814,0.000875486,0.1864893,0.01164396,0.001579776],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00009767619,0.0004016214,0.9925731,0.0003342584,0.002278323,0.0004250502,0.00000133379,0.0001669372,0.00372166],"genre_scores_gemma":[0.3408728,0.00001186076,0.6550238,0.003024228,0.0005521364,0.000007402212,0.000003950441,0.00004642027,0.0004573687],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.5477848,"threshold_uncertainty_score":0.9999361,"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."}}