Cosmos Hall - ISSTA 2025

Room nameCosmos Hall

Floor0

Capacity1062

Room InformationNo extra information available

Information for Participants

Info for room Cosmos Hall:

This is the main event hall of Clarion Hotel, which will be used to host keynote talks and other plenary sessions. The FSE and ISSTA banquets will also happen in this room.

The room is just in front of the registration desk, on the other side of the main conference area. The two large doors with numbers “1” and “2” provide access to the Cosmos Hall.

Program

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect 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

You're viewing the program in a time zone which is different from your device's time zone change time zone

Wed 25 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:45 - 09:00	ISSTA WelcomePlenary Events at Cosmos Hall

08:45 15m Day opening		Welcome to ISSTA 2025 Plenary Events Mike Papadakis University of Luxembourg

09:00 - 09:30	AwardsPlenary Events at Cosmos Hall Chair(s): Claire Le Goues Carnegie Mellon University

09:00 30m Awards		SIGSOFT Impact Award Plenary Events

09:30 - 10:30	ISSTA and FSE Joint KeynotePlenary Events at Cosmos Hall Chair(s): Denys Poshyvanyk William & Mary

09:30 60m Keynote		Leveraging Latent-space Generative Models for Testing Plenary Events Matthew B Dwyer University of Virginia

Thu 26 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30	KeynotePlenary Events at Cosmos Hall Chair(s): Myra Cohen Iowa State University

09:00 90m Keynote		Correctness Matters: Automatic Program Transformation in the Age of Generative AI Plenary Events Claire Le Goues Carnegie Mellon University

11:00 - 12:15	LLM-based Code AnalysisResearch Papers at Cosmos Hall Chair(s): Zan Wang Tianjin University

11:00 25m Talk		Enhanced Prompting Framework for Code Summarization with Large Language Models Research Papers Minying Fang Qingdao University of Science and Technology, Xing Yuan Qingdao University of Science and Technology, Yuying Li Qingdao University of Science and Technology, Haojie Li Qingdao University of Science and Technology, Chunrong Fang Nanjing University, Junwei Du Qingdao University of Science and Technology DOI
11:25 25m Talk		CrossProbe: LLM-empowered Cross-Project Bug Detection for Deep Learning Frameworks Research Papers Hao Guan University of Queensland, Southern University of Science and Technology, Guangdong Bai University of Queensland, Yepang Liu Southern University of Science and Technology DOI
11:50 25m Talk		Safe4U: Identifying Unsound Safe Encapsulations of Unsafe Calls in Rust using LLMs Research Papers Huan Li Zhejiang University, China, Bei Wang Zhejiang University, China, Xing Hu Zhejiang University, Xin Xia Zhejiang University DOI

14:00 - 15:30	Code and Documentation GenerationResearch Papers / Tool Demonstrations at Cosmos Hall Chair(s): Ying Zou Queen's University, Kingston, Ontario

14:00 25m Talk		The First Prompt Counts the Most! An Evaluation of Large Language Models on Iterative Example-based Code Generation Research Papers Yingjie Fu Peking University, Bozhou Li Peking University, Linyi Li Simon Fraser University, Wentao Zhang Peking University, Tao Xie Peking University DOI
14:25 25m Talk		VerLog: Enhancing Release Note Generation for Android Apps using Large Language Models Research Papers Jiawei Guo University at Buffalo, SUNY, Haoran Yang Washington State University, Haipeng Cai University at Buffalo, SUNY DOI
14:50 25m Talk		Can LLMs replace Human Evaluators? An Empirical Study of LLM-as-a-Judge in Software Engineering Tasks Research Papers Ruiqi Wang Harbin Institute of Technology, Shenzhen, Jiyu Guo Harbin Institute of Technology, Shenzhen, Cuiyun Gao Harbin Institute of Technology, Guodong Fan Shandong Agriculture and Engineering University, Chun Yong Chong Huawei, Xin Xia Zhejiang University DOI Pre-print
15:15 15m Demonstration		Code2API: A Tool for Generating Reusable APIs from Stack Overflow Code Snippets Tool Demonstrations Yubo Mai Zhejiang University, Zhipeng Gao Shanghai Institute for Advanced Study - Zhejiang University, Xing Hu Zhejiang University, Lingfeng Bao Zhejiang University, Jingyuan Chen , JianLing Sun Zhejiang University

19:00 - 22:00	BanquetPlenary Events at Cosmos Hall

19:00 3h Social Event		Banquet Plenary Events

Fri 27 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30	KeynotePlenary Events at Cosmos Hall Chair(s): Paolo Tonella USI Lugano

09:00 90m Talk		An Analysis of Patch Plausibility and Correctness for Generate-and-validate Patch Generation Systems (ISSTA MIP Talk) Plenary Events Zichao Qi MIT, Fan Long University of Toronto, Sara Achour Stanford University, Martin C. Rinard Massachusetts Institute of Technology

11:00 - 12:05	Empirical StudiesTool Demonstrations / Research Papers at Cosmos Hall Chair(s): Miryung Kim UCLA and Amazon Web Services

11:00 25m Talk		Fixing Outside the Box: Uncovering Tactics for Open-Source Security Issue Management Research Papers Lyuye Zhang Nanyang Technological University, Wu Jiahui , Chengwei Liu Nanyang Technological University, Kaixuan Li Nanyang Technological University, Xiaoyu Sun Australian National University, Australia, Lida Zhao Nanyang Technological University, Chong Wang Nanyang Technological University, Yang Liu Nanyang Technological University DOI
11:25 25m Talk		More Effective JavaScript Breaking Change Detection via Dynamic Object Relation Graph Research Papers Dezhen Kong Zhejiang University, Jiakun Liu Singapore Management University, Chao Ni Zhejiang University, David Lo Singapore Management University, Lingfeng Bao Zhejiang University DOI
11:50 15m Demonstration		LiPSBOMaker: A Prototype of Multi-Stage Linux Distribution Package SBOM Generator Tool Demonstrations Tong Qiu , Jiaxin Zhu Institute of Software at Chinese Academy of Sciences, Wei Chen Institute of Software at Chinese Academy of Sciences, Jun Wei Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences

17:30 - 17:45	ISSTA ClosingPlenary Events at Cosmos Hall

17:30 15m Day closing		Closing Session for ISSTA 25 Plenary Events Mike Papadakis University of Luxembourg

Wed 25 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	8:00						30						9:00						30						10:00						30
Cosmos Hall										Plenary Events ISSTA Welcome			Plenary Events Awards						Plenary Events ISSTA and FSE Joint Keynote

Thu 26 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30						19:00						30						20:00						30						21:00						30
Cosmos Hall	Plenary Events Keynote																								Research Papers LLM-based Code Analysis																																				Research Papers + Tool Demonstrations Code and Documentation Generation																																																												Plenary Events Banquet

Fri 27 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Cosmos Hall	Plenary Events Keynote																								Tool Demonstrations + Research Papers Empirical Studies																																																																														Plenary Events ISSTA Closing

Wed 25 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	8:00			15			30			45			9:00			15			30			45			10:00			15			30			45
Cosmos Hall										ISSTA Plenary Events Welcome to ISSTA 2025 08:45 - 09:00			ISSTA Plenary Events SIGSOFT Impact Award 09:00 - 09:30						ISSTA Plenary Events Leveraging Latent-space Generative Models for Testing 09:30 - 10:30

Thu 26 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45			18:00			15			30			45			19:00			15			30			45			20:00			15			30			45			21:00			15			30			45
Cosmos Hall	ISSTA Plenary Events Correctness Matters: Automatic Program Transformation in the Age of Gen ... 09:00 - 10:30																								ISSTA Research Papers Enhanced Prompting Framework for Code Summarization with Large Language ... 11:00 - 11:25					ISSTA Research Papers CrossProbe: LLM-empowered Cross-Project Bug Detection for Deep Learning ... 11:25 - 11:50					ISSTA Research Papers Safe4U: Identifying Unsound Safe Encapsulations of Unsafe Calls in Rust ... 11:50 - 12:15																										ISSTA Research Papers The First Prompt Counts the Most! An Evaluation of Large Language Model ... 14:00 - 14:25					ISSTA Research Papers VerLog: Enhancing Release Note Generation for Android Apps using Large ... 14:25 - 14:50					ISSTA Research Papers Can LLMs replace Human Evaluators? An Empirical Study of LLM-as-a-Judge ... 14:50 - 15:15					ISSTA Tool Demonstrations Code2API: A Tool for Generating Reusable APIs from Stack Overflow Code ... 15:15 - 15:30																																													ISSTA Plenary Events Banquet 19:00 - 22:00

Fri 27 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Cosmos Hall	ISSTA Plenary Events An Analysis of Patch Plausibility and Correctness for Generate-and-vali ... 09:00 - 10:30																								ISSTA Research Papers Fixing Outside the Box: Uncovering Tactics for Open-Source Security Iss ... 11:00 - 11:25					ISSTA Research Papers More Effective JavaScript Breaking Change Detection via Dynamic Object ... 11:25 - 11:50					ISSTA Tool Demonstrations LiPSBOMaker: A Prototype of Multi-Stage Linux Distribution Package SBOM ... 11:50 - 12:05																																																																				ISSTA Plenary Events Closing Session for ISSTA 25 17:30 - 17:45

Room information: Cosmos Hall

Wed 25 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 26 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 27 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 25 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Plenary Events

Plenary Events

Plenary Events

Thu 26 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Plenary Events

Research Papers

Research Papers + Tool Demonstrations

Plenary Events

Fri 27 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Plenary Events

Tool Demonstrations + Research Papers

Plenary Events

Wed 25 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 26 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 27 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tracks

Workshops

Room information: Cosmos Hall

Program Display Configuration

Wed 25 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 26 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 27 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 25 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Plenary Events

Plenary Events

Plenary Events

Thu 26 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Plenary Events

Research Papers

Research Papers + Tool Demonstrations

Plenary Events

Fri 27 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Plenary Events

Tool Demonstrations + Research Papers

Plenary Events

Wed 25 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 26 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 27 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Wed 25 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 26 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 27 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 25 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 26 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 27 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 25 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 26 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 27 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change