{"id":"https://openalex.org/W4408106796","doi":"https://doi.org/10.22152/programming-journal.org/2025/10/8","title":"Dynamic Program Slices Change How Developers Diagnose Gradual Run-Time Type Errors","display_name":"Dynamic Program Slices Change How Developers Diagnose Gradual Run-Time Type Errors","publication_year":2025,"publication_date":"2025-02-15","ids":{"openalex":"https://openalex.org/W4408106796","doi":"https://doi.org/10.22152/programming-journal.org/2025/10/8"},"language":"en","primary_location":{"id":"doi:10.22152/programming-journal.org/2025/10/8","is_oa":true,"landing_page_url":"https://doi.org/10.22152/programming-journal.org/2025/10/8","pdf_url":"https://arxiv.org/pdf/2502.20533v1.pdf","source":{"id":"https://openalex.org/S4210199781","display_name":"The Art Science and Engineering of Programming","issn_l":"2473-7321","issn":["2473-7321"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Art, Science, and Engineering of Programming","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://arxiv.org/pdf/2502.20533v1.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5081842524","display_name":"Felipe Ba\u00f1ados Schwerter","orcid":null},"institutions":[{"id":"https://openalex.org/I154425047","display_name":"University of Alberta","ror":"https://ror.org/0160cpw27","country_code":"CA","type":"education","lineage":["https://openalex.org/I154425047"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Felipe Ba\u00f1ados Schwerter","raw_affiliation_strings":["University of Alberta, Canada"],"affiliations":[{"raw_affiliation_string":"University of Alberta, Canada","institution_ids":["https://openalex.org/I154425047"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051937731","display_name":"Ronald Garcia","orcid":"https://orcid.org/0000-0002-0982-1118"},"institutions":[{"id":"https://openalex.org/I141945490","display_name":"University of British Columbia","ror":"https://ror.org/03rmrcq20","country_code":"CA","type":"education","lineage":["https://openalex.org/I141945490"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Ronald Garcia","raw_affiliation_strings":["University of British Columbia, Canada"],"affiliations":[{"raw_affiliation_string":"University of British Columbia, Canada","institution_ids":["https://openalex.org/I141945490"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034123811","display_name":"Reid Holmes","orcid":"https://orcid.org/0000-0003-4213-494X"},"institutions":[{"id":"https://openalex.org/I141945490","display_name":"University of British Columbia","ror":"https://ror.org/03rmrcq20","country_code":"CA","type":"education","lineage":["https://openalex.org/I141945490"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Reid Holmes","raw_affiliation_strings":["University of British Columbia, Canada"],"affiliations":[{"raw_affiliation_string":"University of British Columbia, Canada","institution_ids":["https://openalex.org/I141945490"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5038781215","display_name":"Karim Ali","orcid":"https://orcid.org/0000-0002-5516-1376"},"institutions":[{"id":"https://openalex.org/I120250893","display_name":"New York University Abu Dhabi","ror":"https://ror.org/00e5k0821","country_code":"AE","type":"education","lineage":["https://openalex.org/I120250893","https://openalex.org/I57206974"]}],"countries":["AE"],"is_corresponding":false,"raw_author_name":"Karim Ali","raw_affiliation_strings":["NYU Abu Dhabi, United Arab Emirates"],"affiliations":[{"raw_affiliation_string":"NYU Abu Dhabi, United Arab Emirates","institution_ids":["https://openalex.org/I120250893"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5081842524"],"corresponding_institution_ids":["https://openalex.org/I154425047"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.04586677,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"10","issue":"1","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.972100019454956,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.972100019454956,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.946399986743927,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.932200014591217,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5673938393592834},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.34863388538360596},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3389996886253357}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5673938393592834},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.34863388538360596},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3389996886253357}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.22152/programming-journal.org/2025/10/8","is_oa":true,"landing_page_url":"https://doi.org/10.22152/programming-journal.org/2025/10/8","pdf_url":"https://arxiv.org/pdf/2502.20533v1.pdf","source":{"id":"https://openalex.org/S4210199781","display_name":"The Art Science and Engineering of Programming","issn_l":"2473-7321","issn":["2473-7321"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Art, Science, and Engineering of Programming","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.22152/programming-journal.org/2025/10/8","is_oa":true,"landing_page_url":"https://doi.org/10.22152/programming-journal.org/2025/10/8","pdf_url":"https://arxiv.org/pdf/2502.20533v1.pdf","source":{"id":"https://openalex.org/S4210199781","display_name":"The Art Science and Engineering of Programming","issn_l":"2473-7321","issn":["2473-7321"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Art, Science, and Engineering of Programming","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4408106796.pdf","grobid_xml":"https://content.openalex.org/works/W4408106796.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"A":[0],"gradual":[1],"type":[2,54,74,120,184],"system":[3],"allows":[4],"developers":[5,136,150,169],"to":[6,10,23,85,92,95,115,135,147,152,177],"declare":[7],"certain":[8],"types":[9,22],"be":[11,24,93],"enforced":[12,25],"by":[13],"the":[14,48,97,100],"compiler":[15],"(i.e.,":[16,29],"statically":[17],"typed),":[18],"while":[19],"leaving":[20],"other":[21],"via":[26],"runtime":[27,32,139,183],"checks":[28,33],"dynamically":[30],"typed).When":[31],"fail,":[34],"debugging":[35,182],"gradually":[36,64],"typed":[37,65],"programs":[38],"becomes":[39],"cumbersome,":[40],"because":[41,81],"these":[42,76],"failures":[43],"may":[44],"arise":[45],"far":[46],"from":[47],"original":[49],"point":[50,84],"where":[51],"an":[52,112],"inconsistent":[53],"assumption":[55],"is":[56],"made.To":[57],"ease":[58],"this":[59],"burden":[60],"on":[61],"developers,":[62],"some":[63],"languages":[66],"produce":[67],"a":[68,72,123,127,138,143,157],"blame":[69,103],"report":[70],"for":[71,125],"given":[73],"inconsistency.However,":[75],"reports":[77],"are":[78],"sometimes":[79],"misleading,":[80],"they":[82],"might":[83],"program":[86,109,133,154],"points":[87],"that":[88,129,168],"do":[89],"not":[90],"need":[91],"changed":[94],"stop":[96],"error.To":[98],"overcome":[99],"limitations":[101],"of":[102,159],"reports,":[104],"we":[105],"propose":[106],"using":[107],"dynamic":[108,132,153,174],"slicing":[110],"as":[111],"alternative":[113],"approach":[114],"help":[116],"programmers":[117],"debug":[118],"run-time":[119],"errors.We":[121],"describe":[122],"proof-of-concept":[124],"TypeSlicer,":[126],"tool":[128],"would":[130],"present":[131],"slices":[134,155],"when":[137,181],"check":[140],"fails.We":[141],"performed":[142],"Wizard-of-Oz":[144],"user":[145],"study":[146,166],"investigate":[148],"how":[149],"respond":[151],"through":[156],"set":[158],"simulated":[160],"interactions":[161],"with":[162],"TypeScript":[163],"programs.This":[164],"formative":[165],"shows":[167],"can":[170],"understand":[171],"and":[172],"apply":[173],"slice":[175],"information":[176],"provide":[178],"change":[179],"recommendations":[180],"errors.":[185]},"counts_by_year":[],"updated_date":"2026-03-12T06:13:28.667946","created_date":"2025-10-10T00:00:00"}