Oceania VII - FormaliSE 2026

VenueWindsor Convention Center and Hotels

Room nameOceania VII

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	Gilberto GilTechDebt Program / TechDebt Technical Papers at Oceania VII

09:00 5m Day opening		Welcome to TechDebt 2026 TechDebt Program A: Rodrigo Spinola Virginia Commonwealth University, A: Carolyn Seaman University of Maryland Baltimore County, A: Jeffrey C. Carver University of Alabama
09:05 65m Keynote		AI and Technical Debt: Friend or Foe? TechDebt Program A: David Lo Singapore Management University
10:10 20m Talk		Investigating Technical Debt Types, Issues, and Solutions in Serverless Computing TechDebt Technical Papers Hasini Sumalee Perera University of Saskatchewan, Zadia Codabux University of Saskatchewan, Fabio Palomba University of Salerno

11:00 - 12:30	DominguinhosTechDebt Technical Papers / TechDebt Journal First / TechDebt Industry Track at Oceania VII

11:00 20m Talk		Beyond the Code: The Value of Practicing and Evaluating Technical Debt Management TechDebt Technical Papers Mili Orucevic Visma, Maren Maritsdatter Kruke Visma software international AS, Antonio Martini University of Oslo, Norway
11:20 20m Industry talk		Quality Feedback in the Agentic Loop: Using CodeHealth Guardrails to Agentic Code Improvement TechDebt Industry Track A: Markus Borg CodeScene, A: Stuart Caborn loveholidays
11:40 20m Talk		Investigating CI/CD-based Technical Debt Management in Open-source Projects TechDebt Technical Papers João Paulo Biazotto University of Groningen and University of São Paulo, Daniel Feitosa University of Groningen, Paris Avgeriou University of Groningen, The Netherlands, Elisa Yumi Nakagawa University of São Paulo
12:00 10m Talk		"That Developer Left the Project!": An Introduction and Case Study of Turnover Technical Debt TechDebt Technical Papers Roberto Verdecchia University of Florence, Edoardo Sarri University of Florence, Enrico Vicario University of Florence
12:10 10m Talk		"TODO: Fix the Mess Gemini Created": Towards Understanding GenAI-Induced Self-Admitted Technical Debt TechDebt Technical Papers Abdullah Al Mujahid Missouri University of Science and Technology, Mia Mohammad Imran Missouri University of Science and Technology
12:20 10m Other		The Technical Debt Gamble: A Case Study on Technical Debt in a Large-Scale Industrial Microservice Architecture TechDebt Journal First A: Klara Borowa Warsaw University of Technology, A: Roberto Verdecchia University of Florence

14:00 - 15:30	DjavanTechDebt Program / TechDebt Technical Papers at Oceania VII

14:00 70m Keynote		Three Flavors of Technical Debt in Practice TechDebt Program A: Justine Gehring Gologic
15:10 20m Talk		Beyond Production Code: A Pull Request–Based Study of Technical Debt in Test Code TechDebt Technical Papers José Rocha do Amaral Neto Federal University of Campina Grande, Everton L. G. Alves Federal University of Campina Grande, Eliane C. Araújo Federal University of Campina Grande

16:00 - 17:40	Maria BetaniaTechDebt Industry Track / TechDebt Journal First / TechDebt Technical Papers at Oceania VII

16:00 20m Industry talk		Bosun: a platform for automated software transformations TechDebt Industry Track A: Pieter Bas
16:20 20m Industry talk		Collaborative Technical Debt Management in Open Source CAE Software TechDebt Industry Track A: Guangjie Li National Innovation Institute of Defense Technology
16:40 20m Industry talk		Managing Technical Debt at Scale: A Strategic Approach from Latin America’s Largest Bank TechDebt Industry Track A: Alexis Eduardo Ocampo Ramírez
17:00 10m Other		Agile Social Software Engineer: An Empirical Approach to Mitigate and Manage Social Debts in Agile Environments. TechDebt Journal First A: Rami Bahsoon University of Birmingham, A: Carlos Mera-Gómez ESPOL Polythecnic University
17:10 20m Awards		Awards: MIP, Best Paper, Best Industry TechDebt Technical Papers

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

09:00 - 10:30	Caetano VelosoTechDebt Program / TechDebt Technical Papers at Oceania VII

09:00 70m Keynote		From Technical Debt to Cognitive Debt TechDebt Program A: Margaret-Anne Storey University of Victoria
10:10 20m Awards		MIP, Best Paper, Best Industry Talk TechDebt Program A: Rodrigo Spinola Virginia Commonwealth University, A: Carolyn Seaman University of Maryland Baltimore County, A: Jeffrey C. Carver University of Alabama

11:00 - 12:30	Marisa MonteTechDebt Technical Papers / TechDebt Industry Track at Oceania VII

11:00 20m Talk		A Practical Guide for Establishing a Technical Debt Management Process TechDebt Technical Papers Marion Wiese University of Hamburg, Germany, Kamila Serwa University of Hamburg, Eva Bittner University of Hamburg
11:20 20m Industry talk		AI & Test Automation Debt - Zero-Touch Quality: Eradicating Test Maintenance Debt with Multi-Agent Autonomous Systems TechDebt Industry Track A: Sharad Nagariya
11:40 20m Talk		How Do Practitioners Manage Traceability of Technical Debt in Continuous Software Engineering? TechDebt Technical Papers Lucas Carvalho University of São Paulo, João Paulo Biazotto University of Groningen and University of São Paulo, Daniel Feitosa University of Groningen, Elisa Yumi Nakagawa University of São Paulo
12:00 10m Talk		When Do You Repeat Yourself? Voices from the Trenches of Linux Kernel Maintainers on Code Duplication TechDebt Technical Papers Luan Arcanjo University of São Paulo, David Tadokoro University of São Paulo, Marcelo Spessoto University of São Paulo, Rafael Passos University of São Paulo, Paulo Meirelles University of São Paulo
12:10 20m Industry talk		Preventing Debt Before the First Line of Code: An Experimentation-First Approach in Complex O&G Projects TechDebt Industry Track A: Sergio Tadeu Sinico Filho C.E.S.A.R.

14:00 - 15:30	LenineTechDebt Technical Papers / TechDebt Program at Oceania VII

14:00 70m Keynote		From Whispers to Strategy: the Benefits of Visualizing Technical Debt Management TechDebt Program A: Antonio Martini University of Oslo, Norway
15:10 20m Talk		The Effects of Early Socio-Technical Decisions on UXDebt TechDebt Technical Papers Andres Rodriguez LIFIA, UNLP, Julian Grigera Centro LIFIA, UNLP, CONICET, CICPBA, Juan Cruz Gardey LIFIA Fac. de Informática, UNLP, Luis Farfallini Fac.Psicología, UBA, Gustavo Rossi Universidad Nacional de La Plata, LIFIA-Fac. Informatica, La Plata, Argentina, Alejandra Garrido LIFIA, University of La Plata & CONICET, Argentina

16:00 - 17:40	Gal CostaTechDebt Technical Papers / TechDebt Program / TechDebt Journal First / TechDebt Industry Track at Oceania VII

16:00 20m Panel		Special Discussion TechDebt Program A: Zadia Codabux University of Saskatchewan
16:20 20m Talk		MANA-RTD: A Structured Process for Managing Requirements Technical Debt in Real Projects TechDebt Technical Papers Rhenara Alves Oliveira Federal University of Ceara (UFC), Anna Beatriz Marques Federal University of Ceará, Brazil, Amanda Sousa Federal University of Ceara (UFC), José Antônio Macêdo Federal University of Ceara (UFC), Rossana Andrade Federal University of Ceará
16:40 10m Talk		Technical Lag as Latent Technical Debt: A Rapid Review TechDebt Technical Papers Shane Panter Boise State University, Nasir Eisty University of Tennessee-Knoxville
16:50 10m Other		Process Smells in Practice: An Evaluative Case Study TechDebt Journal First A: Eray Tüzün Bilkent University, A: Erdem Tuna Bilkent University, A: Emre Sülün Bilkent University
17:00 20m Industry talk		LLMs-Assisted Context-Aware Static Analysis for Security Debt Detection TechDebt Industry Track A: Phu Nguyen SINTEF
17:20 10m Day closing		Closing and TechDebt 2027 TechDebt Program A: Rodrigo Spinola Virginia Commonwealth University, A: Carolyn Seaman University of Maryland Baltimore County, A: Jeffrey C. Carver University of Alabama

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

11:00 - 12:30	Software Engineering for AI 1ICSE Research Track / ICSE SE in Society (SEIS) / ICSE SE In Practice (SEIP) at Oceania VII

11:00 15m Talk		Fairness Is Not Just Ethical: Performance Trade-Off via Data Correlation Tuning to Mitigate Bias in ML Software ICSE Research Track Ying Xiao , Shangwen Wang National University of Defense Technology, Sicen Liu Southern University of Science and Technology, Dingyuan Xue Southern University of Science and Technology, Xian Zhan Southern University of Science and Technology, Yepang Liu Southern University of Science and Technology, Jie M. Zhang King's College London
11:15 15m Talk		TACO: Trust Assessment of Large Language Models in Coding Assistance Tasks ICSE Research Track Shihao Weng Nanjing University, Yang Feng Nanjing University, Jincheng Li Nanjing University, Yining Yin Nanjing University, Zhanglun Zhang Nanjing University, Lyuxi Liu University of Virginia, Jia Liu Nanjing University
11:30 15m Talk		Toward Systematic Counterfactual Fairness Evaluation of Large Language Models: The CAFFE Framework ICSE Research Track Alessandra Parziale Gran Sasso Science Institute, Gianmario Voria University of Salerno, Valeria Pontillo Gran Sasso Science Institute, Gemma Catolino University of Salerno, Andrea De Lucia University of Salerno, Fabio Palomba University of Salerno
11:45 15m Talk		Attention Pruning: Automated Fairness Repair of Language Models via Surrogate Simulated Annealing ICSE Research Track Vishnu Asutosh Dasu Pennsylvania State University, Md Rafi Ur Rashid Pennsylvania State University, Vipul Gupta Pennsylvania State University, Saeid Tizpaz-Niari University of Illinois Chicago, Gang (Gary) Tan Pennsylvania State University
12:00 15m Talk		Building an Open AIBOM Standard in the Wild: An Experience Report on Extending the SPDX SBOM (ISO/IEC 5962:2021) for AI Supply Chains ICSE SE In Practice (SEIP) Gopi Krishnan Rajbahadur , Keheliya Gallaba Centre for Software Excellence, Huawei Canada, Elyas Rashno Queen's University, Arthit Suriyawongkul ADAPT Centre, Trinity College Dublin, Karen Bennet IEEE, Kate Stewart Linux Foundation, Ahmed E. Hassan Queen’s University Pre-print
12:15 15m Talk		Data-Dependent Goal modeling for ML-Enabled Law Enforcement Systems ICSE SE in Society (SEIS) Dalal Alrajeh Imperial College London, Vesna Nowack Imperial College London, Patrick Benjamin University of Oxford, Katie Thomas University of Bath, William Hobson University of Bath, Carolina Gutierrez Munoz University of Bath, Catherine Hamilton-Giachritsis University of Bath, Juliane Kloess University of Edinburgh, Jessica Woodhams University of Birmingham, Daniel Butler Independent researcher, Mark Law ILASP, Ralph Morton Aston University, Benjamin Costello University of Birmingham, Amy Burrell University of Birmingham, Tim Grant Aston University, Prachiben Shah University of Birmingham, Frances Laureano de Leon University of Birmingham, Mark Lee University of Birmingham

14:00 - 15:30	Software Engineering for AI 2ICSE Research Track / ICSE SE In Practice (SEIP) at Oceania VII

14:00 15m Talk		MazeBreaker: Multi-Agent Reinforcement Learning for Dynamic Jailbreaking of LLM Security Defenses ICSE Research Track Zhihao Lin , Wei Ma Singapore Management University, Mingyi Zhou Beihang University, Yanjie Zhao Huazhong University of Science and Technology, Haoyu Wang Huazhong University of Science and Technology, Yang Liu Nanyang Technological University, Jun Wang Post Luxembourg, Li Li Beihang University
14:15 15m Talk		Checking Unsupervised Learning for Nondeterminism and Inconsistency via SMT Solving ICSE Research Track Muyeed Ahmed New Jersey Institute of Technology, Iulian Neamtiu New Jersey Institute of Technology
14:30 15m Talk		Smoke and Mirrors: Jailbreaking LLM-based Code Generation via Implicit Malicious Prompts ICSE Research Track Sheng Ouyang National University of Defense Technology, Yihao Qin National University of Defense Technology, Bo Lin National University of Defense Technology, Liqian Chen National University of Defense Technology, Xiaoguang Mao National University of Defense Technology, Shangwen Wang National University of Defense Technology Pre-print
14:45 15m Talk		AtPatch: Debugging Transformers via Hot-Fixing Over-Attention ICSE Research Track Shihao Weng Nanjing University, Yang Feng Nanjing University, Jincheng Li Nanjing University, Yining Yin Nanjing University, Xiaofei Xie Singapore Management University, Jia Liu Nanjing University
15:00 15m Talk		Why Attention Fails: A Taxonomy of Faults in Attention-Based Neural Networks ICSE Research Track Sigma Jahan Dalhousie University, Saurabhsingh Rajput Dalhousie University, Tushar Sharma Dalhousie University, Masud Rahman Dalhousie University
15:15 15m Talk		Empirical Evaluation of PDF Parsing and Chunking for Financial Question Answering with RAG ICSE SE In Practice (SEIP) Omar EL BACHYR University of Luxembourg, Yewei Song University of Luxembourg, Saad Ezzini King Fahad University of Petroleum and Minerals, Jacques Klein University of Luxembourg, Tegawendé F. Bissyandé University of Luxembourg, Anas Zilali BGL BNP Paribas, Ulrick Ble Banque BGL BNP Paribas, Anne Goujon BGL BNP PARIBAS

16:00 - 17:30	Software Engineering for AI 3ICSE Research Track / ICSE SE in Society (SEIS) at Oceania VII

16:00 15m Talk		Training on Clean Data but Getting Backdoored Models! A Poisoning Attack on Code Encoders ICSE Research Track Yiran Xiao Yangzhou University, Xiangyue Liu Yangzhou University, Zhou Yang University of Alberta, Alberta Machine Intelligence Institute , Lili Bo Yangzhou University, Xiaobing Sun Yangzhou University
16:15 15m Talk		Comfrey: Mitigating Integration Failures in LLM-enabled Software at Run-Time ICSE Research Track Yuchen Shao East China Normal University, Yuheng Huang The University of Tokyo, Jiazhen Zou East China Normal University, Yuling Shi Shanghai Jiao Tong University, Long Yang East China Normal University, Lei Ma The University of Tokyo & University of Alberta, Ting Su East China Normal University, Chengcheng Wan East China Normal University
16:30 15m Talk		AgentSpec: Customizable Runtime Enforcement for Safe and Reliable LLM Agents ICSE Research Track Haoyu Wang School of Computing and Information Systems, Singapore Management University, Chris Poskitt Singapore Management University, Jun Sun Singapore Management University Pre-print
16:45 15m Talk		On the Effectiveness of Proposed Techniques to Reduce Energy Consumption in RAG Systems: A Controlled Experiment ICSE SE in Society (SEIS) Zhinuan (Otto) Guo Vrije Universiteit Amsterdam, Chushu Gao Software Improvement Group, Justus Bogner Vrije Universiteit Amsterdam DOI Pre-print
17:00 15m Talk		FM4MC: Improving Feature Models for Microservice Chains—Towards More Efficient Configuration and Validation ICSE Research Track Uwe Gropengießer Technical University of Darmstadt, Paul Wolfart Technical University of Darmstadt, Julian Liphardt Technical University of Darmstadt, Max Mühlhäuser Technical University of Darmstadt
17:15 15m Talk		A Semantic-based Optimization Approach for Repairing LLMs: Case Study on Code Generation ICSE Research Track Jian Gu Monash University, Aldeida Aleti Monash University, Chunyang Chen TU Munich, Hongyu Zhang Chongqing University

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

11:00 - 12:30	Software Engineering for AI 4ICSE New Ideas and Emerging Results (NIER) / ICSE Research Track / ICSE SE In Practice (SEIP) / ICSE Journal-first Papers at Oceania VII

11:00 15m Talk		NeMo: A Neuron-level Modularizing-While-Training Approach for Decomposing DNN Models ICSE Journal-first Papers Xiaohan Bi Beihang University, Binhang Qi National University of Singapore, Hailong Sun Beihang University, Xiang Gao Beihang University, Yue Yu PengCheng Lab, Xiaojun Liang PengCheng Lab
11:15 15m Talk		A Selective Quantization Tuner for ONNX Models ICSE New Ideas and Emerging Results (NIER) Nikolaos Louloudakis The University of Edinburgh, Ajitha Rajan The University of Edinburgh
11:30 15m Paper		Green LLM Techniques in Action: How Effective Are Existing Techniques for Improving the Energy Efficiency of LLM-Based Applications in Industry? ICSE SE In Practice (SEIP) Pelin Rabia Kuran Vrije Universiteit Amsterdam, Rumbidzai Chitakunye Vrije Universiteit Amsterdam, Vincenzo Stoico Vrije Universiteit Amsterdam, Ilja Heitlager Schuberg Philis, Justus Bogner Vrije Universiteit Amsterdam DOI Pre-print
11:45 15m Talk		DNN Modularization via Activation-Driven Training ICSE Research Track Tuan Ngo University of Southern California, Abid Hassan University of Southern California, Saad Shafiq University of Southern California, Nenad Medvidović University of Southern California
12:00 15m Talk		ModularEvo: Evolving Multi-Task Models via Neural Network Modularization and Composition ICSE Research Track Wenrui Long Beihang university, Binhang Qi Beihang University, Hailong Sun Beihang University, ZongZhen Yang Beihang University, Ruobing Zhao Beihang University, Xiang Gao Beihang University
12:15 15m Talk		The Hidden Cost of Readability: How Code Formatting Silently Consumes Your LLM Budget ICSE Research Track Dangfeng Pan Monash University, Zhensu Sun Singapore Management University, cenyuan zhang Monash University, David Lo Singapore Management University, Xiaoning Du Monash University

14:00 - 15:30	Software Engineering for AI 5ICSE Research Track / ICSE Journal-first Papers / ICSE New Ideas and Emerging Results (NIER) at Oceania VII

14:00 15m Talk		Logging requirement for continuous auditing of responsible machine learning-based applications ICSE Journal-first Papers Foalem Patrick Loic Polytechnique Montréal, Leuson Da Silva Polytechnique Montreal, Foutse Khomh Polytechnique Montréal, Heng Li Polytechnique Montréal, Ettore Merlo Polytechnique Montreal
14:15 15m Talk		Model Cards for Responsible AI: Stop Carding, Start Modelling ICSE New Ideas and Emerging Results (NIER) Kalvin Thuan-Phong Khuu McMaster University, McSCert, Nicolas Lacroix Université Côte d'Azur, I3S, Baptiste Lacroix McMaster University, McSCert, Richard Paige McMaster University, Mireille Blay-Fornarino Université Côte d'Azur, I3S, Sébastien Mosser McMaster University
14:30 15m Talk		Redundancy as the Shadow of Explainability: A Trade-Off Principle for AI-Intensive Systems ICSE New Ideas and Emerging Results (NIER) Yan Liu Concordia University, Jun Huang Concordia University, Abdelwahab Hamou-Lhadj Concordia University, Montreal, Canada, Zheng Li Queen's University Belfast, UK
14:45 15m Talk		FairFLRep: Fairness aware fault localization and repair of Deep Neural Networks ICSE Journal-first Papers Moses Openja Polytechnique Montreal, Paolo Arcaini National Institute of Informatics , Foutse Khomh Polytechnique Montréal, Fuyuki Ishikawa National Institute of Informatics
15:00 15m Talk		Exploring the black box: analysing explainable AI challenges and best practices through stack exchange discussions ICSE Journal-first Papers Mohammad Mahdi Sayyadnejad Shiraz University, Ali Asgari TU Delft, Ashkan Sami Edinburgh Napier University, Hooman Tahayori Shiraz University
15:15 15m Talk		SustainDiffusion: Optimising the Social and Environmental Sustainability of Stable Diffusion Models ICSE Research Track Giordano d'Aloisio University of L'Aquila, Tosin Fadahunsi University College London, Jay Choy University College London, Rebecca Moussa University College London, Federica Sarro University College London Pre-print

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

16:00 15m Talk		TenderChat with Dynamic RAG: A Prompt-Adaptive RAG Framework for Australian Government Tender Analysis ICSE Demonstrations Hayden Fowler University of Technology Sydney, Ruihan Xie University of Technology Sydney, Morteza Saberi University of Technology Sydney, Ali Braytee University of Technology Sydney
16:15 15m Talk		PreServe: Intelligent Management for LMaaS Systems via Hierarchical Prediction ICSE Research Track Zhihan Jiang The Chinese University of Hong Kong, Yujie Huang The Chinese University of Hong Kong, Guangba Yu The Chinese University of Hong Kong, Junjie Huang The Chinese University of Hong Kong, Jiazhen Gu Chinese University of Hong Kong, Michael Lyu The Chinese University of Hong Kong
16:30 15m Talk		From Tea Leaves to System Maps: Context-awareness in Monitoring Operational Machine Learning Models ICSE Journal-first Papers Joran Leest Vrije Universiteit Amsterdam, Claudia Raibulet Vrije Universiteit Amsterdam, Patricia Lago Vrije Universiteit Amsterdam, Ilias Gerostathopoulos Vrije Universiteit Amsterdam
16:45 15m Talk		Specification and Detection of LLM Code Smells ICSE New Ideas and Emerging Results (NIER) Brahim Mahmoudi École de technologie supérieure, Zacharie Chenail-Larcher École de technologie supérieure (ÉTS), Naouel Moha École de Technologie Supérieure (ETS), Quentin Stiévenart Université du Québec à Montréal, Florent AVELLANEDA Université du Québec à Montréal
17:00 15m Talk		A First Look at Model Supply Chain: From the Risk Perspective ICSE Research Track Ziqian Chen Fudan University, Zekai Chen Fudan University, Susheng Wu Fudan University, Bihuan Chen Fudan University, Wenyan Song Carnegie Mellon University, Yiheng Huang Fudan University, Zhuotong Zhou Fudan University, Yiheng Cao Fudan University, Xin Peng Fudan University
17:15 15m Talk		An Efficient Model Maintenance Approach for MLOps ICSE Journal-first Papers Forough Majidi Polytechnique Montreal, Foutse Khomh Polytechnique Montréal, Heng Li Polytechnique Montréal, Amin Nikanjam Huawei Canada

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

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

11:00 15m Talk		Prophecy: Inferring Formal Properties from Neuron Activations ICSE Demonstrations Divya Gopinath KBR; NASA Ames, Corina S. Păsăreanu Carnegie Mellon University, Muhammad Usman University of Texas at Austin, USA
11:15 15m Talk		Do Unit Proofs Work? An Empirical Study of Compositional Bounded Model Checking for Memory Safety Verification ICSE Research Track Paschal Amusuo Purdue University, Owen Cochell Michigan State University, Taylor Le Lievre Purdue University, Parth Vinod Patil Purdue University, Aravind Machiry Purdue University, James C. Davis Purdue University
11:30 15m Talk		Accurate Inference of Termination Conditions ICSE Research Track Biting Huang Tsinghua University, Zhilei Han Tsinghua University, Fei He Tsinghua University
11:45 15m Talk		Verification of Multi-Model Stochastic Systems ICSE Research Track Radu Calinescu University of York, UK, Simos Gerasimou University of York, Sinem Getir Yaman University of York, UK, Gricel Vázquez University of York, UK, Micah Bassett University of York, UK Pre-print
12:00 15m Talk		Accelerating IC3 Verification by Exploiting Unsatisfiable Cores and Satisfying Models ICSE Research Track Xinyi Gong National University of Defense Technology, Liangze Yin National University of Defense Technology, Yuhan Li National University of Defense Technology, Ke Kang National University of Defense Technology, Wei Dong National University of Defense Technology, Shanshan Li National University of Defense Technology, Ji Wang National University of Defense Technology
12:15 15m Talk		Agentic Taxation Optimization via LLM SMT-Constraint Reasoning ICSE SE In Practice (SEIP) Ting Chien Hwang National Chengchi University, Fang Yu National Chengchi University, Jie-Hong Roland Jiang National Taiwan University

14:00 - 15:30	Software Engineering for AI 7ICSE Research Track / ICSE Journal-first Papers at Oceania VII

14:00 15m Talk		Towards Understanding the Impact of Data Bugs on Deep Learning Models in Software Engineering ICSE Journal-first Papers Mehil Shah Dalhousie University, Masud Rahman Dalhousie University, Foutse Khomh Polytechnique Montréal Link to publication Pre-print
14:15 15m Talk		T4PC: Training Deep Neural Networks for Property Conformance ICSE Journal-first Papers Felipe Toledo , Trey Woodlief University of Virginia, Sebastian Elbaum University of Virginia, Matthew B Dwyer University of Virginia
14:30 15m Talk		A Comprehensive Study of Deep Learning Model Fixing Approaches ICSE Research Track Hanmo You Tianjin University, Zan Wang Tianjin University, Zishuo Dong College of Intelligence and Computing, Tianjin University, Luanqi Mo College of Intelligence and Computing, Tianjin University, Jianjun Zhao Kyushu University, Junjie Chen Tianjin University
14:45 15m Talk		Imitation Game: Reproducing Deep Learning Bugs Leveraging an Intelligent Agent ICSE Research Track Mehil Shah Dalhousie University, Masud Rahman Dalhousie University, Foutse Khomh Polytechnique Montréal DOI Pre-print
15:00 15m Talk		TypeCare: Boosting Python Type Inference Models via Context-Aware Re-Ranking and Augmentation ICSE Research Track Wonseok Oh Korea University, Hakjoo Oh Korea University
15:15 15m Talk		Aligning Requirement for Large Language Model's Code Generation ICSE Research Track Zhao Tian Tianjin University, Junjie Chen Tianjin University Pre-print

16:00 - 17:30	Software Engineering for AI 8ICSE Research Track / ICSE New Ideas and Emerging Results (NIER) at Oceania VII

16:00 15m Talk		TaskEval: Synthesised Evaluation for Foundation-Model Tasks ICSE New Ideas and Emerging Results (NIER) Dilani Widanapathiranage Applied Artificial Intelligence Initiative, Deakin University, Scott Barnett Applied Artificial Intelligence Initiative, Deakin University, Stefanus Kurniawan Deakin University, Wannita Takerngsaksiri Applied Artificial Intelligence Initiative, Deakin University
16:15 15m Talk		SpecOps: A Fully Automated AI Agent Testing Framework in Real-World GUI Environments ICSE Research Track Syed Yusuf Ahmed Purdue University, Shiwei Feng Purdue University, Chanwoo Bae Purdue University, Calix Barrus University of Texas at San Antonio, Xiangyu Zhang Purdue University
16:30 15m Talk		Revisiting "Revisiting Neuron Coverage for DNN Testing: A Layer-Wise and Distribution-Aware Criterion": A Critical Review and Implications on DNN Coverage Testing ICSE Research Track Jinhan Kim Università della Svizzera italiana, Nargiz Humbatova Università della Svizzera italiana, Gunel Jahangirova King's College London, Shin Yoo KAIST, Paolo Tonella USI Lugano Pre-print
16:45 15m Talk		VADA: A Multicultural Benchmark for Value-Aware Data Generation and Alignment Evaluation in LLMs ICSE Research Track Zhanglun Zhang Nanjing University, Yang Feng Nanjing University, Shihao Weng Nanjing University, Yining Yin Nanjing University, Jincheng Li Nanjing University, Jia Liu Nanjing University
17:00 15m Talk		Evaluating the effectiveness of LLM-based interoperability ICSE Research Track Rodrigo Falcão Fraunhofer IESE, Stefan Schweitzer Fraunhofer Institute for Experimental Software Engineering, Julien Siebert Fraunhofer IESE, Emily Calvet Fraunhofer Institute for Experimental Software Engineering, Frank Elberzhager Fraunhofer Institute for Experimental Software Engineering
17:15 15m Talk		Beyond Correctness: Exposing LLM-generated Logical Flaws in Reasoning via Multi-step Automated Theorem Proving ICSE Research Track Xinyi Zheng Huazhong University of Science and Technology, Ningke Li National University of Singapore, Xiaokun Luan Peking University, Kailong Wang Huazhong University of Science and Technology, Ling Shi Nanyang Technological University, Meng Sun Peking University, Haoyu Wang Huazhong University of Science and Technology

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 VII	TechDebt Program + TechDebt Technical Papers Gilberto Gil																								TechDebt Technical Papers + TechDebt Journal First + TechDebt Industry Track Dominguinhos																																				TechDebt Program + TechDebt Technical Papers Djavan																								TechDebt Industry Track + TechDebt Journal First + TechDebt Technical Papers Maria Betania

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 VII	TechDebt Program + TechDebt Technical Papers Caetano Veloso																								TechDebt Technical Papers + TechDebt Industry Track Marisa Monte																																				TechDebt Technical Papers + TechDebt Program Lenine																								TechDebt Technical Papers + TechDebt Program + TechDebt Journal First + TechDebt Industry Track Gal Costa

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 VII	GREENS																								GREENS																																				GREENS																								GREENS

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 VII	ICSE Research Track + ICSE SE in Society (SEIS) + ICSE SE In Practice (SEIP) Software Engineering for AI 1																																				ICSE Research Track + ICSE SE In Practice (SEIP) Software Engineering for AI 2																								ICSE Research Track + ICSE SE in Society (SEIS) Software Engineering for AI 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 VII	ICSE New Ideas and Emerging Results (NIER) + ICSE Research Track + ICSE SE In Practice (SEIP) + ICSE Journal-first Papers Software Engineering for AI 4																																				ICSE Research Track + ICSE Journal-first Papers + ICSE New Ideas and Emerging Results (NIER) Software Engineering for AI 5																								ICSE Journal-first Papers + ICSE Demonstrations + ICSE Research Track + ICSE New Ideas and Emerging Results (NIER) Software Engineering for AI 6

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 VII	ICSE Research Track + ICSE Demonstrations + ICSE SE In Practice (SEIP) Dependability and Security 9																																				ICSE Research Track + ICSE Journal-first Papers Software Engineering for AI 7																								ICSE Research Track + ICSE New Ideas and Emerging Results (NIER) Software Engineering for AI 8

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 VII	TechDebt Program Welcome to TechDebt 2026 09:00 - 09:05	TechDebt Program AI and Technical Debt: Friend or Foe? 09:05 - 10:10													TechDebt Technical Papers Investigating Technical Debt Types, Issues, and Solutions in Serverless ... 10:10 - 10:30										TechDebt Technical Papers Beyond the Code: The Value of Practicing and Evaluating Technical Debt ... 11:00 - 11:20				TechDebt Industry Track Quality Feedback in the Agentic Loop: Using CodeHealth Guardrails to Ag ... 11:20 - 11:40				TechDebt Technical Papers Investigating CI/CD-based Technical Debt Management in Open-source Projects 11:40 - 12:00				TechDebt Technical Papers "That Developer Left the Project!": An Introduction and Case Study of T ... 12:00 - 12:10		TechDebt Technical Papers "TODO: Fix the Mess Gemini Created": Towards Understanding GenAI-Induce ... 12:10 - 12:20		TechDebt Journal First The Technical Debt Gamble: A Case Study on Technical Debt in a Large-Sc ... 12:20 - 12:30																				TechDebt Program Three Flavors of Technical Debt in Practice 14:00 - 15:10														TechDebt Technical Papers Beyond Production Code: A Pull Request–Based Study of Technical Debt in ... 15:10 - 15:30										TechDebt Industry Track Bosun: a platform for automated software transformations 16:00 - 16:20				TechDebt Industry Track Collaborative Technical Debt Management in Open Source CAE Software 16:20 - 16:40				TechDebt Industry Track Managing Technical Debt at Scale: A Strategic Approach from Latin Ameri ... 16:40 - 17:00				TechDebt Journal First Agile Social Software Engineer: An Empirical Approach to Mitigate and M ... 17:00 - 17:10		TechDebt Technical Papers Awards: MIP, Best Paper, Best Industry 17:10 - 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 VII	TechDebt Program From Technical Debt to Cognitive Debt 09:00 - 10:10														TechDebt Program MIP, Best Paper, Best Industry Talk 10:10 - 10:30										TechDebt Technical Papers A Practical Guide for Establishing a Technical Debt Management Process 11:00 - 11:20				TechDebt Industry Track AI & Test Automation Debt - Zero-Touch Quality: Eradicating Test Mainte ... 11:20 - 11:40				TechDebt Technical Papers How Do Practitioners Manage Traceability of Technical Debt in Continuou ... 11:40 - 12:00				TechDebt Technical Papers When Do You Repeat Yourself? Voices from the Trenches of Linux Kernel M ... 12:00 - 12:10		TechDebt Industry Track Preventing Debt Before the First Line of Code: An Experimentation-First ... 12:10 - 12:30																						TechDebt Program From Whispers to Strategy: the Benefits of Visualizing Technical Debt M ... 14:00 - 15:10														TechDebt Technical Papers The Effects of Early Socio-Technical Decisions on UXDebt 15:10 - 15:30										TechDebt Program Special Discussion 16:00 - 16:20				TechDebt Technical Papers MANA-RTD: A Structured Process for Managing Requirements Technical Debt ... 16:20 - 16:40				TechDebt Technical Papers Technical Lag as Latent Technical Debt: A Rapid Review 16:40 - 16:50		TechDebt Journal First Process Smells in Practice: An Evaluative Case Study 16:50 - 17:00		TechDebt Industry Track LLMs-Assisted Context-Aware Static Analysis for Security Debt Detection 17:00 - 17:20				TechDebt Program Closing and TechDebt 2027 17:20 - 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 VII	ICSE Research Track Fairness Is Not Just Ethical: Performance Trade-Off via Data Correlatio ... 11:00 - 11:15			ICSE Research Track TACO: Trust Assessment of Large Language Models in Coding Assistance Tasks 11:15 - 11:30			ICSE Research Track Toward Systematic Counterfactual Fairness Evaluation of Large Language ... 11:30 - 11:45			ICSE Research Track Attention Pruning: Automated Fairness Repair of Language Models via Sur ... 11:45 - 12:00			ICSE SE In Practice (SEIP) Building an Open AIBOM Standard in the Wild: An Experience Report on Ex ... 12:00 - 12:15			ICSE SE in Society (SEIS) Data-Dependent Goal modeling for ML-Enabled Law Enforcement Systems 12:15 - 12:30																					ICSE Research Track MazeBreaker: Multi-Agent Reinforcement Learning for Dynamic Jailbreakin ... 14:00 - 14:15			ICSE Research Track Checking Unsupervised Learning for Nondeterminism and Inconsistency via ... 14:15 - 14:30			ICSE Research Track Smoke and Mirrors: Jailbreaking LLM-based Code Generation via Implicit ... 14:30 - 14:45			ICSE Research Track AtPatch: Debugging Transformers via Hot-Fixing Over-Attention 14:45 - 15:00			ICSE Research Track Why Attention Fails: A Taxonomy of Faults in Attention-Based Neural Net ... 15:00 - 15:15			ICSE SE In Practice (SEIP) Empirical Evaluation of PDF Parsing and Chunking for Financial Question ... 15:15 - 15:30									ICSE Research Track Training on Clean Data but Getting Backdoored Models! A Poisoning Attac ... 16:00 - 16:15			ICSE Research Track Comfrey: Mitigating Integration Failures in LLM-enabled Software at Run ... 16:15 - 16:30			ICSE Research Track AgentSpec: Customizable Runtime Enforcement for Safe and Reliable LLM A ... 16:30 - 16:45			ICSE SE in Society (SEIS) On the Effectiveness of Proposed Techniques to Reduce Energy Consumptio ... 16:45 - 17:00			ICSE Research Track FM4MC: Improving Feature Models for Microservice Chains—Towards More Ef ... 17:00 - 17:15			ICSE Research Track A Semantic-based Optimization Approach for Repairing LLMs: Case Study o ... 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 VII	ICSE Journal-first Papers NeMo: A Neuron-level Modularizing-While-Training Approach for Decomposi ... 11:00 - 11:15			ICSE New Ideas and Emerging Results (NIER) A Selective Quantization Tuner for ONNX Models 11:15 - 11:30			ICSE SE In Practice (SEIP) Green LLM Techniques in Action: How Effective Are Existing Techniques f ... 11:30 - 11:45			ICSE Research Track DNN Modularization via Activation-Driven Training 11:45 - 12:00			ICSE Research Track ModularEvo: Evolving Multi-Task Models via Neural Network Modularizatio ... 12:00 - 12:15			ICSE Research Track The Hidden Cost of Readability: How Code Formatting Silently Consumes Y ... 12:15 - 12:30																					ICSE Journal-first Papers Logging requirement for continuous auditing of responsible machine lear ... 14:00 - 14:15			ICSE New Ideas and Emerging Results (NIER) Model Cards for Responsible AI: Stop Carding, Start Modelling 14:15 - 14:30			ICSE New Ideas and Emerging Results (NIER) Redundancy as the Shadow of Explainability: A Trade-Off Principle for A ... 14:30 - 14:45			ICSE Journal-first Papers FairFLRep: Fairness aware fault localization and repair of Deep Neural ... 14:45 - 15:00			ICSE Journal-first Papers Exploring the black box: analysing explainable AI challenges and best p ... 15:00 - 15:15			ICSE Research Track SustainDiffusion: Optimising the Social and Environmental Sustainabilit ... 15:15 - 15:30									ICSE Demonstrations TenderChat with Dynamic RAG: A Prompt-Adaptive RAG Framework for Austra ... 16:00 - 16:15			ICSE Research Track PreServe: Intelligent Management for LMaaS Systems via Hierarchical Pre ... 16:15 - 16:30			ICSE Journal-first Papers From Tea Leaves to System Maps: Context-awareness in Monitoring Operati ... 16:30 - 16:45			ICSE New Ideas and Emerging Results (NIER) Specification and Detection of LLM Code Smells 16:45 - 17:00			ICSE Research Track A First Look at Model Supply Chain: From the Risk Perspective 17:00 - 17:15			ICSE Journal-first Papers An Efficient Model Maintenance Approach for MLOps 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 VII	ICSE Demonstrations Prophecy: Inferring Formal Properties from Neuron Activations 11:00 - 11:15			ICSE Research Track Do Unit Proofs Work? An Empirical Study of Compositional Bounded Model ... 11:15 - 11:30			ICSE Research Track Accurate Inference of Termination Conditions 11:30 - 11:45			ICSE Research Track Verification of Multi-Model Stochastic Systems 11:45 - 12:00			ICSE Research Track Accelerating IC3 Verification by Exploiting Unsatisfiable Cores and Sat ... 12:00 - 12:15			ICSE SE In Practice (SEIP) Agentic Taxation Optimization via LLM SMT-Constraint Reasoning 12:15 - 12:30																					ICSE Journal-first Papers Towards Understanding the Impact of Data Bugs on Deep Learning Models i ... 14:00 - 14:15			ICSE Journal-first Papers T4PC: Training Deep Neural Networks for Property Conformance 14:15 - 14:30			ICSE Research Track A Comprehensive Study of Deep Learning Model Fixing Approaches 14:30 - 14:45			ICSE Research Track Imitation Game: Reproducing Deep Learning Bugs Leveraging an Intelligen ... 14:45 - 15:00			ICSE Research Track TypeCare: Boosting Python Type Inference Models via Context-Aware Re-Ra ... 15:00 - 15:15			ICSE Research Track Aligning Requirement for Large Language Model's Code Generation 15:15 - 15:30									ICSE New Ideas and Emerging Results (NIER) TaskEval: Synthesised Evaluation for Foundation-Model Tasks 16:00 - 16:15			ICSE Research Track SpecOps: A Fully Automated AI Agent Testing Framework in Real-World GUI ... 16:15 - 16:30			ICSE Research Track Revisiting "Revisiting Neuron Coverage for DNN Testing: A Layer-Wise an ... 16:30 - 16:45			ICSE Research Track VADA: A Multicultural Benchmark for Value-Aware Data Generation and Ali ... 16:45 - 17:00			ICSE Research Track Evaluating the effectiveness of LLM-based interoperability 17:00 - 17:15			ICSE Research Track Beyond Correctness: Exposing LLM-generated Logical Flaws in Reasoning v ... 17:15 - 17:30

Room information: Oceania VII

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

TechDebt Program + TechDebt Technical Papers

TechDebt Technical Papers + TechDebt Journal First + TechDebt Industry Track

TechDebt Program + TechDebt Technical Papers

TechDebt Industry Track + TechDebt Journal First + TechDebt Technical Papers

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

TechDebt Program + TechDebt Technical Papers

TechDebt Technical Papers + TechDebt Industry Track

TechDebt Technical Papers + TechDebt Program

TechDebt Technical Papers + TechDebt Program + TechDebt Journal First + TechDebt Industry Track

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

GREENS

GREENS

GREENS

GREENS

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

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

ICSE Research Track + ICSE SE In Practice (SEIP)

ICSE Research Track + ICSE SE in Society (SEIS)

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

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

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

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

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

ICSE Research Track + ICSE Demonstrations + ICSE SE In Practice (SEIP)

ICSE Research Track + ICSE Journal-first Papers

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

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

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

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

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

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

Tracks

Room information: Oceania VII

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

TechDebt Program + TechDebt Technical Papers

TechDebt Technical Papers + TechDebt Journal First + TechDebt Industry Track

TechDebt Program + TechDebt Technical Papers

TechDebt Industry Track + TechDebt Journal First + TechDebt Technical Papers

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

TechDebt Program + TechDebt Technical Papers

TechDebt Technical Papers + TechDebt Industry Track

TechDebt Technical Papers + TechDebt Program

TechDebt Technical Papers + TechDebt Program + TechDebt Journal First + TechDebt Industry Track

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

GREENS

GREENS

GREENS

GREENS

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

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

ICSE Research Track + ICSE SE In Practice (SEIP)

ICSE Research Track + ICSE SE in Society (SEIS)

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

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

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

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

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

ICSE Research Track + ICSE Demonstrations + ICSE SE In Practice (SEIP)

ICSE Research Track + ICSE Journal-first Papers

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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