{"id":"W4240395313","doi":"10.1145/2189751.2047884","title":"Monitoring aspects for the customization of automatically generated code for big-step models","year":2011,"lang":"en","type":"article","venue":"ACM SIGPLAN Notices","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Executable; Code generation; Programming language; Code (set theory); Personalization; Redundant code; Generator (circuit theory); Unreachable code; Dead code; Semantics (computer science); Reachability; Source code; Extension (predicate logic); Operating system; Theoretical computer science","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.00410275,0.0007637926,0.0003880304,0.0007057909,0.0004935429,0.001593338,0.001772366,0.001037335,0.002115408],"category_scores_gemma":[0.01692292,0.001007392,0.001416729,0.000380263,0.001820958,0.003674836,0.002535267,0.002253251,0.0004092781],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007259028,"about_ca_system_score_gemma":0.00117413,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006942158,"about_ca_topic_score_gemma":0.001400842,"domain_scores_codex":[0.9964993,0.001087831,0.000312011,0.000553243,0.001358941,0.000188618],"domain_scores_gemma":[0.9857118,0.006550375,0.001140301,0.005690516,0.000710651,0.0001963993],"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.001198507,0.0004585141,0.01758347,0.0009702015,0.0001985246,0.002051306,0.004036046,0.1283729,0.2341007,0.2773065,0.00659372,0.3271297],"study_design_scores_gemma":[0.00009656257,0.0003384703,0.002356915,0.0002088421,0.0001624681,0.001024454,0.0001574223,0.7042062,0.1792067,0.08254737,0.02956712,0.0001274548],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01686894,0.00003379887,0.973631,0.0001128384,0.00001518677,0.0001414996,0.00005080373,0.008177312,0.0009685926],"genre_scores_gemma":[0.2790513,0.00009132295,0.7156553,0.0001601023,0.00003059061,0.0003082227,0.0002048851,0.002875958,0.001622267],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00410275,"threshold_uncertainty_score":0.0216977,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1913483787223302,"score_gpt":0.3198090411456223,"score_spread":0.1284606624232921,"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."}}