8：55-9：00

开场介绍

论坛嘉宾：张洪宇（重庆大学）

张路（北京大学）

熊英飞（北京大学）

主持人：张雅坤（哈尔滨工业大学（深圳））

1

9：00-9：20

Coding in a Bubble? Evaluating LLMs in Resolving Context Adaptation Bugs during Code Adaptation

报告人：张汤浩然

单位：国防科技大学

指导老师：毛新军、余跃

2

9：20-9：40

TransAgent: Enhancing LLM-Based Code Translation via Fine-Grained Execution Alignment

报告人：袁志强

单位：复旦大学

指导老师：彭鑫、娄一翎

3

9：40-10：00

On the Road to Personalized Code Intelligence: Portraiting and Assisting Developers Based on Their In-IDE Behaviors

报告人：刘禹宏

单位：北京航空航天大学

指导老师：石琳

4

10：00-10：20

ProofFusion: Improving Neural Theorem Proving via Adaptive Retrieval-Augmented Reasoning

报告人：张满青

单位：西北工业大学

指导老师：董云卫

5

10：20-10：40

DiverFPS: Generating Diverse Solutions for Floating-Point SMT Formulas

报告人：吕双羽

单位：北京航空航天大学

指导老师：罗川

6

10：40-11：00

TestTailor: Generating High-Coverage Tests via Path-Proximal Tests with LLMs

报告人：周小渲

单位：北京大学

指导老师：郝丹、娄一翎

7

11：00-11：20

Three Heads Are Better Than One: A Multi-Perspective Reasoning Framework for Enhanced Vulnerability Detection

报告人：彭鑫

单位：国防科技大学

指导老师：毛晓光、王尚文

13：55-14：00

开场介绍

论坛嘉宾：彭鑫（复旦大学）

玄跻峰（武汉大学）

梁广泰（华为云）

主持人：张雅坤（哈尔滨工业大学（深圳））

8

14：00-14：20

Reducing Cost of LLM Agents with Trajectory Reduction

报告人：肖元安

单位：北京大学

指导老师：熊英飞

9

14：20-14：40

Co-Evolution of Types and Dependencies: Towards Repository-Level Type Inference for Python Code

报告人：孙朔

单位：中国科学院软件研究所

指导老师：严俊

10

14：40-15：00

Precondition Synthesis for Deep Neural Networks with Statistical Guarantees

报告人：刘增玉

单位：国防科技大学

指导老师：王戟

11

15：00-15：20

When Shared Worlds Break: Demystifying Defects in Multi-User Extended Reality Software Systems

报告人：李树青

单位：香港中文大学

指导老师：Michael R. Lyu

12

15：20-15：40

WalleTruth: Visual-Oriented Software Testing for Web3 Wallet Browser Extensions

报告人：胡小蕙

单位：华中科技大学

指导老师：王浩宇、贺宁宇

13

15：40-16：00

From Suspicious Signals to Crashes: Guiding Bug-driven GUI Testing via Code-inspired Tracing

报告人：陈孟卓

单位：中国科学院软件研究所

指导老师：刘哲、王俊杰

14

16：00-16：20

AccessDroid: Detecting Screen Reader Accessibiliy Issues in Android Applications via Semantics Trees

报告人：周航

单位：南京理工大学

指导老师：宋巍

15

16：20-16：40

Knowledge-Graph-Driven Data Synthesis for Low-Resource Software 

Development: A HarmonyOS Case Study

报告人：裴政

单位：中山大学

指导老师：刘名威