{"id":"W4415007091","doi":"10.1145/3763053","title":"Boosting Program Reduction with the Missing Piece of Syntax-Guided Transformations","year":2025,"lang":"en","type":"article","venue":"Proceedings of the ACM on Programming Languages","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Debugging; Reduction (mathematics); Boosting (machine learning); Leverage (statistics); Program analysis; Program transformation; Key (lock); Abstract syntax tree; Minification","routes":{"ca_aff":true,"ca_fund":true,"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.001679968,0.001755081,0.0009069817,0.00196167,0.000577136,0.001536996,0.003496352,0.000900357,0.003866569],"category_scores_gemma":[0.009049305,0.000738157,0.001872412,0.001528642,0.002181088,0.00385475,0.002821494,0.002738168,0.002048826],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008932021,"about_ca_system_score_gemma":0.00281316,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002350986,"about_ca_topic_score_gemma":0.003642678,"domain_scores_codex":[0.9959422,0.0008507008,0.0002900841,0.0007442684,0.001841949,0.0003308268],"domain_scores_gemma":[0.9936783,0.001963788,0.000424145,0.002625923,0.001186305,0.0001214509],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0007299621,0.0005874992,0.007823786,0.001222759,0.0002104277,0.000486897,0.0008755303,0.04355996,0.1091049,0.05951218,0.02920133,0.7466848],"study_design_scores_gemma":[0.0004229616,0.0009230131,0.002794931,0.0001624766,0.0003692153,0.001423727,0.0004066282,0.544855,0.2818308,0.06728446,0.09928019,0.0002466304],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.05725813,0.0008424531,0.8628424,0.0007644774,0.0001469507,0.0003439815,0.000407505,0.06876893,0.008625103],"genre_scores_gemma":[0.2826532,0.0005030067,0.6992985,0.0009260749,0.00008844716,0.0004048601,0.001928943,0.008626326,0.00557065],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003866569,"threshold_uncertainty_score":0.01293498,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01579920877483586,"score_gpt":0.2941947941011593,"score_spread":0.2783955853263234,"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."}}