{"id":"https://openalex.org/W4411449687","doi":"https://doi.org/10.1145/3715730","title":"Towards Diverse Program Transformations for Program Simplification","display_name":"Towards Diverse Program Transformations for Program Simplification","publication_year":2025,"publication_date":"2025-06-19","ids":{"openalex":"https://openalex.org/W4411449687","doi":"https://doi.org/10.1145/3715730"},"language":"en","primary_location":{"id":"doi:10.1145/3715730","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3715730","pdf_url":null,"source":{"id":"https://openalex.org/S4404663975","display_name":"Proceedings of the ACM on software engineering.","issn_l":"2994-970X","issn":["2994-970X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Software Engineering","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1145/3715730","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5107249113","display_name":"Haibo Wang","orcid":"https://orcid.org/0009-0008-2907-3648"},"institutions":[{"id":"https://openalex.org/I60158472","display_name":"Concordia University","ror":"https://ror.org/0420zvk78","country_code":"CA","type":"education","lineage":["https://openalex.org/I60158472"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Haibo Wang","raw_affiliation_strings":["Concordia University, Montreal, Canada"],"raw_orcid":"https://orcid.org/0009-0008-2907-3648","affiliations":[{"raw_affiliation_string":"Concordia University, Montreal, Canada","institution_ids":["https://openalex.org/I60158472"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111323700","display_name":"Zezhong Xing","orcid":null},"institutions":[{"id":"https://openalex.org/I3045169105","display_name":"Southern University of Science and Technology","ror":"https://ror.org/049tv2d57","country_code":"CN","type":"education","lineage":["https://openalex.org/I3045169105"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zezhong Xing","raw_affiliation_strings":["Southern University of Science and Technology, Shenzhen, China"],"raw_orcid":"https://orcid.org/0009-0009-7933-0259","affiliations":[{"raw_affiliation_string":"Southern University of Science and Technology, Shenzhen, China","institution_ids":["https://openalex.org/I3045169105"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101708632","display_name":"C. P. Sun","orcid":"https://orcid.org/0000-0002-0862-2491"},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Chengnian Sun","raw_affiliation_strings":["University of Waterloo, Waterloo, Canada"],"raw_orcid":"https://orcid.org/0000-0002-0862-2491","affiliations":[{"raw_affiliation_string":"University of Waterloo, Waterloo, Canada","institution_ids":["https://openalex.org/I151746483"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100401045","display_name":"Zheng Wang","orcid":"https://orcid.org/0000-0001-6157-0662"},"institutions":[{"id":"https://openalex.org/I130828816","display_name":"University of Leeds","ror":"https://ror.org/024mrxd33","country_code":"GB","type":"education","lineage":["https://openalex.org/I130828816"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Zheng Wang","raw_affiliation_strings":["University of Leeds, Leeds, United Kingdom"],"raw_orcid":"https://orcid.org/0000-0001-6157-0662","affiliations":[{"raw_affiliation_string":"University of Leeds, Leeds, United Kingdom","institution_ids":["https://openalex.org/I130828816"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5051957977","display_name":"Shin Hwei Tan","orcid":"https://orcid.org/0000-0001-8633-3372"},"institutions":[{"id":"https://openalex.org/I60158472","display_name":"Concordia University","ror":"https://ror.org/0420zvk78","country_code":"CA","type":"education","lineage":["https://openalex.org/I60158472"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Shin Hwei Tan","raw_affiliation_strings":["Concordia University, Montreal, Canada"],"raw_orcid":"https://orcid.org/0000-0001-8633-3372","affiliations":[{"raw_affiliation_string":"Concordia University, Montreal, Canada","institution_ids":["https://openalex.org/I60158472"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.0267,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.87338173,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"2","issue":"FSE","first_page":"312","last_page":"334"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":1.0,"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":1.0,"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.9980999827384949,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.996399998664856,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/code-refactoring","display_name":"Code refactoring","score":0.9669602513313293},{"id":"https://openalex.org/keywords/program-comprehension","display_name":"Program comprehension","score":0.8080809712409973},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7962745428085327},{"id":"https://openalex.org/keywords/source-lines-of-code","display_name":"Source lines of code","score":0.7283316850662231},{"id":"https://openalex.org/keywords/program-transformation","display_name":"Program transformation","score":0.6916376948356628},{"id":"https://openalex.org/keywords/maintainability","display_name":"Maintainability","score":0.6650509834289551},{"id":"https://openalex.org/keywords/program-slicing","display_name":"Program slicing","score":0.6282499432563782},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6208391785621643},{"id":"https://openalex.org/keywords/heuristics","display_name":"Heuristics","score":0.6202840805053711},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.589011013507843},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5500678420066833},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5403258204460144},{"id":"https://openalex.org/keywords/static-program-analysis","display_name":"Static program analysis","score":0.5247616767883301},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.5228343605995178},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5048094987869263},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.4934314787387848},{"id":"https://openalex.org/keywords/software-maintenance","display_name":"Software maintenance","score":0.45006927847862244},{"id":"https://openalex.org/keywords/software-quality","display_name":"Software quality","score":0.41206246614456177},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.3386031985282898},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.31066030263900757},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.09147819876670837}],"concepts":[{"id":"https://openalex.org/C152752567","wikidata":"https://www.wikidata.org/wiki/Q116877","display_name":"Code refactoring","level":3,"score":0.9669602513313293},{"id":"https://openalex.org/C2777561058","wikidata":"https://www.wikidata.org/wiki/Q2652119","display_name":"Program comprehension","level":4,"score":0.8080809712409973},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7962745428085327},{"id":"https://openalex.org/C199519371","wikidata":"https://www.wikidata.org/wiki/Q942695","display_name":"Source lines of code","level":3,"score":0.7283316850662231},{"id":"https://openalex.org/C2778361913","wikidata":"https://www.wikidata.org/wiki/Q7248437","display_name":"Program transformation","level":2,"score":0.6916376948356628},{"id":"https://openalex.org/C160713754","wikidata":"https://www.wikidata.org/wiki/Q1389965","display_name":"Maintainability","level":2,"score":0.6650509834289551},{"id":"https://openalex.org/C91071405","wikidata":"https://www.wikidata.org/wiki/Q1413145","display_name":"Program slicing","level":3,"score":0.6282499432563782},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6208391785621643},{"id":"https://openalex.org/C127705205","wikidata":"https://www.wikidata.org/wiki/Q5748245","display_name":"Heuristics","level":2,"score":0.6202840805053711},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.589011013507843},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5500678420066833},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5403258204460144},{"id":"https://openalex.org/C137287247","wikidata":"https://www.wikidata.org/wiki/Q1329550","display_name":"Static program analysis","level":4,"score":0.5247616767883301},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.5228343605995178},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5048094987869263},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.4934314787387848},{"id":"https://openalex.org/C101317890","wikidata":"https://www.wikidata.org/wiki/Q940053","display_name":"Software maintenance","level":4,"score":0.45006927847862244},{"id":"https://openalex.org/C117447612","wikidata":"https://www.wikidata.org/wiki/Q1412670","display_name":"Software quality","level":4,"score":0.41206246614456177},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.3386031985282898},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.31066030263900757},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.09147819876670837}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3715730","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3715730","pdf_url":null,"source":{"id":"https://openalex.org/S4404663975","display_name":"Proceedings of the ACM on software engineering.","issn_l":"2994-970X","issn":["2994-970X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Software Engineering","raw_type":"journal-article"},{"id":"pmh:oai:eprints.whiterose.ac.uk:224243","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306400854","display_name":"White Rose Research Online (University of Leeds, The University of Sheffield, University of York)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2800616092","host_organization_name":"White Rose University Consortium","host_organization_lineage":["https://openalex.org/I2800616092"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"Proceedings Paper"}],"best_oa_location":{"id":"doi:10.1145/3715730","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3715730","pdf_url":null,"source":{"id":"https://openalex.org/S4404663975","display_name":"Proceedings of the ACM on software engineering.","issn_l":"2994-970X","issn":["2994-970X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Software Engineering","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.5,"id":"https://metadata.un.org/sdg/9"}],"awards":[{"id":"https://openalex.org/G2260984500","display_name":null,"funder_award_id":"RGPIN-2024-04301","funder_id":"https://openalex.org/F4320334593","funder_display_name":"Natural Sciences and Engineering Research Council of Canada"},{"id":"https://openalex.org/G8940547116","display_name":null,"funder_award_id":"EP\\/X037304\\/1,EP\\/X037304\\/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320334593","display_name":"Natural Sciences and Engineering Research Council of Canada","ror":"https://ror.org/01h531d29"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":77,"referenced_works":["https://openalex.org/W178847082","https://openalex.org/W1921293667","https://openalex.org/W1964962870","https://openalex.org/W1969939902","https://openalex.org/W1981108270","https://openalex.org/W2077337386","https://openalex.org/W2114793359","https://openalex.org/W2115732097","https://openalex.org/W2121217767","https://openalex.org/W2128782367","https://openalex.org/W2133104109","https://openalex.org/W2148329403","https://openalex.org/W2148899576","https://openalex.org/W2150038380","https://openalex.org/W2150195659","https://openalex.org/W2153887189","https://openalex.org/W2154563336","https://openalex.org/W2162424272","https://openalex.org/W2166993820","https://openalex.org/W2170224888","https://openalex.org/W2172232422","https://openalex.org/W2406602165","https://openalex.org/W2475137645","https://openalex.org/W2476494490","https://openalex.org/W2547446647","https://openalex.org/W2547621596","https://openalex.org/W2599212148","https://openalex.org/W2767798196","https://openalex.org/W2768054030","https://openalex.org/W2769067855","https://openalex.org/W2794859654","https://openalex.org/W2794992746","https://openalex.org/W2795027827","https://openalex.org/W2795868997","https://openalex.org/W2884453255","https://openalex.org/W2888017562","https://openalex.org/W2891688103","https://openalex.org/W2908058835","https://openalex.org/W2954823997","https://openalex.org/W2972082064","https://openalex.org/W3001664244","https://openalex.org/W3005044106","https://openalex.org/W3040728396","https://openalex.org/W3043761819","https://openalex.org/W3089307846","https://openalex.org/W3104723315","https://openalex.org/W3147782219","https://openalex.org/W3161027892","https://openalex.org/W3193977407","https://openalex.org/W3208323417","https://openalex.org/W4225640545","https://openalex.org/W4231040899","https://openalex.org/W4233730851","https://openalex.org/W4236990373","https://openalex.org/W4239249613","https://openalex.org/W4241197470","https://openalex.org/W4243174839","https://openalex.org/W4245985716","https://openalex.org/W4248491408","https://openalex.org/W4248799824","https://openalex.org/W4255750776","https://openalex.org/W4281769395","https://openalex.org/W4284667247","https://openalex.org/W4288055447","https://openalex.org/W4300420355","https://openalex.org/W4308731473","https://openalex.org/W4309486433","https://openalex.org/W4313011483","https://openalex.org/W4313547604","https://openalex.org/W4362676437","https://openalex.org/W4366723049","https://openalex.org/W4384345745","https://openalex.org/W4388483121","https://openalex.org/W4388483128","https://openalex.org/W4388505012","https://openalex.org/W4389162168","https://openalex.org/W4402442339"],"related_works":["https://openalex.org/W87824331","https://openalex.org/W3134694799","https://openalex.org/W2362297705","https://openalex.org/W3217625194","https://openalex.org/W2294335143","https://openalex.org/W2950116068","https://openalex.org/W2127963429","https://openalex.org/W1953128469","https://openalex.org/W2157389349","https://openalex.org/W2034209539"],"abstract_inverted_index":{"By":[0,55],"reducing":[1],"the":[2,35,42,65,71,76,128,191],"number":[3],"of":[4,6,37,67,78,93,138,159,168,193],"lines":[5,158,181],"code,":[7],"program":[8,28,68,79,124,133,207],"simplification":[9,125,134],"reduces":[10],"code":[11,17],"complexity,":[12],"improving":[13],"software":[14,53],"maintainability":[15],"and":[16,75,126,186],"comprehension.":[18],"While":[19],"several":[20],"existing":[21,87,120],"techniques":[22],"can":[23],"be":[24],"used":[25,104],"for":[26,122,130],"automatic":[27,132],"simplification,":[29],"there":[30],"is":[31,162],"no":[32],"consensus":[33],"on":[34,45,164],"effectiveness":[36],"these":[38,139],"approaches.":[39],"We":[40],"present":[41],"first":[43],"study":[44,114],"how":[46],"real-world":[47],"developers":[48],"simplify":[49],"programs":[50,150,155,171],"in":[51,118,183,204],"open-source":[52],"projects.":[54],"analyzing":[56],"382":[57],"pull":[58],"requests":[59],"from":[60],"296":[61],"projects,":[62],"we":[63,96,141],"summarize":[64],"types":[66],"transformations":[69,80],"used,":[70],"motivations":[72],"behind":[73],"simplifications,":[74],"set":[77],"that":[81,151,179,189,199],"have":[82],"not":[83],"been":[84],"covered":[85],"by":[86],"refactoring":[88,105],"types.":[89],"As":[90],"a":[91,102,144],"result":[92],"our":[94,165],"study,":[95],"submitted":[97],"eight":[98],"bug":[99],"reports":[100],"to":[101,146],"widely":[103],"detection":[106],"tool,":[107],"RefactoringMiner,":[108],"where":[109],"seven":[110],"were":[111],"fixed.":[112],"Our":[113],"also":[115],"identifies":[116],"gaps":[117],"applying":[119],"approaches":[121,203],"automating":[123,205],"outlines":[127],"criteria":[129],"designing":[131],"techniques.":[135],"In":[136],"light":[137],"observations,":[140],"propose":[142],"SimpT5,":[143],"tool":[145],"automatically":[147],"produce":[148],"simplified":[149,170,184],"are":[152],"semantically":[153],"equivalent":[154],"with":[156,172],"reduced":[157],"code.":[160],"SimpT5":[161,200],"trained":[163],"collected":[166],"dataset":[167],"92,485":[169],"two":[173],"heuristics:":[174],"(1)":[175],"modified":[176],"line":[177],"localization":[178],"encodes":[180],"changed":[182],"programs,":[185],"(2)":[187],"checkers":[188],"measure":[190],"quality":[192],"generated":[194],"programs.":[195],"Experimental":[196],"results":[197],"show":[198],"outperforms":[201],"prior":[202],"developer-induced":[206],"simplification.":[208]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}