{"id":"W4415007672","doi":"10.1145/3763149","title":"CoSSJIT: Combining Static Analysis and Speculation in JIT Compilers","year":2025,"lang":"en","type":"article","venue":"Proceedings of the ACM on Programming Languages","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"IBM (Canada)","funders":"","keywords":"Static analysis; Compiler; Just-in-time compilation; Correctness; Dataflow; Heap (data structure); Call stack; Register allocation; Compile time; Abstract interpretation","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.002381253,0.001217555,0.0006127406,0.001082211,0.0005847778,0.001759727,0.001211595,0.0006749475,0.002931309],"category_scores_gemma":[0.004669426,0.0007803504,0.0008390105,0.0009249895,0.001694346,0.003086782,0.002442959,0.001492189,0.001103943],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007375611,"about_ca_system_score_gemma":0.002465365,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003085788,"about_ca_topic_score_gemma":0.003673406,"domain_scores_codex":[0.9974372,0.0005556014,0.0001619846,0.0003696394,0.00113783,0.0003377494],"domain_scores_gemma":[0.9967127,0.0009927192,0.0003094016,0.001214771,0.0006286855,0.0001417671],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0013077,0.0005215431,0.01661374,0.0007310426,0.0002349038,0.000813643,0.0009577107,0.1478323,0.1369649,0.0633195,0.02662399,0.6040791],"study_design_scores_gemma":[0.0001993896,0.0004288299,0.00242824,0.0001384035,0.0001620117,0.0004012908,0.0001520224,0.7877215,0.1224124,0.04535398,0.04045654,0.0001453448],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.09388965,0.001100742,0.8435974,0.001002518,0.0004536521,0.0001360997,0.000248959,0.04887976,0.01069115],"genre_scores_gemma":[0.5204774,0.0004488714,0.4679156,0.0005083799,0.0002441633,0.0001494135,0.0006819887,0.004493449,0.005080855],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003085788,"threshold_uncertainty_score":0.01259339,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.00994595358639701,"score_gpt":0.282115852477441,"score_spread":0.272169898891044,"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."}}