Oceania X - FormaliSE 2026

VenueWindsor Convention Center and Hotels

Room nameOceania X

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 & KeynoteCAIN Program / at Oceania X

09:00 30m Day opening		Opening CAIN Program
09:30 60m Keynote		Engineering Maturity for AI Adoption: Lessons from Industry Keynote CAIN – Keynote Speakers Ipek Ozkaya Carnegie Mellon University

11:00 - 12:30	Engineering Agentic SystemsCAIN Industry Track / CAIN Research Track / CAIN Program at Oceania X

11:00 8m Short-paper		Towards an Approach for Specifying Intelligent Systems Involving Foundation Model Based AgentsShort Paper CAIN Research Track Júlia Condé Araújo Department of Informatics - Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Marina Condé Araújo Department of Informatics - Pontifical Catholic University of Rio de Janeiro (PUC-Rio), José M. C. Boaro Pontifical Catholic University of Rio de Janeiro, Marcos Kalinowski Pontifical Catholic University of Rio de Janeiro (PUC-Rio)
11:08 12m Full-paper		Saving SWE-Bench: A Benchmark Mutation Approach for Realistic Agent EvaluationFull Paper CAIN Research Track Spandan Garg Microsoft Corporation, Benjamin Steenhoek Microsoft, Yufan Huang Pre-print
11:20 12m Industry talk		Context Sharing Strategies for Production Multi-Agent AI Systems: An Industrial EvaluationFull Paper CAIN Industry Track Minav Suresh Patel Independent Researcher, Rohit Dhawan Independent Researcher, Priyank Desai Amazon.com, Ankush Dhar Amazon
11:32 8m Industry talk		Managing Variability in Industrial AI Agents for Manufacturing: Experiences at HitachiShort Paper CAIN Industry Track Kentaro Yoshimura Hitachi, Ltd., Eiji Nomura , Hiroshi Yoshikawa
11:40 8m Short-paper		Architecting AgentOps Needs CHANGEShort Paper CAIN Research Track Shaunak Biswas IIIT Hyderabad, Hiya Bhatt IIIT Hyderabad, Karthik Vaidhyanathan IIIT Hyderabad
11:48 12m Industry talk		How to Build AI Agents by Augmenting LLMs with Codified Human Expert Domain Knowledge? A Software Engineering FrameworkFull Paper CAIN Industry Track Choro Ulan Uulu Eindhoven University of Technology, Mikhail Kulyabin , Iris Fuhrmann , Jan Joosten , Nuno Miguel Martins Pacheco , Filippos Petridis , Rebecca Johnson , Jan Bosch Chalmers University of Technology, Helena Holmström Olsson Malmö University
12:00 12m Full-paper		Agentic AI Architecture for Evaluating and Improving Reinforcement Learning PipelinesFull Paper CAIN Research Track Evangelos Ntentos University of Vienna, Uwe Zdun University of Vienna
12:12 18m Live Q&A		Joint Q&A (Engineering Agentic Systems) CAIN Program

14:00 - 15:30	Data, Transparency, and XAICAIN Journal-First Track / CAIN Research Track / CAIN Industry Track / CAIN Program at Oceania X

14:00 12m Full-paper		Data Annotation Errors in AI-Enabled Perception System Development: A Multi-Organisation Case Study in the Automotive DomainFull Paper CAIN Research Track Hina Saeeda Chalmers University Sweden, Eric Knauss Chalmers \| University of Gothenburg, Mazen Mohamad Chalmers \| RISE - Research Institutes of Sweden, Tommy Johansson Kognic AB Sweden
14:12 8m Short-paper		Model-Driven Engineering of Synthetic Data Pipelines for AI-Enabled Healthcare SystemsShort Paper CAIN Research Track Mukhtar Sani CEA List, France, Nicholas Matragkas Université Paris-Saclay, CEA, List., Nam-khanh Nguyen DILS/LSEA CEA LIST Palaiseau, France
14:20 12m Industry talk		Data Leakage in Automotive Perception: Practitioners' InsightsFull Paper CAIN Industry Track Md Abu Ahammed Babu , Sushant Kumar Pandey University of Groningen, The Netherlands, Darko Durisic , András Bálint , Miroslaw Staron Chalmers University of Technology and University of Gothenburg
14:32 12m Full-paper		AIBoMGen: Generating an AI Bill of Materials for Secure, Transparent, and Compliant Model TrainingFull Paper CAIN Research Track Wiebe Vandendriessche Ghent University, imec, Jordi Thijsman Ghent University, imec, Laurens D'hooge Ghent University, imec, Bruno Volckaert Ghent University, imec, Merlijn Sebrechts Ghent University, imec Pre-print
14:44 12m Talk		Interpretability/Explainability Applied to Machine Learning Software Defect PredictionFull Paper CAIN Journal-First Track Szymon Stradowski , Lech Madeyski Wroclaw University of Science and Technology
14:56 12m Full-paper		Distilling Ensemble Intelligence into Explainable Anomaly Detection ModelsFull Paper CAIN Research Track Ashish Rauniyar SINTEF Digital, Norway, Erik Johannes Husom SINTEF Digital, Sagar Sen
15:08 22m Live Q&A		Joint Q&A (Data, Transparency, and XAI) CAIN Program

16:00 - 17:30	Governance and ComplianceCAIN Journal-First Track / CAIN Industry Track / CAIN Research Track / CAIN Program at Oceania X

16:00 8m Short-paper		Governing AI in Practice: A Typology of Four Risk-Driven ArchetypesShort Paper CAIN Research Track Vasil Shteriyanov Eindhoven University of Technology, Rimma Dzhusupova Eindhoven University of Technology, Jan Bosch Chalmers University of Technology, Helena Holmström Olsson Malmö University
16:08 12m Industry talk		Applying a Requirements-Focused Agile Management Approach for Machine Learning-Enabled SystemsFull Paper CAIN Industry Track Lucas Cordeiro Romão , Luíz Xavier , Júlia Condé Araújo Department of Informatics - Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Marina Condé Araújo Department of Informatics - Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Ariane Rodrigues , Marcos Kalinowski Pontifical Catholic University of Rio de Janeiro (PUC-Rio) Pre-print
16:20 8m Short-paper		Governed Configuration for AI-Enabled Systems: Maintaining Tuned Variables in CI/CDShort Paper CAIN Research Track Nimrod Busany Accenture Labs
16:28 8m Industry talk		The Expert Validation Framework (EVF): Enabling Domain Expert Control in AI EngineeringShort Paper CAIN Industry Track Lucas Gren Chalmers \| University of Gothenburg, Felix Dobslaw Mid Sweden University Pre-print
16:36 12m Talk		Legal Aspects for Software Developers Interested in Generative AI ApplicationsFull Paper CAIN Journal-First Track Steffen Herbold University of Passau, Brian Valerius University of Passau, Anamaria Mojica-Hanke Universitity of Passau, Isabella Lex , Joel Mittel
16:48 12m Full-paper		Criminal Liability of Generative Artificial Intelligence Providers for User-Generated Child Sexual Abuse MaterialFull Paper CAIN Research Track Anamaria Mojica-Hanke Universitity of Passau, Thomas Goger Bavarian Central Office for the Prosecution of Cybercrime, Svenja Wölfel University of Passau, Brian Valerius University of Passau, Steffen Herbold University of Passau Pre-print Media Attached
17:00 30m Live Q&A		Joint Q&A (Governance, Compliance, and Ethics) CAIN Program

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

09:00 - 10:30	Keynote & Doctoral Symposium & PostersCAIN Posters / CAIN Doctoral Symposium / CAIN Program at Oceania X

09:00 60m Keynote		Engineering Governable Agentic Knowledge Fabrics for Discovery ApplicationsKeynote CAIN Program Renato Cerqueira PUC-Behring Institute for Artificial Intelligence
10:00 3m Doctoral symposium paper		Closing the Diagnostic Gap: An Explainable Testing Framework for Validation and Verification of AI-Based SystemsDoctoral Symposium CAIN Doctoral Symposium Halit Eris Technical University of Munich
10:03 3m Doctoral symposium paper		The Inauditable Lie: Achieving Verifiable and Compliant AI Systems by DesignDoctoral Symposium CAIN Doctoral Symposium Filippo Scaramuzza Tilburg University and Eindhoven University of Technology
10:06 3m Doctoral symposium paper		Toward Architecture-Aware Evaluation Metrics for LLM AgentsDoctoral Symposium CAIN Doctoral Symposium Débora Lêda de Lucena Souza Federal University of Campina Grande
10:09 3m Doctoral symposium paper		Characterizing Architectural Complexity on Machine Learning-Enabled SystemsDoctoral Symposium CAIN Doctoral Symposium Renato Cordeiro Ferreira University of São Paulo
10:12 3m Poster		Integrating Medallion Architecture and RAG for Secure LLM Products DevelopmentPoster CAIN Posters Leonardo da Silva Gomes Universidade de São Paulo, Suzane Duarte University of Brasilia (UnB), Isaque Alves University of São Paulo, Carla Silva Rocha Aguiar University of Brasilia (UnB)
10:15 3m Poster		Towards "ENERGY STAR" LLM-Enabled Software Engineering Tools with RAG and Prompt Engineering TechniquesPoster CAIN Posters Himon Thakur University of Colorado Colorado Springs (UCCS), Armin Moin University of Colorado Colorado Springs
10:18 3m Poster		Using Model Based System Engineering to define Operational Design Domain and Graphical Safety Notation to support trustworthiness of AI based systemsPoster CAIN Posters Asma Smaoui DILS/LSEA CEA LIST Palaiseau, France, Nam-khanh Nguyen DILS/LSEA CEA LIST Palaiseau, France, Adedjouma Morayo DILS/LSEA CEA LIST Palaiseau, France
10:21 3m Poster		Towards an Approach to Support Knowledge Acquisition for Engineering AI-Enabled SystemsPoster CAIN Posters Marina Condé Araújo Department of Informatics - Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Júlia Condé Araújo Department of Informatics - Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Romeu Oliveira Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Marcos Kalinowski Pontifical Catholic University of Rio de Janeiro (PUC-Rio)

11:00 - 12:30	MLOps and MonitoringCAIN Industry Track / CAIN Research Track / CAIN Program at Oceania X

11:00 8m Short-paper		RLOps Pipeline Development with Low-Code and Large Language Models for Industry 4.0Short Paper CAIN Research Track Stephen John Warnett University of Vienna, Uwe Zdun University of Vienna, Sebastian Geiger Siemens AG Österreich Pre-print
11:08 8m Short-paper		A Systematic Review of MLOps Tools: Tool Adoption, Lifecycle Coverage, and Critical InsightsShort Paper CAIN Research Track Zakkarija Micallef Vrije Universiteit Amsterdam, Netherlands, Keerthiga Rajenthiram Vrije Universiteit Amsterdam, Ilias Gerostathopoulos Vrije Universiteit Amsterdam
11:16 12m Industry talk		Engineering AI Agents for Clinical Workflows: A Case Study in Architecture, MLOps, and GovernanceFull Paper CAIN Industry Track Claudio Lucio do Val Lopes CEFET-MG, João Marcus Pitta , Fabiano Belém , Gildson Alves , Flávio Vinícius Cruzeiro Martins
11:28 8m Industry talk		MLOX: Open-Source MLOps for the Rest of UsShort Paper CAIN Industry Track Nico Görnitz , Lucca Occsner , Geerd-Dietger Hoffmann Employed by Green Coding Solutions
11:36 12m Full-paper		RegDriftKit: A Toolkit for Generating Data and Benchmarking Drift Detection in Regression TasksFull Paper CAIN Research Track Oz Kilic Carleton University, Justin Charbonneau IFS Canada Inc., Elio Velazquez IFS Canada Inc., Olga Baysal Carleton University
11:48 12m Full-paper		Machine Learning Observability in PracticeFull Paper CAIN Research Track Joran Leest Vrije Universiteit Amsterdam, Ilias Gerostathopoulos Vrije Universiteit Amsterdam, Patricia Lago Vrije Universiteit Amsterdam, Claudia Raibulet Vrije Universiteit Amsterdam Pre-print
12:00 8m Short-paper		Explaining Shifts in Machine Learning Systems with Causal MapsShort Paper CAIN Research Track Joran Leest Vrije Universiteit Amsterdam, Ilias Gerostathopoulos Vrije Universiteit Amsterdam, Claudia Raibulet Vrije Universiteit Amsterdam, Patricia Lago Vrije Universiteit Amsterdam Pre-print
12:08 22m Live Q&A		Joint Q&A (MLOps and Monitoring) CAIN Program

14:00 - 15:30	Quality Attributes and AssuranceCAIN Research Track / CAIN Program at Oceania X

14:00 8m Short-paper		Leveraging Domain Requirements in Concept Based Models via Differentiable Fuzzy LogicShort Paper CAIN Research Track Eik Reichmann Humboldt-Universität zu Berlin, Joao Paulo Costa de Araujo Humboldt-Universität zu Berlin, Lars Grunske Humboldt-Universität zu Berlin
14:08 8m Short-paper		Quality Model for Machine Learning ComponentsShort Paper CAIN Research Track Grace Lewis Carnegie Mellon Software Engineering Institute, Rachel A Brower-Sinning Carnegie Mellon Software Engineering Institute, Robert Edman Carnegie Mellon Software Engineering Institute, Ipek Ozkaya Carnegie Mellon University, Sebastian Echeverria Carnegie Mellon Software Engineering Institute, Alex Derr Carnegie Mellon Software Engineering Institute, Collin Beaudoin Fairfield University, Katherine R. Maffey Carnegie Mellon University Pre-print
14:16 12m Full-paper		Optimising for Energy Efficiency and Performance in Machine LearningFull Paper CAIN Research Track Emile Dos Santos Ferreira University of Cambridge, Andrei Paleyes Department of Computer Science and Technology, Univesity of Cambridge, Neil D. Lawrence Department of Computer Science and Technology, Univesity of Cambridge Pre-print
14:28 8m Short-paper		The Energy Impact of Domain Model Design in Classical PlanningShort Paper CAIN Research Track Ilche Georgievski University of Stuttgart, Serhat Tekin University of Stuttgart, Marco Aiello University of Stuttgart Pre-print
14:36 12m Full-paper		LLMs as Design Partners for AI-Based System Patterns: An Empirical EvaluationFull Paper CAIN Research Track Felipe Rodrigues de Oliveira State University of Ceara, Brazil, Felipe Vasconcelos De Souza State University of Ceara, Brazil, Ana Luiza Bessa De Paula Barros State University of Ceara, Brazil, Paulo Maia State University of Ceará
14:48 12m Full-paper		Statistical Confidence in Functional Correctness: An Approach for AI Product Functional Correctness EvaluationFull Paper CAIN Research Track Wallace Albertini Pontifical Catholic University of Rio de Janeiro, Marina Condé Araújo Department of Informatics - Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Júlia Condé Araújo Department of Informatics - Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Antonio Pedro Santos Alves Pontifical Catholic University of Rio de Janeiro, Marcos Kalinowski Pontifical Catholic University of Rio de Janeiro (PUC-Rio)
15:00 12m Full-paper		SETA: Statistical Fault Attribution for Compound AI SystemsFull Paper CAIN Research Track Sayak Chowdhury IIITB - International Institute of Information Technology Bangalore, Meenakshi D'Souza IIITB - International Institute of Information Technology Bangalore Pre-print
15:12 18m Live Q&A		Joint Q&A (Quality Attributes and Assurance) CAIN Program

16:00 - 17:30	Engineering GenAI SystemsCAIN Industry Track / CAIN Research Track / CAIN Program at Oceania X

16:00 8m Short-paper		Graphical-Probabilistic Modeling of Generative Flows in LLM-Native Software SystemsShort Paper CAIN Research Track Víctor Braberman ICC (UBA-CONICET), Flavia Bonomo-Braberman Universidad de Buenos Aires
16:08 12m Full-paper		Cognition Envelopes for Bounded AI Reasoning in Autonomous UAS OperationsFull Paper CAIN Research Track Pedro Alarcon Granadeno University of Notre Dame, Arturo Miguel Russell Bernal University of Notre Dame, Sofia Nelson University of Notre Dame, Demetrius Hernandez University of Notre Dame, Maureen Petterson University of Notre Dame, Michael Murphy University of Notre Dame, Walter J. Scheirer University of Notre Dame, Jane Cleland-Huang University of Notre Dame Pre-print
16:20 8m Industry talk		Current challenges and new prospects in software engineering practices for Geospatial AIShort Paper CAIN Industry Track Joao Lucas Almeida , Leonardo Pondian Tizzei IBM Research
16:28 8m Short-paper		The Physics of AIShort Paper CAIN Research Track Scott Barnett Applied Artificial Intelligence Initiative, Deakin University, Aleksandar Pasquini Deakin University, Stefanus Kurniawan Deakin University, Shangeetha Sivasothy Applied Artificial Intelligence Institute, Deakin University, Rhys Hill Deakin University, Rajesh Vasa Deakin University, Australia
16:36 12m Full-paper		RAG-DIVE: A Dynamic Approach for Multi-Turn Dialogue Evaluation in Retrieval-Augmented GenerationFull Paper CAIN Research Track Lorenz Brehme University of Innsbruck, Austria, Benedikt Dornauer University of Innsbruck; University of Cologne, Jan-Henrik Böttcher University of Hildesheim, Klaus Schmid , Ruth Breu University of Innsbruck, Mircea-Cristian Racasan c.c.com Moser GmbH, 8074 Grambach, Austria
16:48 8m Short-paper		Assisting Developers in the Selection of Generative AI ModelsShort Paper CAIN Research Track Raquel Berenguer Mueller Universitat Oberta de Catalunya, Sergio Cobos IN3 - UOC, Javier Luis Cánovas Izquierdo Universitat Oberta de Catalunya, Robert Clarisó Universitat Oberta de Catalunya
16:56 19m Live Q&A		Joint Q&A (Engineering GenAI Systems) CAIN Program
17:15 15m Day closing		Closing CAIN Program

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

11:00 - 12:30	Dependability and Security 1ICSE Research Track / ICSE SE In Practice (SEIP) at Oceania X

11:00 15m Talk		Towards Global Matches for Third-Party Library Detection in Android ICSE Research Track Lige Zhan Wuhan University, Jiang Ming Tulane University, USA, Chenke Luo Tulane University, Guojun Peng Wuhan University, Jianming Fu Wuhan University DOI
11:15 15m Talk		ViTAL: LLM-Powered Taint Analysis for GUI Field Visualization Auditing in Android ICSE SE In Practice (SEIP) Liuyang Jiang Beijing University of Posts and Telecommunications, Shenghan Liu Douyin, Qiuping Yi Beijing University of Posts and Telecommunications, Hongliang Liang beijing university of posts and telecommunication, xiangxingqian Douyin, Qingyun Kong Douyin, Yixiu Chen Douyin, XiaoQiang Fan Douyin, LiangXu Zou Douyin
11:30 15m Talk		Out of Distribution, Out of Luck: How Well Can LLMs Trained on Vulnerability Datasets Detect Top 25 CWE Weaknesses? ICSE Research Track Yikun Li Singapore Management University, Ngoc Tan Bui Singapore Management University, Ting Zhang Monash University, Chengran Yang Singapore Management University, Singapore, Xin Zhou Singapore Management University, Singapore, Martin Weyssow Singapore Management University, Jinfeng Jiang Singapore Management University, Junkai Chen Singapore Management University, Singapore, Huihui Huang Singapore Management University, Singapore, Huu Hung Nguyen Singapore Management University, Chiok Yew Ho Chinese University of Hong Kong, Jie Tan University of Groningen, Ruiyin Li Wuhan University, China; University of Groningen, The Netherlands, Yide Yin GovTech, Han Wei Ang GovTech, Frank Liauw Government Technology Agency Singapore, Eng Lieh Ouh Singapore Management University, Singapore, Lwin Khin Shar Singapore Management University, David Lo Singapore Management University Pre-print
11:45 15m Talk		OctopusGuard: K-Line Enhanced Token Scam Detector Powered by Multimodal LLMs ICSE Research Track Litong Sun SUN YAT-SEN UNIVERSITY, YangTian Mi Sun Yat-Sen University, Xiapu Luo Hong Kong Polytechnic University, Weigang Wu Sun Yat-sen University
12:00 15m Talk		UnPII: Unlearning Personally Identifiable Information with Quantifiable Exposure Risk ICSE SE In Practice (SEIP) Intae Jeon Samsung Research, Yujeong Kwon Sungkyunkwan University, Hyungjoon Koo Sungkyunkwan University
12:15 15m Talk		Foiegras: Source Code Based Software Composition Analysis For C/C++ Applications ICSE SE In Practice (SEIP) Georgios Gousios Endor Labs, Philip Hamer Endor Labs, Camilla Odlund Endor Labs, Leandro Melo Endor Labs, Joseph Hejderup Endor Labs & Delft University of Technology, Sridhara Muniraju Endor Labs, Thomas Durieux Endor Labs

14:00 - 15:30	Dependability and Security 2ICSE Research Track / ICSE Journal-first Papers / ICSE New Ideas and Emerging Results (NIER) at Oceania X

14:00 15m Talk		TraceCaps: Inline Provenance and Risk Enforcement for Agentic Software Engineering ICSE New Ideas and Emerging Results (NIER) Andre Catarino Faculty of Engineering, University of Porto, Claudia Mamede Carnegie Mellon University, Rui Melo Carnegie Mellon University & FEUP, Rui Maranhao Abreu University of Lisbon
14:15 15m Talk		Can LLMs Hack Enterprise Networks? Autonomous Assumed Breach Penetration-Testing Active Directory Networks ICSE Journal-first Papers Andreas Happe TU Wien, Jürgen Cito TU Wien
14:30 15m Talk		PenForge: On-the-Fly Expert Agent Construction for Automated Penetration Testing ICSE New Ideas and Emerging Results (NIER) Huihui Huang Singapore Management University, Singapore, Jieke Shi Singapore Management University, Junkai Chen Singapore Management University, Singapore, Ting Zhang Monash University, Yikun Li Singapore Management University, Chengran Yang Singapore Management University, Singapore, Eng Lieh Ouh Singapore Management University, Singapore, Lwin Khin Shar Singapore Management University, David Lo Singapore Management University
14:45 15m Talk		Evaluating and Improving the Robustness of Security Attack Detectors Generated by LLMs ICSE Journal-first Papers Samuele Pasini Università della Svizzera italiana, Jinhan Kim Università della Svizzera italiana, Tommaso Aiello SAP Security Research, Rocio Cabrera Lozoya SAP Security Research, Antonino Sabetta SAP, Paolo Tonella USI Lugano
15:00 15m Talk		LLM4JMH: Studying the Use of LLMs for Generating Java Performance Microbenchmarks ICSE Research Track Zongxiong Chen Fraunhofer FOKUS, Derui Zhu Technical University of Munich, Kundi Yao Ontario Tech University, Weiyi Shang University of Waterloo, Jinfu Chen Wuhan University, Jiahui Geng Mohamed bin Zayed University of Artificial Intelligence, Alexander Pretschner TU Munich, Jens Grossklags Technical University of Munich, Manfred Hauswirth Fraunhofer FOKUS, Sonja Schimmler Fraunhofer FOKUS & TU Berlin
15:15 15m Talk		RulePilot: An LLM-Powered Agent for Security Rule Generation ICSE Research Track Hongtai Wang National University of Singapore, Ming Xu Shanghai Jiao Tong University / National University of Singapore, Yanpei Guo National University of Singapore, Weili Han Fudan University, Hoon Wei Lim Cyber Special Ops-R&D, NCS Group, Jin Song Dong National University of Singapore

16:00 - 17:30	Dependability and Security 3ICSE Research Track / ICSE Demonstrations at Oceania X

16:00 15m Talk		Polaris: MIR-Level Obfuscation in LLVM for Efficient and Robust Decompiler Resistance ICSE Demonstrations Zhou Ang , Jiongchi Yu Singapore Management University, Yiran Zhang , Ziming Zhao Zhejiang University, Zhaoxuan Li Institute of Information Engineering, Chinese Academy of Sciences;School of Cyber Security, University of Chinese Academy of Sciences, Tingting Li Zhejiang University
16:15 15m Talk		AnchorDiff: Binary OSS Version Identification Method Based on Anchor Node Slicing ICSE Research Track Zixuan Liang National University of Defense Technology, Lei Zhou National University of Defense Technology, Yongqiang Guo National University of Defense Technology, Peihong Lin National University of Defense Technology, Danjun Liu National University of Defense Technology, Baosheng Wang National University of Defense Technology, Xu Zhou National University of Defense Technology
16:30 15m Talk		One Size Does Fit All: Kernel-Assisted Fine-Grained Debloating and Layout Randomization for Shared Libraries ICSE Research Track Ziyi Lin Shanghai Jiao Tong University, Haoyu Ma Beijing Jiaotong University, Kexin Liu Nankai University, Bowen Li Xidian University, Jinku Li Xidian University, Jianfeng Ma Xidian University
16:45 15m Talk		Beyond Fuzzy Matching: Constraint-Guided Patch Presence Testing for Obfuscated Java Binaries ICSE Research Track Lige Zhan Wuhan University, Jiang Ming Tulane University, USA, Chenke Luo Tulane University, Letian Sha Nanjing University of Posts and Telecommunications, Guojun Peng Wuhan University, Jianming Fu Wuhan University
17:00 15m Talk		Fast Flow-Sensitive C Program Partitioning via Iterative Value-Flow Refinement ICSE Research Track Maxwell Levatich Columbia University, Stephen A. Edwards Columbia University
17:15 15m Talk		An Empirical Study on the Robustness of Android Third-Party Library Detection Tools Against Advanced Obfuscation ICSE Research Track Dahan Pan Shanghai Jiao Tong University, Zhuohao Zhang GoSec Research Group, Yunjia Min Shanghai Jiao Tong University, Runhan Feng Purple Mountain Laboratories, Yuanyuan Zhang Shanghai Jiao Tong University

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

11:00 - 12:30	Dependability and Security 5ICSE Research Track / ICSE Demonstrations / ICSE New Ideas and Emerging Results (NIER) at Oceania X

11:00 15m Talk		Maven-Lockfile: High Integrity Rebuild of Past Java Releases ICSE Demonstrations Larissa Schmid KTH Royal Institute of Technology, Elias Lundell KTH Royal Institute of Technology, Yogya Gamage Universtité de Montréal, Benoit Baudry Université de Montréal, Martin Monperrus KTH Royal Institute of Technology
11:15 15m Talk		Build Code is Still Code: Finding the Antidote for Pipeline Poisoning ICSE New Ideas and Emerging Results (NIER) Brent Pappas University of Central Florida, Paul Gazzillo University of Central Florida
11:30 15m Talk		Closing the Chain: How to reduce your risk of being SolarWinds, Log4j, or XZ Utils ICSE Research Track Sivana Hamer North Carolina State University, Jacob Bowen North Carolina State University, Md Nazmul Haque North Carolina State University, Robert Hines , Chris Madden Yahoo, Laurie Williams North Carolina State University Pre-print
11:45 15m Talk		Bytecode-centric Detection of Known-to-be-vulnerable Dependencies in Java Projects ICSE Research Track Stefan Schott Heinz Nixdorf Institut, Paderborn University, Serena Elisa Ponta SAP Labs, Wolfram Fischer SAP Labs, Jonas Klauke Heinz Nixdorf Institut, Paderborn University, Eric Bodden Pre-print
12:00 15m Talk		Insecure Ingredients? Exploring Dependency Update Patterns of Bundled JavaScript Packages on the Web ICSE Research Track Ben Swierzy Fraunhofer FKIE and University of Bonn, Marc Ohm University of Bonn and Fraunhofer FKIE, Michael Meier University of Bonn and Fraunhofer FKIE Pre-print
12:15 15m Talk		Securing the AI Supply Chain: What Can We Learn From Developer-Reported Security Issues and Solutions of AI Projects? ICSE Research Track The Anh Nguyen Adelaide University, Triet Le The University of Adelaide, Muhammad Ali Babar School of Computer Science, The University of Adelaide Pre-print

14:00 - 15:30	Dependability and Security 6ICSE SE in Society (SEIS) / ICSE SE In Practice (SEIP) at Oceania X

14:00 15m Talk		"Where is My Troubleshooting Procedure?": Studying the Potential of RAG in Assisting Failure Resolution of Large Cyber-Physical System ICSE SE In Practice (SEIP) Maria Teresa Rossi University of Milano Bicocca, Italy, Leonardo Mariani University of Milano-Bicocca, Oliviero Riganelli University of Milano - Bicocca, Giuseppe Filomento University of Milano - Bicocca, Danilo Giannone University of Milano - Bicocca, Paolo Gavazzo University of Milano - Bicocca Pre-print
14:15 15m Talk		Deploying SafeKAN for Anomaly Detection in Safety-Critical Satellite Operations: An Industry-Guided Study ICSE SE In Practice (SEIP) Alberto Petrucci Gran Sasso Science Institute (GSSI), Francesco Basciani Gran Sasso Science Institute (GSSI), Franco Raimondi Gran Sasso Science Institute (GSSI), Patrizio Pelliccione Gran Sasso Science Institute, L'Aquila, Italy
14:30 15m Talk		FairRF: Multi-Objective Search for Single and Intersectional Software Fairness ICSE SE in Society (SEIS) Giordano d'Aloisio University of L'Aquila, Max Hort Simula Research Laboratory, Rebecca Moussa University College London, Federica Sarro University College London Pre-print
14:45 15m Talk		An Ontology-Based Approach to Security Risk Identification for Container Deployments in OT Contexts ICSE SE In Practice (SEIP) Yannick Landeck fortiss GmbH, Dian Balta fortiss GmbH, Martin Wimmer Siemens AG, Christian Knierim Siemens AG DOI Pre-print
15:00 15m Talk		PCICF: A Pedestrian Crossing Identification and Classification Framework ICSE SE In Practice (SEIP) Junyi Gu Chalmers University of Technology and University of Gothenburg, Beatriz Cabrero-Daniel University of Gothenburg, Ali Nouri Volvo cars & Chalmers University of Technology, Lydia Armini Chalmers University of Technology and University of Gothenburg, Christian Berger Chalmers University of Technology, Sweden
15:15 15m Talk		Engineering Future Critical CPSs with Trustworthy GenAI Across the Lifecycle ICSE SE in Society (SEIS) Alessio Bucaioni Malardalen University, Antonio Cicchetti Mälardalen University, Gordana Dodig Crnkovic Mälardalen University, Romina Spalazzese Malmö University, Emma Söderberg Lund University, Daniel Varro Linköping University / McGill University

16:00 - 17:30	Dependability and Security 7ICSE Research Track at Oceania X

16:00 15m Talk		WhisperCatcher: Demystifying Unauthorized and Encrypted Private Data Transmission in Android Applications ICSE Research Track Zhaoyu Qiu Xi'an Jiaotong University, Ming Fan Xi'an Jiaotong University, Bocan Ma Xi'an Jiaotong University, Yutian Tang University of Glasgow, United Kingdom, Lei Xue Sun Yat-Sen University, Haijun Wang Xi'an Jiaotong University, Ting Liu Xi'an Jiaotong University
16:15 15m Talk		Exploring and Improving Real-World Vulnerability Data Generation via Prompting Large Language Models ICSE Research Track Guangbei Yi Washington State University, Yu Nong University at Buffalo, SUNY, Minzhang Li Washington State University, Haipeng Cai University at Buffalo, SUNY
16:30 15m Talk		TaintP2X: Detecting Taint-Style Prompt-to-Anything Injection Vulnerabilities in LLM-Integrated Applications ICSE Research Track HeJunjie , Shenao Wang Huazhong University of Science and Technology, Yanjie Zhao Huazhong University of Science and Technology, Xinyi Hou Huazhong University of Science and Technology, Zhao Liu 360 AI Security Lab, Quanchen Zou 360 AI Security Lab, Haoyu Wang Huazhong University of Science and Technology
16:45 15m Talk		CoBrA: Context-, Branch-sensitive Static Analysis for Detecting Taint-style Vulnerabilities in PHP Web Applications ICSE Research Track Yichao Xu , Mingqing Kang Johns Hopkins University, Neil Thimmaiah University of Illinois Chicago, Rigel Gjomemo University of Illinois Chicago, V. N. Venkatakrishnan University of Illinois Chicago, Yinzhi Cao Johns Hopkins University
17:00 15m Talk		Project-Level Resource Leak Detection through Agent-based Ownership Analysis and Repair Pattern Verification ICSE Research Track Chengxin Xu Institute of Information Engineering, Chinese Academy of Sciences, Beijing, China; School of Cyber Security, University of Chinese Academy of Sciences, Beijing, China, xiu zhang Institute of Information Engineering, Chinese Academy of Sciences, Beijing, China; School of Cyber Security, University of Chinese Academy of Sciences, Beijing, China, Xiaorui Gong Institute of Information Engineering, Chinese Academy of Science
17:15 15m Talk		Understanding DevOps Security of Google Workspace Apps ICSE Research Track Liuhuo Wan University of Queensland, Chuan Yan University of Queensland, Zicong Liu University of Queensland, Haoyu Wang Huazhong University of Science and Technology, Guangdong Bai University of Queensland

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

11:00 - 12:30	Dependability and Security 8ICSE Journal-first Papers / ICSE Demonstrations / ICSE Research Track at Oceania X

11:00 15m Talk		DamFlow: Preventing a Flood of Irrelevant Data Flows in Android Apps ICSE Journal-first Papers Marco Alecci University of Luxembourg, Jordan Samhi University of Luxembourg, Luxembourg, Marc Miltenberger Fraunhofer SIT; ATHENE, Steven Arzt Fraunhofer SIT; ATHENE, Tegawendé F. Bissyandé University of Luxembourg, Jacques Klein University of Luxembourg
11:15 15m Talk		LVing: A Vulnerability Detection and Visualization Platform for Rust ICSE Demonstrations Ernesto Diaz Texas A&M University-San Antonio, Mark Solis Texas A&M University-San Antonio, Young Lee Texas A & M University - San Antonio, Jeong Yang Texas A&M University-San Antonio, Deep Gandhi Independent Researcher
11:30 15m Talk		StagedVulBERT: Multi-Granular Vulnerability Detection with a Novel Pre-trained Code Model ICSE Journal-first Papers Yuan Jiang Harbin Institute of Technology, Yujian Zhang Harbin Institute of Technology, Xiaohong Su Harbin Institute of Technology, Christoph Treude Singapore Management University, Tiantian Wang Harbin Institute of Technology
11:45 15m Talk		Just-in-Time Detection of Silent Security Patches ICSE Journal-first Papers Xunzhu Tang University of Luxembourg, Kisub Kim DGIST, Saad Ezzini Lancaster University, Yewei Song University of Luxembourg, Haoye Tian Aalto University, Jacques Klein University of Luxembourg, Tegawendé F. Bissyandé University of Luxembourg
12:00 15m Talk		Rusted Types: Static Detection of Rust Type Confusion Bugs ICSE Research Track Zeyang Zhuang The Chinese University of Hong Kong, Wei Meng Chinese University of Hong Kong, Michael Lyu The Chinese University of Hong Kong
12:15 15m Talk		LLM-based Vulnerability Discovery through the Lens of Code Metrics ICSE Research Track Felix Weissberg BIFOLD & TU Berlin, Lukas Pirch BIFOLD & TU Berlin, Erik Imgrund BIFOLD & TU Berlin, Jonas Möller BIFOLD & TU Berlin, Thorsten Eisenhofer BIFOLD & TU Berlin, Konrad Rieck BIFOLD & TU Berlin

14:00 - 15:30	Dependability and Security 10ICSE Journal-first Papers / ICSE New Ideas and Emerging Results (NIER) / ICSE Research Track at Oceania X

14:00 15m Talk		When Uncertainty Leads to Unsafety: Empirical Insights into the Role of Uncertainty in Unmanned Aerial Vehicle Safety ICSE Journal-first Papers Sajad Khatiri Università della Svizzera italiana and University of Bern, Fatemeh Mohammadi Amin Zurich University of Applied Sciences (ZHAW), Sebastiano Panichella University of Bern, Paolo Tonella USI Lugano
14:15 15m Talk		Structural Causal World Models: Towards An Assurance Framework for Safety-Critical Systems and Safeguarded AI ICSE New Ideas and Emerging Results (NIER) Jie Zou Centre for Assuring Autonomy, University of York, UK, Simon Burton Centre for Assuring Autonomy, University of York, UK, Radu Calinescu University of York, UK, Ioannis Stefanakos University of York, Roger Rivett University of York
14:30 15m Talk		Towards Verifiably Safe Tool Use for LLM Agents ICSE New Ideas and Emerging Results (NIER) Aarya Doshi Georgia Institute of Technology, Yining Hong Carnegie Mellon University, Congying Xu The Hong Kong University of Science and Technology, China, Eunsuk Kang Carnegie Mellon University, Alexandros Kapravelos NCSU, Christian Kästner Carnegie Mellon University
14:45 15m Talk		A Taxonomy of System-Level Attacks on Deep Learning Models in Autonomous Vehicles ICSE Journal-first Papers Masoud Jamshidiyan Tehrani Università della Svizzera italiana, Jinhan Kim Università della Svizzera italiana, ROSMAEL ZIDANE LEKEUFACK FOULEFACK University of Trento, Alessandro Marchetto Università di Trento, Paolo Tonella USI Lugano
15:00 15m Talk		Model Discovery and Graph Simulation: A Lightweight Gateway to Chaos Engineering ICSE New Ideas and Emerging Results (NIER) Anatoly Krasnovsky Department of Computer Science and Engineering, Innopolis University; MB3R Lab, 420500, Innopolis, Russia
15:15 15m Talk		Learning From Software Failures: A Case Study at a National Space Research Center ICSE Research Track Dharun Anandayuvaraj Purdue University, Tanmay Singla Purdue University, Zain Alabedin Haj Hammadeh German Aerospace Center (DLR), Andreas Lund German Aerospace Center (DLR), Alexandra Holloway Jet Propulsion Laboratory (JPL), James C. Davis Purdue University

16:00 - 17:30	Dependability and Security 11ICSE Journal-first Papers / ICSE New Ideas and Emerging Results (NIER) / ICSE Research Track at Oceania X

16:00 15m Talk		AtomGraph: Tackling Atomicity Violation in Smart Contracts using Multimodal GCNs ICSE New Ideas and Emerging Results (NIER) Xiaoqi Li Hainan University, Zongwei Li Hainan University, Wenkai Li Hainan University, Zeng Zhang Hainan University, Lei Xie Hainan University
16:15 15m Talk		ACFix: Guiding LLMs with Mined Common RBAC Practices for Context-Aware Repair of Access Control Vulnerabilities in Smart Contracts ICSE Journal-first Papers Lyuye Zhang Nanyang Technological University, Kaixuan Li Nanyang Technological University, Kairan Sun Nanyang Technological University, Daoyuan Wu Lingnan University, Ye Liu Singapore Management University, Haoye Tian Aalto University, Yang Liu Nanyang Technological University
16:30 15m Talk		Do Automated Fixes Truly Mitigate Smart Contract Exploits? ICSE Journal-first Papers Sofia Bobadilla KTH Royal Institute of Technology, Sweden, Mónica Jin KTH Royal Institute of Technology, Martin Monperrus KTH Royal Institute of Technology
16:45 15m Talk		CKG-LLM: LLM-Assisted Detection of Smart Contract Access Control Vulnerabilities Based on Knowledge Graphs ICSE New Ideas and Emerging Results (NIER) Xiaoqi Li Hainan University, Hailu Kuang Hainan University, Wenkai Li Hainan University, Zongwei Li Hainan University, Shipeng Ye Hainan University
17:00 15m Talk		One Signature, Multiple Payments: Demystifying and Detecting Signature Replay Vulnerabilities in Smart Contracts ICSE Research Track Zexu Wang Sun Yat-sen University, Jiachi Chen Sun Yat-sen University, Zewei Lin Sun Yat-sen University, Wenqing Chen Sun Yat-sen University, Kaiwen Ning Sun Yat-sen University, Jianxing Yu Sun Yat-sen University, Yuming Feng Peng Cheng Laboratory, Yu Zhang Harbin Institute of Technology, Weizhe Zhang Harbin Institute of Technology, Zibin Zheng Sun Yat-sen University Pre-print
17:15 15m Talk		USCSA: Evolution-Aware Security Analysis for Proxy-Based Upgradeable Smart Contracts ICSE New Ideas and Emerging Results (NIER) Xiaoqi Li Hainan University, Lei Xie Hainan University, Wenkai Li Hainan University, Zongwei Li Hainan 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 X	CAIN Program + CAIN – Keynote Speakers Opening & Keynote																								CAIN Industry Track + CAIN Research Track + CAIN Program Engineering Agentic Systems																																				CAIN Journal-First Track + CAIN Research Track + CAIN Industry Track + CAIN Program Data, Transparency, and XAI																								CAIN Journal-First Track + CAIN Industry Track + CAIN Research Track + CAIN Program Governance and Compliance

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 X	CAIN Posters + CAIN Doctoral Symposium + CAIN Program Keynote & Doctoral Symposium & Posters																								CAIN Industry Track + CAIN Research Track + CAIN Program MLOps and Monitoring																																				CAIN Research Track + CAIN Program Quality Attributes and Assurance																								CAIN Industry Track + CAIN Research Track + CAIN Program Engineering GenAI Systems

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 X	ICSE Future of Software Engineering																								ICSE Future of Software Engineering																																				ICSE Future of Software Engineering																								ICSE Future of Software Engineering

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 X	ICSE Research Track + ICSE SE In Practice (SEIP) Dependability and Security 1																																				ICSE Research Track + ICSE Journal-first Papers + ICSE New Ideas and Emerging Results (NIER) Dependability and Security 2																								ICSE Research Track + ICSE Demonstrations Dependability and Security 3

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 X	ICSE Research Track + ICSE Demonstrations + ICSE New Ideas and Emerging Results (NIER) Dependability and Security 5																																				ICSE SE in Society (SEIS) + ICSE SE In Practice (SEIP) Dependability and Security 6																								ICSE Research Track Dependability and Security 7

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 X	ICSE Journal-first Papers + ICSE Demonstrations + ICSE Research Track Dependability and Security 8																																				ICSE Journal-first Papers + ICSE New Ideas and Emerging Results (NIER) + ICSE Research Track Dependability and Security 10																								ICSE Journal-first Papers + ICSE New Ideas and Emerging Results (NIER) + ICSE Research Track Dependability and Security 11

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 X	CAIN Program Opening 09:00 - 09:30						CAIN – Keynote SpeakersKeynote Engineering Maturity for AI Adoption: Lessons from Industry 09:30 - 10:30																		CAIN Research TrackShort Paper Towards an Approach for Specifying Intelligent Systems Involving Founda ... 11:00 - 11:08		CAIN Research TrackFull Paper Saving SWE-Bench: A Benchmark Mutation Approach for Realistic Agent Eva ... 11:08 - 11:20		CAIN Industry TrackFull Paper Context Sharing Strategies for Production Multi-Agent AI Systems: An In ... 11:20 - 11:32		CAIN Industry TrackShort Paper Managing Variability in Industrial AI Agents for Manufacturing: Experie ... 11:32 - 11:40		CAIN Research TrackShort Paper Architecting AgentOps Needs CHANGE 11:40 - 11:48		CAIN Industry TrackFull Paper How to Build AI Agents by Augmenting LLMs with Codified Human Expert Do ... 11:48 - 12:00		CAIN Research TrackFull Paper Agentic AI Architecture for Evaluating and Improving Reinforcement Lear ... 12:00 - 12:12		CAIN Program Joint Q&A (Engineering Agentic Systems) 12:12 - 12:30																						CAIN Research TrackFull Paper Data Annotation Errors in AI-Enabled Perception System Development: A M ... 14:00 - 14:12		CAIN Research TrackShort Paper Model-Driven Engineering of Synthetic Data Pipelines for AI-Enabled Hea ... 14:12 - 14:20		CAIN Industry TrackFull Paper Data Leakage in Automotive Perception: Practitioners' Insights 14:20 - 14:32		CAIN Research TrackFull Paper AIBoMGen: Generating an AI Bill of Materials for Secure, Transparent, a ... 14:32 - 14:44			CAIN Journal-First TrackFull Paper Interpretability/Explainability Applied to Machine Learning Software De ... 14:44 - 14:56		CAIN Research TrackFull Paper Distilling Ensemble Intelligence into Explainable Anomaly Detection Models 14:56 - 15:08			CAIN Program Joint Q&A (Data, Transparency, and XAI) 15:08 - 15:30										CAIN Research TrackShort Paper Governing AI in Practice: A Typology of Four Risk-Driven Archetypes 16:00 - 16:08		CAIN Industry TrackFull Paper Applying a Requirements-Focused Agile Management Approach for Machine L ... 16:08 - 16:20		CAIN Research TrackShort Paper Governed Configuration for AI-Enabled Systems: Maintaining Tuned Variab ... 16:20 - 16:28		CAIN Industry TrackShort Paper The Expert Validation Framework (EVF): Enabling Domain Expert Control i ... 16:28 - 16:36	CAIN Journal-First TrackFull Paper Legal Aspects for Software Developers Interested in Generative AI Appli ... 16:36 - 16:48			CAIN Research TrackFull Paper Criminal Liability of Generative Artificial Intelligence Providers for ... 16:48 - 17:00		CAIN Program Joint Q&A (Governance, Compliance, and Ethics) 17: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			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 X	CAIN ProgramKeynote Engineering Governable Agentic Knowledge Fabrics for Discovery Applications 09:00 - 10:00												CAIN Doctoral SymposiumDoctoral Symposium Closing the Diagnostic Gap: An Explainable Testing Framework for Valida ... 10:00 - 10:03	CAIN Doctoral SymposiumDoctoral Symposium The Inauditable Lie: Achieving Verifiable and Compliant AI Systems by D ... 10:03 - 10:06	CAIN Doctoral SymposiumDoctoral Symposium Toward Architecture-Aware Evaluation Metrics for LLM Agents 10:06 - 10:09	CAIN Doctoral SymposiumDoctoral Symposium Characterizing Architectural Complexity on Machine Learning-Enabled Systems 10:09 - 10:12	CAIN Posters Poster Integrating Medallion Architecture and RAG for Secure LLM Products Deve ... 10:12 - 10:15	CAIN Posters Poster Towards "ENERGY STAR" LLM-Enabled Software Engineering Tools with RAG a ... 10:15 - 10:18	CAIN Posters Poster Using Model Based System Engineering to define Operational Design Domai ... 10:18 - 10:21	CAIN Posters Poster Towards an Approach to Support Knowledge Acquisition for Engineering AI ... 10:21 - 10:24								CAIN Research TrackShort Paper RLOps Pipeline Development with Low-Code and Large Language Models for ... 11:00 - 11:08		CAIN Research TrackShort Paper A Systematic Review of MLOps Tools: Tool Adoption, Lifecycle Coverage, ... 11:08 - 11:16	CAIN Industry TrackFull Paper Engineering AI Agents for Clinical Workflows: A Case Study in Architect ... 11:16 - 11:28			CAIN Industry TrackShort Paper MLOX: Open-Source MLOps for the Rest of Us 11:28 - 11:36	CAIN Research TrackFull Paper RegDriftKit: A Toolkit for Generating Data and Benchmarking Drift Detec ... 11:36 - 11:48			CAIN Research TrackFull Paper Machine Learning Observability in Practice 11:48 - 12:00		CAIN Research TrackShort Paper Explaining Shifts in Machine Learning Systems with Causal Maps 12:00 - 12:08		CAIN Program Joint Q&A (MLOps and Monitoring) 12:08 - 12:30																						CAIN Research TrackShort Paper Leveraging Domain Requirements in Concept Based Models via Differentiab ... 14:00 - 14:08		CAIN Research TrackShort Paper Quality Model for Machine Learning Components 14:08 - 14:16	CAIN Research TrackFull Paper Optimising for Energy Efficiency and Performance in Machine Learning 14:16 - 14:28			CAIN Research TrackShort Paper The Energy Impact of Domain Model Design in Classical Planning 14:28 - 14:36	CAIN Research TrackFull Paper LLMs as Design Partners for AI-Based System Patterns: An Empirical Eval ... 14:36 - 14:48			CAIN Research TrackFull Paper Statistical Confidence in Functional Correctness: An Approach for AI Pr ... 14:48 - 15:00		CAIN Research TrackFull Paper SETA: Statistical Fault Attribution for Compound AI Systems 15:00 - 15:12		CAIN Program Joint Q&A (Quality Attributes and Assurance) 15:12 - 15:30										CAIN Research TrackShort Paper Graphical-Probabilistic Modeling of Generative Flows in LLM-Native Soft ... 16:00 - 16:08		CAIN Research TrackFull Paper Cognition Envelopes for Bounded AI Reasoning in Autonomous UAS Operations 16:08 - 16:20		CAIN Industry TrackShort Paper Current challenges and new prospects in software engineering practices ... 16:20 - 16:28		CAIN Research TrackShort Paper The Physics of AI 16:28 - 16:36	CAIN Research TrackFull Paper RAG-DIVE: A Dynamic Approach for Multi-Turn Dialogue Evaluation in Retr ... 16:36 - 16:48			CAIN Research TrackShort Paper Assisting Developers in the Selection of Generative AI Models 16:48 - 16:56	CAIN Program Joint Q&A (Engineering GenAI Systems) 16:56 - 17:15				CAIN Program Closing 17:15 - 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 X	ICSE Research Track Towards Global Matches for Third-Party Library Detection in Android 11:00 - 11:15			ICSE SE In Practice (SEIP) ViTAL: LLM-Powered Taint Analysis for GUI Field Visualization Auditing ... 11:15 - 11:30			ICSE Research Track Out of Distribution, Out of Luck: How Well Can LLMs Trained on Vulnerab ... 11:30 - 11:45			ICSE Research Track OctopusGuard: K-Line Enhanced Token Scam Detector Powered by Multimodal ... 11:45 - 12:00			ICSE SE In Practice (SEIP) UnPII: Unlearning Personally Identifiable Information with Quantifiable ... 12:00 - 12:15			ICSE SE In Practice (SEIP) Foiegras: Source Code Based Software Composition Analysis For C/C++ App ... 12:15 - 12:30																					ICSE New Ideas and Emerging Results (NIER) TraceCaps: Inline Provenance and Risk Enforcement for Agentic Software ... 14:00 - 14:15			ICSE Journal-first Papers Can LLMs Hack Enterprise Networks? Autonomous Assumed Breach Penetratio ... 14:15 - 14:30			ICSE New Ideas and Emerging Results (NIER) PenForge: On-the-Fly Expert Agent Construction for Automated Penetratio ... 14:30 - 14:45			ICSE Journal-first Papers Evaluating and Improving the Robustness of Security Attack Detectors Ge ... 14:45 - 15:00			ICSE Research Track LLM4JMH: Studying the Use of LLMs for Generating Java Performance Micro ... 15:00 - 15:15			ICSE Research Track RulePilot: An LLM-Powered Agent for Security Rule Generation 15:15 - 15:30									ICSE Demonstrations Polaris: MIR-Level Obfuscation in LLVM for Efficient and Robust Decompi ... 16:00 - 16:15			ICSE Research Track AnchorDiff: Binary OSS Version Identification Method Based on Anchor No ... 16:15 - 16:30			ICSE Research Track One Size Does Fit All: Kernel-Assisted Fine-Grained Debloating and Layo ... 16:30 - 16:45			ICSE Research Track Beyond Fuzzy Matching: Constraint-Guided Patch Presence Testing for Obf ... 16:45 - 17:00			ICSE Research Track Fast Flow-Sensitive C Program Partitioning via Iterative Value-Flow Ref ... 17:00 - 17:15			ICSE Research Track An Empirical Study on the Robustness of Android Third-Party Library Det ... 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 X	ICSE Demonstrations Maven-Lockfile: High Integrity Rebuild of Past Java Releases 11:00 - 11:15			ICSE New Ideas and Emerging Results (NIER) Build Code is Still Code: Finding the Antidote for Pipeline Poisoning 11:15 - 11:30			ICSE Research Track Closing the Chain: How to reduce your risk of being SolarWinds, Log4j, ... 11:30 - 11:45			ICSE Research Track Bytecode-centric Detection of Known-to-be-vulnerable Dependencies in Ja ... 11:45 - 12:00			ICSE Research Track Insecure Ingredients? Exploring Dependency Update Patterns of Bundled J ... 12:00 - 12:15			ICSE Research Track Securing the AI Supply Chain: What Can We Learn From Developer-Reported ... 12:15 - 12:30																					ICSE SE In Practice (SEIP) "Where is My Troubleshooting Procedure?": Studying the Potential of RAG ... 14:00 - 14:15			ICSE SE In Practice (SEIP) Deploying SafeKAN for Anomaly Detection in Safety-Critical Satellite Op ... 14:15 - 14:30			ICSE SE in Society (SEIS) FairRF: Multi-Objective Search for Single and Intersectional Software F ... 14:30 - 14:45			ICSE SE In Practice (SEIP) An Ontology-Based Approach to Security Risk Identification for Containe ... 14:45 - 15:00			ICSE SE In Practice (SEIP) PCICF: A Pedestrian Crossing Identification and Classification Framework 15:00 - 15:15			ICSE SE in Society (SEIS) Engineering Future Critical CPSs with Trustworthy GenAI Across the Life ... 15:15 - 15:30									ICSE Research Track WhisperCatcher: Demystifying Unauthorized and Encrypted Private Data Tr ... 16:00 - 16:15			ICSE Research Track Exploring and Improving Real-World Vulnerability Data Generation via Pr ... 16:15 - 16:30			ICSE Research Track TaintP2X: Detecting Taint-Style Prompt-to-Anything Injection Vulnerabil ... 16:30 - 16:45			ICSE Research Track CoBrA: Context-, Branch-sensitive Static Analysis for Detecting Taint-s ... 16:45 - 17:00			ICSE Research Track Project-Level Resource Leak Detection through Agent-based Ownership Ana ... 17:00 - 17:15			ICSE Research Track Understanding DevOps Security of Google Workspace Apps 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 X	ICSE Journal-first Papers DamFlow: Preventing a Flood of Irrelevant Data Flows in Android Apps 11:00 - 11:15			ICSE Demonstrations LVing: A Vulnerability Detection and Visualization Platform for Rust 11:15 - 11:30			ICSE Journal-first Papers StagedVulBERT: Multi-Granular Vulnerability Detection with a Novel Pre- ... 11:30 - 11:45			ICSE Journal-first Papers Just-in-Time Detection of Silent Security Patches 11:45 - 12:00			ICSE Research Track Rusted Types: Static Detection of Rust Type Confusion Bugs 12:00 - 12:15			ICSE Research Track LLM-based Vulnerability Discovery through the Lens of Code Metrics 12:15 - 12:30																					ICSE Journal-first Papers When Uncertainty Leads to Unsafety: Empirical Insights into the Role of ... 14:00 - 14:15			ICSE New Ideas and Emerging Results (NIER) Structural Causal World Models: Towards An Assurance Framework for Safe ... 14:15 - 14:30			ICSE New Ideas and Emerging Results (NIER) Towards Verifiably Safe Tool Use for LLM Agents 14:30 - 14:45			ICSE Journal-first Papers A Taxonomy of System-Level Attacks on Deep Learning Models in Autonomou ... 14:45 - 15:00			ICSE New Ideas and Emerging Results (NIER) Model Discovery and Graph Simulation: A Lightweight Gateway to Chaos En ... 15:00 - 15:15			ICSE Research Track Learning From Software Failures: A Case Study at a National Space Resea ... 15:15 - 15:30									ICSE New Ideas and Emerging Results (NIER) AtomGraph: Tackling Atomicity Violation in Smart Contracts using Multim ... 16:00 - 16:15			ICSE Journal-first Papers ACFix: Guiding LLMs with Mined Common RBAC Practices for Context-Aware ... 16:15 - 16:30			ICSE Journal-first Papers Do Automated Fixes Truly Mitigate Smart Contract Exploits? 16:30 - 16:45			ICSE New Ideas and Emerging Results (NIER) CKG-LLM: LLM-Assisted Detection of Smart Contract Access Control Vulner ... 16:45 - 17:00			ICSE Research Track One Signature, Multiple Payments: Demystifying and Detecting Signature ... 17:00 - 17:15			ICSE New Ideas and Emerging Results (NIER) USCSA: Evolution-Aware Security Analysis for Proxy-Based Upgradeable Sm ... 17:15 - 17:30

Room information: Oceania X

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

CAIN Program + CAIN – Keynote Speakers

CAIN Industry Track + CAIN Research Track + CAIN Program

CAIN Journal-First Track + CAIN Research Track + CAIN Industry Track + CAIN Program

CAIN Journal-First Track + CAIN Industry Track + CAIN Research Track + CAIN Program

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

CAIN Posters + CAIN Doctoral Symposium + CAIN Program

CAIN Industry Track + CAIN Research Track + CAIN Program

CAIN Research Track + CAIN Program

CAIN Industry Track + CAIN Research Track + CAIN Program

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

ICSE Future of Software Engineering

ICSE Future of Software Engineering

ICSE Future of Software Engineering

ICSE Future of Software Engineering

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

ICSE Research Track + ICSE SE In Practice (SEIP)

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

ICSE Research Track + ICSE Demonstrations

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

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

ICSE SE in Society (SEIS) + ICSE SE In Practice (SEIP)

ICSE Research Track

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

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

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

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

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 X

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

CAIN Program + CAIN – Keynote Speakers

CAIN Industry Track + CAIN Research Track + CAIN Program

CAIN Journal-First Track + CAIN Research Track + CAIN Industry Track + CAIN Program

CAIN Journal-First Track + CAIN Industry Track + CAIN Research Track + CAIN Program

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

CAIN Posters + CAIN Doctoral Symposium + CAIN Program

CAIN Industry Track + CAIN Research Track + CAIN Program

CAIN Research Track + CAIN Program

CAIN Industry Track + CAIN Research Track + CAIN Program

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

ICSE Future of Software Engineering

ICSE Future of Software Engineering

ICSE Future of Software Engineering

ICSE Future of Software Engineering

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

ICSE Research Track + ICSE SE In Practice (SEIP)

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

ICSE Research Track + ICSE Demonstrations

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

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

ICSE SE in Society (SEIS) + ICSE SE In Practice (SEIP)

ICSE Research Track

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

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

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

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

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