{"id":"W4386206471","doi":"10.1007/978-3-031-38938-2_6","title":"Alternative Methods for Retaining Explicit and Finding Implicit Sharing in Embedded DSLs","year":2023,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Computer science; Memory footprint; Domain (mathematical analysis); Theoretical computer science; Interface (matter); Hash function; Programming language; Parallel computing","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.005427681,0.0005039466,0.0006701624,0.001564221,0.000265979,0.0006191151,0.003151376,0.0003240733,0.000002188905],"category_scores_gemma":[0.0009090357,0.0005098304,0.0001044167,0.001001801,0.000276979,0.0009493814,0.002222334,0.0008083132,0.000006181155],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003905027,"about_ca_system_score_gemma":0.0001847959,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003077476,"about_ca_topic_score_gemma":0.00002968891,"domain_scores_codex":[0.9957811,0.00009322363,0.000755319,0.002061123,0.0004976783,0.0008115086],"domain_scores_gemma":[0.9960192,0.002002726,0.0004381921,0.001220065,0.000181024,0.0001388161],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000007377017,0.000005981126,0.00005285646,0.00005997989,0.000009185817,0.00001307152,0.003554572,0.01107009,0.0008912078,0.2116786,8.886156e-7,0.7726562],"study_design_scores_gemma":[0.0001913176,0.00008341471,0.00009992364,0.000363129,0.000003739892,0.00001905605,0.000001135328,0.6261229,0.005881629,0.3668008,0.00006934007,0.0003636217],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0004188225,0.0001597555,0.9959749,0.0001697888,0.001441616,0.0007978931,0.000004127868,0.0001894266,0.000843653],"genre_scores_gemma":[0.01228879,0.00004446325,0.9868193,0.0003157358,0.0002324218,0.00008239748,0.000003424401,0.00005292169,0.0001605394],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.7722926,"threshold_uncertainty_score":0.9997354,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.09291485620620997,"score_gpt":0.3912667999303437,"score_spread":0.2983519437241337,"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."}}