{"id":"https://openalex.org/W4413922012","doi":"https://doi.org/10.1145/3748273.3749202","title":"LIFT: Automating Symbolic Execution Optimization with Large Language Models for AI Networks","display_name":"LIFT: Automating Symbolic Execution Optimization with Large Language Models for AI Networks","publication_year":2025,"publication_date":"2025-09-02","ids":{"openalex":"https://openalex.org/W4413922012","doi":"https://doi.org/10.1145/3748273.3749202"},"language":"en","primary_location":{"id":"doi:10.1145/3748273.3749202","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3748273.3749202","pdf_url":null,"source":null,"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 2nd Workshop on Networks for AI Computing","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3748273.3749202","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5026062144","display_name":"Ruoxi Wang","orcid":null},"institutions":[{"id":"https://openalex.org/I12912129","display_name":"Northeastern University","ror":"https://ror.org/04t5xt781","country_code":"US","type":"education","lineage":["https://openalex.org/I12912129"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Ruoxi Wang","raw_affiliation_strings":["Northeastern University, Boston, MA, USA"],"affiliations":[{"raw_affiliation_string":"Northeastern University, Boston, MA, USA","institution_ids":["https://openalex.org/I12912129"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100377565","display_name":"Kun Li","orcid":"https://orcid.org/0000-0002-8305-0841"},"institutions":[{"id":"https://openalex.org/I154099455","display_name":"Shandong University","ror":"https://ror.org/0207yh398","country_code":"CN","type":"education","lineage":["https://openalex.org/I154099455"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Kun Li","raw_affiliation_strings":["Shandong University, Jinan, Shandong, China"],"affiliations":[{"raw_affiliation_string":"Shandong University, Jinan, Shandong, China","institution_ids":["https://openalex.org/I154099455"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103077343","display_name":"Minghui Xu","orcid":"https://orcid.org/0000-0003-3675-3461"},"institutions":[{"id":"https://openalex.org/I154099455","display_name":"Shandong University","ror":"https://ror.org/0207yh398","country_code":"CN","type":"education","lineage":["https://openalex.org/I154099455"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Minghui Xu","raw_affiliation_strings":["Shandong University, Jinan, Shandong, China"],"affiliations":[{"raw_affiliation_string":"Shandong University, Jinan, Shandong, China","institution_ids":["https://openalex.org/I154099455"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100333755","display_name":"Yue Zhang","orcid":"https://orcid.org/0000-0002-7786-0231"},"institutions":[{"id":"https://openalex.org/I154099455","display_name":"Shandong University","ror":"https://ror.org/0207yh398","country_code":"CN","type":"education","lineage":["https://openalex.org/I154099455"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yue Zhang","raw_affiliation_strings":["Shandong University, Jinan, Shandong, China"],"affiliations":[{"raw_affiliation_string":"Shandong University, Jinan, Shandong, China","institution_ids":["https://openalex.org/I154099455"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102775611","display_name":"Kaidi Xu","orcid":"https://orcid.org/0000-0003-4437-0671"},"institutions":[{"id":"https://openalex.org/I72816309","display_name":"Drexel University","ror":"https://ror.org/04bdffz58","country_code":"US","type":"education","lineage":["https://openalex.org/I72816309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kaidi Xu","raw_affiliation_strings":["Drexel University, Philadelphia, PA, USA"],"affiliations":[{"raw_affiliation_string":"Drexel University, Philadelphia, PA, USA","institution_ids":["https://openalex.org/I72816309"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5042904638","display_name":"Chunchi Liu","orcid":"https://orcid.org/0000-0003-0200-8092"},"institutions":[{"id":"https://openalex.org/I2250955327","display_name":"Huawei Technologies (China)","ror":"https://ror.org/00cmhce21","country_code":"CN","type":"company","lineage":["https://openalex.org/I2250955327"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chunchi Liu","raw_affiliation_strings":["Huawei Technologies Company Ltd., Shenzhen, Guangdong, China"],"affiliations":[{"raw_affiliation_string":"Huawei Technologies Company Ltd., Shenzhen, Guangdong, China","institution_ids":["https://openalex.org/I2250955327"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070580609","display_name":"Yinhao Xiao","orcid":"https://orcid.org/0000-0002-9871-9552"},"institutions":[{"id":"https://openalex.org/I201459984","display_name":"Guangdong University Of Finances and Economics","ror":"https://ror.org/0459pv085","country_code":"CN","type":"education","lineage":["https://openalex.org/I201459984"]},{"id":"https://openalex.org/I4210149618","display_name":"Guangdong University of Finance","ror":"https://ror.org/04grzdh47","country_code":"CN","type":"education","lineage":["https://openalex.org/I4210149618"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yinhao Xiao","raw_affiliation_strings":["Guangdong University of Finance and Economics, Guangzhou, Guangdong, China"],"affiliations":[{"raw_affiliation_string":"Guangdong University of Finance and Economics, Guangzhou, Guangdong, China","institution_ids":["https://openalex.org/I201459984","https://openalex.org/I4210149618"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100692488","display_name":"Xiuzhen Cheng","orcid":"https://orcid.org/0000-0001-5912-4647"},"institutions":[{"id":"https://openalex.org/I154099455","display_name":"Shandong University","ror":"https://ror.org/0207yh398","country_code":"CN","type":"education","lineage":["https://openalex.org/I154099455"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiuzhen Cheng","raw_affiliation_strings":["Shandong University, Jinan, Shandong, China"],"affiliations":[{"raw_affiliation_string":"Shandong University, Jinan, Shandong, China","institution_ids":["https://openalex.org/I154099455"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":8,"corresponding_author_ids":["https://openalex.org/A5026062144"],"corresponding_institution_ids":["https://openalex.org/I12912129"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.28164633,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"37","last_page":"42"},"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.9994000196456909,"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.9994000196456909,"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.9968000054359436,"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"}},{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9955999851226807,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.8190420269966125},{"id":"https://openalex.org/keywords/lift","display_name":"Lift (data mining)","score":0.6760276556015015},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.5487292408943176},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5240381360054016},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.33102279901504517},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.10493183135986328},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.07544252276420593}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8190420269966125},{"id":"https://openalex.org/C139002025","wikidata":"https://www.wikidata.org/wiki/Q3001212","display_name":"Lift (data mining)","level":2,"score":0.6760276556015015},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.5487292408943176},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5240381360054016},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.33102279901504517},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.10493183135986328},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.07544252276420593}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3748273.3749202","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3748273.3749202","pdf_url":null,"source":null,"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 2nd Workshop on Networks for AI Computing","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3748273.3749202","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3748273.3749202","pdf_url":null,"source":null,"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 2nd Workshop on Networks for AI Computing","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W2117448240","https://openalex.org/W2339906640","https://openalex.org/W3042605921","https://openalex.org/W3178469298","https://openalex.org/W4234053725","https://openalex.org/W4246263814","https://openalex.org/W4308643010","https://openalex.org/W4394769544","https://openalex.org/W4405907368"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2905722102","https://openalex.org/W2155539595","https://openalex.org/W2752815423","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4239107164"],"abstract_inverted_index":{"Dynamic":[0],"Symbolic":[1,121],"Execution":[2,122],"(DSE)":[3],"is":[4],"a":[5,27,68,97,145,154],"key":[6],"technique":[7],"in":[8,13,30,57,85,148,162,184],"program":[9],"analysis,":[10],"widely":[11],"used":[12],"software":[14],"testing,":[15],"vulnerability":[16],"discovery,":[17],"and":[18,54,112,120,123,128,134,153,167],"formal":[19],"verification.":[20],"In":[21],"distributed":[22,185],"AI":[23,186],"systems,":[24],"DSE":[25],"plays":[26],"crucial":[28],"role":[29],"identifying":[31],"hard-to-detect":[32],"bugs,":[33],"especially":[34],"those":[35],"arising":[36],"from":[37],"complex":[38],"network":[39],"communication":[40],"patterns.":[41],"However,":[42],"traditional":[43],"approaches":[44],"to":[45,77,131],"symbolic":[46,86,93,182],"execution":[47,94,149,183],"are":[48],"often":[49],"hindered":[50],"by":[51,95],"scalability":[52],"issues":[53],"inefficiencies,":[55],"particularly":[56],"large-scale":[58],"systems.":[59,187],"This":[60],"paper":[61],"introduces":[62],"LIFT":[63,88],"(Large-language-model":[64],"Integrated":[65],"Functional-equivalent-IR":[66],"Transformation),":[67],"novel":[69],"framework":[70,105],"that":[71,173],"leverages":[72],"Large":[73],"Language":[74],"Models":[75],"(LLMs)":[76],"automate":[78],"the":[79,90],"optimization":[80],"of":[81,92,107],"Intermediate":[82],"Representations":[83],"(IRs)":[84],"execution.":[87],"addresses":[89],"challenges":[91],"providing":[96],"scalable,":[98],"context-sensitive":[99],"solution":[100],"for":[101,151,157],"IR":[102,110,118,163],"transformation.":[103],"The":[104],"consists":[106],"two":[108],"phases:":[109],"Analysis":[111],"Optimization,":[113],"where":[114],"LLMs":[115,174],"optimize":[116],"time-intensive":[117],"blocks,":[119],"Validation,":[124],"which":[125],"includes":[126],"benchmarking":[127],"semantic":[129],"verification":[130],"ensure":[132],"correctness":[133],"generalizability.":[135],"Experiments":[136],"on":[137],"real-world":[138],"binaries":[139],"demonstrated":[140],"significant":[141],"performance":[142],"improvements,":[143],"including":[144],"53.5%":[146],"reduction":[147,156],"time":[150],"bigtest":[152],"10.24%":[155],"random,":[158],"along":[159],"with":[160],"reductions":[161],"statements,":[164],"PUT":[165],"instructions,":[166],"temporary":[168],"variables.":[169],"These":[170],"results":[171],"demonstrate":[172],"simplify":[175],"IRs":[176],"while":[177],"maintaining":[178],"functional":[179],"correctness,":[180],"enhancing":[181]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}