{"id":"W128638405","doi":"10.1007/978-3-540-78791-4_11","title":"Compiler-Guaranteed Safety in Code-Copying Virtual Machines","year":2008,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Computer science; Copying; Compiler; Programming language; Dead code elimination; Just-in-time compilation; Code generation; Machine code; Programmer; Code (set theory); Source code; Virtual machine; Parallel computing; Operating system; Object code; Key (lock); Set (abstract data type)","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001866828,0.0006522531,0.0007388066,0.0006024304,0.0009832062,0.002013109,0.002395839,0.001092544,0.002663418],"category_scores_gemma":[0.01035472,0.0008624783,0.000875295,0.0006305781,0.003670813,0.002972352,0.002942638,0.002706855,0.0009869392],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009937785,"about_ca_system_score_gemma":0.001912232,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000943009,"about_ca_topic_score_gemma":0.000513332,"domain_scores_codex":[0.9972402,0.0006080205,0.0001508889,0.0002944055,0.001388513,0.0003180049],"domain_scores_gemma":[0.9916456,0.003727281,0.0004804327,0.003278298,0.0007393101,0.0001290396],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0004380749,0.00007692954,0.001654833,0.0005873585,0.00005101927,0.0006178262,0.001318143,0.1052838,0.04392858,0.6576545,0.008821163,0.1795676],"study_design_scores_gemma":[0.0001069899,0.0001896585,0.0005910146,0.0001519593,0.00006625719,0.0006621263,0.0001121077,0.3198689,0.1505337,0.4897956,0.03784596,0.00007582571],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.08404931,0.001267461,0.8830974,0.0008717452,0.0002727102,0.000123272,0.0001032575,0.009697483,0.02051737],"genre_scores_gemma":[0.7686847,0.0009569175,0.2115873,0.0002952284,0.0002463772,0.0002569074,0.0002144772,0.003479224,0.01427884],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002663418,"threshold_uncertainty_score":0.009872854,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01716723509701638,"score_gpt":0.2536954088233018,"score_spread":0.2365281737262855,"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."}}