Canada Hall 1 and 2 - FormaliSE 2025

VenueRogers Centre, Ottawa (formerly Shaw Centre)

Room nameCanada Hall 1 and 2

Floor3

Room number301

Capacity1700

Room Information

This will be the main room used for plenary sessions from Wednesday to Friday (Keynotes, Awards, Best Papers). Also banquet space for Thursday evening. This combines Canada Hall 1 and 2

Program

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select 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 30 Apr
Displayed time zone: Eastern Time (US & Canada) change

09:00 - 10:30	Wednesday Morning PlenaryICSE Main Plenaries at Canada Hall 1 and 2 This will be the first plenary session of the main conference. The General and Program chairs will give an over view of the conference, including the reviewing process. Then David Parnas will give his keynote talk.

09:00 30m Day opening		Welcome to ICSE 2025 ICSE Main Plenaries G: Timothy Lethbridge University of Ottawa, G: Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland, P: Corina S. Pasareanu Carnegie Mellon University Silicon Valley, NASA Ames Research Center, P: David Lo Singapore Management University
09:30 60m Keynote		David Parnas Keynote: Regulation of AI and Other Untrustworthy Software ICSE Main Plenaries K: David Parnas

11:00 - 12:30	AI for SE 1ICSE Research Track at Canada Hall 1 and 2 Chair(s): Tao Chen University of Birmingham

11:00 15m Talk		Calibration and Correctness of Language Models for Code ICSE Research Track Claudio Spiess University of California, Davis, David Gros University of California, Davis, Kunal Suresh Pai UC Davis, Michael Pradel University of Stuttgart, Rafiqul Rabin UL Research Institutes, Amin Alipour University of Houston, Susmit Jha SRI, Prem Devanbu University of California at Davis, Toufique Ahmed IBM Research Pre-print
11:15 15m Talk		An Empirical Study on Commit Message Generation using LLMs via In-Context Learning ICSE Research Track Yifan Wu Peking University, Yunpeng Wang Ant Group, Ying Li School of Software and Microelectronics, Peking University, Beijing, China, Wei Tao Fudan University, Siyu Yu The Chinese University of Hong Kong, Shenzhen (CUHK-Shenzhen), Haowen Yang The Chinese University of Hong Kong, Shenzhen (CUHK-Shenzhen), Wei Jiang , Jianguo Li Ant Group
11:30 15m Talk		Instruct or Interact? Exploring and Eliciting LLMs’ Capability in Code Snippet Adaptation Through Prompt Engineering ICSE Research Track Tanghaoran Zhang National University of Defense Technology, Yue Yu PengCheng Lab, Xinjun Mao National University of Defense Technology, Shangwen Wang National University of Defense Technology, Kang Yang National University of Defense Technology, Yao Lu National University of Defense Technology, Zhang Zhang Key Laboratory of Software Engineering for Complex Systems, National University of Defense Technology, Yuxin Zhao Key Laboratory of Software Engineering for Complex Systems, National University of Defense Technology
11:45 15m Talk		Search-Based LLMs for Code OptimizationAward Winner ICSE Research Track Shuzheng Gao , Cuiyun Gao Harbin Institute of Technology, Wenchao Gu The Chinese University of Hong Kong, Michael Lyu The Chinese University of Hong Kong
12:00 15m Talk		Towards Better Answers: Automated Stack Overflow Post Updating ICSE Research Track Yubo Mai Zhejiang University, Zhipeng Gao Shanghai Institute for Advanced Study - Zhejiang University, Haoye Wang Hangzhou City University, Tingting Bi The University of Melbourne, Xing Hu Zhejiang University, Xin Xia Huawei, JianLing Sun Zhejiang University
12:15 15m Talk		Unseen Horizons: Unveiling the Real Capability of LLM Code Generation Beyond the FamiliarAward Winner ICSE Research Track Yuanliang Zhang National University of Defense Technology, Yifan Xie , Shanshan Li National University of Defense Technology, Ke Liu , Chong Wang National University of Defense Technology, Zhouyang Jia National University of Defense Technology, Xiangbing Huang National University of Defense Technology, Jie Song National University of Defense Technology, Chaopeng Luo National University of Defense Technology, Zhizheng Zheng National University of Defense Technology, Runlin Xu National University of Defense Technology, Yitong Liu National University of Defense Technology, Si Zheng National University of Defense Technology, Liao Xiangke National University of Defense Technology

12:30 - 14:00	Conversation CaféICSE Social, Networking and Special Rooms at Canada Hall 1 and 2

12:30 90m Social Event		Conversation on Equality, Diversity, and Inclusion (EDI) ICSE Social, Networking and Special Rooms

14:00 - 15:30	Wednesday Afternoon Awards PlenaryICSE Main Plenaries at Canada Hall 1 and 2 Chair(s): Manel Abdellatif École de Technologie Supérieure

14:00 25m Talk		ACM SIGSOFT Outstanding Research Award and Talk by Martin Rinard: Research in Program Repair and Approximate Computing: A RetrospectiveAward Winner ICSE Main Plenaries A: Martin C. Rinard Massachusetts Institute of Technology
14:25 25m Talk		IEEE Computer Society Harlan D. Mills Award and Talk by Bashar Nuseibeh: Context 2.0: The World in the MachineAward Winner ICSE Main Plenaries A: Bashar Nuseibeh The Open University, UK
14:50 25m Talk		Most influential Paper ICSE N-10 Award and Talk for: IccTA: Detecting Inter-Component Privacy Leaks in Android AppsAward Winner ICSE Main Plenaries
15:15 15m Talk		Influential paper, TCSE and SIGSoft awards presentations ICSE Main Plenaries

16:00 - 17:30	AI for SE 2ICSE Research Track / ICSE Journal-first Papers at Canada Hall 1 and 2 Chair(s): Tingting Yu University of Connecticut

16:00 15m Talk		Large Language Models for Safe Minimization ICSE Research Track Aashish Yadavally University of Texas at Dallas, xiaokai rong The University of Texas at Dallas, Phat Nguyen The University of Texas at Dallas, Tien N. Nguyen University of Texas at Dallas
16:15 15m Talk		LUNA: A Model-Based Universal Analysis Framework for Large Language Models ICSE Journal-first Papers Da Song University of Alberta, Xuan Xie University of Alberta, Jiayang Song University of Alberta, Derui Zhu Technical University of Munich, Yuheng Huang University of Alberta, Canada, Felix Juefei-Xu New York University, Lei Ma The University of Tokyo & University of Alberta, Yuheng Huang University of Alberta, Canada
16:30 15m Talk		Intention is All You Need: Refining Your Code from Your Intention ICSE Research Track Qi Guo Tianjin University, Xiaofei Xie Singapore Management University, Shangqing Liu Nanyang Technological University, Ming Hu Nanyang Technological University, Xiaohong Li Tianjin University, Lei Bu Nanjing University
16:45 15m Talk		RLCoder: Reinforcement Learning for Repository-Level Code Completion ICSE Research Track Yanlin Wang Sun Yat-sen University, yanli wang Sun Yat-sen University, Daya Guo , Jiachi Chen Sun Yat-sen University, Ruikai Zhang Huawei Cloud Computing Technologies, Yuchi Ma Huawei Cloud Computing Technologies, Zibin Zheng Sun Yat-sen University
17:00 15m Talk		InterTrans: Leveraging Transitive Intermediate Translations to Enhance LLM-based Code Translation ICSE Research Track Marcos Macedo Queen's University, Yuan Tian Queen's University, Kingston, Ontario, Pengyu Nie University of Waterloo, Filipe Cogo Centre for Software Excellence, Huawei Canada, Bram Adams Queen's University
17:15 15m Talk		Toward a Theory of Causation for Interpreting Neural Code Models ICSE Journal-first Papers David Nader Palacio William & Mary, Alejandro Velasco William & Mary, Nathan Cooper William & Mary, Alvaro Rodriguez Universidad Nacional de Colombia, Kevin Moran University of Central Florida, Denys Poshyvanyk William & Mary

Thu 1 May
Displayed time zone: Eastern Time (US & Canada) change

09:00 - 10:30	Thursday Morning PlenaryICSE Main Plenaries at Canada Hall 1 and 2

09:00 30m Day opening		Thursday Early Morning Awards Session ICSE Main Plenaries
09:30 60m Keynote		Neha Rungta Keynote: Engineering correctness for a domain ICSE Main Plenaries

11:00 - 12:30	TSE 50th Annniversary CelebrationICSE Panels and Special Sessions at Canada Hall 1 and 2 Join us as we discuss the history of software engineering through the lens of the TSE Editors in Chief, and the challenges facing SE and journals. For more information click here

11:00 90m Panel		TSE 50th Anniversary Celebration ICSE Panels and Special Sessions P: Sebastian Uchitel Imperial College London & University of Buenos Aires, P: Bashar Nuseibeh The Open University, UK, P: Jeffrey Kramer Imperial College London, P: Nenad Medvidović University of Southern California, P: Matthew B Dwyer University of Virginia

19:00 - 23:00	BanquetICSE Social, Networking and Special Rooms at Canada Hall 1 and 2 This is for people who booked all three days of the main conference, and their guests, or people who booked extra tickets. You must bring your ticket. It will indicate your meal choice. 6:30: Guests are allowed in, but some setup may be still going on. 7:00: Start time. Recommended time to enter and find a table. 7:15: Start serving appetizer 7:45: Start serving main meal 8:25: Short speeches with thanks and awards. Award for ACM SRC, best reviewers. others. 8:45 Start serving dessert 9:00: Indigenous dance for 20 minutes while guests people finish dessert 9:30 Dancing on the dance floor! 11:00 End

19:00 4h Dinner		Banquet ICSE Social, Networking and Special Rooms

Fri 2 May
Displayed time zone: Eastern Time (US & Canada) change

09:00 - 10:30	Friday Morning PlenaryICSE Main Plenaries at Canada Hall 1 and 2

09:00 7m Day opening		Final thanks from the ICSE 2025 organizers ICSE Main Plenaries I: Timothy Lethbridge University of Ottawa, I: Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland
09:07 12m Talk		Introduction to ICSE 2026 in Brazil ICSE Main Plenaries I: Marcos Kalinowski Pontifical Catholic University of Rio de Janeiro (PUC-Rio), I: Rafael Prikladnicki School of Technology at PUCRS University
09:19 4m Talk		Introduction to ICSE 2027 in Ireland ICSE Main Plenaries I: Brian Fitzgerald Lero - The Irish Software Research Centre and University of Limerick
09:23 2m Talk		Introduction to ICSE 2028 in Hawaii ICSE Main Plenaries I: Rick Kazman University of Hawai‘i at Mānoa
09:25 65m Keynote		Patricia Lago Keynote: Title: Software Sustainability and its Engineering: How far have we come? ICSE Main Plenaries Patricia Lago Vrije Universiteit Amsterdam

11:00 - 12:30	AI for SE 3ICSE New Ideas and Emerging Results (NIER) / ICSE Journal-first Papers / ICSE Research Track / ICSE SE In Practice (SEIP) at Canada Hall 1 and 2 Chair(s): Ying Zou Queen's University, Kingston, Ontario

11:00 15m Talk		A First Look at Conventional Commits Classification ICSE Research Track Qunhong Zeng Beijing Institute of Technology, Yuxia Zhang Beijing Institute of Technology, Zhiqing Qiu Beijing Institute of Technology, Hui Liu Beijing Institute of Technology
11:15 15m Talk		ChatGPT-Based Test Generation for Refactoring Engines Enhanced by Feature Analysis on Examples ICSE Research Track Chunhao Dong Beijing Institute of Technology, Yanjie Jiang Peking University, Yuxia Zhang Beijing Institute of Technology, Yang Zhang Hebei University of Science and Technology, Hui Liu Beijing Institute of Technology
11:30 15m Talk		SECRET: Towards Scalable and Efficient Code Retrieval via Segmented Deep Hashing ICSE Research Track Wenchao Gu The Chinese University of Hong Kong, Ensheng Shi Xi’an Jiaotong University, Yanlin Wang Sun Yat-sen University, Lun Du Microsoft Research, Shi Han Microsoft Research, Hongyu Zhang Chongqing University, Dongmei Zhang Microsoft Research, Michael Lyu The Chinese University of Hong Kong
11:45 15m Talk		UniGenCoder: Merging Seq2Seq and Seq2Tree Paradigms for Unified Code Generation ICSE New Ideas and Emerging Results (NIER) Liangying Shao School of Informatics, Xiamen University, China, Yanfu Yan William & Mary, Denys Poshyvanyk William & Mary, Jinsong Su School of Informatics, Xiamen University, China
12:00 15m Talk		How is Google using AI for internal code migrations? ICSE SE In Practice (SEIP) Stoyan Nikolov Google, Inc., Daniele Codecasa Google, Inc., Anna Sjovall Google, Inc., Maxim Tabachnyk Google, Siddharth Taneja Google, Inc., Celal Ziftci Google, Satish Chandra Google, Inc
12:15 7m Talk		LLM-Based Test-Driven Interactive Code Generation: User Study and Empirical Evaluation ICSE Journal-first Papers Sarah Fakhoury Microsoft Research, Aaditya Naik University of Pennsylvania, Georgios Sakkas University of California at San Diego, Saikat Chakraborty Microsoft Research, Shuvendu K. Lahiri Microsoft Research Link to publication
12:22 7m Talk		The impact of Concept drift and Data leakage on Log Level Prediction Models ICSE Journal-first Papers Youssef Esseddiq Ouatiti Queen's university, Mohammed Sayagh ETS Montreal, University of Quebec, Noureddine Kerzazi Ensias-Rabat, Bram Adams Queen's University, Ahmed E. Hassan Queen’s University, Youssef Esseddiq Ouatiti Queen's university

14:00 - 15:30	Panel 2: Escaped from the Lab! Does ICSE Research Make a Difference?ICSE Panels and Special Sessions at Canada Hall 1 and 2 Chair(s): Steven D. Fraser Innoxec For 50 years ICSE has brought together researchers and practitioners in software engineering to share innovative research ideas. This panel will debate how ICSE research has influenced software education, practices, and products – and look forward to the future. Join us for a celebratory panel as ICSE marks its 50th anniversary. Click here fore more details

14:00 90m Panel		Panel 2: Escaped from the Lab! Does ICSE Research Make a Difference?Research Methods ICSE Panels and Special Sessions P: Steven D. Fraser Innoxec, P: Dennis Arthur , P: Robert Biddle Carleton University, P: Margaret Burnett Oregon State University, P: Ciera Jaspan Google, P: Tim Lister Atlantic Systems Guild, P: Gail Murphy University of British Columbia, P: Doug Schmidt

16:00 - 17:30	BlockchainICSE Research Track at Canada Hall 1 and 2

16:00 15m Talk		An Empirical Study of Proxy Smart Contracts at the Ethereum Ecosystem ScaleBlockchain ICSE Research Track Mengya Zhang The Ohio State University, Preksha Shukla George Mason University, Wuqi Zhang Mega Labs, Zhuo Zhang Purdue University, Pranav Agrawal George Mason University, Zhiqiang Lin The Ohio State University, Xiangyu Zhang Purdue University, Xiaokuan Zhang George Mason University
16:15 15m Talk		Demystifying and Detecting Cryptographic Defects in Ethereum Smart ContractsBlockchainAward Winner ICSE Research Track Jiashuo Zhang Peking University, China, Yiming Shen Sun Yat-sen University, Jiachi Chen Sun Yat-sen University, Jianzhong Su Sun Yat-sen University, Yanlin Wang Sun Yat-sen University, Ting Chen University of Electronic Science and Technology of China, Jianbo Gao Peking University, Zhong Chen
16:30 15m Talk		Chord: Towards a Unified Detection of Blockchain Transaction Parallelism BugsBlockchain ICSE Research Track Yuanhang Zhou Tsinghua University, Zhen Yan Tsinghua University, Yuanliang Chen Tsinghua University, Fuchen Ma Tsinghua University, Ting Chen University of Electronic Science and Technology of China, Yu Jiang Tsinghua University
16:45 15m Talk		Definition and Detection of Centralization Defects in Smart ContractsBlockchain ICSE Research Track Zewei Lin Sun Yat-sen University, Jiachi Chen Sun Yat-sen University, Jiajing Wu Sun Yat-sen University, Weizhe Zhang Harbin Institute of Technology, Zibin Zheng Sun Yat-sen University
17:00 15m Talk		Fork State-Aware Differential Fuzzing for Blockchain Consensus ImplementationsBlockchain ICSE Research Track Won Hoi Kim KAIST, Hocheol Nam KAIST, Muoi Tran ETH Zurich, Amin Jalilov KAIST, Zhenkai Liang National University of Singapore, Sang Kil Cha KAIST, Min Suk Kang KAIST DOI
17:15 15m Talk		Code Cloning in Solidity Smart Contracts: Prevalence, Evolution, and Impact on DevelopmentBlockchain ICSE Research Track Ran Mo Central China Normal University, Haopeng Song Central China Normal University, Wei Ding Central China Normal University, Chaochao Wu Central China Normal University

Wed 30 Apr
Displayed time zone: Eastern Time (US & Canada) 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
Canada Hall 1 and 2	ICSE Main Plenaries Wednesday Morning Plenary																								ICSE Research Track AI for SE 1																		ICSE Social, Networking and Special Rooms Conversation Café																		ICSE Main Plenaries Wednesday Afternoon Awards Plenary																								ICSE Research Track + ICSE Journal-first Papers AI for SE 2

Thu 1 May
Displayed time zone: Eastern Time (US & Canada) 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						18:00						30						19:00						30						20:00						30						21:00						30						22:00						30
Canada Hall 1 and 2	ICSE Main Plenaries Thursday Morning Plenary																								ICSE Panels and Special Sessions TSE 50th Annniversary Celebration																																																																																								ICSE Social, Networking and Special Rooms Banquet

Fri 2 May
Displayed time zone: Eastern Time (US & Canada) 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
Canada Hall 1 and 2	ICSE Main Plenaries Friday Morning Plenary																								ICSE New Ideas and Emerging Results (NIER) + ICSE Journal-first Papers + ICSE Research Track + ICSE SE In Practice (SEIP) AI for SE 3																																				ICSE Panels and Special Sessions Panel 2: Escaped from the Lab! Does ICSE Research Make a Difference?																								ICSE Research Track Blockchain

Wed 30 Apr
Displayed time zone: Eastern Time (US & Canada) 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
Canada Hall 1 and 2	ICSE Main Plenaries Welcome to ICSE 2025 09:00 - 09:30						ICSE Main Plenaries David Parnas Keynote: Regulation of AI and Other Untrustworthy Software 09:30 - 10:30																		ICSE Research Track Calibration and Correctness of Language Models for Code 11:00 - 11:15			ICSE Research Track An Empirical Study on Commit Message Generation using LLMs via In-Conte ... 11:15 - 11:30			ICSE Research Track Instruct or Interact? Exploring and Eliciting LLMs’ Capability in Code ... 11:30 - 11:45			ICSE Research TrackAward Winner Search-Based LLMs for Code Optimization 11:45 - 12:00			ICSE Research Track Towards Better Answers: Automated Stack Overflow Post Updating 12:00 - 12:15			ICSE Research TrackAward Winner Unseen Horizons: Unveiling the Real Capability of LLM Code Generation B ... 12:15 - 12:30			ICSE Social, Networking and Special Rooms Conversation on Equality, Diversity, and Inclusion (EDI) 12:30 - 14:00																		ICSE Main PlenariesAward Winner ACM SIGSOFT Outstanding Research Award and Talk by Martin Rinard: Rese ... 14:00 - 14:25					ICSE Main PlenariesAward Winner IEEE Computer Society Harlan D. Mills Award and Talk by Bashar Nuseibeh ... 14:25 - 14:50					ICSE Main PlenariesAward Winner Most influential Paper ICSE N-10 Award and Talk for: IccTA: Detecting I ... 14:50 - 15:15					ICSE Main Plenaries Influential paper, TCSE and SIGSoft awards presentations 15:15 - 15:30									ICSE Research Track Large Language Models for Safe Minimization 16:00 - 16:15			ICSE Journal-first Papers LUNA: A Model-Based Universal Analysis Framework for Large Language Models 16:15 - 16:30			ICSE Research Track Intention is All You Need: Refining Your Code from Your Intention 16:30 - 16:45			ICSE Research Track RLCoder: Reinforcement Learning for Repository-Level Code Completion 16:45 - 17:00			ICSE Research Track InterTrans: Leveraging Transitive Intermediate Translations to Enhance ... 17:00 - 17:15			ICSE Journal-first Papers Toward a Theory of Causation for Interpreting Neural Code Models 17:15 - 17:30

Thu 1 May
Displayed time zone: Eastern Time (US & Canada) 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			18:00			15			30			45			19:00			15			30			45			20:00			15			30			45			21:00			15			30			45			22:00			15			30			45
Canada Hall 1 and 2	ICSE Main Plenaries Thursday Early Morning Awards Session 09:00 - 09:30						ICSE Main Plenaries Neha Rungta Keynote: Engineering correctness for a domain 09:30 - 10:30																		ICSE Panels and Special Sessions TSE 50th Anniversary Celebration 11:00 - 12:30																																																																																								ICSE Social, Networking and Special Rooms Banquet 19:00 - 23:00

Fri 2 May
Displayed time zone: Eastern Time (US & Canada) 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
Canada Hall 1 and 2	ICSE Main Plenaries Final thanks from the ICSE 2025 organizers 09:00 - 09:07	ICSE Main Plenaries Introduction to ICSE 2026 in Brazil 09:07 - 09:19			ICSE Main Plenaries Introduction to ICSE 2027 in Ireland 09:19 - 09:23	ICSE Main Plenaries Introduction to ICSE 2028 in Hawaii 09:23 - 09:25	ICSE Main Plenaries Patricia Lago Keynote: Title: Software Sustainability and its Engineeri ... 09:25 - 10:30																			ICSE Research Track A First Look at Conventional Commits Classification 11:00 - 11:15			ICSE Research Track ChatGPT-Based Test Generation for Refactoring Engines Enhanced by Featu ... 11:15 - 11:30			ICSE Research Track SECRET: Towards Scalable and Efficient Code Retrieval via Segmented Dee ... 11:30 - 11:45			ICSE New Ideas and Emerging Results (NIER) UniGenCoder: Merging Seq2Seq and Seq2Tree Paradigms for Unified Code Ge ... 11:45 - 12:00			ICSE SE In Practice (SEIP) How is Google using AI for internal code migrations? 12:00 - 12:15			ICSE Journal-first Papers LLM-Based Test-Driven Interactive Code Generation: User Study and Empir ... 12:15 - 12:22	ICSE Journal-first Papers The impact of Concept drift and Data leakage on Log Level Prediction Models 12:22 - 12:29																				ICSE Panels and Special SessionsResearch Methods Panel 2: Escaped from the Lab! Does ICSE Research Make a Difference? 14:00 - 15:30																								ICSE Research TrackBlockchain An Empirical Study of Proxy Smart Contracts at the Ethereum Ecosystem Scale 16:00 - 16:15			ICSE Research TrackBlockchainAward Winner Demystifying and Detecting Cryptographic Defects in Ethereum Smart Cont ... 16:15 - 16:30			ICSE Research TrackBlockchain Chord: Towards a Unified Detection of Blockchain Transaction Parallelis ... 16:30 - 16:45			ICSE Research TrackBlockchain Definition and Detection of Centralization Defects in Smart Contracts 16:45 - 17:00			ICSE Research TrackBlockchain Fork State-Aware Differential Fuzzing for Blockchain Consensus Implemen ... 17:00 - 17:15			ICSE Research TrackBlockchain Code Cloning in Solidity Smart Contracts: Prevalence, Evolution, and Im ... 17:15 - 17:30

Room information: Canada Hall 1 and 2

This program is tentative and subject to change.

Wed 30 Apr
Displayed time zone: Eastern Time (US & Canada) change

Thu 1 May
Displayed time zone: Eastern Time (US & Canada) change

Fri 2 May
Displayed time zone: Eastern Time (US & Canada) change

Wed 30 Apr
Displayed time zone: Eastern Time (US & Canada) change

ICSE Main Plenaries

ICSE Research Track

ICSE Social, Networking and Special Rooms

ICSE Main Plenaries

ICSE Research Track + ICSE Journal-first Papers

Thu 1 May
Displayed time zone: Eastern Time (US & Canada) change

ICSE Main Plenaries

ICSE Panels and Special Sessions

ICSE Social, Networking and Special Rooms

Fri 2 May
Displayed time zone: Eastern Time (US & Canada) change

ICSE Main Plenaries

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

ICSE Panels and Special Sessions

ICSE Research Track

Wed 30 Apr
Displayed time zone: Eastern Time (US & Canada) change

Thu 1 May
Displayed time zone: Eastern Time (US & Canada) change

Fri 2 May
Displayed time zone: Eastern Time (US & Canada) change

Tracks

Room information: Canada Hall 1 and 2

This program is tentative and subject to change.

Program Display Configuration

Wed 30 AprDisplayed time zone: Eastern Time (US & Canada) change

Thu 1 MayDisplayed time zone: Eastern Time (US & Canada) change

Fri 2 MayDisplayed time zone: Eastern Time (US & Canada) change

Wed 30 AprDisplayed time zone: Eastern Time (US & Canada) change

ICSE Main Plenaries

ICSE Research Track

ICSE Social, Networking and Special Rooms

ICSE Main Plenaries

ICSE Research Track + ICSE Journal-first Papers

Thu 1 MayDisplayed time zone: Eastern Time (US & Canada) change

ICSE Main Plenaries

ICSE Panels and Special Sessions

ICSE Social, Networking and Special Rooms

Fri 2 MayDisplayed time zone: Eastern Time (US & Canada) change

ICSE Main Plenaries

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

ICSE Panels and Special Sessions

ICSE Research Track

Wed 30 AprDisplayed time zone: Eastern Time (US & Canada) change

Thu 1 MayDisplayed time zone: Eastern Time (US & Canada) change

Fri 2 MayDisplayed time zone: Eastern Time (US & Canada) change

Wed 30 Apr
Displayed time zone: Eastern Time (US & Canada) change

Thu 1 May
Displayed time zone: Eastern Time (US & Canada) change

Fri 2 May
Displayed time zone: Eastern Time (US & Canada) change

Wed 30 Apr
Displayed time zone: Eastern Time (US & Canada) change

Thu 1 May
Displayed time zone: Eastern Time (US & Canada) change

Fri 2 May
Displayed time zone: Eastern Time (US & Canada) change

Wed 30 Apr
Displayed time zone: Eastern Time (US & Canada) change

Thu 1 May
Displayed time zone: Eastern Time (US & Canada) change

Fri 2 May
Displayed time zone: Eastern Time (US & Canada) change