Internetware 2024 (series) / Research Track /
On the Heterophily of Program Graphs: A Case Study of Graph-based Type Inference
This program is tentative and subject to change.
Wed 24 Jul 2024 11:50 - 12:05 at Main Conference Room - Session 1: AI for Software Engineering Chair(s): Yongqiang Tian
This program is tentative and subject to change.
Wed 24 JulDisplayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
Wed 24 Jul
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change
11:20 - 12:35 | Session 1: AI for Software EngineeringResearch Track / Tool Demonstration Track / New Idea Track at Main Conference Room Chair(s): Yongqiang Tian The Hong Kong University of Science and Technology | ||
11:20 15mFull-paper | An Empirical Study on Code Search Pre-trained Models: Academic Progresses vs. Industry Requirements Research Track | ||
11:35 15mFull-paper | CRABS-former: Cross-Architecture Binary Code Similarity Detection based on Transformer Research Track Yuhong Feng Shenzhen University, Haoran Li Shenzhen University, Yixuan Cao ShenZhen University, Yufeng Wang , Haiyue Feng College of Computer Science and Software Engineering, Shenzhen University, Shenzhen, China | ||
11:50 15mFull-paper | On the Heterophily of Program Graphs: A Case Study of Graph-based Type Inference Research Track Senrong Xu , Jiamei Shen , Yunfang Li , Yuan Yao Nanjing University, Ping Yu , Feng Xu Nanjing University, Xiaoxing Ma Nanjing University | ||
12:05 15mFull-paper | An Exploratory Evaluation of Large Language Models Using Empirical Software Engineering Tasks Research Track Wenjun Liang Nanjing University of Aeronautics and Astronautics, China, Guanping Xiao Nanjing University of Aeronautics and Astronautics | ||
12:20 15mFull-paper | LLM-Enhanced Theorem Proving with Term Explanation and Tactic Parameter Repair Research Track Xingpeng Liu , Hengzhu Liu , Xiaodong Yi , Ji Wang School of Computer, National University of Defense Technology, China |