{"id":"W1533327484","doi":"10.1007/978-3-540-31985-6_20","title":"A Study of Type Analysis for Speculative Method Inlining in a JIT Environment","year":2005,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":false,"ca_institutions":"McGill University","funders":"","keywords":"Computer science; Programming language; Type (biology); Parallel computing","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.00464174,0.001244439,0.001608307,0.002446982,0.002165835,0.004446974,0.002974696,0.001524341,0.005515854],"category_scores_gemma":[0.02557636,0.001568942,0.002609903,0.003928294,0.005864585,0.01151599,0.002627777,0.005937465,0.0006281296],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002207477,"about_ca_system_score_gemma":0.002219283,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002668456,"about_ca_topic_score_gemma":0.002537851,"domain_scores_codex":[0.9953892,0.00170945,0.0002249337,0.0005954786,0.001560965,0.0005198269],"domain_scores_gemma":[0.9736964,0.01985458,0.001235473,0.003575881,0.00132991,0.0003077225],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0002264438,0.0001160621,0.003381536,0.0003455962,0.00006967351,0.0003004909,0.001019792,0.01542477,0.002867333,0.8723097,0.005221018,0.09871758],"study_design_scores_gemma":[0.00003037113,0.00007921005,0.0009235974,0.0001237919,0.0001105116,0.0003602848,0.0002272231,0.162788,0.005294757,0.8217478,0.008272637,0.00004173989],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.06311683,0.003756822,0.8945451,0.002447412,0.0004087507,0.0001335488,0.0001541012,0.00202447,0.03341294],"genre_scores_gemma":[0.6199814,0.002458519,0.3528195,0.000958379,0.0009154096,0.0001495312,0.0002335596,0.002422846,0.02006089],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005515854,"threshold_uncertainty_score":0.02454817,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04659843319051506,"score_gpt":0.3061494083491622,"score_spread":0.2595509751586471,"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."}}