{"id":"W2762605937","doi":"10.1145/3133879","title":"The VM already knew that: leveraging compile-time knowledge to optimize gradual typing","year":2017,"lang":"en","type":"article","venue":"Proceedings of the ACM on Programming Languages","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":30,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Programming language; Compile time; Programmer; Soundness; JavaScript; Code (set theory); Compiler; Object (grammar); Parallel computing; Artificial intelligence","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":["sts","scholarly_communication","open_science"],"consensus_categories":[],"category_scores_codex":[0.001034436,0.0002393114,0.0002591835,0.00009579308,0.001600266,0.001347448,0.008086819,0.00006897438,0.000001399254],"category_scores_gemma":[0.001773353,0.000150195,0.0001367278,0.0002363525,0.0001610185,0.0003554178,0.003489042,0.0002576232,0.00002322681],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004692926,"about_ca_system_score_gemma":0.00003702522,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000455331,"about_ca_topic_score_gemma":0.000002330538,"domain_scores_codex":[0.9984575,0.00002514776,0.0002783735,0.0004494614,0.0003222561,0.0004672781],"domain_scores_gemma":[0.99754,0.0001899845,0.0004791968,0.001422176,0.0002685937,0.000100056],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.0001043469,0.0003982994,0.008273966,0.0002121165,0.0002197415,0.00000489091,0.01433061,0.0007571725,0.003455535,0.05241286,0.0327903,0.8870401],"study_design_scores_gemma":[0.005762378,0.002639127,0.05275872,0.009258096,0.0003495477,0.0002995904,0.005354677,0.200684,0.488406,0.04937722,0.1789407,0.006169986],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6262939,0.005690203,0.128079,0.123877,0.003824615,0.008023119,0.00001484405,0.0088713,0.09532601],"genre_scores_gemma":[0.8008735,0.00002039181,0.19719,0.0002372441,0.0001236755,0.0000514654,5.308301e-7,0.00002684889,0.001476407],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.8808702,"threshold_uncertainty_score":0.9996995,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03571118779894979,"score_gpt":0.3085080125902429,"score_spread":0.2727968247912931,"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."}}