Oceania IX - MSR 2026

VenueWindsor Convention Center and Hotels

Room nameOceania IX

Floor0

Room InformationNo extra information available

Program

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT-03:00) Brasilia, Distrito Federal, Brazil.

Use conference time zone: (GMT-03:00) Brasilia, Distrito Federal, BrazilSelect 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

Sun 12 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

09:00 - 10:30	Opening SessionMOBILESoft Research Track at Oceania IX

09:00 30m Day opening		Day Opening MOBILESoft Research Track Jordan Samhi University of Luxembourg, Luxembourg, Kevin Moran University of Central Florida
09:30 60m Keynote		Keynote: Self-Optimizing Static Analyses for Mobile Apps MOBILESoft Research Track Eric Bodden Heinz Nixdorf Institute at Paderborn University & Fraunhofer IEM

11:00 - 12:30	Session 1MOBILESoft Research Track at Oceania IX

11:00 30m Talk		Talk 1: TBD MOBILESoft Research Track
11:30 15m Research paper		Mapping the Patent Frontier of On-Device LLMs in Mobile Software Engineering MOBILESoft Research Track Mohamad Kassab Boston University
11:45 15m Research paper		An Empirical Evaluation of RAG for Accessibility-Aware Android Code Generation MOBILESoft Research Track Ribamar Souza Federal University of Ceará, Daniel Mesquita Feijó Rabelo Federal University of Ceará, Windson Viana Federal University of Ceará
12:00 15m Short-paper		Deliberately Introducing Accessibility Issues in SwiftUI Components for Mutation Testing MOBILESoft Research Track Erick Riso Universidade Federal de Pernambuco, Breno Miranda Federal University of Pernambuco, Kiev Gama Universidade Federal de Pernambuco
12:15 15m Short-paper		A Methodology for Generating Mobile Applications Through Large Language Models MOBILESoft Research Track William Niemiec Federal University of Rio Grande do Sul, Anderson Rocha Tavares Federal University of Rio Grande do Sul, Érika Fernandes Cota Federal University of Rio Grande do Sul

14:00 - 15:30	Session 2MOBILESoft Research Track at Oceania IX

14:00 30m Keynote		Talk 2: Learning-Based Code Analysis and Security/Privacy Defenses for Mobile Applications MOBILESoft Research Track Haipeng Cai University at Buffalo, SUNY
14:30 15m Research paper		Challenges in Android Data Disclosure: An Empirical Study MOBILESoft Research Track Mugdha Khedkar Heinz Nixdorf Institute, Paderborn University, Michael Schlichtig Heinz Nixdorf Institute at Paderborn University, Mohamed Soliman Heinz Nixdorf Institute, Paderborn University, Eric Bodden Heinz Nixdorf Institute at Paderborn University & Fraunhofer IEM Pre-print
14:45 15m Research paper		FeedAIde: Guiding App Users to Submit Rich Feedback Reports by Asking Context-Aware Follow-Up Questions MOBILESoft Research Track Ali Ebrahimi Pourasad University of Hamburg, Meyssam Saghiri University of Hamburg, Walid Maalej University of Hamburg
15:00 15m Short-paper		InsightEdu: Mobile Discord Bot Management and Analytics for Educators MOBILESoft Research Track Mihail Atanasov Technical University of Munich, Jonnathan Berrezueta-Guzman Technical University of Munich

16:00 - 17:30	Closing SessionMOBILESoft Research Track at Oceania IX

16:00 90m Day closing		Award & Final Remarks MOBILESoft Research Track Jordan Samhi University of Luxembourg, Luxembourg, Kevin Moran University of Central Florida

Mon 13 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

09:00 - 10:30	Hiring and Careers SessionCHASE Research Track / CHASE Program at Oceania IX

09:00 18m Full-paper		Mapping the Skills and Roles of Experimentation in Software Organizations: Evidence from 1,800 Job Postings CHASE Research Track Nils Stotz Leuphana University of Lüneburg, Kevin Anderson , Paul Drews Leuphana University of Lüneburg
09:18 18m Full-paper		How Does Cognitive Capability and Personality Influence Problem-Solving in Coding Interview Puzzles? CHASE Research Track Dulaji Hidellaarachchi RMIT University, John Grundy Monash University, Sebastian Baltes Heidelberg University Pre-print
09:36 18m Full-paper		A Quasi-Experimental Evaluation of Coaching to Mitigate the Impostor Phenomenon in Early-Career Software Engineers CHASE Research Track Paloma Guenes Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Joan Leite Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Allysson Allex Araújo Federal University of Cariri, Rafael Tomaz Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Maria Teresa Baldassarre Department of Computer Science, University of Bari , Jean Natividade Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Marcos Kalinowski Pontifical Catholic University of Rio de Janeiro (PUC-Rio) Pre-print
09:54 18m Full-paper		Constructive Patterns for Human-Centered Tech Hiring CHASE Research Track Allysson Allex Araújo Federal University of Cariri, Gabriel Vasconcelos Federal University of Cariri (UFCA), Marvin Wyrich Saarland University, Maria Teresa Baldassarre Department of Computer Science, University of Bari , Paloma Guenes Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Marcos Kalinowski Pontifical Catholic University of Rio de Janeiro (PUC-Rio) Pre-print
10:12 18m Short-paper		Struggling to Connect: A Researcher’s Reflection on Networking in Software Engineering CHASE Research Track Shalini Chakraborty University of Bayreuth

Wed 15 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

11:00 - 12:30	Testing and Analysis 1ICSE SE In Practice (SEIP) / ICSE Research Track at Oceania IX

11:00 15m Talk		BFix: Automated Safe Memory-Leak Fixing for Binary Code ICSE Research Track Wen Zhang University of Georgia, Botang Xiao University of Georgia, Qingchen Kong University of Georgia, Boyang Yi University of Georgia, Suxin Ji University of Georgia, USA, Yage Hu University of Georgia, Songlan Wang University of Georgia, Wenwen Wang University of Georgia
11:15 15m Talk		Learning without Forgetting: Towards Continual learning of Fault Localization Models in Industrial Software Systems ICSE Research Track Chun Li Nanjing University, Hui Li Samsung Electronics (China) R&D Centre, Zhong Li Nanjing University, Minxue Pan Nanjing University, Xuandong Li Nanjing University
11:30 15m Talk		Memory-Efficient Large Language Models for Program Repair with Semantic-Guided Patch Generation ICSE Research Track Le-Cong Thanh The University of Melbourne, Xuan-Bach D. Le University of Melbourne, Toby Murray University of Melbourne
11:45 15m Talk		Addressing Test Flakiness: Practical Approaches in a Database-Reliant Industrial System ICSE SE In Practice (SEIP) George Vegelien Delft University of Technology, Carolin Brandt Delft University of Technology, Bas Graaf Exact, Arie van Deursen TU Delft Pre-print
12:00 15m Talk		XTrace: A Non-Invasive Dynamic Tracing Framework for Android Applications in Production ICSE SE In Practice (SEIP) Qi Hu ByteDance, Jiangchao Liu ByteDance, Lin Zhang ByteDance, Edward Jiang ByteDance, Xin Yu ByteDance
12:15 15m Talk		Delta Debugging for LLM-integrated Systems ICSE SE In Practice (SEIP) Hao-Nan Zhu University of California, Davis, Muhammad Numair Mansur Amazon Web Services, Martin Schäf Amazon Web Services, Zeya Chen Amazon Web Services, Tancrède Lepoint Amazon, Willem Visser Amazon Web Services

14:00 - 15:30	Testing and Analysis 4ICSE Research Track / ICSE SE In Practice (SEIP) at Oceania IX

14:00 15m Talk		SymRadar: PoC-Centered Bounded Verification for Vulnerability Repair ICSE Research Track Seungheon Han UNIST, YoungJae Kim Ulsan National Institute of Science and Technology, Yeseung Lee UNIST, Jooyong Yi UNIST
14:15 15m Talk		Fine-Grained Analyses for Evolution-Aware Runtime Verification ICSE Research Track Pengyue Jiang Cornell University, Kevin Guan Cornell University, M. Mahdi Khosravi Middle East Technical University, Moustafa Ismail Middle East Technical University, Marcelo d'Amorim North Carolina State University, Owolabi Legunsen Cornell University
14:30 15m Talk		An Empirical Study on Static Application Security Testing (SAST) Tools for Python ICSE Research Track Liu Zhuohang Nankai University, Zhi Wang Nankai University, Haotong Liu Nankai University, Wanpeng Li University of Liverpool
14:45 15m Talk		NotDec: WebAssembly Decompilation With Inter-Procedural Type Recovery ICSE Research Track Jikai Wang Huazhong University of Science and Technology, Ningyu He Hong Kong Polytechnic University, Tianming Liu Huazhong University of Science and Technology, Junhai Wang Huazhong University of Science and Technology, Haoyu Wang Huazhong University of Science and Technology
15:00 15m Talk		PyXray: Practical Cross-Language Call Graph Construction through Object Layout Analysis ICSE Research Track Georgios Alexopoulos University of Athens, Thodoris Sotiropoulos ETH Zurich, Georgios Gousios Endor Labs, Zhendong Su ETH Zurich, Dimitris Mitropoulos University of Athens Pre-print
15:15 15m Talk		HapCheck: DSL-Based Static Bug Detection Framework for OpenHarmony ICSE SE In Practice (SEIP) Xitong Zhong Beihang University, Chang Liu Beihang University, Runlin Liu Beihang University, Zifu Xu Beihang University, Zhengyao Liu Beihang University, Juqi Zhou Beihang University, Gang Fan Huawei Hong Kong Research Centre, Mingyi Zhou Beihang University, Xiang Gao Beihang University, Li Li Beihang University

16:00 - 17:30	Testing and Analysis 6ICSE Research Track at Oceania IX

16:00 15m Talk		SAFE: Harnessing LLM for Scenario-Driven ADS Testing from Multimodal Crash Data ICSE Research Track Siwei Luo Macquarie University, Yang Zhang , Yao Deng Macquarie University, Linfeng Liang Macquarie University, Xi Zheng Macquarie University
16:15 15m Talk		Bounded Exhaustive Random Program Generation for Testing Solidity Compilers ICSE Research Track Haoyang Ma Hong Kong University of Science and Technology, Alastair F. Donaldson Imperial College London, Qingchao Shen Tianjin University, Yongqiang Tian Monash University, Junjie Chen Tianjin University, Shing-Chi Cheung Hong Kong University of Science and Technology
16:30 15m Research paper		META²V2V: Revealing Behavioural Deviations under Mutual Perception in Multi-Vehicle Autonomous Driving ICSE Research Track Lejin Li Kyushu University, Xiao-Yi Zhang University of Science and Technology Beijing, Shuncheng Tang University of Science and Technology of China, Zhenya Zhang Kyushu University, Jianjun Zhao Kyushu University Media Attached
16:45 15m Talk		DeFT: Maintaining Determinism and Extracting Unit Tests for Autonomous Driving Planning ICSE Research Track Yuqi Huai University of California, Irvine, Yuntianyi Chen University of California, Irvine, Ziwen Wan University of California, Irvine, Alfred Chen University of California, Irvine, Joshua Garcia University of California, Irvine
17:00 15m Talk		TARIPlay: A Test Framework for AR Applications based on Interactive Area Detection in Playback Videos ICSE Research Track Seyed Amir Mousavi PhD Student at University of Texas at San Antonio, Xiaoyin Wang University of Texas at San Antonio
17:15 15m Talk		Validating Mixed-Integer Programming Solvers ICSE Research Track Xintong Zhou University of Waterloo, Zhenyang Xu University of Waterloo, Chengnian Sun University of Waterloo

Thu 16 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

11:00 - 12:30	Testing and Analysis 8ICSE Research Track at Oceania IX

11:00 15m Talk		RusyFuzz: Unhandled Exception Guided Fuzzing for Rust OS Kernel ICSE Research Track Yuwei Liu Ant Group, Yanhao Wang Independent Researcher, Minghua Wang Ant Group, Lin Huang Ant Group, Purui Su Institute of Software/CAS China, Tao Wei Ant Group
11:15 15m Talk		VDBFuzz: Understanding and Detecting Crash Bugs in Vector Database Management Systems ICSE Research Track Shenao Wang Huazhong University of Science and Technology, Zhao Liu 360 AI Security Lab, Yanjie Zhao Huazhong University of Science and Technology, Quanchen Zou 360 AI Security Lab, Haoyu Wang Huazhong University of Science and Technology
11:30 15m Talk		GPTrace: Effective Crash Deduplication Using LLM Embeddings ICSE Research Track Patrick Herter Fraunhofer AISEC, Vincent Ahlrichs Fraunhofer AISEC, Ridvan Açilan Technical University of Munich, Julian Horsch Fraunhofer AISEC Pre-print Media Attached
11:45 15m Talk		Is My RPC Response Reliable? Detecting RPC Bugs in Blockchain Client under Context ICSE Research Track Zhijie Zhong School of Software Engineering, Sun Yat-sen University, Yuhong Nan Sun Yat-sen University, Mingxi Ye Sun Yat-sen University, Qing Xue Sun Yat-sen University, Jiashui Wang Zhejiang University, Long Liu , Xinlei Ying , Zibin Zheng Sun Yat-sen University
12:00 15m Talk		EchoFuzz: Empowering Smart Contract Fuzzing with Large Language Models ICSE Research Track Juanen Li Tsinghua University, Peng Qian Zhejiang University, Guanyan Li University of Oxford, Rui Wang Beijing Normal University, Peixin Wang East China Normal University, Zhiqing Tang Beijing Normal University, Fuchen Ma Tsinghua University, Yuanliang Chen Tsinghua University, Lun Zhang GoPlus Security
12:15 15m Talk		StorFuzz: Using Data Diversity to Overcome Fuzzing Plateaus ICSE Research Track Leon Weiß Ruhr University Bochum, Tobias Holl Ruhr University Bochum, Kevin Borgolte Ruhr University Bochum Pre-print Media Attached

14:00 - 15:30	Testing and Analysis 11ICSE Research Track at Oceania IX

14:00 15m Talk		Efficient Build Dependency Verification Using eBPF and Incremental Analysis ICSE Research Track Yuta Saito Waseda University, Kazunori Sakamoto Tokyo Online Unicersity / Waseda University / National Institute of Informatics / WillBooster Inc., Hironori Washizaki Waseda University
14:15 15m Talk		Hybrid Fault-Driven Mutation Testing for Python ICSE Research Track Saba Alimadadi Simon Fraser University, Golnaz Gharachorlu University of Ottawa Pre-print
14:30 15m Talk		No Shot in the Dark: Efficient Context-Free Language Reachability via Context-Aware Tabulation ICSE Research Track Chenghang Shi SKLP, Institute of Computing Technology, CAS, Lian Li Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of Sciences
14:45 15m Talk		Is Call Graph Pruning Really Effective? An Empirical Re-evaluation ICSE Research Track Mohammad Rafieian The University of Texas at Dallas, Vlad Birsan The University of Texas at Dallas, Kunal Katiya Coppell High School, Dylan Zhong , Shiyi Wei University of Texas at Dallas Pre-print
15:00 15m Talk		MutDafny: A Mutation-Based Approach to Assess Dafny Specifications ICSE Research Track Isabel Amaral INESC TEC, Faculty of Engineering, University of Porto, Alexandra Mendes Faculty of Engineering, University of Porto & INESC TEC, José Campos Faculty of Engineering of the University of Porto, Portugal
15:15 15m Talk		Enhancing Symbolic Execution with Self-Configuring Parameters ICSE Research Track Minjong Kim Sungkyunkwan University, Sooyoung Cha Sungkyunkwan University

16:00 - 17:30	AI for Software Engineering 19ICSE Research Track at Oceania IX

16:00 15m Talk		An Eye for AI: Eye-Tracking the Micro-Interruptions of GenAI Code Suggestions ICSE Research Track Tarek Alakmeh University of Zurich, Sarah D'Angelo Google, Thomas Fritz University of Zurich Pre-print Media Attached
16:15 15m Talk		Inside Out: Uncovering How Comment Internalization Steers LLMs for Better or Worse ICSE Research Track Aaron Imani University of California, Irvine, Mohammad Moshirpour University of California, Irvine, Iftekhar Ahmed University of California at Irvine Pre-print
16:30 15m Talk		Scrub It Out! Erasing Sensitive Memorization in Code Language Models via Machine Unlearning ICSE Research Track Zhaoyang Chu Huazhong University of Science and Technology, Yao Wan Huazhong University of Science and Technology, Zhikun Zhang Zhejiang University, Di Wang King Abdullah University of Science and Technology, Zhou Yang University of Alberta, Alberta Machine Intelligence Institute , Hongyu Zhang Chongqing University, Pan Zhou Huazhong University of Science and Technology, Xuanhua Shi Huazhong University of Science and Technology, Hai Jin Huazhong University of Science and Technology, David Lo Singapore Management University
16:45 15m Talk		What Makes Code Generation Ethically Sourced? ICSE Research Track Zhuolin Xu Concordia University, Chenglin Li Concordia University, Qiushi Li Concordia University, Shin Hwei Tan Concordia University
17:00 15m Talk		Filtering before Tuning: Robust Fine-Tuning of Large Code Models under Noisy Labels ICSE Research Track Zhong Li Nanjing University, Yang Chen China Automobile Data of Tianjin Co., Ltd. China Automotive Technology&Research Center Co.,Ltd., Heng Yong Nanjing University, Yuanyi Lin Huawei Technologies, Jiali Zhao Huawei, Tongtong Xu Huawei, Minxue Pan Nanjing University, Tian Zhang Nanjing University, Xuandong Li Nanjing University
17:15 15m Talk		Automating Requirements Formalization: Using LLMs and Low-Complexity Distinguishing Traces for Semantic Validation ICSE Research Track Daniel Mendoza Stanford University, Anastasia Mavridou KBR / NASA Ames Research Center, Andreas Katis KBR / NASA Ames Research Center, Caroline Trippel Stanford University

Fri 17 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

11:00 - 12:30	Testing and Analysis 15ICSE Demonstrations / ICSE Journal-first Papers / ICSE Research Track at Oceania IX

11:00 15m Talk		Bridging the Final Gap: Fuzzing Template Generation from Protocol Reverse Engineering ICSE Demonstrations Wenlong Zhang Central South University, Yongjun Xie Central South University, Yuanliang Chen Tsinghua University, Fuchen Ma Tsinghua University, Dalong Shi AVIC International Digital Network Technology Co., Ltd., Dongyi Yu AVIC International Digital Network Technology Co., Ltd., Heyuan Shi Central South University
11:15 15m Talk		The Havoc Paradox in Generator-Based Fuzzing ICSE Journal-first Papers Ao Li Carnegie Mellon University, Madonna Huang University of British Columbia, Vasudev Vikram Carnegie Mellon University, Caroline Lemieux University of British Columbia, Rohan Padhye Carnegie Mellon University
11:30 15m Talk		Visualization Task Taxonomy to Understand the Fuzzing Internals ICSE Journal-first Papers Sriteja Kummita Paderborn University, Miao Miao The University of Texas at Dallas, Eric Bodden Heinz Nixdorf Institute at Paderborn University & Fraunhofer IEM, Shiyi Wei University of Texas at Dallas
11:45 15m Talk		FrameShift: Resizing Fuzzer Inputs Without Breaking Them ICSE Research Track Harrison Green Carnegie Mellon University, Claire Le Goues Carnegie Mellon University, Fraser Brown CMU
12:00 15m Talk		On Interaction Effects in Greybox Fuzzing ICSE Research Track Konstantinos Kitsios University of Zurich, Marcel Böhme MPI for Security and Privacy, Alberto Bacchelli IfI, University of Zurich Pre-print
12:15 15m Talk		Configuration-Sensitive Linux Kernel Fuzzing ICSE Research Track Yuheng Shen , Jianzhong Liu Tsinghua University, Yuhan Chen Central South Sniversity, Yifei Chu Tsinghua University, Qiang Zhang Hunan University, Guoyu Yin Central South University, Heyuan Shi Central South University, Yu Jiang Tsinghua University

14:00 - 15:30	Testing and Analysis 18ICSE New Ideas and Emerging Results (NIER) / ICSE Demonstrations / ICSE Journal-first Papers at Oceania IX

14:00 15m Talk		Drivora: A Unified and Extensible Infrastructure for Search-based Autonomous Driving Testing ICSE Demonstrations Mingfei Cheng Singapore Management University, Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland, Yuan Zhou Zhejiang Sci-Tech University
14:15 15m Talk		CITYWALK: Enhancing LLM-Based C++ Unit Test Generation via Project-Dependency Awareness and Language-Specific Knowledge ICSE Journal-first Papers Yuwei Zhang Institute of Software Chinese Academy of Sciences, Qingyuan Lu Institute of Software Chinese Academy of Sciences, Kai Liu Shanghai Stock Exchange Technology Co., Ltd., Wensheng Dou Institute of Software Chinese Academy of Sciences, Jiaxin Zhu Institute of Software at Chinese Academy of Sciences, Li Qian Shanghai Stock Exchange Technology Co., Ltd., Chunxi Zhang Shanghai Stock Exchange Technology Co., Ltd., Zheng Lin Shanghai Stock Exchange Technology Co., Ltd., Jun Wei Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences
14:30 15m Talk		How Toxic Can You Get? Search-Based Toxicity Testing for Large Language Models ICSE Journal-first Papers Simone Corbo Politecnico di Milano, Luca Bancale Politecnico di Milano, Valeria De Gennaro Politecnico di Milano, Livia Lestingi DEIB, Politecnico di Milano, Vincenzo Scotti Karlsruhe Institute of Technology, Matteo Camilli Politecnico di Milano
14:45 15m Talk		Using Cooperative Co-evolutionary Search to Generate Metamorphic Test Cases for Autonomous Driving Systems ICSE Journal-first Papers Hossein Yousefizadeh University of Ottawa, Shenghui Gu University of Ottawa, Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland, Ali Nasr Waterloo Research Center of Huawei
15:00 15m Talk		Atomicity Violation Detection for Interrupt-Driven Programs via Incrementally Exploring Concurrent Paths ICSE New Ideas and Emerging Results (NIER) Yuanzhe Liu Xidian University, Bin Yu Xidian University, Ruixue Li Xidian University, Cheng Wen Xidian University, Xu Lu Xidian University, Chu Chen Qufu Normal University, Cong Tian Xidian University
15:15 15m Talk		EVATest: Domain-Oriented Android GUI Testing based on Reward-Guided Retrieval-Augmented Generation ICSE New Ideas and Emerging Results (NIER) Bhavana Kondeti The University of Texas at San Antonio, Guanqun Yang Stevens Institute of Technology, USA, Yui Takashima The University of Texas at San Antonio, XUEQING Liu Stevens Institute of Technology, Xiaoyin Wang University of Texas at San Antonio

16:00 - 17:30	AI for Software Engineering 29ICSE Journal-first Papers / ICSE Research Track / ICSE New Ideas and Emerging Results (NIER) at Oceania IX

16:00 15m Talk		Learning Program Behavioral Models from Synthesized Input-Output Pairs ICSE Journal-first Papers Tural Mammadov CISPA Helmholtz Center for Information Security, Dietrich Klakow Saarland University, Alexander Koller Saarland University, Andreas Zeller CISPA Helmholtz Center for Information Security
16:15 15m Talk		MeDeT: Medical Device Digital Twins Creation with Few-shot Meta-learning ICSE Journal-first Papers Hassan Sartaj Simula Research Laboratory, Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University, Julie Marie Gjøby Welfare Technologies Section, Oslo Kommune Helseetaten
16:30 15m Talk		Large Language Model powered Test Driver Generation for High-performance Computing Library ICSE New Ideas and Emerging Results (NIER) Ziran He National University of Defense Technology, Changsha, China, Guofeng Zhang College of Computer, National University of Defense Technology, Meixi Liu National University of Defense Technology, Changsha, China, Zhenbang Chen College of Computer, National University of Defense Technology
16:45 15m Talk		HarnessLLM: Rust Verification Harness Generation with Large Language Models ICSE Research Track Minghua Wang Ant Group, Yuwei Liu Ant Group, Lin Huang Ant Group
17:00 15m Talk		Agentic Predicates Reasoning for Directed Fuzzing ICSE Research Track Jie Zhu University of Chicago, Chihao Shen University of Maryland, Ziyang Li Johns Hopkins University, Jiahao Yu Northwestern University, Yizheng Chen University of Maryland, Kexin Pei The University of Chicago
17:15 15m Talk		Change And Cover: Last-Mile, Pull Request-Based Regression Test Augmentation ICSE Research Track Zitong Zhou UCLA, Matteo Paltenghi University of Stuttgart, Miryung Kim UCLA and Amazon Web Services, Michael Pradel CISPA Helmholtz Center for Information Security

Sun 12 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil 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
Oceania IX	MOBILESoft Research Track Opening Session																								MOBILESoft Research Track Session 1																																				MOBILESoft Research Track Session 2																								MOBILESoft Research Track Closing Session

Mon 13 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil 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
Oceania IX	CHASE Research Track + CHASE Program Hiring and Careers Session																								CHASE Program																																				CHASE Program																								CHASE Program

Tue 14 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil 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
Oceania IX	CHASE Program																								CHASE Program																																				CHASE Program																								CHASE Program

Wed 15 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Oceania IX	ICSE SE In Practice (SEIP) + ICSE Research Track Testing and Analysis 1																																				ICSE Research Track + ICSE SE In Practice (SEIP) Testing and Analysis 4																								ICSE Research Track Testing and Analysis 6

Thu 16 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Oceania IX	ICSE Research Track Testing and Analysis 8																																				ICSE Research Track Testing and Analysis 11																								ICSE Research Track AI for Software Engineering 19

Fri 17 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Oceania IX	ICSE Demonstrations + ICSE Journal-first Papers + ICSE Research Track Testing and Analysis 15																																				ICSE New Ideas and Emerging Results (NIER) + ICSE Demonstrations + ICSE Journal-first Papers Testing and Analysis 18																								ICSE Journal-first Papers + ICSE Research Track + ICSE New Ideas and Emerging Results (NIER) AI for Software Engineering 29

Sun 12 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil 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
Oceania IX	MOBILESoft Research Track Day Opening 09:00 - 09:30						MOBILESoft Research Track Keynote: Self-Optimizing Static Analyses for Mobile Apps 09:30 - 10:30																		MOBILESoft Research Track Talk 1: TBD 11:00 - 11:30						MOBILESoft Research Track Mapping the Patent Frontier of On-Device LLMs in Mobile Software Engine ... 11:30 - 11:45			MOBILESoft Research Track An Empirical Evaluation of RAG for Accessibility-Aware Android Code Gen ... 11:45 - 12:00			MOBILESoft Research Track Deliberately Introducing Accessibility Issues in SwiftUI Components for ... 12:00 - 12:15			MOBILESoft Research Track A Methodology for Generating Mobile Applications Through Large Language ... 12:15 - 12:30																					MOBILESoft Research Track Talk 2: Learning-Based Code Analysis and Security/Privacy Defenses for ... 14:00 - 14:30						MOBILESoft Research Track Challenges in Android Data Disclosure: An Empirical Study 14:30 - 14:45			MOBILESoft Research Track FeedAIde: Guiding App Users to Submit Rich Feedback Reports by Asking C ... 14:45 - 15:00			MOBILESoft Research Track InsightEdu: Mobile Discord Bot Management and Analytics for Educators 15:00 - 15:15												MOBILESoft Research Track Award & Final Remarks 16:00 - 17:30

Mon 13 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change


Room	9:00			15			30			45			10:00			15			30			45
Oceania IX	CHASE Research Track Mapping the Skills and Roles of Experimentation in Software Organizatio ... 09:00 - 09:18				CHASE Research Track How Does Cognitive Capability and Personality Influence Problem-Solving ... 09:18 - 09:36			CHASE Research Track A Quasi-Experimental Evaluation of Coaching to Mitigate the Impostor Ph ... 09:36 - 09:54				CHASE Research Track Constructive Patterns for Human-Centered Tech Hiring 09:54 - 10:12			CHASE Research Track Struggling to Connect: A Researcher’s Reflection on Networking in Softw ... 10:12 - 10:30

Wed 15 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil 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
Oceania IX	ICSE Research Track BFix: Automated Safe Memory-Leak Fixing for Binary Code 11:00 - 11:15			ICSE Research Track Learning without Forgetting: Towards Continual learning of Fault Locali ... 11:15 - 11:30			ICSE Research Track Memory-Efficient Large Language Models for Program Repair with Semantic ... 11:30 - 11:45			ICSE SE In Practice (SEIP) Addressing Test Flakiness: Practical Approaches in a Database-Reliant I ... 11:45 - 12:00			ICSE SE In Practice (SEIP) XTrace: A Non-Invasive Dynamic Tracing Framework for Android Applicatio ... 12:00 - 12:15			ICSE SE In Practice (SEIP) Delta Debugging for LLM-integrated Systems 12:15 - 12:30																					ICSE Research Track SymRadar: PoC-Centered Bounded Verification for Vulnerability Repair 14:00 - 14:15			ICSE Research Track Fine-Grained Analyses for Evolution-Aware Runtime Verification 14:15 - 14:30			ICSE Research Track An Empirical Study on Static Application Security Testing (SAST) Tools ... 14:30 - 14:45			ICSE Research Track NotDec: WebAssembly Decompilation With Inter-Procedural Type Recovery 14:45 - 15:00			ICSE Research Track PyXray: Practical Cross-Language Call Graph Construction through Object ... 15:00 - 15:15			ICSE SE In Practice (SEIP) HapCheck: DSL-Based Static Bug Detection Framework for OpenHarmony 15:15 - 15:30									ICSE Research Track SAFE: Harnessing LLM for Scenario-Driven ADS Testing from Multimodal Cr ... 16:00 - 16:15			ICSE Research Track Bounded Exhaustive Random Program Generation for Testing Solidity Compilers 16:15 - 16:30			ICSE Research Track META²V2V: Revealing Behavioural Deviations under Mutual Perception in M ... 16:30 - 16:45			ICSE Research Track DeFT: Maintaining Determinism and Extracting Unit Tests for Autonomous ... 16:45 - 17:00			ICSE Research Track TARIPlay: A Test Framework for AR Applications based on Interactive Are ... 17:00 - 17:15			ICSE Research Track Validating Mixed-Integer Programming Solvers 17:15 - 17:30

Thu 16 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil 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
Oceania IX	ICSE Research Track RusyFuzz: Unhandled Exception Guided Fuzzing for Rust OS Kernel 11:00 - 11:15			ICSE Research Track VDBFuzz: Understanding and Detecting Crash Bugs in Vector Database Mana ... 11:15 - 11:30			ICSE Research Track GPTrace: Effective Crash Deduplication Using LLM Embeddings 11:30 - 11:45			ICSE Research Track Is My RPC Response Reliable? Detecting RPC Bugs in Blockchain Client un ... 11:45 - 12:00			ICSE Research Track EchoFuzz: Empowering Smart Contract Fuzzing with Large Language Models 12:00 - 12:15			ICSE Research Track StorFuzz: Using Data Diversity to Overcome Fuzzing Plateaus 12:15 - 12:30																					ICSE Research Track Efficient Build Dependency Verification Using eBPF and Incremental Analysis 14:00 - 14:15			ICSE Research Track Hybrid Fault-Driven Mutation Testing for Python 14:15 - 14:30			ICSE Research Track No Shot in the Dark: Efficient Context-Free Language Reachability via C ... 14:30 - 14:45			ICSE Research Track Is Call Graph Pruning Really Effective? An Empirical Re-evaluation 14:45 - 15:00			ICSE Research Track MutDafny: A Mutation-Based Approach to Assess Dafny Specifications 15:00 - 15:15			ICSE Research Track Enhancing Symbolic Execution with Self-Configuring Parameters 15:15 - 15:30									ICSE Research Track An Eye for AI: Eye-Tracking the Micro-Interruptions of GenAI Code Sugge ... 16:00 - 16:15			ICSE Research Track Inside Out: Uncovering How Comment Internalization Steers LLMs for Bett ... 16:15 - 16:30			ICSE Research Track Scrub It Out! Erasing Sensitive Memorization in Code Language Models vi ... 16:30 - 16:45			ICSE Research Track What Makes Code Generation Ethically Sourced? 16:45 - 17:00			ICSE Research Track Filtering before Tuning: Robust Fine-Tuning of Large Code Models under ... 17:00 - 17:15			ICSE Research Track Automating Requirements Formalization: Using LLMs and Low-Complexity Di ... 17:15 - 17:30

Fri 17 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil 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
Oceania IX	ICSE Demonstrations Bridging the Final Gap: Fuzzing Template Generation from Protocol Rever ... 11:00 - 11:15			ICSE Journal-first Papers The Havoc Paradox in Generator-Based Fuzzing 11:15 - 11:30			ICSE Journal-first Papers Visualization Task Taxonomy to Understand the Fuzzing Internals 11:30 - 11:45			ICSE Research Track FrameShift: Resizing Fuzzer Inputs Without Breaking Them 11:45 - 12:00			ICSE Research Track On Interaction Effects in Greybox Fuzzing 12:00 - 12:15			ICSE Research Track Configuration-Sensitive Linux Kernel Fuzzing 12:15 - 12:30																					ICSE Demonstrations Drivora: A Unified and Extensible Infrastructure for Search-based Auton ... 14:00 - 14:15			ICSE Journal-first Papers CITYWALK: Enhancing LLM-Based C++ Unit Test Generation via Project-Depe ... 14:15 - 14:30			ICSE Journal-first Papers How Toxic Can You Get? Search-Based Toxicity Testing for Large Language ... 14:30 - 14:45			ICSE Journal-first Papers Using Cooperative Co-evolutionary Search to Generate Metamorphic Test C ... 14:45 - 15:00			ICSE New Ideas and Emerging Results (NIER) Atomicity Violation Detection for Interrupt-Driven Programs via Increme ... 15:00 - 15:15			ICSE New Ideas and Emerging Results (NIER) EVATest: Domain-Oriented Android GUI Testing based on Reward-Guided Ret ... 15:15 - 15:30									ICSE Journal-first Papers Learning Program Behavioral Models from Synthesized Input-Output Pairs 16:00 - 16:15			ICSE Journal-first Papers MeDeT: Medical Device Digital Twins Creation with Few-shot Meta-learning 16:15 - 16:30			ICSE New Ideas and Emerging Results (NIER) Large Language Model powered Test Driver Generation for High-performanc ... 16:30 - 16:45			ICSE Research Track HarnessLLM: Rust Verification Harness Generation with Large Language Models 16:45 - 17:00			ICSE Research Track Agentic Predicates Reasoning for Directed Fuzzing 17:00 - 17:15			ICSE Research Track Change And Cover: Last-Mile, Pull Request-Based Regression Test Augment ... 17:15 - 17:30

Room information: Oceania IX

This program is tentative and subject to change.

Sun 12 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Mon 13 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Wed 15 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Thu 16 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Fri 17 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Sun 12 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

MOBILESoft Research Track

MOBILESoft Research Track

MOBILESoft Research Track

MOBILESoft Research Track

Mon 13 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

CHASE Research Track + CHASE Program

CHASE Program

CHASE Program

CHASE Program

Tue 14 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

CHASE Program

CHASE Program

CHASE Program

CHASE Program

Wed 15 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

ICSE SE In Practice (SEIP) + ICSE Research Track

ICSE Research Track + ICSE SE In Practice (SEIP)

ICSE Research Track

Thu 16 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

ICSE Research Track

ICSE Research Track

ICSE Research Track

Fri 17 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

ICSE Demonstrations + ICSE Journal-first Papers + ICSE Research Track

ICSE New Ideas and Emerging Results (NIER) + ICSE Demonstrations + ICSE Journal-first Papers

ICSE Journal-first Papers + ICSE Research Track + ICSE New Ideas and Emerging Results (NIER)

Sun 12 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Mon 13 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Wed 15 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Thu 16 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Fri 17 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Tracks

Room information: Oceania IX

This program is tentative and subject to change.

Program Display Configuration

Sun 12 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change

Mon 13 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change

Wed 15 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change

Thu 16 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change

Fri 17 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change

Sun 12 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change

MOBILESoft Research Track

MOBILESoft Research Track

MOBILESoft Research Track

MOBILESoft Research Track

Mon 13 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change

CHASE Research Track + CHASE Program

CHASE Program

CHASE Program

CHASE Program

Tue 14 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change

CHASE Program

CHASE Program

CHASE Program

CHASE Program

Wed 15 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change

ICSE SE In Practice (SEIP) + ICSE Research Track

ICSE Research Track + ICSE SE In Practice (SEIP)

ICSE Research Track

Thu 16 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change

ICSE Research Track

ICSE Research Track

ICSE Research Track

Fri 17 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change

ICSE Demonstrations + ICSE Journal-first Papers + ICSE Research Track

ICSE New Ideas and Emerging Results (NIER) + ICSE Demonstrations + ICSE Journal-first Papers

ICSE Journal-first Papers + ICSE Research Track + ICSE New Ideas and Emerging Results (NIER)

Sun 12 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change

Mon 13 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change

Wed 15 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change

Thu 16 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change

Fri 17 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change

Sun 12 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Mon 13 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Wed 15 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Thu 16 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Fri 17 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Sun 12 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Mon 13 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Tue 14 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Wed 15 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Thu 16 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Fri 17 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Sun 12 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Mon 13 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Wed 15 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Thu 16 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Fri 17 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change