{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00010911,0.0001200148,0.0001614366,0.00009743465,0.00006808202,0.0001447374,0.0004698594,0.00009258117,0.00005558278],"category_scores_gemma":[0.00001175843,0.00009410468,0.0001012871,0.0004744772,0.00006193452,0.0002046135,0.0001335421,0.0001333325,0.00003381471],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001098141,"about_ca_system_score_gemma":0.00005678488,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003702186,"about_ca_topic_score_gemma":0.00001827702,"domain_scores_codex":[0.999005,0.000020646,0.000234136,0.0003430414,0.0001791761,0.0002180132],"domain_scores_gemma":[0.9990779,0.0003801485,0.00002353985,0.0003685439,0.00008122766,0.0000686358],"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.00001871626,0.0000291927,0.00007616627,0.0001760489,0.00004167133,0.000002477326,0.0008385157,0.00003153151,0.002045097,0.9801532,0.000225848,0.01636155],"study_design_scores_gemma":[0.0007982002,0.0005882829,0.001332658,0.0005787712,0.00007915777,0.00007681525,0.0006324821,0.2676034,0.122358,0.5133873,0.09191438,0.000650592],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06127238,0.0002414892,0.9325714,0.001590788,0.001233373,0.0001951931,0.000006336896,0.0003131097,0.002575932],"genre_scores_gemma":[0.614602,0.000007874243,0.3843053,0.0008693771,0.0001350157,0.00002251843,0.000005541585,0.00001052932,0.00004188517],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.5533296,"threshold_uncertainty_score":0.3837478,"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."}}