{"id":"W4387793429","doi":"10.1145/3623476.3623529","title":"An Executable Semantics for Faster Development of Optimizing Python Compilers","year":2023,"lang":"en","type":"article","venue":"","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Montréal","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Python (programming language); Programming language; Executable; Computer science; Compiler; Implementation; Semantics (computer science); Operational semantics","routes":{"ca_aff":true,"ca_fund":true,"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.0003850647,0.00008710816,0.0001382457,0.0001581268,0.0001215131,0.00007089978,0.0005005985,0.000039203,0.000003310923],"category_scores_gemma":[0.00001030625,0.00008101561,0.00003340555,0.0003788054,0.00001485635,0.0002220372,0.0001448162,0.00003352564,0.000008798234],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001483883,"about_ca_system_score_gemma":0.00006018209,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002117798,"about_ca_topic_score_gemma":0.00000104252,"domain_scores_codex":[0.9991439,0.00002144004,0.0002537759,0.0002270116,0.0001393378,0.0002145354],"domain_scores_gemma":[0.9994047,0.00005981829,0.00007728027,0.000296105,0.0001108209,0.00005133546],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002820738,0.0003087264,0.0009561004,0.0002639663,0.00008463932,0.000005550189,0.01219571,0.781064,0.01442397,0.0566823,0.02887461,0.1051122],"study_design_scores_gemma":[0.0001423694,0.00004928195,0.0001234013,0.00002068093,0.000001502108,9.287378e-7,0.00006791163,0.9518204,0.04504638,0.0004102552,0.002197248,0.0001196323],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.004971023,0.000005372351,0.992546,0.0001377392,0.0001066491,0.000162627,7.393148e-7,0.0009564867,0.001113418],"genre_scores_gemma":[0.1443329,0.000003698676,0.8550776,0.00008388019,0.000011439,0.00001300842,0.00001015094,0.000008524049,0.0004588526],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.1707564,"threshold_uncertainty_score":0.330372,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04134204574267936,"score_gpt":0.303624682284019,"score_spread":0.2622826365413396,"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."}}