{"id":"W2963080927","doi":"10.4230/lipics.ecoop.2016.7","title":"Interprocedural Type Specialization of JavaScript Programs Without Type Analysis","year":2016,"lang":"en","type":"article","venue":"DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)","topic":"Software Engineering Research","field":"Computer Science","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Montréal","funders":"","keywords":"Computer science; Programming language; JavaScript; Compiler; Software versioning; Block (permutation group theory); Simple (philosophy); Source code; Context (archaeology); Software","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.0005066544,0.0002621977,0.0004519179,0.0005863702,0.00008836441,0.0002124322,0.001255118,0.000142469,0.00003732157],"category_scores_gemma":[0.0006766763,0.0001892217,0.0002163194,0.001854491,0.0001087297,0.001317128,0.0003901987,0.0001480476,0.0001051765],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001430104,"about_ca_system_score_gemma":0.0001260367,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001788713,"about_ca_topic_score_gemma":0.00002600173,"domain_scores_codex":[0.997677,0.00002745329,0.0008321583,0.0002672332,0.00062756,0.0005686154],"domain_scores_gemma":[0.9976265,0.0001701847,0.0002992257,0.00086611,0.0008690858,0.0001689291],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"observational","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0002790846,0.0004624958,0.896396,0.0007990098,0.001519227,0.000004601205,0.007904432,0.0003167458,0.0006826639,0.009516339,0.004506671,0.07761268],"study_design_scores_gemma":[0.01470684,0.005919688,0.154341,0.002327699,0.001175905,0.0001647888,0.001326975,0.6001508,0.03353728,0.003342095,0.1782973,0.004709557],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2931878,0.00003791377,0.7040101,0.0001722116,0.001111856,0.0007134266,0.00004191473,0.0003414645,0.0003833473],"genre_scores_gemma":[0.9738179,0.00002177395,0.02533862,0.000082589,0.0001043505,0.00003427139,0.00007954765,0.00002922205,0.0004917193],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.742055,"threshold_uncertainty_score":0.7716237,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02067169632040756,"score_gpt":0.2782466223932611,"score_spread":0.2575749260728535,"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."}}