Internetware 2024 (series) / Research Track /
Detecting Optimizing Compiler Bugs via History-Driven Test Program Mutation
Thu 25 Jul 2024 09:30 - 09:45 at Main Conference Room - Session 4: Code Analysis and Optimization Chair(s): Yanlin Wang
Thu 25 JulDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Thu 25 Jul
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
09:00 - 10:00 | Session 4: Code Analysis and OptimizationResearch Track / New Idea Track at Main Conference Room Chair(s): Yanlin Wang Sun Yat-sen University | ||
09:00 15mFull-paper | Structure-Sensitive Pointer Analysis for Multi-structure Objects Research Track Xun An Institute of Information Engineering, Chinese Academy of Sciences, Xiaoqi Jia Institute of Information Engineering, Chinese Academy of Sciences, Haichao Du Institute of Information Engineering, Chinese Academy of Sciences, Yamin Xie | ||
09:15 15mShort-paper | Path Exploration Strategy for Symbolic Execution based on Multi-strategy Active Learning New Idea Track lianying he , Dalin Zhang Beijing Jiaotong University, Dongqing Zhu , Junwen Zhang , Rui Wang , Jiqiang liu | ||
09:30 15mFull-paper | Detecting Optimizing Compiler Bugs via History-Driven Test Program Mutation Research Track Junwei Zeng Nanjing University of Aeronautics and Astronautics, Yixuan Tang Nanjing University of Aeronautics and Astronautics, Jingxuan Zhang Nanjing University of Aeronautics and Astronautics, Weiwei Li , Zhiqiu Huang Nanjing University of Aeronautics and Astronautics | ||
09:45 15mFull-paper | Accelerating Static Null Pointer Dereference Detection with Parallel Computing Research Track Runlin Xu National University of Defense Technology, Xiaoguang Mao National University of Defense Technology, Haifang Zhou National University of Defense Technology, Luohui Chen National University of Defense Technology, Ruyi Zhang , Yuanliang Zhang , Wei Xiao | ||