{"id":"https://openalex.org/W4411522895","doi":"https://doi.org/10.1145/3728968","title":"Static Program Reduction via Type-Directed Slicing","display_name":"Static Program Reduction via Type-Directed Slicing","publication_year":2025,"publication_date":"2025-06-22","ids":{"openalex":"https://openalex.org/W4411522895","doi":"https://doi.org/10.1145/3728968"},"language":"en","primary_location":{"id":"doi:10.1145/3728968","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3728968","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/3728968","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100579043","display_name":"Loi Ngo Duc Nguyen","orcid":null},"institutions":[{"id":"https://openalex.org/I103635307","display_name":"University of California, Riverside","ror":"https://ror.org/03nawhv43","country_code":"US","type":"education","lineage":["https://openalex.org/I103635307"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Loi Ngo Duc Nguyen","raw_affiliation_strings":["University of California, Riverside, USA"],"raw_orcid":"https://orcid.org/0009-0000-8386-2447","affiliations":[{"raw_affiliation_string":"University of California, Riverside, USA","institution_ids":["https://openalex.org/I103635307"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5118519861","display_name":"Tahiatul Islam","orcid":null},"institutions":[{"id":"https://openalex.org/I118118575","display_name":"New Jersey Institute of Technology","ror":"https://ror.org/05e74xb87","country_code":"US","type":"education","lineage":["https://openalex.org/I118118575"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Tahiatul Islam","raw_affiliation_strings":["New Jersey Institute of Technology, Newark, USA"],"raw_orcid":"https://orcid.org/0009-0004-5046-6463","affiliations":[{"raw_affiliation_string":"New Jersey Institute of Technology, Newark, USA","institution_ids":["https://openalex.org/I118118575"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Theron Wang","orcid":"https://orcid.org/0009-0008-2768-7574"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Theron Wang","raw_affiliation_strings":["Academy for Mathematics, Science, and Engineering, Rockaway, USA"],"raw_orcid":"https://orcid.org/0009-0008-2768-7574","affiliations":[{"raw_affiliation_string":"Academy for Mathematics, Science, and Engineering, Rockaway, USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5118583166","display_name":"Sam Lenz","orcid":null},"institutions":[{"id":"https://openalex.org/I118118575","display_name":"New Jersey Institute of Technology","ror":"https://ror.org/05e74xb87","country_code":"US","type":"education","lineage":["https://openalex.org/I118118575"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sam Lenz","raw_affiliation_strings":["New Jersey Institute of Technology, Newark, USA"],"raw_orcid":"https://orcid.org/0009-0000-6832-0914","affiliations":[{"raw_affiliation_string":"New Jersey Institute of Technology, Newark, USA","institution_ids":["https://openalex.org/I118118575"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5043023022","display_name":"Martin Kellogg","orcid":"https://orcid.org/0000-0002-3185-2340"},"institutions":[{"id":"https://openalex.org/I118118575","display_name":"New Jersey Institute of Technology","ror":"https://ror.org/05e74xb87","country_code":"US","type":"education","lineage":["https://openalex.org/I118118575"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Martin Kellogg","raw_affiliation_strings":["New Jersey Institute of Technology, Newark, USA"],"raw_orcid":"https://orcid.org/0000-0002-3185-2340","affiliations":[{"raw_affiliation_string":"New Jersey Institute of Technology, Newark, USA","institution_ids":["https://openalex.org/I118118575"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.3077,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.80298641,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":97},"biblio":{"volume":"2","issue":"ISSTA","first_page":"2068","last_page":"2090"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998999834060669,"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/T10260","display_name":"Software Engineering Research","score":0.9994000196456909,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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.8323643207550049},{"id":"https://openalex.org/keywords/program-slicing","display_name":"Program slicing","score":0.7915538549423218},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7543559074401855},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.7436275482177734},{"id":"https://openalex.org/keywords/slicing","display_name":"Slicing","score":0.5783321261405945},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.5718226432800293},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5481194257736206},{"id":"https://openalex.org/keywords/reduction","display_name":"Reduction (mathematics)","score":0.5078955292701721},{"id":"https://openalex.org/keywords/modularity","display_name":"Modularity (biology)","score":0.42860379815101624},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.42665165662765503},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.42051059007644653}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8323643207550049},{"id":"https://openalex.org/C91071405","wikidata":"https://www.wikidata.org/wiki/Q1413145","display_name":"Program slicing","level":3,"score":0.7915538549423218},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7543559074401855},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.7436275482177734},{"id":"https://openalex.org/C2776190703","wikidata":"https://www.wikidata.org/wiki/Q488148","display_name":"Slicing","level":2,"score":0.5783321261405945},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.5718226432800293},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5481194257736206},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.5078955292701721},{"id":"https://openalex.org/C2779478453","wikidata":"https://www.wikidata.org/wiki/Q6889748","display_name":"Modularity (biology)","level":2,"score":0.42860379815101624},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.42665165662765503},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.42051059007644653},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.0},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3728968","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3728968","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"}],"best_oa_location":{"id":"doi:10.1145/3728968","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3728968","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":[],"awards":[{"id":"https://openalex.org/G1165803920","display_name":"Collaborative Research: SHF: Small: Verification-guided Assessment and Reduction of Code Complexity","funder_award_id":"2414110","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":45,"referenced_works":["https://openalex.org/W53653091","https://openalex.org/W777621473","https://openalex.org/W1575308494","https://openalex.org/W1904455255","https://openalex.org/W1923608483","https://openalex.org/W1963705166","https://openalex.org/W1964060567","https://openalex.org/W1989657183","https://openalex.org/W2007121005","https://openalex.org/W2033348393","https://openalex.org/W2036157748","https://openalex.org/W2043100293","https://openalex.org/W2079083905","https://openalex.org/W2080573945","https://openalex.org/W2099941001","https://openalex.org/W2121217767","https://openalex.org/W2139935350","https://openalex.org/W2155877593","https://openalex.org/W2156723666","https://openalex.org/W2162635569","https://openalex.org/W2170224888","https://openalex.org/W2171325515","https://openalex.org/W2794859654","https://openalex.org/W2796472165","https://openalex.org/W2955314936","https://openalex.org/W3211776794","https://openalex.org/W4238083723","https://openalex.org/W4244726870","https://openalex.org/W4254447899","https://openalex.org/W4254666025","https://openalex.org/W4288076474","https://openalex.org/W4362676437","https://openalex.org/W4386442953","https://openalex.org/W4389165112","https://openalex.org/W4392082186","https://openalex.org/W4402048137","https://openalex.org/W4402442339","https://openalex.org/W6610773549","https://openalex.org/W6641119634","https://openalex.org/W6675853381","https://openalex.org/W6742493226","https://openalex.org/W6766330086","https://openalex.org/W6785253849","https://openalex.org/W6789507767","https://openalex.org/W6852757160"],"related_works":["https://openalex.org/W2134982133","https://openalex.org/W1964336761","https://openalex.org/W2991905743","https://openalex.org/W2169437772","https://openalex.org/W4239953224","https://openalex.org/W2165685498","https://openalex.org/W4302024603","https://openalex.org/W2170816480","https://openalex.org/W2347708239","https://openalex.org/W2011854888"],"abstract_inverted_index":{"A":[0,156],"traditional":[1],"program":[2,11,24,42,56,62,142],"slicer":[3,67,158,180],"constructs":[4,39],"a":[5,9,40,46,60,65,79,90,101,109,113,118,125,173,196,252,268],"smaller":[6,41],"variant":[7],"of":[8,78,98,130,206,215,230,243,263,265],"target":[10,21,61,70,245],"that":[12,43,45,200],"computes":[13],"the":[14,27,50,54,69,76,121,128,131,151,165,169,212,219,225,236,241,244],"same":[15,51],"result":[16,52,106],"with":[17,82],"respect":[18,83],"to":[19,84,127,140,153,261],"some":[20,85],"variable\u2014that":[22],"is,":[23,64],"slicing":[25,36,88],"preserves":[26,68,201],"original":[28],"program\u2019s":[29,71],"run-time":[30],"semantics":[31,73],".":[32],"We":[33],"propose":[34],"type-directed":[35,66,157,179],",":[37,74],"which":[38],"guarantees":[44],"typechecker":[47,102,132,152,202],"will":[48],"produce":[49],"on":[53,117,188,254,267],"sliced":[55],"when":[57],"considering":[58],"only":[59],"location\u2014that":[63],"compile-time":[72],"from":[75,211],"view":[77],"specific":[80],"typechecker,":[81,166],"location.":[86],"Type-directed":[87],"is":[89,183,192],"useful":[91],"debugging":[92],"aid":[93],"for":[94,181,204],"designers":[95],"and":[96,191,224],"maintainers":[97,129],"typecheckers.":[99],"When":[100],"produces":[103,195],"an":[104,134],"unexpected":[105],"(a":[107],"crash,":[108],"false":[110],"positive":[111],"warning,":[112,115],"missed":[114],"etc.)":[116],"large":[119],"codebase,":[120],"user":[122],"typically":[123],"reports":[124],"bug":[126],"without":[133,163,240],"accompanying":[135],"test":[136,198],"case.":[137],"State-of-the-art":[138],"approaches":[139],"this":[141,160],"reduction":[143],"problem":[144,161],"are":[145],"dynamic:":[146],"they":[147],"require":[148],"repeatedly":[149],"running":[150],"validate":[154],"minimizations.":[155],"solves":[159],"statically,":[162],"rerunning":[164],"by":[167],"exploiting":[168],"modularity":[170],"inherent":[171],"in":[172,228,250],"typechecker\u2019s":[174,237],"type":[175],"rules.":[176],"Our":[177],"prototype":[178],"Java":[182,220],"fully":[184],"automatic,":[185],"can":[186],"operate":[187],"incomplete":[189],"programs,":[190],"fast.":[193],"It":[194],"small":[197],"case":[199],"misbehavior":[203],"25":[205,232],"28":[207],"(89%)":[208],"historical":[209],"bugs":[210],"issue":[213],"trackers":[214],"three":[216],"widely-used":[217],"typecheckers:":[218],"compiler":[221],"itself,":[222],"NullAway,":[223],"Checker":[226],"Framework;":[227],"each":[229,255],"these":[231],"cases,":[233],"it":[234,248],"preserved":[235],"behavior":[238],"even":[239],"classpath":[242],"program.":[246],"And,":[247],"runs":[249],"under":[251],"minute":[253],"benchmark,":[256],"whose":[257],"size":[258],"ranges":[259],"up":[260],"millions":[262],"lines":[264],"code,":[266],"free-tier":[269],"CI":[270],"runner.":[271]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}