{"id":"https://openalex.org/W4411450018","doi":"https://doi.org/10.1145/3729402","title":"Blended Analysis for Predictive Execution","display_name":"Blended Analysis for Predictive Execution","publication_year":2025,"publication_date":"2025-06-19","ids":{"openalex":"https://openalex.org/W4411450018","doi":"https://doi.org/10.1145/3729402"},"language":"en","primary_location":{"id":"doi:10.1145/3729402","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3729402","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":null,"license_id":null,"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":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5107249192","display_name":"Yi Li","orcid":"https://orcid.org/0009-0007-0143-0677"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yi Li","raw_affiliation_strings":["University of Texas at Dallas, Dallas, USA"],"raw_orcid":"https://orcid.org/0009-0007-0143-0677","affiliations":[{"raw_affiliation_string":"University of Texas at Dallas, Dallas, USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5099100763","display_name":"Hridya Dhulipala","orcid":"https://orcid.org/0009-0001-4474-2984"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hridya Dhulipala","raw_affiliation_strings":["University of Texas at Dallas, Dallas, USA"],"raw_orcid":"https://orcid.org/0009-0001-4474-2984","affiliations":[{"raw_affiliation_string":"University of Texas at Dallas, Dallas, USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013721981","display_name":"Aashish Yadavally","orcid":"https://orcid.org/0000-0001-8785-6319"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Aashish Yadavally","raw_affiliation_strings":["University of Texas at Dallas, Dallas, USA"],"raw_orcid":"https://orcid.org/0000-0001-8785-6319","affiliations":[{"raw_affiliation_string":"University of Texas at Dallas, Dallas, USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5118337512","display_name":"Xiaokai Rong","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Xiaokai Rong","raw_affiliation_strings":["University of Texas at Dallas, Dallas, USA"],"raw_orcid":"https://orcid.org/0009-0000-8457-8528","affiliations":[{"raw_affiliation_string":"University of Texas at Dallas, Dallas, USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070990953","display_name":"Shaohua Wang","orcid":"https://orcid.org/0000-0001-5777-7759"},"institutions":[{"id":"https://openalex.org/I137867983","display_name":"Central University of Finance and Economics","ror":"https://ror.org/008e3hf02","country_code":"CN","type":"education","lineage":["https://openalex.org/I137867983"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shaohua Wang","raw_affiliation_strings":["Central University of Finance and Economics, Bejing, China"],"raw_orcid":"https://orcid.org/0000-0001-5777-7759","affiliations":[{"raw_affiliation_string":"Central University of Finance and Economics, Bejing, China","institution_ids":["https://openalex.org/I137867983"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5089000736","display_name":"Tien N. Nguyen","orcid":"https://orcid.org/0009-0006-7962-6090"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tien N. Nguyen","raw_affiliation_strings":["University of Texas at Dallas, Dallas, USA"],"raw_orcid":"https://orcid.org/0009-0006-7962-6090","affiliations":[{"raw_affiliation_string":"University of Texas at Dallas, Dallas, USA","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"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.18921026,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"2","issue":"FSE","first_page":"2987","last_page":"3008"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9998999834060669,"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.9998999834060669,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9997000098228455,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9977999925613403,"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.8640946745872498},{"id":"https://openalex.org/keywords/program-slicing","display_name":"Program slicing","score":0.6494114398956299},{"id":"https://openalex.org/keywords/leverage","display_name":"Leverage (statistics)","score":0.5945627689361572},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.5294254422187805},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5073623061180115},{"id":"https://openalex.org/keywords/trace","display_name":"TRACE (psycholinguistics)","score":0.49876856803894043},{"id":"https://openalex.org/keywords/python","display_name":"Python (programming language)","score":0.4633517563343048},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.4520667493343353},{"id":"https://openalex.org/keywords/branch-predictor","display_name":"Branch predictor","score":0.42381149530410767},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.41563040018081665},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.30067580938339233},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.28754955530166626}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8640946745872498},{"id":"https://openalex.org/C91071405","wikidata":"https://www.wikidata.org/wiki/Q1413145","display_name":"Program slicing","level":3,"score":0.6494114398956299},{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.5945627689361572},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.5294254422187805},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5073623061180115},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.49876856803894043},{"id":"https://openalex.org/C519991488","wikidata":"https://www.wikidata.org/wiki/Q28865","display_name":"Python (programming language)","level":2,"score":0.4633517563343048},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.4520667493343353},{"id":"https://openalex.org/C168522837","wikidata":"https://www.wikidata.org/wiki/Q679552","display_name":"Branch predictor","level":2,"score":0.42381149530410767},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.41563040018081665},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.30067580938339233},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.28754955530166626},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3729402","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3729402","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":null,"license_id":null,"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":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W2009489720","https://openalex.org/W2809426407","https://openalex.org/W2955685982","https://openalex.org/W2964144088","https://openalex.org/W3105943882","https://openalex.org/W4200338154","https://openalex.org/W4231040899","https://openalex.org/W4237492309","https://openalex.org/W4384302778","https://openalex.org/W4389162118","https://openalex.org/W4391558490","https://openalex.org/W4399567462"],"related_works":["https://openalex.org/W2080412071","https://openalex.org/W2011854888","https://openalex.org/W1996791333","https://openalex.org/W2026117800","https://openalex.org/W1992550622","https://openalex.org/W4234735799","https://openalex.org/W2764797736","https://openalex.org/W772318632","https://openalex.org/W1528649993","https://openalex.org/W3022626626"],"abstract_inverted_index":{"Although":[0],"Large":[1],"Language":[2],"Models":[3],"(LLMs)":[4],"are":[5],"highly":[6],"proficient":[7],"in":[8,18,48,64,89,166,205],"understanding":[9],"source":[10],"code":[11,29,209],"and":[12,28,32,62,80,104,212],"descriptive":[13],"texts,":[14],"they":[15],"have":[16],"limitations":[17],"reasoning":[19],"on":[20,155],"dynamic":[21,50],"program":[22,40],"behaviors,":[23,51],"such":[24],"as":[25],"execution":[26,91,100,111,169,181],"trace":[27,133,182],"coverage":[30,210],"prediction,":[31,35],"runtime":[33],"error":[34],"which":[36],"usually":[37],"require":[38],"actual":[39],"execution.":[41],"To":[42],"advance":[43],"the":[44,54,87,96,106,131,136,145,172,196],"ability":[45],"of":[46,56,98,215],"LLMs":[47],"predicting":[49,90,167,188],"we":[52,122,201],"leverage":[53,105],"strengths":[55],"both":[57],"approaches,":[58],"Program":[59],"Analysis":[60],"(PA)":[61],"LLM,":[63],"building":[65],"PredEx,":[66],"a":[67,75],"predictive":[68,99,124],"executor":[69],"for":[70,218],"Python.":[71],"Our":[72,152],"principle":[73],"is":[74,119,198],"blended":[76],"analysis":[77,211],"between":[78],"PA":[79,84],"LLM":[81,88],"to":[82,85,134],"use":[83,123],"guide":[86],"traces.":[92],"We":[93],"break":[94],"down":[95],"task":[97],"into":[101,148],"smaller":[102],"sub-tasks":[103],"deterministic":[107],"nature":[108],"when":[109],"an":[110],"order":[112],"can":[113],"be":[114],"deterministically":[115],"decided.":[116],"When":[117],"it":[118],"not":[120],"certain,":[121],"backward":[125],"slicing":[126,130],"per":[127],"variable,":[128],"i.e.,":[129],"prior":[132],"only":[135],"parts":[137],"that":[138,159],"affect":[139],"each":[140],"variable":[141],"separately":[142],"breaks":[143],"up":[144],"valuation":[146],"prediction":[147,214],"significantly":[149],"simpler":[150],"problems.":[151],"empirical":[153],"evaluation":[154],"real-world":[156],"datasets":[157],"shows":[158],"PredEx":[160],"achieves":[161],"31.5\u201347.1%":[162],"relatively":[163],"higher":[164],"accuracy":[165],"full":[168],"traces":[170],"than":[171,184],"state-of-the-art":[173],"models.":[174],"It":[175],"also":[176],"produces":[177],"8.6\u201353.7%":[178],"more":[179],"correct":[180],"prefixes":[183],"those":[185],"baselines.":[186],"In":[187],"next":[189],"executed":[190],"statements,":[191],"its":[192],"relative":[193],"improvement":[194],"over":[195],"baselines":[197],"15.7\u2013102.3%.":[199],"Finally,":[200],"show":[202],"PredEx\u2019s":[203],"usefulness":[204],"two":[206],"tasks:":[207],"static":[208,213],"run-time":[216],"errors":[217],"(in)complete":[219],"code.":[220]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}