Ballroom - Internetware 2026

VenueHilton Surfers Paradise Hotel & Residences

Room nameBallroom

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT+10:00) Brisbane.

Use conference time zone: (GMT+10:00) BrisbaneSelect 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

Sat 18 Jul
Displayed time zone: Brisbane change

09:00 - 10:00	Keynote IKeynotes at Ballroom

09:00 60m Keynote		Reasoning Beyond LLMs and a Vision for Life After Superintelligence: The Player Era Keynotes Jin Song Dong National University of Singapore

10:30 - 11:30	Keynote IIKeynotes at Ballroom

10:30 60m Keynote		Formal Design of Safety-critical Cyber-Physical Systems Keynotes Naijun Zhan Peking University; Zhongguancun Laboratory

11:40 - 12:40	Session 1: Software Vulnerabilities and Security IResearch Track at Ballroom Chair(s): Yi Song School of Computer Science, Wuhan University

11:40 15m Talk		LiveFuzz: Detecting Exploitable Library Vulnerabilities from Client Programs via Directed Greybox Fuzzing Research Track Yukai Zhao , Menghan Wu Zhejiang University, Xing Hu Zhejiang University, Shaohua Wang Central University of Finance and Economics, Meng Luo The State Key Laboratory of Blockchain and Data Security, Zhejiang University, Xin Xia Zhejiang University
11:55 15m Talk		ATTAIN: Automated Exploit Failure Analysis through Trace-Driven Diff Analysis Research Track Xinwei Mao Zhejiang University, Zirui Chen Zhejiang University, Xing Hu Zhejiang University, Xin Xia Zhejiang University Pre-print
12:10 15m Talk		VulnForge: Building Enhanced OSS Vulnerability Datasets via Uncertainty-based Patch Analysis Research Track Li Lu Huazhong University of Science and Technology, Xinyu She Huazhong University of Science and Technology, Shengming Zhao Fudan University, Ningke Li National University of Singapore, Yanjie Zhao Huazhong University of Science and Technology, Haoyu Wang Huazhong University of Science and Technology
12:25 15m Talk		RelocSC: Compiler-Driven Generation of Self-Relocating Linux Shellcode Research Track Ruimin Wang Information Engineering University, Jintao Bao Information Engineering University, Jian Lin Information Engineering University, Guoan Liu Information Engineering University, Shuai Ren Information Engineering University

14:00 - 15:30	Session 3: Software Vulnerabilities and Security IIResearch Track / New Idea at Ballroom Chair(s): Ruitao Feng Southern Cross University

14:00 15m Talk		CaVulner: Automated Context-Aware Identification of Vulnerable Versions Research Track Xiaoyong Yan Zhejiang University, Chengwei Liu Nankai University, Yukai Cao Zhejiang University, Zhiyao Wu Zhejiang University, Rui Chang Zhejiang University, Wenbo Shen Zhejiang University
14:15 15m Talk		Unveiling Large Language Model Supply Chain: Structure, Domain, and Vulnerabilities Research Track Yanzhe Hu Huazhong University of Science and Technology, Shenao Wang Huazhong University of Science and Technology, Yuhan Tang Huazhong University of Science and Technology, Tianyuan Nie Huazhong University of Science and Technology, Yanjie Zhao Huazhong University of Science and Technology, Haoyu Wang Huazhong University of Science and Technology Pre-print
14:30 15m Talk		Demystifying LLM Supply Chain Vulnerabilities in the Wild: Distribution, Root Cause, and Real-World Impact Research Track Shenao Wang Huazhong University of Science and Technology, Yanjie Zhao Huazhong University of Science and Technology, Zhao Liu 360 AI Security Lab, Quanchen Zou 360 AI Security Lab, Haoyu Wang Huazhong University of Science and Technology Pre-print
14:45 15m Talk		Exploring Large Language Models for Security Bug Localization: An Empirical Study Research Track Jiachen Ge State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, China, Feifei Niu Graz University of Technology, Chuanyi Li Nanjing University, Xin Xia Zhejiang University
15:00 15m Talk		DREA: Decoupled Reasoning and Exploration Agents for Repository-Level Vulnerability Detection Research Track Mingyang Sun Institute of Information Engineering, Chinese Academy of Sciences, Guozhu Meng Institute of Information Engineering, Chinese Academy of Sciences Pre-print
15:15 15m Talk		LiveSafeRust: Toward Live Static Security Analysis in the Rust LSP Edit Loop New Idea Zihao Xu UNSW, Yuekang Li UNSW

16:00 - 17:30	Session 5: Program Analysis, Verification, and Code TransformationResearch Track / New Idea at Ballroom Chair(s): Zihan Wang The University of Queensland and CSIRO's Data61

16:00 15m Talk		Bypassing Redundant Safety Checks in Rust via Static Analysis Research Track Yunlong Yu Shandong University, Qingdan Meng Shandong University, Wei Zhang Shandong University, Lei Ju Shandong University
16:15 15m Talk		Feedback-Oriented Retrieval and Guided Editing for Java Meta-Decompilation Research Track Puhua Sun Zhejiang University, Xing Hu Zhejiang University, Xin Xia Zhejiang University
16:30 15m Talk		Value Analysis of Floating-Point Fortran Programs by Combining Interval and Zonotopic Abstractions Research Track Dengping Wei National University of Defense Technology, Banghu Yin College of Computer, National University of Defense Technology, Changsha, China, Yi Huang National University of Defense Technology, Liqian Chen National University of Defense Technology File Attached
16:45 15m Talk		Editor Specialization: Deriving DSL Editors through Editing Service Lifting Research Track Ziheng Wang Peking University, Zhichao Guan Peking University, Xiaoyang Lu Purdue University, Di Wang Peking University, Hongjie Chen Peking University, Zhenjiang Hu Peking University File Attached
17:00 15m Talk		Predicates with One Hole for Linked Data Structures in Separation Logic Research Track Xingpeng Liu National University of Defense Technology, Yanjun Wen National University of Defense Technology, Hengzhu Liu National University of Defense Technology, Ji Wang National University of Defense Technology
17:15 15m Talk		ACSLAgent: Generation and Synthesis of Formal Specifications for C programs via LLM-based Agent New Idea Lezhi Ma Nanjing University, Han Wang Nanjing University, Shangqing Liu Nanjing University, Lei Bu Nanjing University

Sun 19 Jul
Displayed time zone: Brisbane change

08:45 - 09:45	Keynote IIIKeynotes at Ballroom

08:45 60m Keynote		Software is Dead. Long Live the Environment: Towards Verification-First AIWare Keynotes Liming Zhu CSIRO’s Data61

10:30 - 11:30	Keynote IVKeynotes at Ballroom

10:30 60m Keynote		Building Trustworthy AI: Attacking Code Agents and Enhancing Code Generation via LLM Ensembles and Partial-Code Reward Models Keynotes Corina Pasareanu CMU, NASA, KBR

11:40 - 12:45	Session 7: AI for Code Understanding and Developer SupportTool Demonstration / Research Track / New Idea at Ballroom Chair(s): Xinyu Gao Nanjing University

11:40 15m Talk		MultiDRECS: A Multi-Dimensional Requirement-Aligned Automated Evaluation Framework for Code Summarization Research Track xianwei wu Nanjing University, Haifeng Shen Southern Cross University, Guoping Rong Nanjing University File Attached
11:55 15m Talk		Benchmarking Large Language Model Benchmarks: Standardized Scores vs. Perceived Utility Research Track Lecheng Wang Peking University, Xin Yan Peking University, Yihong Dong Peking University, Ruohan Xu Peking University, Yiyang Liu Peking University, Huanyu Liu , Hao Zhu Peking University, Fang Zheng Peking University, Ge Li Peking University, Wenpin Jiao Peking University
12:10 10m Talk		iReDev: An Interactive Human-Agent Collaborative Platform for Requirements Development Tool Demonstration Dongming Jin Peking University, China, Zhi Jin Peking University, Wuhan University, Yaotian Yang Beijing Forestry University, Jia Li Wuhan University, Xiaohong Chen East China Normal University
12:20 10m Talk		Developing Software Accessibility Features and Enhancing Developer Knowledge Through a Self-Healing Agentic Framework New Idea Ciaron Fitzpatrick Queen's University Belfast, Thai Son Mai Queen's University Belfast, Javid Taheri Queen's University Belfast, Zheng Li Queen's University Belfast, UK
12:30 15m Talk		CodeCoR: Enhancing LLM Code Generation via Self-Reflective Multi-Agent Collaboration Research Track Ruwei Pan Chongqing University, Hongyu Zhang Chongqing University, Chao Liu Chongqing University

14:00 - 15:00	Session 9: OpenHarmony, IoT, and Edge SecurityResearch Track at Ballroom Chair(s): Jinyu Gu Shanghai Jiao Tong University

14:00 15m Talk		HapCiD: Detecting API-related Compatibility Issues in OpenHarmony Apps Research Track Daihang Chen Beihang University, Yonghui Liu Australian National University, Mingyi Zhou Beihang University, Li Li Beihang University
14:15 15m Talk		Arktan: A Taint Analysis Framework for HarmonyOS ArkTS Application Research Track Ning Zhang Xidian University, Xiaofeng Zhu Xidian University, Haotian Wu Xidian University, Junhao Zhang Xidian University
14:30 15m Talk		XTaint: Dynamic-Assisted Taint Tracking across Execution Boundaries in IoT Firmware Research Track Zuozheng Zhou Information Engineering University, Ruimin Wang Information Engineering University, Jian Lin Information Engineering University, Haoran Liu Information Engineering University, Weiyu Dong Information Engineering University
14:45 15m Talk		Securing the OpenHarmony Software Supply Chain: LLM-Based Malicious Code Detection for ArkTS Research Track Xuetao Li Beijing Institute of Technology, Shencheng Dou China Software Testing Center, Xin Tan Shanghai Huawei Technologies Co., Ltd, Bohan Wang Beijing Institute of Technology, Jinyuan Wang Beijing Institute of Technology, Yuxia Zhang Beijing Institute of Technology, Guangtai Liang Huawei Cloud Computing Technologies, Hui Liu Beijing Institute of Technology

15:30 - 16:40	Session 11: Software Analytics and Code ReviewResearch Track at Ballroom Chair(s): Yun Peng The Chinese University of Hong Kong

15:30 17m Talk		KA-DA: Aligning LLMs with Expert Knowledge for Fine-Grained Software Defect Analysis Research Track Xuwen Wang National University of Defense Technology China, Jiaxin Li National University of Defense Technology China, Ruibo Wang National University of Defense Technology, Lin Peng National University of Defense Technology China, Linjin Wei National University of Defense Technology China, Zhen Zhu National University of Defense Technology China, Haodi Lu National University of Defense Technology China
15:47 17m Talk		AgentGraph: Knowledge-Graph Augmented Agent Framework for Multi-Step Association Analysis Research Track houyuxuan East China Normal University, Junyuan Guo East China Normal University, Qiyuan Wang East China Normal University, Dongyi Ouyang East China Normal University, Junjie YAO
16:05 17m Talk		MERC-Annot: Automated Annotation of Modification-Eliciting Code Review Comments with Large Language Models Research Track YongdaYu Nanjing University, Lei Zhang Nanjing University, Guoping Rong Nanjing University, Haifeng Shen Southern Cross University, Jiahao Zhang Nanjing University, Haoxiang Yan Nanjing University, Guohao Shi Nanjing University, Dong Shao Nanjing University, He Zhang Nanjing University File Attached
16:22 17m Talk		Don’t Rush to Critique: Cultivating an Analysis-First Habit in Code Review Models Research Track YongdaYu Nanjing University, Guohao Shi Nanjing University, Long Xianjun China Telecom Research Institute, Guoping Rong Nanjing University, Haifeng Shen Southern Cross University, XueMing Gu University of Waterloo File Attached

Mon 20 Jul
Displayed time zone: Brisbane change

08:45 - 10:15	Future of Internetware Workshop IFuture of Internetware Workshop at Ballroom

08:45 45m Talk		Invited Talk 1: Intent is the New Architecture: Lessons from Engineering Platforms with Spec-Driven AI Collaboration Future of Internetware Workshop Muhammad Ali Babar The University of Adelaide
09:30 45m Talk		Invited Talk 2: AI-Native Requirements Engineering: Vision, Principles, and Early Prototype Future of Internetware Workshop Zhenchang Xing CSIRO's Data61

10:35 - 12:05	Future of Internetware Workshop IIFuture of Internetware Workshop at Ballroom

10:35 45m Talk		Invited Talk 3: Software Automation with LLM —— Where Do We Stand？ Future of Internetware Workshop Ge Li Peking University
11:20 45m Talk		Invited Talk 4: AI Coding for OpenHarmony Future of Internetware Workshop Li Li Beihang University

13:05 - 14:35	Future of Internetware Workshop IIIFuture of Internetware Workshop at Ballroom

13:05 45m Talk		Invited Talk 5: Harness Engineering for AI Coding Agents Future of Internetware Workshop Christoph Treude Singapore Management University
13:50 45m Talk		Invited Talk 6: Analysis and Testing of AI Models: Challenges and Experiences Future of Internetware Workshop Yulei Sui University of New South Wales

14:55 - 16:25	Future of Internetware Workshop IVFuture of Internetware Workshop at Ballroom

14:55 45m Talk		Invited Talk 7: Cyber G.A.M.E.: Security Research for Trustworthy Connected Systems in the Internetware Era Future of Internetware Workshop Dan Dongseong Kim The University of Queensland
15:40 45m Talk		Invited Talk 8: Unlocking the Potential of LLMs with Care: Can They Really Understand Code Changes? Future of Internetware Workshop Patanamon Thongtanunam The University of Melbourne

Sat 18 Jul
Displayed time zone: Brisbane 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
Ballroom	Keynotes Keynote I																		Keynotes Keynote II														Research Track Session 1: Software Vulnerabilities and Security I																												Research Track + New Idea Session 3: Software Vulnerabilities and Security II																								Research Track + New Idea Session 5: Program Analysis, Verification, and Code Transformation

Sun 19 Jul
Displayed time zone: Brisbane change


Room	8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
Ballroom										Keynotes Keynote III																					Keynotes Keynote IV														Tool Demonstration + Research Track + New Idea Session 7: AI for Code Understanding and Developer Support																												Research Track Session 9: OpenHarmony, IoT, and Edge Security																		Research Track Session 11: Software Analytics and Code Review

Mon 20 Jul
Displayed time zone: Brisbane change


Room	8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
Ballroom										Future of Internetware Workshop Future of Internetware Workshop I																						Future of Internetware Workshop Future of Internetware Workshop II																														Future of Internetware Workshop Future of Internetware Workshop III																						Future of Internetware Workshop Future of Internetware Workshop IV

Sat 18 Jul
Displayed time zone: Brisbane 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
Ballroom	Internetware Keynotes Reasoning Beyond LLMs and a Vision for Life After Superintelligence: Th ... 09:00 - 10:00																		Internetware Keynotes Formal Design of Safety-critical Cyber-Physical Systems 10:30 - 11:30														Internetware Research Track LiveFuzz: Detecting Exploitable Library Vulnerabilities from Client Pro ... 11:40 - 11:55			Internetware Research Track ATTAIN: Automated Exploit Failure Analysis through Trace-Driven Diff An ... 11:55 - 12:10			Internetware Research Track VulnForge: Building Enhanced OSS Vulnerability Datasets via Uncertainty ... 12:10 - 12:25			Internetware Research Track RelocSC: Compiler-Driven Generation of Self-Relocating Linux Shellcode 12:25 - 12:40																			Internetware Research Track CaVulner: Automated Context-Aware Identification of Vulnerable Versions 14:00 - 14:15			Internetware Research Track Unveiling Large Language Model Supply Chain: Structure, Domain, and Vul ... 14:15 - 14:30			Internetware Research Track Demystifying LLM Supply Chain Vulnerabilities in the Wild: Distribution ... 14:30 - 14:45			Internetware Research Track Exploring Large Language Models for Security Bug Localization: An Empir ... 14:45 - 15:00			Internetware Research Track DREA: Decoupled Reasoning and Exploration Agents for Repository-Level V ... 15:00 - 15:15			Internetware New Idea LiveSafeRust: Toward Live Static Security Analysis in the Rust LSP Edit ... 15:15 - 15:30									Internetware Research Track Bypassing Redundant Safety Checks in Rust via Static Analysis 16:00 - 16:15			Internetware Research Track Feedback-Oriented Retrieval and Guided Editing for Java Meta-Decompilation 16:15 - 16:30			Internetware Research Track Value Analysis of Floating-Point Fortran Programs by Combining Interval ... 16:30 - 16:45			Internetware Research Track Editor Specialization: Deriving DSL Editors through Editing Service Lifting 16:45 - 17:00			Internetware Research Track Predicates with One Hole for Linked Data Structures in Separation Logic 17:00 - 17:15			Internetware New Idea ACSLAgent: Generation and Synthesis of Formal Specifications for C prog ... 17:15 - 17:30

Sun 19 Jul
Displayed time zone: Brisbane change


Room	8:00			15			30			45			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
Ballroom										Internetware Keynotes Software is Dead. Long Live the Environment: Towards Verification-First ... 08:45 - 09:45																					Internetware Keynotes Building Trustworthy AI: Attacking Code Agents and Enhancing Code Gener ... 10:30 - 11:30														Internetware Research Track MultiDRECS: A Multi-Dimensional Requirement-Aligned Automated Evaluatio ... 11:40 - 11:55			Internetware Research Track Benchmarking Large Language Model Benchmarks: Standardized Scores vs. P ... 11:55 - 12:10			Internetware Tool Demonstration iReDev: An Interactive Human-Agent Collaborative Platform for Requireme ... 12:10 - 12:20		Internetware New Idea Developing Software Accessibility Features and Enhancing Developer Know ... 12:20 - 12:30		Internetware Research Track CodeCoR: Enhancing LLM Code Generation via Self-Reflective Multi-Agent ... 12:30 - 12:45																		Internetware Research Track HapCiD: Detecting API-related Compatibility Issues in OpenHarmony Apps 14:00 - 14:15			Internetware Research Track Arktan: A Taint Analysis Framework for HarmonyOS ArkTS Application 14:15 - 14:30			Internetware Research Track XTaint: Dynamic-Assisted Taint Tracking across Execution Boundaries in ... 14:30 - 14:45			Internetware Research Track Securing the OpenHarmony Software Supply Chain: LLM-Based Malicious Cod ... 14:45 - 15:00									Internetware Research Track KA-DA: Aligning LLMs with Expert Knowledge for Fine-Grained Software De ... 15:30 - 15:47			Internetware Research Track AgentGraph: Knowledge-Graph Augmented Agent Framework for Multi-Step As ... 15:47 - 16:05				Internetware Research Track MERC-Annot: Automated Annotation of Modification-Eliciting Code Review ... 16:05 - 16:22			Internetware Research Track Don’t Rush to Critique: Cultivating an Analysis-First Habit in Code Rev ... 16:22 - 16:40

Mon 20 Jul
Displayed time zone: Brisbane change


Room	8:00			15			30			45			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
Ballroom										Internetware Future of Internetware Workshop Invited Talk 1: Intent is the New Architecture: Lessons from Engineerin ... 08:45 - 09:30									Internetware Future of Internetware Workshop Invited Talk 2: AI-Native Requirements Engineering: Vision, Principles, ... 09:30 - 10:15													Internetware Future of Internetware Workshop Invited Talk 3: Software Automation with LLM —— Where Do We Stand？ 10:35 - 11:20									Internetware Future of Internetware Workshop Invited Talk 4: AI Coding for OpenHarmony 11:20 - 12:05																					Internetware Future of Internetware Workshop Invited Talk 5: Harness Engineering for AI Coding Agents 13:05 - 13:50									Internetware Future of Internetware Workshop Invited Talk 6: Analysis and Testing of AI Models: Challenges and Exper ... 13:50 - 14:35													Internetware Future of Internetware Workshop Invited Talk 7: Cyber G.A.M.E.: Security Research for Trustworthy Conne ... 14:55 - 15:40									Internetware Future of Internetware Workshop Invited Talk 8: Unlocking the Potential of LLMs with Care: Can They Rea ... 15:40 - 16:25

Room information: Ballroom

Sat 18 Jul
Displayed time zone: Brisbane change

Sun 19 Jul
Displayed time zone: Brisbane change

Mon 20 Jul
Displayed time zone: Brisbane change

Sat 18 Jul
Displayed time zone: Brisbane change

Keynotes

Keynotes

Research Track

Research Track + New Idea

Research Track + New Idea

Sun 19 Jul
Displayed time zone: Brisbane change

Keynotes

Keynotes

Tool Demonstration + Research Track + New Idea

Research Track

Research Track

Mon 20 Jul
Displayed time zone: Brisbane change

Future of Internetware Workshop

Future of Internetware Workshop

Future of Internetware Workshop

Future of Internetware Workshop

Sat 18 Jul
Displayed time zone: Brisbane change

Sun 19 Jul
Displayed time zone: Brisbane change

Mon 20 Jul
Displayed time zone: Brisbane change

Tracks

Room information: Ballroom

Program Display Configuration

Sat 18 JulDisplayed time zone: Brisbane change

Sun 19 JulDisplayed time zone: Brisbane change

Mon 20 JulDisplayed time zone: Brisbane change

Sat 18 JulDisplayed time zone: Brisbane change

Keynotes

Keynotes

Research Track

Research Track + New Idea

Research Track + New Idea

Sun 19 JulDisplayed time zone: Brisbane change

Keynotes

Keynotes

Tool Demonstration + Research Track + New Idea

Research Track

Research Track

Mon 20 JulDisplayed time zone: Brisbane change

Future of Internetware Workshop

Future of Internetware Workshop

Future of Internetware Workshop

Future of Internetware Workshop

Sat 18 JulDisplayed time zone: Brisbane change

Sun 19 JulDisplayed time zone: Brisbane change

Mon 20 JulDisplayed time zone: Brisbane change

Sat 18 Jul
Displayed time zone: Brisbane change

Sun 19 Jul
Displayed time zone: Brisbane change

Mon 20 Jul
Displayed time zone: Brisbane change

Sat 18 Jul
Displayed time zone: Brisbane change

Sun 19 Jul
Displayed time zone: Brisbane change

Mon 20 Jul
Displayed time zone: Brisbane change

Sat 18 Jul
Displayed time zone: Brisbane change

Sun 19 Jul
Displayed time zone: Brisbane change

Mon 20 Jul
Displayed time zone: Brisbane change