{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004138369,0.00009733655,0.0001901622,0.000396334,0.00008375311,0.000149205,0.001001065,0.00003819571,7.441596e-7],"category_scores_gemma":[0.0004699777,0.00007608608,0.00005563359,0.001639423,0.00005575406,0.0001325736,0.0005433348,0.0001153307,2.616048e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002915562,"about_ca_system_score_gemma":0.00001292128,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004587237,"about_ca_topic_score_gemma":0.000006989282,"domain_scores_codex":[0.9992053,0.0000144802,0.0002213951,0.000244755,0.0001633568,0.0001507015],"domain_scores_gemma":[0.999326,0.0001114238,0.0001672667,0.0002874386,0.00008726939,0.00002060795],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"observational","study_design_gemma":"observational","study_design_scores_codex":[0.00003780098,0.0002903312,0.6242587,0.0003296669,0.0003532932,0.000002491922,0.006404163,0.004380996,0.00155336,0.147043,0.0009462471,0.2143999],"study_design_scores_gemma":[0.001731912,0.0003316475,0.5145493,0.001282968,0.0003296497,0.000006018243,0.002267252,0.3866011,0.04690195,0.04442969,0.0008287279,0.0007397898],"study_design_candidate":"observational","study_design_consensus":"observational","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9365678,0.0002372832,0.05616195,0.003435691,0.00006615029,0.000471784,9.598901e-7,0.0003754503,0.002682972],"genre_scores_gemma":[0.835598,0.00000898366,0.1641605,0.0001353038,0.000003522308,0.00001083283,8.37754e-7,0.000003212805,0.00007879861],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.3822201,"threshold_uncertainty_score":0.31027,"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."}}