ASE 2026 (series) / Research Papers /
Verifier-in-the-Loop LLM Solving of Heap Constraints for Concolic Execution
Thu 15 Oct 2026 14:30 - 14:45 at Forum 2 - Testing and Analysis: Static and Dynamic Analysis 2
Thu 15 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Thu 15 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
14:00 - 16:00 | |||
14:00 15mTalk | Testing Static Analyzers via Semantic-Preserving Mutators Learned from Real-World Refactoring Practice Research Papers Meilin Li Chongqing University, Kaixuan Li Nanyang Technological University, Zifan Xie Chongqing University, Shiyu Qiu Huazhong University of Science and Technology, Ming Wen Huazhong University of Science and Technology, Maolin Sun Nanjing University, Hongyu Zhang Chongqing University Pre-print | ||
14:15 15mTalk | PL4SA: Optimized Partial Library Selection for Efficient Static Analysis Research Papers Guohao Feng Nanjing University, Yifei Lu State Key Laboratory for Novel Software Technology, Nanjing University, China, Minxue Pan Nanjing University | ||
14:30 15mTalk | Verifier-in-the-Loop LLM Solving of Heap Constraints for Concolic Execution Research Papers Shaoran Xia Fudan University, Leyi Cheng Soochow University, Caihua Dong Fudan University, Dongdong She HKUST (The Hong Kong University of Science and Technology), Bo Wang Beijing Jiaotong University, Xin Peng Fudan University, Zhen Dong Fudan University | ||
14:45 15mTalk | Top-Down Multi-agent LLM System with Runtime Data for MISRA C Violation Detection Industry Showcase Ahcheong Lee KAIST, Yeongbin Kang KAIST, Sechang Jang KAIST, Heechan Yang , Moonzoo Kim VplusLab; KAIST | ||
15:00 15mTalk | Tracing the Invisible: Semantic Message Flow Discovery via Data Contracts in Real-World Distributed Systems Research Papers youlong chen Institute of Computing Technology at Chinese Academy of Sciences; Zhongguancun Laboratory, Jie Lu Institute of Computing Technology at Chinese Academy of Sciences, mingtao huang Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Chenghang Shi SKLP, Institute of Computing Technology, CAS, Yongheng Huang Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Haofeng Li SKLP, Institute of Computing Technology, CAS, Dong Liu Center Research Institute, ZTE Coporation, China, Mengna Ma Zhongguancun Laboratory, Yong Liu Zhongguancun Laboratory; Qi An Xin Technology Group, Qinfen Hao Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of Sciences; Zhongguancun Laboratory, Lian Li Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of Sciences | ||
15:15 15mTalk | GPU-Accelerated Belief Propagation for Program Analysis Research Papers | ||
15:30 15mTalk | TasmScan: Continuation-Aware Taint Analysis for TVM Bytecode with Savelist Abstraction Research Papers Yixuan Liu Nanyang Technological University, Singapore, Yin Wu Xi'an Jiaotong University, Yi Li Nanyang Technological University Pre-print | ||
15:45 15mTalk | Safe Multi-site Binary Instrumentation of Running x86-64 Programs Research Papers Jihun Baek UNIST, Sanghoon Han UNIST, Hyungon Moon Ulsan National Institute of Science and Technology (UNIST) | ||