{"id":"W3163223842","doi":"","title":"The VM Already Knew That: Leveraging Compile-Time Knowledge to Optimize Gradual Typing","year":2017,"lang":"en","type":"article","venue":"Conference on Object-Oriented Programming Systems, Languages, and Applications","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Compile time; Programmer; Programming language; JavaScript; Compiler; Code (set theory); Just-in-time compilation; Object (grammar); Artificial intelligence","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","sts","scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.001045506,0.0003974932,0.0004582192,0.0001353628,0.003039827,0.003091343,0.001809579,0.0001430199,0.0000037705],"category_scores_gemma":[0.000144894,0.0002990204,0.00009890403,0.0002977532,0.0002519689,0.0003166355,0.0005230454,0.0003129002,0.0002816068],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009137074,"about_ca_system_score_gemma":0.0001648998,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007025042,"about_ca_topic_score_gemma":0.0001321927,"domain_scores_codex":[0.9972387,0.0002154943,0.0004926221,0.0009302295,0.0003547101,0.0007682705],"domain_scores_gemma":[0.9965916,0.0002480774,0.0004759444,0.001954927,0.000373323,0.0003560976],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00001150324,0.0001247178,0.0005286255,0.00009431421,0.0000711933,0.000007861871,0.00286559,0.00001274676,0.00008838973,0.7190359,0.0007162518,0.2764429],"study_design_scores_gemma":[0.001297381,0.000385053,0.001385412,0.0003413649,0.00007701573,0.0001258709,0.006427451,0.0126393,0.000275105,0.001980999,0.9738095,0.001255485],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002169762,0.006042534,0.9465004,0.001646055,0.001440656,0.005247058,0.00001811925,0.001223722,0.03571166],"genre_scores_gemma":[0.9917359,0.0000702714,0.002278477,0.0000688773,0.0004402328,0.001554261,0.00003246897,0.00003394215,0.003785506],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9895662,"threshold_uncertainty_score":0.9999462,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04608562986757483,"score_gpt":0.3130508497861182,"score_spread":0.2669652199185434,"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."}}