{"id":"W4408106796","doi":"10.22152/programming-journal.org/2025/10/8","title":"Dynamic Program Slices Change How Developers Diagnose Gradual Run-Time Type Errors","year":2025,"lang":"en","type":"article","venue":"The Art Science and Engineering of Programming","topic":"Software Engineering Research","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia; University of Alberta","funders":"","keywords":"Computer science; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.007649836,0.001459217,0.0006654743,0.001605273,0.0008764012,0.003002524,0.002543993,0.002021328,0.003443586],"category_scores_gemma":[0.06872091,0.00165022,0.0009603254,0.0006007954,0.002710029,0.008271688,0.00356754,0.002916987,0.001175742],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008113729,"about_ca_system_score_gemma":0.003114523,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002984723,"about_ca_topic_score_gemma":0.003936565,"domain_scores_codex":[0.9931706,0.002465508,0.0004577926,0.001285713,0.002047898,0.0005724034],"domain_scores_gemma":[0.9566626,0.01762626,0.003843371,0.01482345,0.005624374,0.001419912],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"observational","study_design_scores_codex":[0.001968174,0.0006962153,0.08490436,0.001158318,0.0003075482,0.004231053,0.02735409,0.04799831,0.16201,0.06091568,0.02147047,0.5869858],"study_design_scores_gemma":[0.0005103945,0.002174337,0.0297133,0.001697779,0.0006952385,0.004637073,0.00821431,0.3174832,0.353968,0.1188927,0.1610572,0.0009564857],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2070709,0.0005201414,0.7360591,0.00187184,0.000328723,0.0005070352,0.0004791438,0.04549514,0.007668056],"genre_scores_gemma":[0.5421405,0.0002961926,0.4490622,0.0006762234,0.00004968848,0.0002129425,0.0004396253,0.0045235,0.002599083],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007649836,"threshold_uncertainty_score":0.04045671,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0191834616489249,"score_gpt":0.2784871991621939,"score_spread":0.2593037375132691,"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."}}