{"id":"https://openalex.org/W7125949771","doi":"https://doi.org/10.1109/ase63991.2025.00073","title":"Execution-Aware Program Reduction for WebAssembly via Record and Replay","display_name":"Execution-Aware Program Reduction for WebAssembly via Record and Replay","publication_year":2025,"publication_date":"2025-11-16","ids":{"openalex":"https://openalex.org/W7125949771","doi":"https://doi.org/10.1109/ase63991.2025.00073"},"language":null,"primary_location":{"id":"doi:10.1109/ase63991.2025.00073","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ase63991.2025.00073","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5107628664","display_name":"Doehyun Baek","orcid":"https://orcid.org/0009-0004-0117-1060"},"institutions":[{"id":"https://openalex.org/I100066346","display_name":"University of Stuttgart","ror":"https://ror.org/04vnq7t77","country_code":"DE","type":"education","lineage":["https://openalex.org/I100066346"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Doehyun Baek","raw_affiliation_strings":["University of Stuttgart,Stuttgart,Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Stuttgart,Stuttgart,Germany","institution_ids":["https://openalex.org/I100066346"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5124139824","display_name":"Daniel Lehmann","orcid":null},"institutions":[{"id":"https://openalex.org/I1291425158","display_name":"Google (United States)","ror":"https://ror.org/00njsd438","country_code":"US","type":"company","lineage":["https://openalex.org/I1291425158","https://openalex.org/I4210128969"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Daniel Lehmann","raw_affiliation_strings":["Google Germany GmbH,Munich,Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Google Germany GmbH,Munich,Germany","institution_ids":["https://openalex.org/I1291425158"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034437441","display_name":"Ben L. Titzer","orcid":"https://orcid.org/0000-0002-9690-2089"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ben L. Titzer","raw_affiliation_strings":["Carnegie Mellon University,Pittsburgh,USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University,Pittsburgh,USA","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5124099493","display_name":"Sukyoung Ryu","orcid":null},"institutions":[{"id":"https://openalex.org/I157485424","display_name":"Korea Advanced Institute of Science and Technology","ror":"https://ror.org/05apxxy63","country_code":"KR","type":"education","lineage":["https://openalex.org/I157485424"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Sukyoung Ryu","raw_affiliation_strings":["KAIST Daejeon,South Korea"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"KAIST Daejeon,South Korea","institution_ids":["https://openalex.org/I157485424"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5013438083","display_name":"Michael Pradel","orcid":"https://orcid.org/0000-0003-1623-498X"},"institutions":[{"id":"https://openalex.org/I4210128801","display_name":"Helmholtz Center for Information Security","ror":"https://ror.org/02njgxr09","country_code":"DE","type":"facility","lineage":["https://openalex.org/I1305996414","https://openalex.org/I4210128801"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Michael Pradel","raw_affiliation_strings":["CISPA Helmholtz Center for Information Security,Stuttgart,Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CISPA Helmholtz Center for Information Security,Stuttgart,Germany","institution_ids":["https://openalex.org/I4210128801"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.68870743,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"816","last_page":"827"},"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.5570999979972839,"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.5570999979972839,"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.17219999432563782,"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/T11424","display_name":"Security and Verification in Computing","score":0.0966000035405159,"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/debugging","display_name":"Debugging","score":0.7980999946594238},{"id":"https://openalex.org/keywords/reduction","display_name":"Reduction (mathematics)","score":0.7204999923706055},{"id":"https://openalex.org/keywords/leverage","display_name":"Leverage (statistics)","score":0.6200000047683716},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.5343999862670898},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.5123000144958496},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.48739999532699585},{"id":"https://openalex.org/keywords/data-reduction","display_name":"Data reduction","score":0.32420000433921814},{"id":"https://openalex.org/keywords/state-information","display_name":"State information","score":0.32199999690055847}],"concepts":[{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.7980999946594238},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7559000253677368},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.7204999923706055},{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.6200000047683716},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.5343999862670898},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.5123000144958496},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.48739999532699585},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4553000032901764},{"id":"https://openalex.org/C153914771","wikidata":"https://www.wikidata.org/wiki/Q5227343","display_name":"Data reduction","level":2,"score":0.32420000433921814},{"id":"https://openalex.org/C2985963534","wikidata":"https://www.wikidata.org/wiki/Q7603704","display_name":"State information","level":3,"score":0.32199999690055847},{"id":"https://openalex.org/C77265313","wikidata":"https://www.wikidata.org/wiki/Q879844","display_name":"Rest (music)","level":2,"score":0.3156999945640564},{"id":"https://openalex.org/C179518139","wikidata":"https://www.wikidata.org/wiki/Q5140297","display_name":"Coding (social sciences)","level":2,"score":0.31139999628067017},{"id":"https://openalex.org/C94361409","wikidata":"https://www.wikidata.org/wiki/Q7882500","display_name":"Uncertainty reduction theory","level":2,"score":0.2971999943256378},{"id":"https://openalex.org/C2778820799","wikidata":"https://www.wikidata.org/wiki/Q3454688","display_name":"Cost reduction","level":2,"score":0.2800000011920929},{"id":"https://openalex.org/C2989134064","wikidata":"https://www.wikidata.org/wiki/Q288510","display_name":"Execution time","level":2,"score":0.2752000093460083},{"id":"https://openalex.org/C2777362769","wikidata":"https://www.wikidata.org/wiki/Q40056","display_name":"Computer program","level":2,"score":0.27410000562667847},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.26330000162124634},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.25699999928474426},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.2556000053882599},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.2547000050544739}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/ase63991.2025.00073","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ase63991.2025.00073","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320320671","display_name":"National Research Foundation","ror":"https://ror.org/05s0g1g46"},{"id":"https://openalex.org/F4320334678","display_name":"European Research Council","ror":"https://ror.org/0472cxd90"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W1968461031","https://openalex.org/W1987647365","https://openalex.org/W2012431717","https://openalex.org/W2017485217","https://openalex.org/W2045833637","https://openalex.org/W2097347654","https://openalex.org/W2121217767","https://openalex.org/W2142892618","https://openalex.org/W2150650310","https://openalex.org/W2155877593","https://openalex.org/W2170224888","https://openalex.org/W2625141509","https://openalex.org/W2888822874","https://openalex.org/W2899720800","https://openalex.org/W3000510177","https://openalex.org/W4237155047","https://openalex.org/W4238083723","https://openalex.org/W4307886860","https://openalex.org/W4362676437","https://openalex.org/W4388483399","https://openalex.org/W4389165112","https://openalex.org/W4395106431","https://openalex.org/W4402442120","https://openalex.org/W4402442339","https://openalex.org/W4402442980","https://openalex.org/W4403223320"],"related_works":[],"abstract_inverted_index":{"WebAssembly":[0],"(Wasm)":[1],"programs":[2,144,160,187],"may":[3],"trigger":[4,146],"bugs":[5,151],"in":[6,152,167,179,194,206,214,230],"their":[7,164,191],"engine":[8],"implementations.":[9],"To":[10],"aid":[11],"debugging,":[12],"program":[13,25,34,73,106,134,210],"reduction":[14,35,74,127,182,217],"techniques":[15,36,75],"try":[16],"to":[17,131,161,188],"produce":[18],"a":[19,86,104,124,147],"smaller":[20],"variant":[21],"of":[22,99,119,150,163,174,181,190,201,208,216],"the":[23,29,56,61,90,97,100,110,113,117,120,159,172,175,186,199,202,223,239],"input":[24,62],"that":[26,76,94,107,145],"still":[27],"triggers":[28],"bug.":[30],"However,":[31],"existing":[32],"execution-unaware":[33,126],"struggle":[37],"with":[38,129],"large":[39],"and":[40,50,69,82,102,116,139,212,232],"complex":[41],"Wasm":[42,143],"programs,":[43],"because":[44],"they":[45],"rely":[46],"on":[47,141],"static":[48],"information":[49,58],"apply":[51],"syntactic":[52],"transformations,":[53],"while":[54],"ignoring":[55],"valuable":[57],"offered":[59],"by":[60,177,204],"program\u2019s":[63],"execution":[64,78],"behavior.":[65],"We":[66,136,219],"present":[67],"RR-Reduce":[68,84,130,138,157,221],"Hybrid-Reduce,":[70],"novel":[71],"execution-aware":[72],"leverage":[77],"behaviors":[79],"via":[80],"record":[81],"replay.":[83],"identifies":[85],"bug-triggering":[87],"function":[88,95,115],"as":[89,222],"target":[91,114],"function,":[92],"isolates":[93],"from":[96],"rest":[98,118],"program,":[101],"generates":[103],"reduced":[105,209],"replays":[108],"only":[109],"interactions":[111],"between":[112],"program.":[121],"Hybrid-Reduce":[122,140,184,233],"combines":[123],"complementary":[125],"technique":[128],"further":[132],"reduce":[133],"size.":[135],"evaluate":[137],"28":[142],"diverse":[148],"set":[149],"three":[153],"engines.":[154],"On":[155],"average,":[156],"reduces":[158,185],"1.20%":[162],"original":[165,192],"size":[166,193,211],"14.5":[168],"minutes,":[169,231],"which":[170,197],"outperforms":[171,198],"state":[173,200],"art":[176,203],"33.15\u00d7":[178],"terms":[180,207,215],"time.":[183,218],"0.13%":[189],"3.5":[195],"hours,":[196],"3.42\u00d7":[205],"2.26\u00d7":[213],"envision":[220],"go-to":[224],"tool":[225],"for":[226,234],"rapid,":[227],"on-demand":[228],"debugging":[229],"scenarios":[235],"where":[236],"developers":[237],"require":[238],"smallest":[240],"possible":[241],"programs.":[242]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2026-01-29T00:00:00"}