Aurora C - ISSTA 2025

Room nameAurora C

Floor0

Capacity94

Room InformationNo extra information available

Information for Participants

Info for room Aurora C:

Aurora C is the third room in the Aurora wing.

When facing the main Cosmos Hall, access to the Aurora wing is on the right, close to the side entrance of the hotel.

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

11:00 - 12:15	Systems and PerformanceResearch Papers at Aurora C Chair(s): Lars Grunske Humboldt-Universität zu Berlin

11:00 25m Talk		Preventing Disruption of System Backup Against Ransomware Attacks Research Papers Yiwei Hou Tsinghua University, Lihua Guo Tsinghua University, Chijin Zhou Tsinghua University, Quan Zhang Tsinghua University, Wenhuan Liu Tsinghua University/Union Tech, Chengnian Sun University of Waterloo, Yu Jiang Tsinghua University DOI
11:25 25m Talk		Rethinking Performance Analysis for Configurable Software Systems: A Case Study from a Fitness Landscape Perspective Research Papers Mingyu Huang University of Electronic Science and Technology of China, Peili Mao University of Electronic Science and Technology of China, Ke Li University of Exeter DOI
11:50 25m Talk		Hulk: Exploring Data-Sensitive Performance Anomalies in DBMSs via Data-Driven Analysis Research Papers Zhiyong Wu Tsinghua University, China, Jie Liang , Jingzhou Fu School of Software, Tsinghua University, Mingzhe Wang Tsinghua University, Yu Jiang Tsinghua University DOI

14:00 - 15:15	Runtime Analysis, Verification, and SlicingResearch Papers at Aurora C Chair(s): Heqing Huang City University of Hong Kong

14:00 25m Talk		Adding Spatial Memory Safety to EDK II through Checked C (Experience Paper) Research Papers Sourag Cherupattamoolayil Purdue University, Arunkumar Bhattar Purdue University, Connor Everett Glosner Purdue University, Aravind Machiry Purdue University DOI
14:25 25m Talk		LogBase: A Large-Scale Benchmark for Semantic Log Parsing Research Papers Chenbo Zhang Fudan University, Wenying Xu Fudan University, Jinbu Liu Alibaba, Lu Zhang Fudan University, Guiyang Liu Alibaba, Jihong Guan Tongji University, Qi Zhou Alibaba, Shuigeng Zhou Fudan University DOI
14:50 25m Talk		Static Program Reduction via Type-Directed Slicing Research Papers Loi Ngo Duc Nguyen University of California, Riverside, Tahiatul Islam New Jersey Institute of Technology, Theron Wang The Academy for Mathematics, Science & Engineering, USA, Sam Lenz New Jersey Institute of Technology, Martin Kellogg New Jersey Institute of Technology DOI Pre-print

16:00 - 17:30	Formal Analysis and Symbolic ExecutionResearch Papers / Tool Demonstrations at Aurora C Chair(s): Na Meng Virginia Tech

16:00 25m Talk		Model Checking Guided Incremental Testing for Distributed Systems Research Papers Yu Gao Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Dong Wang Institute of software, Chinese academy of sciences, Wensheng Dou Institute of Software Chinese Academy of Sciences, Wenhan Feng Institute of Software, Chinese Academy of Sciences, Yu Liang Institute of Software Chinese Academy of Sciences, Yuan Feng Wuhan Dameng Database Co., Ltd, Jun Wei Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences DOI
16:25 25m Talk		Identifying Multi-Parameter Constraint Errors in Python Data Science Library API Documentations Research Papers Xiufeng Xu Nanyang Technological University, Fuman Xie University of Queensland, Chenguang Zhu Meta AI, Guangdong Bai University of Queensland, Sarfraz Khurshid University of Texas at Austin, Yi Li Nanyang Technological University DOI Pre-print
16:50 25m Talk		Freesia: Verifying Correctness of TEE Communication with Concurrent Separation Logic Research Papers Fanlang Zeng Zhejiang University, Rui Chang Zhejiang University, Hongjian Liu Zhejiang University, Hangzhou, China DOI
17:15 15m Demonstration		TBFV4J: An Automated Testing-Based Formal Verification Tool for Java Tool Demonstrations Ai Liu , Yang Liu , Shaoying Liu

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


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Aurora C	Research Papers Systems and Performance																																				Research Papers Runtime Analysis, Verification, and Slicing																								Research Papers + Tool Demonstrations Formal Analysis and Symbolic Execution

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


Room	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
Aurora C	ISSTA Research Papers Preventing Disruption of System Backup Against Ransomware Attacks 11:00 - 11:25					ISSTA Research Papers Rethinking Performance Analysis for Configurable Software Systems: A Ca ... 11:25 - 11:50					ISSTA Research Papers Hulk: Exploring Data-Sensitive Performance Anomalies in DBMSs via Data- ... 11:50 - 12:15																										ISSTA Research Papers Adding Spatial Memory Safety to EDK II through Checked C (Experience Paper) 14:00 - 14:25					ISSTA Research Papers LogBase: A Large-Scale Benchmark for Semantic Log Parsing 14:25 - 14:50					ISSTA Research Papers Static Program Reduction via Type-Directed Slicing 14:50 - 15:15														ISSTA Research Papers Model Checking Guided Incremental Testing for Distributed Systems 16:00 - 16:25					ISSTA Research Papers Identifying Multi-Parameter Constraint Errors in Python Data Science Li ... 16:25 - 16:50					ISSTA Research Papers Freesia: Verifying Correctness of TEE Communication with Concurrent Sep ... 16:50 - 17:15					ISSTA Tool Demonstrations TBFV4J: An Automated Testing-Based Formal Verification Tool for Java 17:15 - 17:30

Room information: Aurora C

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

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

Research Papers

Research Papers

Research Papers + Tool Demonstrations

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

Tracks

Workshops

Room information: Aurora C

Program Display Configuration

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

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

Research Papers

Research Papers

Research Papers + Tool Demonstrations

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

Information for Participants

Information for Participants

Information for Participants

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

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

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