Unified Modelling and Consistency Verification of UML Multi-View Models Using Alloy (APSEC 2025 - Early Research Achievements (ERA))

Who

Yihui Guo, Shmuel Tyszberowicz, Zhiming Liu, Bo Liu

Track

APSEC 2025 Early Research Achievements (ERA)

Time Zone

The program is currently displayed in (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi.

Use conference time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, UrumqiSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Thu 4 Dec 2025 16:45 - 17:00 at (Session C) orchid room - Session 5C: Code Summarization (ERA Track) Chair(s): Zhen Yang

Yihui Guo

Southwest University

Shmuel Tyszberowicz

Zhiming Liu

Southwest University

Bo Liu

Southwest University

China

Time Zone

The program is currently displayed in (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi.

Use conference time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, UrumqiSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Thu 4 Dec
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

16:00 - 17:00	Session 5C: Code Summarization (ERA Track) Early Research Achievements (ERA) at (Session C) orchid room Chair(s): Zhen Yang Shandong University

16:00 15m Full-paper		CSMS: Boosting Class Code Summarization via Transformer Refinement and Method Summary Fusion Early Research Achievements (ERA) Feiqiao Mao , Xingyang Du Shenzhen University, Shaocheng Feng Shenzhen University, Jiafeng Guo Shenzhen University, Yifan Bai Shenzhen University
16:15 15m Full-paper		Retrieval-Augmented Code Generation of Low-Resource Programming Languages Early Research Achievements (ERA) Jianbo Lin Nanjing University, Yuan Zhang Nanjing University, Chuanyi Li Nanjing University, Wentao Zou , Jidong Ge Nanjing University, Bin Luo Nanjing University
16:30 15m Full-paper		TriGraSum: A Tri-level Graph-based Architecture for Source Code Summarization Early Research Achievements (ERA) Ruiguo Hu , Dongqi Wang Northeastern University, Mingzhao Xie Software College, Northeastern University, Zhenglin Li Northeastern University, Dongming Chen Northeastern University
16:45 15m Full-paper		Unified Modelling and Consistency Verification of UML Multi-View Models Using Alloy Early Research Achievements (ERA) Yihui Guo Southwest University, Shmuel Tyszberowicz , Zhiming Liu Southwest University, Bo Liu Southwest University