{"id":"W4400440283","doi":"10.1145/3660829.3660838","title":"Tinyrossa: A Compiler Framework for Vertical, Verified Construction of Smalltalk VMs","year":2024,"lang":"en","type":"article","venue":"","topic":"Service-Oriented Architecture and Web Services","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Acceleware (Canada)","funders":"","keywords":"Smalltalk; Computer science; Compiler; Programming language; Operating system; Object-oriented programming","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.001602192,0.0006142439,0.0004793199,0.0006370825,0.0007662453,0.001381894,0.001680658,0.0005871665,0.006653893],"category_scores_gemma":[0.005923865,0.0008837395,0.0009674034,0.000275129,0.001191501,0.002163147,0.001863123,0.001632142,0.001193647],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008343935,"about_ca_system_score_gemma":0.002261444,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001636738,"about_ca_topic_score_gemma":0.001732161,"domain_scores_codex":[0.9987778,0.0002306339,0.0001098414,0.0001884933,0.0005374245,0.0001556543],"domain_scores_gemma":[0.9975253,0.001165327,0.0002172376,0.0005777551,0.0003987082,0.0001156527],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0006115953,0.0003260072,0.005328532,0.001687819,0.0002120139,0.0009423095,0.00223326,0.08474185,0.1004594,0.4260808,0.02513427,0.3522422],"study_design_scores_gemma":[0.0002686656,0.0003399606,0.001868386,0.0004501487,0.0001405224,0.0008392107,0.0004757983,0.4194834,0.1841127,0.1820025,0.2098424,0.0001763527],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.008660887,0.00007593735,0.9646084,0.00007807293,0.00009890393,0.0001355385,0.0001796962,0.02330777,0.002854774],"genre_scores_gemma":[0.2126005,0.0001736678,0.7708251,0.0001282563,0.00004958485,0.0003927303,0.0008149181,0.01177816,0.003237154],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006653893,"threshold_uncertainty_score":0.02225953,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01549730514187372,"score_gpt":0.2711022681710791,"score_spread":0.2556049630292054,"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."}}