Oceania VIII - FormaliSE 2026

VenueWindsor Convention Center and Hotels

Room nameOceania VIII

Floor0

Room InformationNo extra information available

Program

This program is tentative and subject to change.

Time Zone

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

Use conference time zone: (GMT-03:00) Brasilia, Distrito Federal, BrazilSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

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

11:00 - 12:30	Evolution 1ICSE Journal-first Papers / ICSE Research Track at Oceania VIII

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

14:00 - 15:30	Architecture and Design 1ICSE Research Track / ICSE SE In Practice (SEIP) at Oceania VIII

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

16:00 - 17:30	Dependability and Security 4ICSE Journal-first Papers / ICSE Research Track at Oceania VIII

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

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

11:00 - 12:30	Evolution 2ICSE SE In Practice (SEIP) / ICSE Journal-first Papers at Oceania VIII

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

14:00 - 15:30	Architecture and Design 2ICSE Research Track / ICSE Journal-first Papers / ICSE SE in Society (SEIS) at Oceania VIII

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

16:00 - 17:30	Evolution 3ICSE Research Track / ICSE New Ideas and Emerging Results (NIER) at Oceania VIII

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

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

11:00 - 12:30	Evolution 4ICSE New Ideas and Emerging Results (NIER) / ICSE Journal-first Papers / ICSE Research Track at Oceania VIII

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

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


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Oceania VIII	FormaliSE Program																								FormaliSE Program																																				FormaliSE Program																								FormaliSE Program

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


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Oceania VIII	FormaliSE Program																								FormaliSE Program																																				FormaliSE Program																								FormaliSE Program

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


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Oceania VIII	ICSE Journal-first Papers + ICSE Research Track Evolution 1																																				ICSE Research Track + ICSE SE In Practice (SEIP) Architecture and Design 1																								ICSE Journal-first Papers + ICSE Research Track Dependability and Security 4

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


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Oceania VIII	ICSE SE In Practice (SEIP) + ICSE Journal-first Papers Evolution 2																																				ICSE Research Track + ICSE Journal-first Papers + ICSE SE in Society (SEIS) Architecture and Design 2																								ICSE Research Track + ICSE New Ideas and Emerging Results (NIER) Evolution 3

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


Room	11:00						30						12:00						30
Oceania VIII	ICSE New Ideas and Emerging Results (NIER) + ICSE Journal-first Papers + ICSE Research Track Evolution 4

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


Room	11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Oceania VIII	ICSE Journal-first Papers Func: Reducing the impact of Android framework evolution on malware det ... 11:00 - 11:15			ICSE Journal-first Papers Unraveling Code Clone Dynamics in Deep Learning Frameworks 11:15 - 11:30			ICSE Research Track Remediating Superfluous Re-Rendering in React Applications 11:30 - 11:45			ICSE Research Track Minimizing Breaking Changes and Redundancy in Mitigating Technical Lag ... 11:45 - 12:00			ICSE Research Track CRUDinfer: Automated CRUD Semantics Inference for REST APIs Through Bla ... 12:00 - 12:15			ICSE Research Track Diffploit: Facilitating Cross-Version Exploit Migration for Open Source ... 12:15 - 12:30																					ICSE Research Track Metronome: Differentiated Delay Scheduling for Serverless Functions 14:00 - 14:15			ICSE SE In Practice (SEIP) An Enterprise Marketplace for Unified Access to Multi-Cloud and Enterpr ... 14:15 - 14:30			ICSE Research Track CCLInsight: Unveiling Insights in GPU Collective Communication Librarie ... 14:30 - 14:45			ICSE Research Track FlowScope: Non-Intrusive Distributed Tracing with Method-Level Delay Es ... 14:45 - 15:00			ICSE Research Track LogFold: Compressing Logs with Structured Tokens and Hybrid Encoding 15:00 - 15:15												ICSE Journal-first Papers Diagnosing Unknown Attacks in Smart Homes Using Abductive Reasoning 16:00 - 16:15			ICSE Research Track Attention Distance: A Novel Metric for Directed Fuzzing with Large Lang ... 16:15 - 16:30			ICSE Research Track BTreeFuzz: Enhanced Feedback Mechanism for ROS Program Fuzzer Based on ... 16:30 - 16:45			ICSE Research Track GenDetect: Generalizing Reactive Detection for Resilience Against Imita ... 16:45 - 17:00			ICSE Research Track ConfuGuard: Using Metadata to Detect Active and Stealthy Package Confus ... 17:00 - 17:15			ICSE Research Track Enforcing Control Flow Integrity on DeFi Smart Contracts 17:15 - 17:30

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


Room	11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Oceania VIII	ICSE Journal-first Papers How do Machine Learning Models Change? 11:00 - 11:15			ICSE Journal-first Papers A Taxonomy of Contextual Factors in Continuous Integration Processes 11:15 - 11:30			ICSE Journal-first Papers Understanding the adoption of modern Javascript features: An empirical ... 11:30 - 11:45			ICSE Journal-first Papers Adapting Installation Instructions in Rapidly Evolving Software Ecosystems 11:45 - 12:00			ICSE Journal-first Papers On the Need to Monitor Continuous Integration Practices 12:00 - 12:15			ICSE SE In Practice (SEIP) Technical Credit: Industry Views on Benefits and Barriers 12:15 - 12:30																					ICSE Journal-first Papers Quantum Software Engineering: Roadmap and Challenges Ahead 14:00 - 14:15			ICSE Journal-first Papers ArchHypo: Managing Software Architecture Uncertainty Using Hypotheses E ... 14:15 - 14:30			ICSE Journal-first Papers A Holistic Approach to Design Understanding Through Concept Explanation 14:30 - 14:45			ICSE Research Track SSAR: A Novel Software Architecture Recovery Approach Enhancing Accurac ... 14:45 - 15:00			ICSE Research Track Semantic-Enhanced Automatic Refinement of Architecture Recovery Results ... 15:00 - 15:15			ICSE SE in Society (SEIS) Technohealth: A Modular Framework for Reproducible Research in Precisio ... 15:15 - 15:30									ICSE Research Track MINES: Explainable Anomaly Detection through Web API Invariant Inference 16:00 - 16:15			ICSE Research Track Actionable Warning Is Not Enough: Recommending Valid Actionable Warning ... 16:15 - 16:30			ICSE Research Track SeRe: A Security-Related Code Review Dataset Aligned with Real-World Re ... 16:30 - 16:45			ICSE New Ideas and Emerging Results (NIER) Translating PL/I Macro Procedures into Java Using Automatic Templatizat ... 16:45 - 17:00			ICSE Research Track An Empirical Study of Fine-Grained Entity Relationships for Tracing Nat ... 17:00 - 17:15			ICSE Research Track Back to the Basics: Rethinking Issue-Commit Linking with LLM-Assisted R ... 17:15 - 17:30

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


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

Room information: Oceania VIII

This program is tentative and subject to 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

FormaliSE Program

FormaliSE Program

FormaliSE Program

FormaliSE Program

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

FormaliSE Program

FormaliSE Program

FormaliSE Program

FormaliSE Program

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

ICSE Journal-first Papers + ICSE Research Track

ICSE Research Track + ICSE SE In Practice (SEIP)

ICSE Journal-first Papers + ICSE Research Track

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

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

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

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

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

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

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 VIII

This program is tentative and subject to change.

Program Display Configuration

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

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

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

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

FormaliSE Program

FormaliSE Program

FormaliSE Program

FormaliSE Program

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

FormaliSE Program

FormaliSE Program

FormaliSE Program

FormaliSE Program

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

ICSE Journal-first Papers + ICSE Research Track

ICSE Research Track + ICSE SE In Practice (SEIP)

ICSE Journal-first Papers + ICSE Research Track

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

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

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

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

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

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

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

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

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