203 - MSR 2025

VenueRogers Centre, Ottawa (formerly Shaw Centre)

Room name203

Floor2

Room number203

Capacity102

Room Information

See map. 203 entrance is on the second floor around the corner from the North end of the Rideau Canal Atrium, in the prefunction corridor (RCN) leading to the Rideau Centre entrance.

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

Sun 27 Apr
Displayed time zone: Eastern Time (US & Canada) change

09:00 - 10:30	Invited Speaker 1FormaliSE Research Track at 203 Chair(s): Gwen Salaün University of Grenoble Alpes

09:00 90m Keynote		Assuring AI in Autonomous Driving: Challenges and Emerging Approaches FormaliSE Research Track K: Krzysztof Czarnecki University of Waterloo, Canada

11:00 - 12:30	Session 1 - Formal Methods and Autonomous Systems FormaliSE Research Track at 203 Chair(s): Divya Gopinath NASA Ames (KBR Inc.)

11:00 30m Talk		CPS Falsification using Autoencoded Input Models FormaliSE Research Track Youssef Zahar University of Minnesota, Sanjai Rayadurgam University of Minnesota
11:30 30m Talk		Modeling Language for Scenario Development of Autonomous Driving Systems FormaliSE Research Track Toshiaki Aoki JAIST, Takashi Tomita JAIST, Tatsuji Kawai Kochi University, Daisuke Kawakami Mitsubishi Electric Corporation, Nobuo Chida Mitsubishi Electric Corporation
12:00 30m Talk		Robustness Verification of Video Classification Neural Networks FormaliSE Research Track Samuel Sasaki Vanderbilt University, Preston K. Robinette Vanderbilt University, Diego Manzanas Lopez Vanderbilt University, Taylor T Johnson Vanderbilt University

14:00 - 15:30	Session 2 – Theorem Proving and Probabilistic Model CheckingFormaliSE Research Track at 203 Chair(s): Nancy Day University of Waterloo, Canada

14:00 30m Talk		The Burden of Proof: Automated Tooling for Rapid Iteration on Large Mechanised Proofs FormaliSE Research Track Chengsong Tan Imperial College London, Kaihong, Alastair F. Donaldson Imperial College London, Jonathan Julian Huerta y Munive Czech Technical University, John Wickerson Imperial College London
14:30 30m Talk		A proof-based ground algebraic meta-model for reasoning on ASTD in Event-B FormaliSE Research Track Christophe Chen INPT-ENSEEIHT/IRIT, Peter Rivière INPT-ENSEEIHT / IRIT, University of Toulouse, France, Neeraj Kumar Singh INPT-ENSEEIHT/IRIT, Guillaume Dupont INPT–ENSEEIHT, Yamine Ait Ameur IRIT/INPT-ENSEEIHT, Marc Frappier Université de Sherbrooke, Canada
15:00 30m Talk		Probabilistic Model Checking of Disaster Resource Distribution Strategies FormaliSE Research Track Kenneth Johnson Auckland University of Technology, Meena Kumari Auckland University of Technology

16:00 - 17:30	Session 3 - Temporal Logic and ContractsFormaliSE Research Track at 203 Chair(s): Domenico Bianculli University of Luxembourg

16:00 30m Talk		Specifying Distributed Hash Tables with Allen Temporal Logic FormaliSE Research Track Nuno Policarpo Instituto Superior Técnico, University of Lisbon, José Fragoso Santos INESC-ID/Instituto Superior Técnico, Portugal , Alcino Cunha University of Minho; INESC TEC, João Leitão NOVA LINCS & FCT, NOVA University of Lisbon, Pedro Ákos Costa NOVA LINCS & DI-FCT-UNL
16:30 30m Talk		Temporal Logics Meet Real-World Software Requirements: A Reality Check FormaliSE Research Track Roman Bögli University of Bern, Atefeh Rohani University of Bern, Thomas Studer University of Bern, Christos Tsigkanos University of Athens, Greece, Timo Kehrer University of Bern
17:00 30m Talk		Detecting Redundant Preconditions FormaliSE Research Track Nicola Thoben University of Oldenburg, Heike Wehrheim Carl von Ossietzky Universität Oldenburg / University of Oldenburg

Mon 28 Apr
Displayed time zone: Eastern Time (US & Canada) change

09:00 - 10:30	Invited Speaker 2FormaliSE Research Track at 203 Chair(s): Anastasia Mavridou KBR / NASA Ames Research Center

09:00 90m Keynote		Adversarial Perturbations and Self-Defenses for Large Language Models on Coding Task FormaliSE Research Track K: Corina S. Pasareanu Carnegie Mellon University Silicon Valley, NASA Ames Research Center

11:00 - 12:30	Session 4 – Generative AI and Fuzzy LogicFormaliSE Research Track at 203 Chair(s): Lina Marsso École Polytechnique de Montréal

11:00 30m Talk		LLM-based Generation of Weakest Preconditions and Precise Array Invariants FormaliSE Research Track Daragh King Trinity College Dublin, Vasileios Koutavas Trinity College Dublin, Laura Kovács TU Wien
11:30 30m Talk		VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models FormaliSE Research Track Merlijn Sevenhuijsen Scania CV, AB & KTH Royal Institute of Technology, Khashayar Etemadi KTH Royal Institute of Technology, Mattias Nyberg Scania CV, AB & KTH Royal Institute of Technology
12:00 30m Talk		Embracing Uncertainty: A Fuzzy Theoretical Model for Goal Fulfillment Assessment FormaliSE Research Track Vincenzo Grassi University of Roma "Tor Vergata", Raffaela Mirandola Karlsruhe Institute of Technology (KIT), Diego Perez-Palacin Linnaeus University

14:00 - 15:30	Session 5 - Formal Specification and Verification:FormaliSE Research Track at 203 Chair(s): Toshiaki Aoki JAIST

14:00 30m Talk		Refining Alloy-Based Mutation Operators to Reflect Common Mistakes FormaliSE Research Track Ana Jovanovic The University of Texas at Arlington, Mohammad Nurullah Patwary The University of Texas at Arlington, Allison Sullivan University of Texas at Arlington
14:30 30m Talk		Verifying Multiple TLA+ Configurations with Blast FormaliSE Research Track Paul Somson INESC TEC, Alcino Cunha University of Minho; INESC TEC
15:00 30m Talk		Typestates Specification and Verification in Frama-C FormaliSE Research Track Sébastien Patte Université Paris-Saclay, CEA, List, Virgile Prevosto Université Paris-Saclay, CEA, List

Tue 29 Apr
Displayed time zone: Eastern Time (US & Canada) change

09:00 - 10:30	Session 1: Workshop Opening and KeynoteGREENS at 203

09:00 15m Talk		Opening GREENS
09:15 75m Keynote		Perspectives and challenges in green and sustainable software GREENS Tamar Eilam

11:00 - 12:30	Session 2: Pitch SessionGREENS at 203

11:00 5m Talk		Educated Energy Efficiency Optimization of Distributed Software: Measure, Monitor, Mitigate GREENS Tobias Leonhard Joschka Peslalz Munich University of Applied Sciences, Bastian Katz Munich University of Applied Sciences
11:05 5m Talk		Assessment of Embedded AI Solutions with the Green Software Measurement Model GREENS Christoph Bockisch Philipps-Universität Marburg, Hartmut Weber TH Mittelhessen – University of Applied Sciences, Dennis M. Pöpperl Technische Hochschule Mittelhessen–University of Applied Sciences, Severin Stahl TH Mittelhessen – University of Applied Sciences
11:10 5m Talk		On the Energy Consumption of Web Applications: An Empirical Study of their Design Solutions GREENS Louay Khrouf Berger-Levault, Anas Shatnawi University of Milano-Bicocca, Boubou Thiam Niang Berger-Levault, Benoit Verhaeghe Berger-Levrault
11:15 5m Talk		Automatically Assessing Software Architecture Compliance With Green Software Patterns GREENS Naman Ahuja University College London, Yile Feng University College London, Luming Li University College London, Amisha Malik University College London, Thuvaragan Sivayoganathan University College London, Navveen Balani Accenture, Srinivasan Rakhunathan Microsoft, Federica Sarro University College London
11:20 5m Talk		Green AI: Which Programming Language Consumes the Most? GREENS Niccolò Marini University of Florence, Leonardo Pampaloni University of Florence, Filippo Di Martino University of Florence, Roberto Verdecchia University of Florence, Enrico Vicario University of Florence Pre-print
11:25 5m Talk		Specification Completion for Sustainable Software Development via Sustainability-Driven Mining GREENS Mohamed Toufik Ailane Siemens Foundational Technologies, Siemens AG, Carolin Rubner Siemens Foundational Technologies, Siemens AG, Andreas Rausch Clausthal University of Technology
11:30 5m Talk		Generating Energy-efficient code with LLMs GREENS Tom Cappendijk University of Amsterdam, Pepijn de Reus University of Amsterdam, Ana Oprescu University of Amsterdam
11:35 5m Talk		Prompt engineering and its implications on the energy consumption of Large Language Models GREENS Riccardo Rubei University of L'Aquila, Aicha Moussaid University of L'Aquila (Italy), Claudio Di Sipio University of l'Aquila, Davide Di Ruscio University of L'Aquila
11:40 5m Talk		Breaking the ICE: Exploring promises and challenges of benchmarks for Inference Carbon & Energy estimation for LLMs GREENS Samarth Sikand Accenture Labs, Rohit Mehra Accenture Labs, Priyavanshi Pathania Accenture Labs, Nikhil Bamby Accenture Labs, Vibhu Saujanya Sharma Accenture Labs, Vikrant Kaulgud Accenture Labs, India, Sanjay Podder Accenture, Adam P. Burden Accenture
11:45 5m Talk		Calculating Software’s Energy Use and Carbon Emissions: A Survey of the State of Art, Challenges, and the Way Ahead GREENS Priyavanshi Pathania Accenture Labs, Nikhil Bamby Accenture Labs, Rohit Mehra Accenture Labs, Samarth Sikand Accenture Labs, Vibhu Saujanya Sharma Accenture Labs, Vikrant Kaulgud Accenture Labs, India, Sanjay Podder Accenture, Adam P. Burden Accenture
11:50 5m Talk		Responsible and Sustainable AI: Considering Energy Consumption in Automated Text Classification Evaluation Tasks GREENS Angelika Kaplan Karlsruhe Institute of Technology (KIT), Jan Keim Karlsruhe Institute of Technology (KIT), Lukas Greiner Karlsruhe Institute of Technology (KIT), Ralf Sieger FZI Research Center for Information Technology, Raffaela Mirandola Karlsruhe Institute of Technology (KIT), Ralf Reussner Karlsruhe Institute of Technology (KIT) and FZI - Research Center for Information Technology (FZI)
11:55 5m Talk		Mapping of the system of software-related emissions and shared responsibilities GREENS Laura Partanen LUT University, Antti Sipilä LUT University, Sanaul Haque LUT University, Jari Porras LUT University
12:00 5m Talk		PowerLetrics: An Open-Source Framework for Power and Energy Metrics for Linux GREENS Geerd-Dietger Hoffmann Employed by Green Coding Solutions, Verena Majuntke HTW Berlin
12:05 5m Talk		Echoes of the Future: Designing a Game for Green Software Engineering GREENS Georgia Samaritaki University of Amsterdam, Humeyra Tugce Yavuz University of Amsterdam, Daphnee Chabal University of Amsterdam, Ana Oprescu University of Amsterdam
12:10 20m Other		Final question/comment filling and posting (via Miro) GREENS

14:00 - 15:30	Session 3: Talk on Green Conferences and Discussion SessionGREENS at 203

14:00 25m Talk		The Greening of Our Conferences GREENS Rick Kazman University of Hawai‘i at Mānoa
14:25 65m Other		Breakout participants into groups for discussing 3~4 topics GREENS

16:00 - 17:30	Session 4: Discussion and Closing SessionGREENS at 203

16:00 60m Other		Breakout participants into groups for discussing 3~4 topics (Continuation) GREENS
17:00 20m Other		Presentation of resulting discussions GREENS
17:20 10m Other		Closing session GREENS

19:00 - 22:00	Cybersecurity Body of Knowledge BOFICSE Meetings and BOFs at 203 For more details please see the following page https://conf.researchr.org/info/icse-2025/cybok-bof

19:00 3h Meeting		CyBOK BOFSecurityBody of Knowledge ICSE Meetings and BOFs O: Bastian Tenbergen State University of New York at Oswego, O: Nancy Mead Carnegie Mellon Software Engineering Institute, P: Yulia Cherdantseva Cardiff University

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

11:00 - 12:30	Technical Briefing 1ICSE Tutorials and Technical Briefings at 203 Attendees will gain an understanding of the basics of qualitative research and hands-on experience with conducting systematic and rigorous qualitative data analysis using socio-technical grounded theory (STGT) For more information click here

11:00 90m Talk		Technical Briefing 1: Qualitative Research and Qualitative Data AnalysisResearch MethodsHuman/Social ICSE Tutorials and Technical Briefings P: Rashina Hoda Monash University

12:30 - 14:00	FSE Steering Committee MeetingICSE Meetings and BOFs at 203

12:30 90m Meeting		FSE Steering Committee Meeting ICSE Meetings and BOFs C: Abhik Roychoudhury National University of Singapore

16:00 - 17:30	Technical Briefing 2ICSE Tutorials and Technical Briefings at 203 This will introduce participants to the foundational principles and practical application of mixed methods research (MMR) in software engineering (SE) For more information click here

16:00 90m Talk		Technical Briefing 2 : Using Mixed Methods Research in Software EngineeringResearch Methods ICSE Tutorials and Technical Briefings P: Margaret-Anne Storey University of Victoria, P: Rashina Hoda Monash University, P: Maria Teresa Baldassarre Department of Computer Science, University of Bari , P: Alessandra Maciel Paz Milani University of Victoria

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

11:00 - 12:30	Design for AIICSE New Ideas and Emerging Results (NIER) / ICSE SE In Practice (SEIP) / ICSE Research Track at 203 Chair(s): Chunyang Chen TU Munich

11:00 15m Talk		A Large-Scale Study of Model Integration in ML-Enabled Software SystemsSE for AI ICSE Research Track Yorick Sens Ruhr University Bochum, Henriette Knopp Ruhr University Bochum, Sven Peldszus Ruhr University Bochum, Thorsten Berger Ruhr University Bochum
11:15 15m Talk		Are LLMs Correctly Integrated into Software Systems?SE for AI ICSE Research Track Yuchen Shao East China Normal University, Yuheng Huang the University of Tokyo, Jiawei Shen 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
11:30 15m Talk		Patch Synthesis for Property Repair of Deep Neural NetworksSE for AI ICSE Research Track Zhiming Chi Institute of Software, Chinese Academy of Sciences, Jianan Ma Hangzhou Dianzi University, China; Zhejiang University, Hangzhou, China, Pengfei Yang Institute of Software at Chinese Academy of Sciences, China, Cheng-Chao Huang Nanjing Institute of Software Technology, ISCAS, Renjue Li Institute of Software at Chinese Academy of Sciences, China, Jingyi Wang Zhejiang University, Xiaowei Huang University of Liverpool, Lijun Zhang Institute of Software, Chinese Academy of Sciences
11:45 15m Talk		Optimizing Experiment Configurations for LLM Applications Through Exploratory AnalysisSE for AI ICSE New Ideas and Emerging Results (NIER) Nimrod Busany Accenture Labs, Israel, Hananel Hadad Accenture Labs, Israel, Zofia Maszlanka Avanade, Poland, Rohit Shelke University of Ottawa, Canada, Gregory Price University of Ottawa, Canada, Okhaide Akhigbe University of Ottawa, Daniel Amyot University of Ottawa
12:00 15m Talk		AI-Assisted SQL Authoring at Industry ScaleSE for AI ICSE SE In Practice (SEIP) Chandra Sekhar Maddila Meta Platforms, Inc., Negar Ghorbani Meta Platforms Inc., Kosay Jabre Meta Platforms, Inc., Vijayaraghavan Murali Meta Platforms Inc., Edwin Kim Meta Platforms, Inc., Parth Thakkar Meta Platforms, Inc., Nikolay Pavlovich Laptev Meta Platforms, Inc., Olivia Harman Meta Platforms, Inc., Diana Hsu Meta Platforms, Inc., Rui Abreu Meta, Peter C Rigby Meta / Concordia University
12:15 15m Talk		Automating ML Model Development at ScaleSE for AI ICSE SE In Practice (SEIP) Kaiyuan Wang Google, Yang Li Google Inc, Junyang Shen Google Inc, Kaikai Sheng Google Inc, Yiwei You Google Inc, Jiaqi Zhang Google Inc, Srikar Ayyalasomayajula Google Inc, Julian Grady Google Inc, Martin Wicke Google Inc

12:30 - 14:00	ICSE 2026 Organizing Committee MeetingICSE Meetings and BOFs at 203

12:30 90m Meeting		ICSE 2026 Organizing Committee Meeting ICSE Meetings and BOFs G: Marcos Kalinowski Pontifical Catholic University of Rio de Janeiro (PUC-Rio), G: Rafael Prikladnicki School of Technology at PUCRS University

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

11:00 - 12:30	Technical Briefing 4ICSE Tutorials and Technical Briefings at 203 This presents a systematic approach to building digital twins, starting with a domain-driven method that defines key concepts and ensures accurate synchronization between physical and virtual entities. It also introduces a design pattern-based framework to address challenges like scalability, real-time data processing, and IoT interoperability, offering practical and reusable solutions. For more information click here

11:00 90m Talk		Technical Briefing 4: Architecting Digital Twin-Based SystemsDesign/ArchDigital twins ICSE Tutorials and Technical Briefings P: Bedir Tekinerdogan Wageningen University, The Netherlands

14:00 - 15:30	Real-Time SEICSE SE In Practice (SEIP) / ICSE Demonstrations / ICSE Journal-first Papers / ICSE New Ideas and Emerging Results (NIER) at 203 Chair(s): Domenico Bianculli University of Luxembourg

14:00 15m Talk		Closing the Gap between Sensor Inputs and Driving Properties: A Scene Graph Generator for CARLA ICSE Demonstrations Trey Woodlief University of Virginia, Felipe Toledo , Sebastian Elbaum University of Virginia, Matthew B Dwyer University of Virginia
14:15 15m Talk		LEGOS-SLEEC: Tool for Formalizing and Analyzing Normative Requirements ICSE Demonstrations Kevin Kolyakov University of Toronto, Lina Marsso École Polytechnique de Montréal, Nick Feng University of Toronto, Junwei Quan University of Toronto, Marsha Chechik University of Toronto
14:30 15m Talk		MarMot: Metamorphic Runtime Monitoring of Autonomous Driving Systems ICSE Journal-first Papers Jon Ayerdi Mondragon University, Asier Iriarte Mondragon University, Pablo Valle Mondragon University, Ibai Roman Mondragon University, Miren Illarramendi Mondragon University, Aitor Arrieta Mondragon University
14:45 15m Talk		Automatically Generating Content for Testing Autonomous Vehicles from User Descriptions ICSE New Ideas and Emerging Results (NIER) Benedikt Steininger IMC FH Krems, Chrysanthi Papamichail BeamNG GmbH, David Stark BeamNG GmbH, Dejan Nickovic Austrian Institute of Technology, Alessio Gambi Austrian Institute of Technology (AIT)
15:00 15m Talk		BSODiag: A Global Diagnosis Framework for Batch Servers Outage in Large-scale Cloud Infrastructure Systems ICSE SE In Practice (SEIP) Tao Duan Xi'an Jiaotong University, Runqing Chen Alibaba, Pinghui Wang Xi'an Jiaotong University, Junzhou Zhao Xi'an Jiaotong University, Jiongzhou Liu Alibaba, Shujie Han Northwestern Polytechnical University, Yi Liu Alibaba, Fan Xu Alibaba
15:15 15m Talk		On Large Language Models in Mission-Critical IT Governance: Are We Ready Yet? ICSE SE In Practice (SEIP) Matteo Esposito University of Oulu, Francesco Palagiano Multitel di Lerede Alessandro & C. s.a.s., Valentina Lenarduzzi University of Oulu, Davide Taibi University of Oulu DOI Pre-print

16:00 - 17:30	ProcessICSE New Ideas and Emerging Results (NIER) / ICSE Journal-first Papers / ICSE Research Track / ICSE SE In Practice (SEIP) at 203

16:00 15m Talk		Full Line Code Completion: Bringing AI to Desktop ICSE SE In Practice (SEIP) Anton Semenkin JetBrains, Vitaliy Bibaev JetBrains, Yaroslav Sokolov JetBrains, Kirill Krylov JetBrains, Alexey Kalina JetBrains, Anna Khannanova JetBrains, Danila Savenkov JetBrains, Darya Rovdo JetBrains, Igor Davidenko JetBrains, Kirill Karnaukhov JetBrains, Maxim Vakhrushev JetBrains, Mikhail Kostyukov JetBrains, Mikhail Podvitskii JetBrains, Petr Surkov JetBrains, Yaroslav Golubev JetBrains Research, Nikita Povarov JetBrains, Timofey Bryksin JetBrains Research Pre-print
16:15 15m Talk		Automated Accessibility Analysis of Dynamic Content Changes on Mobile Apps ICSE Research Track Forough Mehralian University of California at Irvine, Ziyao He University of California, Irvine, Sam Malek University of California at Irvine
16:30 15m Talk		Qualitative Surveys in Software Engineering Research: Definition, Critical Review, and GuidelinesResearch Methods ICSE Journal-first Papers Jorge Melegati Free University of Bozen-Bolzano, Kieran Conboy University of Galway, Daniel Graziotin University of Hohenheim
16:45 15m Talk		VulNet: Towards improving vulnerability management in the Maven ecosystemSecurity ICSE Journal-first Papers Zeyang Ma Concordia University, Shouvick Mondal IIT Gandhinagar, Tse-Hsun (Peter) Chen Concordia University, Haoxiang Zhang Centre for Software Excellence at Huawei Canada, Ahmed E. Hassan Queen’s University, Zeyang Ma Concordia University
17:00 15m Talk		Energy-Aware Software Testing ICSE New Ideas and Emerging Results (NIER) Roberto Verdecchia University of Florence, Emilio Cruciani University of Salzburg, Antonia Bertolino National Research Council, Italy, Breno Miranda Centro de Informática at Universidade Federal de Pernambuco Pre-print
17:15 7m Talk		SusDevOps: Promoting Sustainability to a First Principle in Software Delivery ICSE New Ideas and Emerging Results (NIER) Istvan David McMaster University / McMaster Centre for Software Certification (McSCert)

Sun 27 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
203	FormaliSE Research Track Invited Speaker 1																								FormaliSE Research Track Session 1 - Formal Methods and Autonomous Systems																																				FormaliSE Research Track Session 2 – Theorem Proving and Probabilistic Model Checking																								FormaliSE Research Track Session 3 - Temporal Logic and Contracts

Mon 28 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
203	FormaliSE Research Track Invited Speaker 2																								FormaliSE Research Track Session 4 – Generative AI and Fuzzy Logic																																				FormaliSE Research Track Session 5 - Formal Specification and Verification:																								FormaliSE Research Track

Tue 29 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						18:00						30						19:00						30						20:00						30						21:00						30
203	GREENS Session 1: Workshop Opening and Keynote																								GREENS Session 2: Pitch Session																																				GREENS Session 3: Talk on Green Conferences and Discussion Session																								GREENS Session 4: Discussion and Closing Session																																				ICSE Meetings and BOFs Cybersecurity Body of Knowledge BOF

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


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
203	ICSE Tutorials and Technical Briefings Technical Briefing 1																		ICSE Meetings and BOFs FSE Steering Committee Meeting																																										ICSE Tutorials and Technical Briefings Technical Briefing 2

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


Room	11:00						30						12:00						30						13:00						30
203	ICSE New Ideas and Emerging Results (NIER) + ICSE SE In Practice (SEIP) + ICSE Research Track Design for AI																		ICSE Meetings and BOFs ICSE 2026 Organizing Committee Meeting

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


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
203	ICSE Tutorials and Technical Briefings Technical Briefing 4																		ICSE Meetings and BOFs																		ICSE SE In Practice (SEIP) + ICSE Demonstrations + ICSE Journal-first Papers + ICSE New Ideas and Emerging Results (NIER) Real-Time SE																								ICSE New Ideas and Emerging Results (NIER) + ICSE Journal-first Papers + ICSE Research Track + ICSE SE In Practice (SEIP) Process

Sat 3 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
203	WSESE																								WSESE																																				WSESE																								WSESE

Sun 27 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
203	FormaliSE Research Track Assuring AI in Autonomous Driving: Challenges and Emerging Approaches 09:00 - 10:30																								FormaliSE Research Track CPS Falsification using Autoencoded Input Models 11:00 - 11:30						FormaliSE Research Track Modeling Language for Scenario Development of Autonomous Driving Systems 11:30 - 12:00						FormaliSE Research Track Robustness Verification of Video Classification Neural Networks 12:00 - 12:30																								FormaliSE Research Track The Burden of Proof: Automated Tooling for Rapid Iteration on Large Mec ... 14:00 - 14:30						FormaliSE Research Track A proof-based ground algebraic meta-model for reasoning on ASTD in Event-B 14:30 - 15:00						FormaliSE Research Track Probabilistic Model Checking of Disaster Resource Distribution Strategies 15:00 - 15:30												FormaliSE Research Track Specifying Distributed Hash Tables with Allen Temporal Logic 16:00 - 16:30						FormaliSE Research Track Temporal Logics Meet Real-World Software Requirements: A Reality Check 16:30 - 17:00						FormaliSE Research Track Detecting Redundant Preconditions 17:00 - 17:30

Mon 28 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
203	FormaliSE Research Track Adversarial Perturbations and Self-Defenses for Large Language Models o ... 09:00 - 10:30																								FormaliSE Research Track LLM-based Generation of Weakest Preconditions and Precise Array Invariants 11:00 - 11:30						FormaliSE Research Track VeCoGen: Automating Generation of Formally Verified C Code with Large L ... 11:30 - 12:00						FormaliSE Research Track Embracing Uncertainty: A Fuzzy Theoretical Model for Goal Fulfillment A ... 12:00 - 12:30																								FormaliSE Research Track Refining Alloy-Based Mutation Operators to Reflect Common Mistakes 14:00 - 14:30						FormaliSE Research Track Verifying Multiple TLA+ Configurations with Blast 14:30 - 15:00						FormaliSE Research Track Typestates Specification and Verification in Frama-C 15:00 - 15:30

Tue 29 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			18:00			15			30			45			19:00			15			30			45			20:00			15			30			45			21:00			15			30			45
203	GREENS Opening 09:00 - 09:15			GREENS Perspectives and challenges in green and sustainable software 09:15 - 10:30																					GREENS Educated Energy Efficiency Optimization of Distributed Software: Measur ... 11:00 - 11:05	GREENS Assessment of Embedded AI Solutions with the Green Software Measurement ... 11:05 - 11:10	GREENS On the Energy Consumption of Web Applications: An Empirical Study of th ... 11:10 - 11:15	GREENS Automatically Assessing Software Architecture Compliance With Green Sof ... 11:15 - 11:20	GREENS Green AI: Which Programming Language Consumes the Most? 11:20 - 11:25	GREENS Specification Completion for Sustainable Software Development via Susta ... 11:25 - 11:30	GREENS Generating Energy-efficient code with LLMs 11:30 - 11:35	GREENS Prompt engineering and its implications on the energy consumption of La ... 11:35 - 11:40	GREENS Breaking the ICE: Exploring promises and challenges of benchmarks for I ... 11:40 - 11:45	GREENS Calculating Software’s Energy Use and Carbon Emissions: A Survey of the ... 11:45 - 11:50	GREENS Responsible and Sustainable AI: Considering Energy Consumption in Autom ... 11:50 - 11:55	GREENS Mapping of the system of software-related emissions and shared responsi ... 11:55 - 12:00	GREENS PowerLetrics: An Open-Source Framework for Power and Energy Metrics for ... 12:00 - 12:05	GREENS Echoes of the Future: Designing a Game for Green Software Engineering 12:05 - 12:10	GREENS Final question/comment filling and posting (via Miro) 12:10 - 12:30																						GREENS The Greening of Our Conferences 14:00 - 14:25					GREENS Breakout participants into groups for discussing 3~4 topics 14:25 - 15:30																			GREENS Breakout participants into groups for discussing 3~4 topics (Continuation) 16:00 - 17:00												GREENS Presentation of resulting discussions 17:00 - 17:20				GREENS Closing session 17:20 - 17:30																				ICSE Meetings and BOFsSecurityBody of Knowledge CyBOK BOF 19:00 - 22:00

Wed 30 Apr
Displayed time zone: Eastern Time (US & Canada) 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
203	ICSE Tutorials and Technical BriefingsResearch MethodsHuman/Social Technical Briefing 1: Qualitative Research and Qualitative Data Analysis 11:00 - 12:30																		ICSE Meetings and BOFs FSE Steering Committee Meeting 12:30 - 14:00																																										ICSE Tutorials and Technical BriefingsResearch Methods Technical Briefing 2 : Using Mixed Methods Research in Software Engineering 16:00 - 17:30

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


Room	11:00			15			30			45			12:00			15			30			45			13:00			15			30			45
203	ICSE Research TrackSE for AI A Large-Scale Study of Model Integration in ML-Enabled Software Systems 11:00 - 11:15			ICSE Research TrackSE for AI Are LLMs Correctly Integrated into Software Systems? 11:15 - 11:30			ICSE Research TrackSE for AI Patch Synthesis for Property Repair of Deep Neural Networks 11:30 - 11:45			ICSE New Ideas and Emerging Results (NIER)SE for AI Optimizing Experiment Configurations for LLM Applications Through Explo ... 11:45 - 12:00			ICSE SE In Practice (SEIP)SE for AI AI-Assisted SQL Authoring at Industry Scale 12:00 - 12:15			ICSE SE In Practice (SEIP)SE for AI Automating ML Model Development at Scale 12:15 - 12:30			ICSE Meetings and BOFs ICSE 2026 Organizing Committee Meeting 12:30 - 14:00

Fri 2 May
Displayed time zone: Eastern Time (US & Canada) 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
203	ICSE Tutorials and Technical BriefingsDesign/ArchDigital twins Technical Briefing 4: Architecting Digital Twin-Based Systems 11:00 - 12:30																																				ICSE Demonstrations Closing the Gap between Sensor Inputs and Driving Properties: A Scene G ... 14:00 - 14:15			ICSE Demonstrations LEGOS-SLEEC: Tool for Formalizing and Analyzing Normative Requirements 14:15 - 14:30			ICSE Journal-first Papers MarMot: Metamorphic Runtime Monitoring of Autonomous Driving Systems 14:30 - 14:45			ICSE New Ideas and Emerging Results (NIER) Automatically Generating Content for Testing Autonomous Vehicles from U ... 14:45 - 15:00			ICSE SE In Practice (SEIP) BSODiag: A Global Diagnosis Framework for Batch Servers Outage in Large ... 15:00 - 15:15			ICSE SE In Practice (SEIP) On Large Language Models in Mission-Critical IT Governance: Are We Read ... 15:15 - 15:30									ICSE SE In Practice (SEIP) Full Line Code Completion: Bringing AI to Desktop 16:00 - 16:15			ICSE Research Track Automated Accessibility Analysis of Dynamic Content Changes on Mobile Apps 16:15 - 16:30			ICSE Journal-first PapersResearch Methods Qualitative Surveys in Software Engineering Research: Definition, Criti ... 16:30 - 16:45			ICSE Journal-first PapersSecurity VulNet: Towards improving vulnerability management in the Maven ecosystem 16:45 - 17:00			ICSE New Ideas and Emerging Results (NIER) Energy-Aware Software Testing 17:00 - 17:15			ICSE New Ideas and Emerging Results (NIER) SusDevOps: Promoting Sustainability to a First Principle in Software De ... 17:15 - 17:22

Room information: 203

This program is tentative and subject to change.

Program Display Configuration

Sun 27 AprDisplayed time zone: Eastern Time (US & Canada) change

Mon 28 AprDisplayed time zone: Eastern Time (US & Canada) change

Tue 29 AprDisplayed time zone: Eastern Time (US & Canada) change

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

Sun 27 AprDisplayed time zone: Eastern Time (US & Canada) change

FormaliSE Research Track

FormaliSE Research Track

FormaliSE Research Track

FormaliSE Research Track

Mon 28 AprDisplayed time zone: Eastern Time (US & Canada) change

FormaliSE Research Track

FormaliSE Research Track

FormaliSE Research Track

FormaliSE Research Track

Tue 29 AprDisplayed time zone: Eastern Time (US & Canada) change

GREENS

GREENS

GREENS

GREENS

ICSE Meetings and BOFs

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

ICSE Tutorials and Technical Briefings

ICSE Meetings and BOFs

ICSE Tutorials and Technical Briefings

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

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

ICSE Meetings and BOFs

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

ICSE Tutorials and Technical Briefings

ICSE Meetings and BOFs

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

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

Sat 3 MayDisplayed time zone: Eastern Time (US & Canada) change

WSESE

WSESE

WSESE

WSESE

Sun 27 AprDisplayed time zone: Eastern Time (US & Canada) change

Mon 28 AprDisplayed time zone: Eastern Time (US & Canada) change

Tue 29 AprDisplayed time zone: Eastern Time (US & Canada) change

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

Sun 27 Apr
Displayed time zone: Eastern Time (US & Canada) change

Mon 28 Apr
Displayed time zone: Eastern Time (US & Canada) change

Tue 29 Apr
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

Sun 27 Apr
Displayed time zone: Eastern Time (US & Canada) change

Mon 28 Apr
Displayed time zone: Eastern Time (US & Canada) change

Tue 29 Apr
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

Sat 3 May
Displayed time zone: Eastern Time (US & Canada) change

Sun 27 Apr
Displayed time zone: Eastern Time (US & Canada) change

Mon 28 Apr
Displayed time zone: Eastern Time (US & Canada) change

Tue 29 Apr
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