Internetware 2024
Wed 24 - Fri 26 July 2024 Macau, China

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
15m
Full-paper
An Empirical Study on Code Search Pre-trained Models: Academic Progresses vs. Industry Requirements
Research Track
Kuo Chi , Chuanyi Li Nanjing University, Jidong Ge Nanjing University, Bin Luo Nanjing University
11:35
15m
Full-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 ShenZhen University, Haiyue Feng College of Computer Science and Software Engineering, Shenzhen University, Shenzhen, China
11:50
15m
Full-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
15m
Full-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
15m
Full-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