Oceania VIII - MSR 2026

VenueWindsor Convention Center and Hotels

Room nameOceania VIII

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	Keynote (I)FormaliSE Program at Oceania VIII

09:00 90m Keynote		Keynote: Sebastian Uchitel FormaliSE Program Sebastian Uchitel Imperial College London & University of Buenos Aires

11:00 - 12:30	Session 1: AI and SafetyFormaliSE Research Track / FormaliSE Program at Oceania VIII

11:00 30m Talk		Optimisation of Disaster Resource Distribution with Risk Uncertainty Using Fuzzy Theory FormaliSE Research Track Diego Perez-Palacin Linnaeus University, Kenneth Johnson Auckland University of Technology, Vincenzo Grassi University of Roma "Tor Vergata", Raffaela Mirandola Karlsruhe Institute of Technology (KIT)
11:30 30m Talk		Model-Driven Assurance for Robotic Controllers: A Subterranean Tunnel Inspection Case Study FormaliSE Research Track Yasmeen Rafiq University of Manchester, Christopher Bishop University of Manchester, Simon Watson University of Manchester, Louise Dennis University of Manchester, Frederic Wheeler University of Manchester, John Brotherhood University of Manchester, Marti Morta Garriga University of Manchester, Robert Hierons The University of Sheffield
12:00 15m Talk		Verification-Aware Convolution Neural Networks for Speech Recognition: A case study FormaliSE Research Track Syed Ali Asadullah Bukhari Maynooth University, Rosemary Monahan National University of Ireland, Barak A. Pearlmutter National University of Ireland
12:15 15m Talk		Fighting AI with AI: Leveraging Foundation Models for Assuring AI-Enabled Safety-Critical Systems FormaliSE Research Track Anastasia Mavridou KBR / NASA Ames Research Center, Divya Gopinath KBR; NASA Ames, Corina S. Păsăreanu Carnegie Mellon University; NASA Ames

14:00 - 15:30	Session 2: Verification, Synthesis & Automated ReasoningFormaliSE Research Track / FormaliSE Program at Oceania VIII

14:00 30m Talk		Autofy: Automated Synthesis of Formally Verified Code FormaliSE Research Track Nils Purschke Technical University of Munich, André Schamschurko Technical University of Munich, Sven Kirchner Technical University of Munich, Chengdong Wu Technical University of Munich, Alois Knoll Technical University of Munich
14:30 30m Talk		Bounded Synthesis of Synchronized Distributed Models from Lightweight Specifications FormaliSE Research Track Pablo Castro Dept. of Computer Science FCEFQyN, University of Rio Cuarto, Luciano Putruele National University of Rio Cuarto, Renzo Degiovanni Luxembourg Institute of Science and Technology, Nazareno Aguirre University of Rio Cuarto/CONICET, Argentina, and Guangdong Technion-Israel Institute of Technology, China
15:00 15m Talk		TensorEgg: Formally Verifying Rewrite Rules and Applying Them to Tensor Programs FormaliSE Research Track Akash Kothari University of Illinois at Urbana-Champaign, Dhruv Baronia University of Illinois at Urbana-Champaign
15:15 15m Talk		VeriROS: Verifiable ROS2 Navigation Execution Framework FormaliSE Research Track HUAN ZHANG Maynooth university, Hao Wu Maynooth University

16:00 - 17:30	Session 3: Formal Modeling, Specification & SemanticsFormaliSE Research Track / FormaliSE Program at Oceania VIII

16:00 30m Talk		A Compositional Approach to Mapping BPMN to DCR for Cross-Paradigm Process Modeling FormaliSE Research Track Yue Zhou , Hugo A. López Technical University of Denmark
16:30 30m Talk		Cargo Sherlock: An SMT-Based Checker for Software Trust Costs FormaliSE Research Track Muhammad Hassnain University of California, Davis, Anirudh Basu University of California, Davis, Ethan Ng University of California, Davis, Caleb Stanford University of California, Davis
17:00 15m Talk		Spectabular: Interactive Tabular Requirements Specifications (Research Ideas Paper) FormaliSE Research Track Emil Sekerinski McMaster University, Canada
17:15 15m Talk		Towards Modeling IoT Applications: Specification, Animation and Reasoning in Anemone FormaliSE Research Track Manel Barkallah University of Namur, Jean-Marie Jacquet University of Namur

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

09:00 - 10:30	Keynote (II)FormaliSE Program at Oceania VIII

09:00 90m Keynote		Keynote: Lina Marsso FormaliSE Program Lina Marsso Polytechnique Montreal

11:00 - 12:30	Session 4: Automated Reasoning, and Program AnalysisFormaliSE Research Track / FormaliSE Program at Oceania VIII

11:00 30m Talk		Simple Lambda Lifting: Formalisation in Lean and a new efficient algorithm FormaliSE Research Track Tom Levy University of Waikato, Steve Reeves University of Waikato
11:30 30m Talk		Domain-Guided Quantifier Instantiation with Yardbird FormaliSE Research Track Cole Vick University of Texas at Austin, Samuel Thomas The University of Texas at Austin, Texas, USA
12:00 15m Talk		From Cognition to Coordination: Modeling Agentic Autonomy in Large-Scale Multi-Agent Systems FormaliSE Research Track Minu Tiwari Siemens AG, Himanshu Kumar Singh Siemens AG
12:15 15m Talk		Test Data Selection by Failure Coverage FormaliSE Research Track Amani Ayad Mount Saint Vincent University, Ali Mili NJIT

14:00 - 15:30	Session 5: Automated Reasoning, and Program AnalysisFormaliSE Research Track / FormaliSE Program at Oceania VIII

14:00 30m Talk		Profile-Guided Constraint Simplification for Symbolic Execution FormaliSE Research Track Roxana Shajarian University of Nebraska-Lincoln, Md Rashedul Hasan University of Nebraska-Lincoln, Lisong Xu University of Nebraska-Lincoln, USA, Hamid Bagheri University of Nebraska-Lincoln
14:30 15m Talk		BPMN-T: A Timed–Probabilistic Extension of BPMN with Formal Semantics FormaliSE Research Track Ahang Zuo Univ. de Pau et des Pays de l’Adour
14:45 15m Talk		Toward an automatic formal verification of Cairo v0 programs (Extended Abstract) FormaliSE Research Track Nicolas Nalpon Dowsers, Souheib Baarir Dowsers/LIP6, Hugo DE SA PEREIRA PINTO Dowsers

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

09:00 - 10:30	Keynotes and Lightning TalksAGENT at Oceania VIII Chair(s): Qinghua Lu Data61, CSIRO

09:00 8m Day opening		Opening AGENT
09:08 30m Keynote		Keynote: AI in SE: The Era of Coding Agents AGENT K: Satish Chandra Meta Platforms, Inc.
09:38 30m Keynote		Keynote by Robert Feldt (TBD) AGENT K: Robert Feldt Chalmers \| University of Gothenburg
10:08 2m Talk		Toward Agentic Software Engineering Beyond Code: Framing Vision, Values, and Vocabulary AGENT Rashina Hoda Monash University
10:10 2m Talk		Using Copilot Agent Mode to Automate Library Migration: A Quantitative Assessment AGENT Aylton Almeida UFMG, Marco Tulio Valente Brazil, Laerte Xavier Pontifical Catholic University of Minas Gerais (PUC-Minas)
10:12 2m Talk		A Catalogue of Evaluation Metrics for LLM-Based Multi-Agent Frameworks in Software Engineering AGENT Ingrid Lima State University of Ceará, Brazil, Vitor Linhares State University of Ceará, Brazil, Anderson Martins Gomes State University of Ceará, Brazil, Paulo Maia State University of Ceará
10:14 2m Talk		From Business Meetings to Requirement Artifacts: An Agentic AI Approach with MARARE AGENT Malik Sami Tampere University, Gessé Evangelista Federal University of São Carlos, Kai-Kristian Kemell Tampere University, Luciana Zaina Federal University of São Carlos, Muhammad Waseem Faculty of Information Technology and Communication Sciences, Tampere University, 33014 Tampere, Finland, Zheying Zhang Tampere University, Pekka Abrahamsson Tampere University
10:16 2m Talk		AgenticAKM : Enroute to Agentic Architecture Knowledge Management AGENT Rudra Dhar IIIT Hyderabad, Karthik Vaidhyanathan IIIT Hyderabad, Vasudeva Varma IIIT-H
10:18 2m Talk		Agents — The Missing Piece in the Cognitive Cloud Continuum AGENT Sergio Moreschini Tampere University, Diyaz Yakubov Tampere University, Antti Kolehmainen Tampere University, David Hastbacka Tampere University
10:20 2m Talk		Toward Author-Guided Review: An Agentic Architecture for Reflective Code Review AGENT Nicole Davila Universidade Federal do Rio Grande do Sul, Igor Wiese Federal University of Technology
10:22 2m Talk		CPEMH: An Agentic Framework for Prompt-Driven Behavior Evaluation and Assurance in Foundation-Model Systems for Mental Health Screening AGENT GIULIANO LORENZONI University of Waterloo, Ivens da Silva Portugal University of Waterloo, Paulo Alencar University of Waterloo, Donald Cowan University of Waterloo
10:24 2m Talk		GeoAIAgent-Agentic workflow for automated geospatial data management AGENT Leonardo Pondian Tizzei IBM Research, Gabrielle Nyirjesy IBM Research, Levente Klein IBM Research, Ildar Khabibrakhmanov IBM Research, Maciel Zortea IBM Research, Hiyam Debary IBM Research, Mustansar Fiaz IBM Research, James Barry IBM Research, João Lucas de Sousa Almeida IBM Research, Theodore van Kessel IBM Research, Segev Shlomov IBM Research, Juan Bernabe Moreno IBM Research
10:26 2m Talk		Meta-RAG on Large Codebases Using Code Summarization AGENT Vali Tawosi J.P. Morgan AI Research, Salwa Alamir J.P. Morgan AI Research, Xiaomo Liu J.P. Morgan AI Research, Manuela Veloso J.P. Morgan AI Research
10:28 2m Talk		Decoding the Configuration of AI Coding Agents: Insights from Claude Code Projects AGENT Hélio Victor Flexa dos Santos UFMG, Vitor Costa UFMG, João Eduardo Montandon Universidade Federal de Minas Gerais (UFMG), Marco Tulio Valente Federal University of Minas Gerais, Brazil

11:00 - 12:30	Agent Architectures and CoordinationAGENT at Oceania VIII

11:00 30m Keynote		Keynote: Towards Self-Evolving Software Intelligence AGENT K: Lingming Zhang University of Illinois at Urbana-Champaign
11:30 6m Talk		ContReAct: A Feedback-Based Architecture for Continuous Agentic Operation AGENT Stefan Szeider Vienna University of Technology (TU Wien)
11:36 6m Talk		AgentFixer: From Failure Detection to Fix Recommendations in Agentic Systems AGENT Hadar Mulian IBM Research, Sergey Zeltyn IBM Research, Ido Levy IBM Research, Liane Galanti IBM Research, Avi Yaeli IBM Research, Segev Shlomov IBM Research
11:42 6m Talk		TALM: Dynamic Tree-Structured Multi-Agent Framework with Long-Term Memory for Scalable Code Generation AGENT Ming-Tung Shen , Yuh-Jzer Joung National Taiwan University
11:48 6m Talk		LLM-X: A Scalable Negotiation-Oriented Exchange for Communication Among Personal LLM Agents AGENT GIULIANO LORENZONI University of Waterloo, Paulo Alencar University of Waterloo, Donald Cowan University of Waterloo
11:54 6m Talk		From Stateless Code Generation to Living Ontologies: Business Autonomous Entities in Action AGENT Anderson Martins Gomes State University of Ceará, Brazil, Paulo Maia State University of Ceará, Vitor Linhares State University of Ceará, Brazil, Ingrid Lima State University of Ceará, Brazil
12:00 6m Talk		AVATAR-AGENT: A Multi-Agent System for Expressive 3D Avatar Generation AGENT Jason Ding Roblox, Rohan Gangaraju Roblox, Krishna C. Garikipati Roblox, Foad Dabiri Roblox, Chang Xu Roblox
12:06 24m Live Q&A		Session 2 Joint Q&A AGENT

14:00 - 15:30	Evaluation, Reliability, and Engineering PracticeAGENT at Oceania VIII

14:00 30m Keynote		Keynote: On the Evaluation of AI Coding Agents AGENT K: Chao Peng ByteDance
14:30 6m Talk		Beyond Task Completion: An Assessment Framework for Evaluating Agentic AI Systems AGENT Sreemaee Akshathala IIIT Hyderabad, Bassam Adnan IIIT Hyderabad, Mahisha Ramesh IIIT Hyderabad, Karthik Vaidhyanathan IIIT Hyderabad, Basil Muhammed MontyCloud, Kannan Parthasarathy MontyCloud
14:36 6m Talk		PerfBench: Can Agents Resolve Real-World Performance Bugs? AGENT Spandan Garg Microsoft Corporation, Roshanak Zilouchian Moghaddam Microsoft, Neel Sundaresan Microsoft
14:42 6m Talk		SWEnergy: An Empirical Study on Energy Efficiency in Agentic Issue Resolution Frameworks with SLMs AGENT Arihant Tripathy IIIT Hyderabad, India, Ch Pavan Harshit IIIT Hyderabad, India, Karthik Vaidhyanathan IIIT Hyderabad
14:48 6m Talk		Context Matters: Evaluating MCP-Based Context-Aware AI — A Case Study of Email Communications in Nonprofit Organizations AGENT Nitin Gupta University of Victoria, Jayani Samaraweera University of Victoria, Raaj Chatterjee Meaningful Technology Inc., Riya Shrestha University of Victoria, Trinity West University of Victoria, Dana Damian University of Victoria
14:54 6m Talk		Toward Agentic Software Project Management: A Vision and Roadmap AGENT Lakshana Assalaarachchi Monash University, Australia, Zainab Masood Prince Sultan University, Rashina Hoda Monash University, John Grundy Monash University
15:00 6m Talk		Not All Problems Are Nails, Not All Tools Should Be Hammers: A Position Paper on Agent Usage in Software Engineering Tasks AGENT Juuso Rytilahti Department of Computing, University of Turku, Panu Puhtila University of Turku, Oshani Weerakoon Department of Computing, University of Turku, Erkki Kaila Department of Computing, University of Turku, Tuomas Mäkilä University of Turku
15:06 24m Live Q&A		Session 3 Joint Q&A AGENT

16:00 - 17:30	Applications, Experience Reports, and PanelAGENT at Oceania VIII Chair(s): Qinghua Lu Data61, CSIRO

16:00 30m Keynote		Keynote: Lessons from the Frontlines: Deploying AI Agents in the Real World AGENT K: Gustavo Soares Microsoft
16:30 6m Talk		Building LLM-Based Voice Agents for Requirements Elicitation: An Experience Report on Early Prototypes AGENT Oshani Weerakoon Department of Computing, University of Turku, Tuomas Mäkilä University of Turku, Erkki Kaila Department of Computing, University of Turku, Shola Oyedeji LUT University
16:36 6m Talk		An Agentic System for LLM-Driven Public Transportation Analytics: A Practical Application and Case Study in Salvador-Brazil AGENT Lucas Teixeira Borges Federal University of Bahia, Fei T. Liu Artificial General Intelligence Pty Ltd., Tatiane Rios Federal University of Bahia, Marcos V. Ferreira Federal University of Bahia, Clovis Carmo Federal University of Bahia, Danilo B. Coimbra Federal University of Bahia, Jorge Nery Federal University of Bahia, Matheus Souza Integra - Association of Transport Companies of Salvador, Noe O. Garcia Arcadis, Albert Bifet University of Waikato, Institut Polytechnique de Paris, RICARDO RIOS Federal University of Bahia
16:42 6m Talk		AI in Insurance: Adaptive Questionnaires for Improved Risk Profiling AGENT Diogo Silva Deloitte and Faculty of Engineering, University of Porto, João Teixeira Deloitte, Bruno Lima LIACC, Faculty of Engineering, University of Porto Pre-print
16:48 6m Talk		Progressive Gated Co-Teaching for Weakly Supervised Deepfake Detection AGENT Rui Lang FEIT-UTS, Guangsheng Yu University of Technology Sydney, Qin Wang CSIRO Data61, Xu Wang Global Big Data Technologies Centre
16:54 11m Live Q&A		Session 4 Joint Q&A AGENT
17:05 20m Live Q&A		Panel Discussion AGENT
17:25 5m Day closing		Closing AGENT

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

11:00 - 12:30	Evolution 1ICSE Journal-first Papers / ICSE Research Track at Oceania VIII Chair(s): Leopoldo Teixeira Federal University of Pernambuco

11:00 15m Talk		Func: Reducing the impact of Android framework evolution on malware detection ICSE Journal-first Papers Hailong Yu Harbin Institute of Technology, Harbin Institute of Technology Zhengzhou Research Institute, Tiantian Wang Harbin Institute of Technology, Lwin Khin Shar Singapore Management University, Hanmeng Li Harbin Institute of Technology, David Lo Singapore Management University
11:15 15m Talk		Unraveling Code Clone Dynamics in Deep Learning Frameworks ICSE Journal-first Papers Maram Assi Université du Québec à Montréal, Safwat Hassan University of Toronto, Ying Zou Queen's University, Kingston, Ontario
11:30 15m Talk		Remediating Superfluous Re-Rendering in React ApplicationsAward Winner ICSE Research Track Farideh Khalili , Satyajit Gokhale Amazon, Alexi Turcotte CISPA, Dale Xu Boston University, Frank Tip Northeastern University
11:45 15m Talk		Minimizing Breaking Changes and Redundancy in Mitigating Technical Lag for Java Projects ICSE Research Track Rui Lu East China Normal University, Lyuye Zhang Nanyang Technological University, Kaixuan Li Nanyang Technological University, Min Zhang East China Normal University, Yixiang Chen East China Normal University Pre-print
12:00 15m Talk		CRUDinfer: Automated CRUD Semantics Inference for REST APIs Through Black-box Testing ICSE Research Track Michele Pasqua University of Verona, Davide Corradini University of Luxembourg, Michele Perlotto University of Naples, Mariano Ceccato University of Verona
12:15 15m Talk		Diffploit: Facilitating Cross-Version Exploit Migration for Open Source Library Vulnerabilities ICSE Research Track Zirui Chen , Zhipeng Xue Zhejiang University, Jiayuan Zhou Queen's University, Xing Hu Zhejiang University, Xin Xia Zhejiang University, Xiaohu Yang Zhejiang University

12:45 - 14:00	JSS Board MeetingICSE Meetings and BOF Events at Oceania VIII

12:45 75m Meeting		JSS Board Meeting ICSE Meetings and BOF Events Paris Avgeriou University of Groningen, The Netherlands, David C. Shepherd Louisiana State University

14:00 - 15:30	Architecture and Design 1ICSE Research Track / ICSE SE In Practice (SEIP) at Oceania VIII Chair(s): Klaus Schmid University of Hildesheim

14:00 15m Talk		Metronome: Differentiated Delay Scheduling for Serverless Functions ICSE Research Track Zhuangbin Chen Sun Yat-sen University, Juzheng Zheng School of Software Engineering, Sun Yat-sen University, Zibin Zheng Sun Yat-sen University
14:15 15m Talk		An Enterprise Marketplace for Unified Access to Multi-Cloud and Enterprise Products in a Large Banking Infrastructure ICSE SE In Practice (SEIP) Richard CASETTA BNP Paribas, Univ. Grenoble Alpes, Inria, CNRS, Grenoble INP, LIG, Thomas BRISBOUT BNP Paribas, Jean-François TUR BNP Paribas, Mariam Barry BNP Paribas, Julien VEYBEL BNP Paribas, Jean-Michel GARCIA BNP Paribas, Nils GESBERT Univ. Grenoble Alpes, Inria, CNRS, Grenoble INP, LIG, Pierre GENEVES Univ. Grenoble Alpes, Inria, CNRS, Grenoble INP, LIG
14:30 15m Talk		CCLInsight: Unveiling Insights in GPU Collective Communication Libraries via Primitive-Centric Analysis ICSE Research Track Liuyao Dai University of California, Merced, Adam Weingram University of California, Merced, Weicong Chen University of California, Merced, Xiaoyi Lu UC Merced
14:45 15m Talk		FlowScope: Non-Intrusive Distributed Tracing with Method-Level Delay Estimation for Microservices Troubleshooting ICSE Research Track gyt Tsinghua University, Han Zhang Tsinghua University, Zhiheng Wu Tsinghua University, Yahui Li Tsinghua University,China, Jilong Wang Tsinghua university, Xia Yin Tsinghua University
15:00 15m Talk		LogFold: Compressing Logs with Structured Tokens and Hybrid Encoding ICSE Research Track Shiwen Shan Sun Yat-sen University, Yintong Huo Singapore Management University, Singapore, Hongzhan Zhong Sun Yat-sen University, Zhining Wang Sun Yat-sen University, Yuxin Su Sun Yat-sen University, Zibin Zheng Sun Yat-sen University
15:15 15m Talk		Relax with Capybaras ICSE Research Track Media Attached

16:00 - 17:30	Dependability and Security 4ICSE Journal-first Papers / ICSE Research Track at Oceania VIII Chair(s): Dario Di Nucci University of Salerno

16:00 15m Talk		Diagnosing Unknown Attacks in Smart Homes Using Abductive Reasoning ICSE Journal-first Papers Kushal Ramkumar Lero@University College Dublin, Wanling Cai Lero@Trinity College Dublin, Gavin Doherty Lero@Trinity College Dublin, John McCarthy Lero@University College Cork, Bashar Nuseibeh The Open University, UK; Lero, University of Limerick, Ireland, Liliana Pasquale University College Dublin & Lero
16:15 15m Talk		Attention Distance: A Novel Metric for Directed Fuzzing with Large Language Models ICSE Research Track Bin Wang , Ao Yang Peking University, Kedan Li University of Illinois at Urbana-Champaign, Aofan Liu Peking University, Hui Li Xiamen University, Guibo Luo Peking University, Weixiang Huang China Mobile Internet CO, Yan Zhuang China Mobile Internet CO
16:30 15m Talk		BTreeFuzz: Enhanced Feedback Mechanism for ROS Program Fuzzer Based on Behavior Tree ICSE Research Track Hee Yeon Kim Korea University, Gyunghoon Kim Korea University, Dong Hoon Lee Korea University, Wonsuk Choi Korea University
16:45 15m Talk		GenDetect: Generalizing Reactive Detection for Resilience Against Imitative DeFi Attack Cascade ICSE Research Track Bowen Cai University of Minnesota - Twin City, Weihng Bai University of Minnesota - Twin City, Youshui Lu Xi'an Jiaotong University, Haoran Xu Johns Hopkins University, Yuannan Yang Johns Hopkins University, Yajin Zhou Zhejiang University; ZJU-Hangzhou Global Scientific and Technological Innovation Center, Kangjie Lu University of Minnesota DOI
17:00 15m Talk		ConfuGuard: Using Metadata to Detect Active and Stealthy Package Confusion Attacks Accurately and at Scale ICSE Research Track Wenxin Jiang Socket, Berk Çakar Purdue University, Mikola Lysenko Socket, Inc, James C. Davis Purdue University Pre-print
17:15 15m Talk		Enforcing Control Flow Integrity on DeFi Smart Contracts ICSE Research Track Zhiyang Chen University of Toronto, Sidi Mohamed Beillahi University of Toronto, Pasha Barahimi University of Tehran, Cyrus Minwalla Bank of Canada, Han Du Bank of Canada, Andreas Veneris University of Toronto, Fan Long University of Toronto

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

11:00 - 12:30	Evolution 2ICSE SE In Practice (SEIP) / ICSE Journal-first Papers at Oceania VIII Chair(s): Timo Kehrer University of Bern

11:00 15m Talk		How do Machine Learning Models Change? ICSE Journal-first Papers Joel Castaño Fernández Universitat Politècnica de Catalunya, Rafael Cabañas Department of Mathematics and CDTIME, University of Almería, Antonio Salmerón Department of Mathematics and CDTIME, University of Almería, David Lo Singapore Management University, Silverio Martínez-Fernández UPC-BarcelonaTech
11:15 15m Talk		A Taxonomy of Contextual Factors in Continuous Integration Processes ICSE Journal-first Papers Shujun Huang Delft University of Technology (TU Delft), Sebastian Proksch Delft University of Technology
11:30 15m Talk		Understanding the adoption of modern Javascript features: An empirical study on open-source systems ICSE Journal-first Papers Walter Lucas Monteiro de Mendonça University of Brasília, Rafael Nunes University of Brasília, Rodrigo Bonifácio Informatics Center - CIn/UFPE and Computer Science Department / University of Brasília, Fausto Carvalho University of Brasília, Ricardo Lima University of Brasília, Michael Silva University of Brasília, Adriano Torres University of Brasília, Paola Accioly Federal University of Pernambuco, Brazil, Eduardo Monteiro University of Brasília, João Saraiva
11:45 15m Talk		Adapting Installation Instructions in Rapidly Evolving Software Ecosystems ICSE Journal-first Papers Haoyu Gao The University of Melbourne, Christoph Treude Singapore Management University, Mansooreh Zahedi The Univeristy of Melbourne
12:00 15m Talk		On the Need to Monitor Continuous Integration Practices ICSE Journal-first Papers Jadson Santos Universidade Federal do Rio Grande do Norte, Daniel Alencar Da Costa University of Otago, Shane McIntosh University of Waterloo, Uirá Kulesza Federal University of Rio Grande do Norte
12:15 15m Talk		Technical Credit: Industry Views on Benefits and BarriersAward Winner ICSE SE In Practice (SEIP) Alessio Bucaioni Mälardalen University, Ian Gorton Northeastern University – Seattle, USA, Patrizio Pelliccione Gran Sasso Science Institute, L'Aquila, Italy

14:00 - 15:30	Architecture and Design 2ICSE Research Track / ICSE Journal-first Papers / ICSE SE in Society (SEIS) at Oceania VIII Chair(s): Davide Taibi University of Southern Denmark and University of Oulu

14:00 15m Talk		Quantum Software Engineering: Roadmap and Challenges Ahead ICSE Journal-first Papers Juan Manuel Murillo University of Extremadura and COMPUTAEX Foundation, Jose García-Alonso Universidad de Extremadura, Enrique Moguel University of Extremadura, Johanna Barzen University of Stuttgart, Frank Leymann University of Stuttgart. Institute of Architecture of Application Systems, Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University, Tao Yue Beihang University, Paolo Arcaini National Institute of Informatics , Ricardo Pérez-Castillo University of Castilla-La Mancha, Ignacio García University of Castilla-La Mancha, Mario Piattini University of Castilla-La Mancha, Spain, Antonio Ruiz-Cortés University of Seville, Antonio Brogi Università di Pisa, Jianjun Zhao Kyushu University, Andriy Miranskyy Toronto Metropolitan University (formerly Ryerson University), Manuel Wimmer JKU Linz
14:15 15m Talk		ArchHypo: Managing Software Architecture Uncertainty Using Hypotheses Engineering ICSE Journal-first Papers Kelson Silva Instituto Nacional de Pesquisas Espaciais (INPE), Jorge Melegati University of Porto, Fabio Fagundes Silveira Federal University of São Paulo (UNIFESP), Xiaofeng Wang Free University of Bozen-Bolzano, Mauricio Ferreira Instituto Nacional de Pesquisas Espaciais (INPE), Eduardo Guerra Free University of Bozen-Bolzano
14:30 15m Talk		A Holistic Approach to Design Understanding Through Concept Explanation ICSE Journal-first Papers Hongzhou Fang Drexel University, Yuanfang Cai Drexel University, Ewan Tempero The University of Auckland, Rick Kazman University of Hawai‘i at Mānoa, Yu-ChengTu University of Auckland, Jason Lefever Drexel University, Ernst Pisch Drexel University
14:45 15m Talk		SSAR: A Novel Software Architecture Recovery Approach Enhancing Accuracy and Scalability ICSE Research Track Wei Ding Central China Normal University, Ran Mo Central China Normal University, Chaochao Wu Central China Normal University, Haopeng Song Central China Normal University
15:00 15m Talk		Semantic-Enhanced Automatic Refinement of Architecture Recovery Results Using LLMs ICSE Research Track Yiran Zhang , Chengwei Liu Nankai University, Yuqiang Sun Nanyang Technological University, Zhengzi Xu Imperial Global Singapore, Weisong Sun Nanyang Technological University, Wenke Li Huazhong University of Science and Technology, Wuxia Jin Xi'an Jiaotong University, Yang Liu Nanyang Technological University
15:15 15m Talk		Technohealth: A Modular Framework for Reproducible Research in Precision Healthcare with Heterogeneous Wearable Data ICSE SE in Society (SEIS) Paula Lago Concordia University, Melika Seyedi Concordia University, Canada, Laurie Anne Laberge Concordia University, Canada, Abdelwahab Hamou-Lhadj Concordia University, Montreal, Canada

16:00 - 17:30	Evolution 3ICSE Research Track / ICSE New Ideas and Emerging Results (NIER) at Oceania VIII Chair(s): Oscar Chaparro William & Mary

16:00 15m Talk		MINES: Explainable Anomaly Detection through Web API Invariant Inference ICSE Research Track Wenjie Zhang National University of Singapore, Yun Lin Shanghai Jiao Tong University, Kwok Chun Fung Amos National University of Singapore, Xiwen Teoh National University of Singapore, Xiaofei Xie Singapore Management University, Frank Liauw Government Technology Agency Singapore, Hongyu Zhang Chongqing University, Jin Song Dong National University of Singapore
16:15 15m Talk		Actionable Warning Is Not Enough: Recommending Valid Actionable Warnings with Weak Supervision ICSE Research Track Zhipeng Xue Zhejiang University, Zhipeng Gao Shanghai Institute for Advanced Study - Zhejiang University, Tongtong Xu Huawei, Xing Hu Zhejiang University, Xin Xia Zhejiang University, Shanping Li Zhejiang University
16:30 15m Talk		SeRe: A Security-Related Code Review Dataset Aligned with Real-World Review Activities ICSE Research Track Zixiao Zhao , Yanjie Jiang Tianjin University, Hui Liu Beijing Institute of Technology, Kui Liu Huawei, Lu Zhang Peking University
16:45 15m Talk		Translating PL/I Macro Procedures into Java Using Automatic Templatization and Large Language Models ICSE New Ideas and Emerging Results (NIER) Takaaki Tateishi IBM Research - Tokyo, Yasuharu KATSUNO IBM Research
17:00 15m Talk		An Empirical Study of Fine-Grained Entity Relationships for Tracing Natural Language and Code Vulnerability Artifacts ICSE Research Track Simin Wang Department of Computer Science, Southern Methodist University, Dallas, Texas, USA 75275-0122, Liguo Huang Southern Methodist University, Shiyi Wei University of Texas at Dallas, Amiao Gao Department of Computer Science, Southern Methodist University, Dallas, Texas, USA 75275-0122, Ruiqi Hu Department of Statistics and Data Science, Vincent Ng Human Language Technology Research Institute, University of Texas at Dallas, Richardson, TX 75083-0688
17:15 15m Talk		Back to the Basics: Rethinking Issue-Commit Linking with LLM-Assisted Retrieval ICSE Research Track Huihui Huang Singapore Management University, Singapore, Ratnadira Widyasari Singapore Management University, Singapore, Ting Zhang Monash University, Ivana Clairine Irsan Singapore Management University, Jieke Shi Singapore Management University, Han Wei Ang GovTech, Frank Liauw Government Technology Agency Singapore, Eng Lieh Ouh Singapore Management University, Singapore, Lwin Khin Shar Singapore Management University, Hong Jin Kang University of Sydney, David Lo Singapore Management University

17:45 - 18:15	BoF for Reproducibility InitiativesICSE Meetings and BOF Events at Oceania VIII

17:45 30m Meeting		Reproducibility Initiatives with Chameleon Cloud: Packaging and Re-running Software Engineering Experiments ICSE Meetings and BOF Events Hao-Nan Zhu University of California, Davis

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

11:00 - 12:30	Evolution 4ICSE New Ideas and Emerging Results (NIER) / ICSE Journal-first Papers / ICSE Research Track at Oceania VIII Chair(s): Steffen Herbold University of Passau

11:00 15m Talk		Turning Merge Conflicts Into Conflict-Induced Variability ICSE New Ideas and Emerging Results (NIER) Manuel Ohrndorf University of Bern, Alexander Boll University of Bern, Roman Bögli University of Bern, Timo Kehrer University of Bern Pre-print
11:15 15m Talk		Towards a feasible evaluation function for search-based merge conflict resolution ICSE Journal-first Papers Heleno de Souza Campos Junior Universidade Federal Fluminense, Gleiph Ghiotto L. de Menezes Universidade Federal de Juiz de Fora, Marcio Barros UNIRIO, Andre van der Hoek University of California, Irvine, Leonardo Murta Universidade Federal Fluminense (UFF)
11:30 15m Talk		Using a Sledgehammer to Crack a Nut? Revisiting Automated Compiler Fault Isolation ICSE Research Track Yibiao Yang Nanjing University, Qingyang Li Nanjing University, Maolin Sun Nanjing University, Jiangchang Wu Nanjing University, Yuming Zhou Nanjing University
11:45 15m Talk		HistoryFinder: Advancing Method-Level Source Code History Generation with Accurate Oracles and Enhanced Algorithm ICSE Research Track Md Shahidul Islam University of Manitoba, S M Ashik Aowal American International University-Bangladesh, Md Sharif Uddin University of Saskatchewan, Shaiful Chowdhury University of Manitoba
12:00 15m Talk		CodeMapper: A Language-Agnostic Approach to Mapping Code Regions Across Commits ICSE Research Track Huimin Hu CISPA Helmholtz Center for Information Security, Michael Pradel CISPA Helmholtz Center for Information Security
12:15 15m Talk		Decades of GNU Patch and Git Cherry-Pick: Can We Do Better? ICSE Research Track Alexander Schultheiß Humboldt University of Berlin, Alexander Boll University of Bern, Paul Maximilian Bittner TU Braunschweig, Sandra Greiner University of Southern Denmark, Thomas Thüm TU Braunschweig, Timo Kehrer University of Bern Pre-print

14:00 - 15:30	Technical Briefing: Quantum Software Engineering 101ICSE Tutorials and Technical Briefings at Oceania VIII Chair(s): Paris Avgeriou University of Groningen, The Netherlands, Uirá Kulesza Federal University of Rio Grande do Norte

14:00 90m Talk		Technical Briefing: Quantum Software Engineering 101 ICSE Tutorials and Technical Briefings Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University

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 VIII	FormaliSE Program Keynote (I)																								FormaliSE Research Track + FormaliSE Program Session 1: AI and Safety																																				FormaliSE Research Track + FormaliSE Program Session 2: Verification, Synthesis & Automated Reasoning																								FormaliSE Research Track + FormaliSE Program Session 3: Formal Modeling, Specification & Semantics

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 VIII	FormaliSE Program Keynote (II)																								FormaliSE Research Track + FormaliSE Program Session 4: Automated Reasoning, and Program Analysis																																				FormaliSE Research Track + FormaliSE Program Session 5: Automated Reasoning, and Program Analysis																								FormaliSE 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 VIII	AGENT Keynotes and Lightning Talks																								AGENT Agent Architectures and Coordination																																				AGENT Evaluation, Reliability, and Engineering Practice																								AGENT Applications, Experience Reports, and Panel

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 VIII	ICSE Journal-first Papers + ICSE Research Track Evolution 1																					ICSE Meetings and BOF Events JSS Board Meeting															ICSE Research Track + ICSE SE In Practice (SEIP) Architecture and Design 1																								ICSE Journal-first Papers + ICSE Research Track Dependability and Security 4

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						18:00						30
Oceania VIII	ICSE SE In Practice (SEIP) + ICSE Journal-first Papers Evolution 2																					ICSE Meetings and BOF Events															ICSE Research Track + ICSE Journal-first Papers + ICSE SE in Society (SEIS) Architecture and Design 2																								ICSE Research Track + ICSE New Ideas and Emerging Results (NIER) Evolution 3																					ICSE Meetings and BOF Events BoF for Reproducibility Initiatives

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
Oceania VIII	ICSE New Ideas and Emerging Results (NIER) + ICSE Journal-first Papers + ICSE Research Track Evolution 4																																				ICSE Tutorials and Technical Briefings Technical Briefing: Quantum Software Engineering 101

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 VIII	FormaliSE Program Keynote: Sebastian Uchitel 09:00 - 10:30																								FormaliSE Research Track Optimisation of Disaster Resource Distribution with Risk Uncertainty Us ... 11:00 - 11:30						FormaliSE Research Track Model-Driven Assurance for Robotic Controllers: A Subterranean Tunnel I ... 11:30 - 12:00						FormaliSE Research Track Verification-Aware Convolution Neural Networks for Speech Recognition: ... 12:00 - 12:15			FormaliSE Research Track Fighting AI with AI: Leveraging Foundation Models for Assuring AI-Enabl ... 12:15 - 12:30																					FormaliSE Research Track Autofy: Automated Synthesis of Formally Verified Code 14:00 - 14:30						FormaliSE Research Track Bounded Synthesis of Synchronized Distributed Models from Lightweight S ... 14:30 - 15:00						FormaliSE Research Track TensorEgg: Formally Verifying Rewrite Rules and Applying Them to Tensor ... 15:00 - 15:15			FormaliSE Research Track VeriROS: Verifiable ROS2 Navigation Execution Framework 15:15 - 15:30									FormaliSE Research Track A Compositional Approach to Mapping BPMN to DCR for Cross-Paradigm Proc ... 16:00 - 16:30						FormaliSE Research Track Cargo Sherlock: An SMT-Based Checker for Software Trust Costs 16:30 - 17:00						FormaliSE Research Track Spectabular: Interactive Tabular Requirements Specifications (Research ... 17:00 - 17:15			FormaliSE Research Track Towards Modeling IoT Applications: Specification, Animation and Reasoni ... 17:15 - 17:30

Mon 13 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
Oceania VIII	FormaliSE Program Keynote: Lina Marsso 09:00 - 10:30																								FormaliSE Research Track Simple Lambda Lifting: Formalisation in Lean and a new efficient algorithm 11:00 - 11:30						FormaliSE Research Track Domain-Guided Quantifier Instantiation with Yardbird 11:30 - 12:00						FormaliSE Research Track From Cognition to Coordination: Modeling Agentic Autonomy in Large-Scal ... 12:00 - 12:15			FormaliSE Research Track Test Data Selection by Failure Coverage 12:15 - 12:30																					FormaliSE Research Track Profile-Guided Constraint Simplification for Symbolic Execution 14:00 - 14:30						FormaliSE Research Track BPMN-T: A Timed–Probabilistic Extension of BPMN with Formal Semantics 14:30 - 14:45			FormaliSE Research Track Toward an automatic formal verification of Cairo v0 programs (Extended ... 14:45 - 15:00

Tue 14 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 VIII	AGENT Opening 09:00 - 09:08		AGENT Keynote: AI in SE: The Era of Coding Agents 09:08 - 09:38						AGENT Keynote by Robert Feldt (TBD) 09:38 - 10:08						AGENT Toward Agentic Software Engineering Beyond Code: Framing Vision, Values ... 10:08 - 10:10	AGENT Using Copilot Agent Mode to Automate Library Migration: A Quantitative ... 10:10 - 10:12	AGENT A Catalogue of Evaluation Metrics for LLM-Based Multi-Agent Frameworks ... 10:12 - 10:14	AGENT From Business Meetings to Requirement Artifacts: An Agentic AI Approach ... 10:14 - 10:16	AGENT AgenticAKM : Enroute to Agentic Architecture Knowledge Management 10:16 - 10:18	AGENT Agents — The Missing Piece in the Cognitive Cloud Continuum 10:18 - 10:20	AGENT Toward Author-Guided Review: An Agentic Architecture for Reflective Cod ... 10:20 - 10:22	AGENT CPEMH: An Agentic Framework for Prompt-Driven Behavior Evaluation and A ... 10:22 - 10:24	AGENT GeoAIAgent-Agentic workflow for automated geospatial data management 10:24 - 10:26	AGENT Meta-RAG on Large Codebases Using Code Summarization 10:26 - 10:28	AGENT Decoding the Configuration of AI Coding Agents: Insights from Claude Co ... 10:28 - 10:30							AGENT Keynote: Towards Self-Evolving Software Intelligence 11:00 - 11:30						AGENT ContReAct: A Feedback-Based Architecture for Continuous Agentic Operation 11:30 - 11:36	AGENT AgentFixer: From Failure Detection to Fix Recommendations in Agentic Sy ... 11:36 - 11:42	AGENT TALM: Dynamic Tree-Structured Multi-Agent Framework with Long-Term Memo ... 11:42 - 11:48		AGENT LLM-X: A Scalable Negotiation-Oriented Exchange for Communication Among ... 11:48 - 11:54	AGENT From Stateless Code Generation to Living Ontologies: Business Autonomou ... 11:54 - 12:00	AGENT AVATAR-AGENT: A Multi-Agent System for Expressive 3D Avatar Generation 12:00 - 12:06	AGENT Session 2 Joint Q&A 12:06 - 12:30																							AGENT Keynote: On the Evaluation of AI Coding Agents 14:00 - 14:30						AGENT Beyond Task Completion: An Assessment Framework for Evaluating Agentic ... 14:30 - 14:36	AGENT PerfBench: Can Agents Resolve Real-World Performance Bugs? 14:36 - 14:42	AGENT SWEnergy: An Empirical Study on Energy Efficiency in Agentic Issue Reso ... 14:42 - 14:48		AGENT Context Matters: Evaluating MCP-Based Context-Aware AI — A Case Study o ... 14:48 - 14:54	AGENT Toward Agentic Software Project Management: A Vision and Roadmap 14:54 - 15:00	AGENT Not All Problems Are Nails, Not All Tools Should Be Hammers: A Position ... 15:00 - 15:06	AGENT Session 3 Joint Q&A 15:06 - 15:30											AGENT Keynote: Lessons from the Frontlines: Deploying AI Agents in the Real World 16:00 - 16:30						AGENT Building LLM-Based Voice Agents for Requirements Elicitation: An Experi ... 16:30 - 16:36	AGENT An Agentic System for LLM-Driven Public Transportation Analytics: A Pra ... 16:36 - 16:42	AGENT AI in Insurance: Adaptive Questionnaires for Improved Risk Profiling 16:42 - 16:48		AGENT Progressive Gated Co-Teaching for Weakly Supervised Deepfake Detection 16:48 - 16:54	AGENT Session 4 Joint Q&A 16:54 - 17:05		AGENT Panel Discussion 17:05 - 17:25				AGENT Closing 17:25 - 17: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 VIII	ICSE Journal-first Papers Func: Reducing the impact of Android framework evolution on malware det ... 11:00 - 11:15			ICSE Journal-first Papers Unraveling Code Clone Dynamics in Deep Learning Frameworks 11:15 - 11:30			ICSE Research TrackAward Winner Remediating Superfluous Re-Rendering in React Applications 11:30 - 11:45			ICSE Research Track Minimizing Breaking Changes and Redundancy in Mitigating Technical Lag ... 11:45 - 12:00			ICSE Research Track CRUDinfer: Automated CRUD Semantics Inference for REST APIs Through Bla ... 12:00 - 12:15			ICSE Research Track Diffploit: Facilitating Cross-Version Exploit Migration for Open Source ... 12:15 - 12:30						ICSE Meetings and BOF Events JSS Board Meeting 12:45 - 14:00															ICSE Research Track Metronome: Differentiated Delay Scheduling for Serverless Functions 14:00 - 14:15			ICSE SE In Practice (SEIP) An Enterprise Marketplace for Unified Access to Multi-Cloud and Enterpr ... 14:15 - 14:30			ICSE Research Track CCLInsight: Unveiling Insights in GPU Collective Communication Librarie ... 14:30 - 14:45			ICSE Research Track FlowScope: Non-Intrusive Distributed Tracing with Method-Level Delay Es ... 14:45 - 15:00			ICSE Research Track LogFold: Compressing Logs with Structured Tokens and Hybrid Encoding 15:00 - 15:15			ICSE Research Track Relax with Capybaras 15:15 - 15:30									ICSE Journal-first Papers Diagnosing Unknown Attacks in Smart Homes Using Abductive Reasoning 16:00 - 16:15			ICSE Research Track Attention Distance: A Novel Metric for Directed Fuzzing with Large Lang ... 16:15 - 16:30			ICSE Research Track BTreeFuzz: Enhanced Feedback Mechanism for ROS Program Fuzzer Based on ... 16:30 - 16:45			ICSE Research Track GenDetect: Generalizing Reactive Detection for Resilience Against Imita ... 16:45 - 17:00			ICSE Research Track ConfuGuard: Using Metadata to Detect Active and Stealthy Package Confus ... 17:00 - 17:15			ICSE Research Track Enforcing Control Flow Integrity on DeFi Smart Contracts 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			18:00			15			30			45
Oceania VIII	ICSE Journal-first Papers How do Machine Learning Models Change? 11:00 - 11:15			ICSE Journal-first Papers A Taxonomy of Contextual Factors in Continuous Integration Processes 11:15 - 11:30			ICSE Journal-first Papers Understanding the adoption of modern Javascript features: An empirical ... 11:30 - 11:45			ICSE Journal-first Papers Adapting Installation Instructions in Rapidly Evolving Software Ecosystems 11:45 - 12:00			ICSE Journal-first Papers On the Need to Monitor Continuous Integration Practices 12:00 - 12:15			ICSE SE In Practice (SEIP)Award Winner Technical Credit: Industry Views on Benefits and Barriers 12:15 - 12:30																					ICSE Journal-first Papers Quantum Software Engineering: Roadmap and Challenges Ahead 14:00 - 14:15			ICSE Journal-first Papers ArchHypo: Managing Software Architecture Uncertainty Using Hypotheses E ... 14:15 - 14:30			ICSE Journal-first Papers A Holistic Approach to Design Understanding Through Concept Explanation 14:30 - 14:45			ICSE Research Track SSAR: A Novel Software Architecture Recovery Approach Enhancing Accurac ... 14:45 - 15:00			ICSE Research Track Semantic-Enhanced Automatic Refinement of Architecture Recovery Results ... 15:00 - 15:15			ICSE SE in Society (SEIS) Technohealth: A Modular Framework for Reproducible Research in Precisio ... 15:15 - 15:30									ICSE Research Track MINES: Explainable Anomaly Detection through Web API Invariant Inference 16:00 - 16:15			ICSE Research Track Actionable Warning Is Not Enough: Recommending Valid Actionable Warning ... 16:15 - 16:30			ICSE Research Track SeRe: A Security-Related Code Review Dataset Aligned with Real-World Re ... 16:30 - 16:45			ICSE New Ideas and Emerging Results (NIER) Translating PL/I Macro Procedures into Java Using Automatic Templatizat ... 16:45 - 17:00			ICSE Research Track An Empirical Study of Fine-Grained Entity Relationships for Tracing Nat ... 17:00 - 17:15			ICSE Research Track Back to the Basics: Rethinking Issue-Commit Linking with LLM-Assisted R ... 17:15 - 17:30						ICSE Meetings and BOF Events Reproducibility Initiatives with Chameleon Cloud: Packaging and Re-runn ... 17:45 - 18:15

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
Oceania VIII	ICSE New Ideas and Emerging Results (NIER) Turning Merge Conflicts Into Conflict-Induced Variability 11:00 - 11:15			ICSE Journal-first Papers Towards a feasible evaluation function for search-based merge conflict ... 11:15 - 11:30			ICSE Research Track Using a Sledgehammer to Crack a Nut? Revisiting Automated Compiler Faul ... 11:30 - 11:45			ICSE Research Track HistoryFinder: Advancing Method-Level Source Code History Generation wi ... 11:45 - 12:00			ICSE Research Track CodeMapper: A Language-Agnostic Approach to Mapping Code Regions Across ... 12:00 - 12:15			ICSE Research Track Decades of GNU Patch and Git Cherry-Pick: Can We Do Better? 12:15 - 12:30																					ICSE Tutorials and Technical Briefings Technical Briefing: Quantum Software Engineering 101 14:00 - 15:30

Room information: Oceania VIII

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

Tue 14 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

FormaliSE Program

FormaliSE Research Track + FormaliSE Program

FormaliSE Research Track + FormaliSE Program

FormaliSE Research Track + FormaliSE Program

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

FormaliSE Program

FormaliSE Research Track + FormaliSE Program

FormaliSE Research Track + FormaliSE Program

FormaliSE Program

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

AGENT

AGENT

AGENT

AGENT

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

ICSE Journal-first Papers + ICSE Research Track

ICSE Meetings and BOF Events

ICSE Research Track + ICSE SE In Practice (SEIP)

ICSE Journal-first Papers + ICSE Research Track

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

ICSE SE In Practice (SEIP) + ICSE Journal-first Papers

ICSE Meetings and BOF Events

ICSE Research Track + ICSE Journal-first Papers + ICSE SE in Society (SEIS)

ICSE Research Track + ICSE New Ideas and Emerging Results (NIER)

ICSE Meetings and BOF Events

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

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

ICSE Tutorials and Technical Briefings

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

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

Tue 14 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

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

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

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