215 - MO2RE 2025

VenueRogers Centre, Ottawa (formerly Shaw Centre)

Room name215

Floor2

Room number215

Capacity169

Room Information

See map. 215 entrance is on in the little corridor whose entrance is between rooms 210 and 208 on the second floor off the Rideau Canal Atrium. Other rooms in the corridor are 211-214.

215 will be the second room for the MSR conference Monday and Tuesday, which also uses 214 next door.

215 and 214 will be temporarily turned into a single room Morning since the joint ICPC/MSR keynote will be here.

During the main conference days (Wed-Fri) a main theme of this room will be SE for AI.

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	Welcoming + Information models sessionSERP4IoT at 215

09:00 20m Day opening		Opening SERP4IoT
09:20 25m Talk		An Interoperable Ontology-based Information Model for Better Integration of Building Physics and IoT Data Analytics Models SERP4IoT Jose Manuel Broto CIMNE, Jordi Cipriano CIMNE, Gerard Mor CIMNE, Oriol Gavalda Concordia University, Shahin Masoumi-Verki Concordia University, Ursula Eicker Concordia University
09:45 25m Talk		A Conceptual Model for Trustworthiness in Intelligent IoT Systems SERP4IoT Romina Spalazzese Malmö University, Martina De Sanctis Gran Sasso Science Institute, Andreas Jacobsson Malmö University, Fahed Alkhabbas Malmo University, Paul Davidsson Malmö University
10:10 20m Talk		Recommending Pre-Trained Models for IoT Devices SERP4IoT Parth Vinod Patil Purdue University, Wenxin Jiang Purdue University, Huiyun Peng Purdue University, Daniel Lugo Purdue University, Kelechi G. Kalu Purdue University, Josh LeBlanc Purdue University, Lawrence Smith Purdue University, Hyeonwoo Heo Purdue University, Nathanael Aou Purdue University, James C. Davis Purdue University Pre-print

11:00 - 12:30	Keynote + Languages sessionSERP4IoT at 215

11:00 65m Keynote		Modernizing Application Development for IoT SERP4IoT Dave Thomas Bedarra Corp
12:05 25m Talk		Should We Use Rust Platform in Our IoT Applications? A Multivocal Review SERP4IoT Fabio Petrillo École de technologie supérieure (ÉTS), Montréal -- Université du Québec

14:00 - 15:30	Patterns and Modelling sessionsSERP4IoT at 215

14:00 25m Talk		A Pattern-Driven Middleware Architecture for IoT Data SERP4IoT Zongo Meyo Concordia university, Gabriel C. Ullmann Concordia university, Rushin Dipak Makwana Concordia university, Oriol Gavalda Concordia University
14:25 25m Talk		Advances in Requirements Engineering for IoT and CPS: A Survey on Model-Driven Research and Practices SERP4IoT Mirza Rehenuma Tabassum Toronto Metropolitan University, Sadaf Mustafiz Toronto Metropolitan University
14:50 25m Talk		Towards a Portable Implementation of a Visual Block Language for IoT Applications SERP4IoT Kwanghoon Choi Chonnam National University, Sujee Noh , Kyungjae Kim , Seungchan Park , Hyeon-Ah Moon , Byeong-Mo Chang
15:15 20m Talk		Verifying Security and Safety for Heterogeneous IoT Applications: MDE Approach SERP4IoT Lobna Abuserrieh , Manar Alalfi Toronto Metropolitan University

16:00 - 17:30	Performance session + DiscussionSERP4IoT at 215

16:00 25m Talk		Dependable Software-Optimized Energy Management for IoT-Enabled Smart Buildings SERP4IoT Aycha Abid Department of Computer Science and Engineering, Oakland University., Amine Barrak Oakland University, USA, Issouf Bakayoko Université du Québec à Chicoutimi, Fehmi Jaafar Université du Québec à Chicoutimi, David Rankourt Ideo Concept Inc.
16:25 20m Talk		Hybrid Runtime for Cloud-Native Deployment in High-Performance IoT Edge SERP4IoT Basma El Gaabouri Arm Ltd, Chris Adeniyi-Jones Arm Ltd, Hugo Ferreira Arm Ltd, Eric Van Hensbergen Arm Ltd
16:45 45m Day closing		Closing SERP4IoT

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

11:00 - 12:30	Security and legal aspectsMSR Industry Track / MSR Data and Tool Showcase Track / MSR Technical Papers at 215

11:00 10m Talk		Wolves in the Repository: A Software Engineering Analysis of the XZ Utils Supply Chain Attack MSR Technical Papers Piotr Przymus Nicolaus Copernicus University in Toruń, Poland, Thomas Durieux TU Delft
11:10 10m Talk		Software Composition Analysis and Supply Chain Security in Apache Projects: an Empirical Study MSR Technical Papers Sabato Nocera University of Salerno, Sira Vegas Universidad Politecnica de Madrid, Giuseppe Scanniello University of Salerno, Natalia Juristo Universidad Politecnica de Madrid Pre-print
11:20 10m Talk		Good practice versus reality: a landscape analysis of Research Software metadata adoption in European Open Science Clusters MSR Technical Papers Anas El Hounsri Universidad Politécnica de Madrid, Daniel Garijo Universidad Politécnica de Madrid
11:30 10m Talk		Towards Security Commit Message Standardization MSR Technical Papers Sofia Reis Instituto Superior Técnico, U. Lisboa & INESC-ID, Rui Abreu INESC-ID; University of Porto, Corina Pasareanu CMU, NASA, KBR
11:40 10m Talk		From Industrial Practices to Academia: Uncovering the Gap in Vulnerability Research and Practice MSR Technical Papers Zhuang Liu , Xing Hu Zhejiang University, Jiayuan Zhou Queen's University, Xin Xia Huawei
11:50 5m Talk		Patch Me If You Can—Securing the Linux Kernel MSR Industry Track Gunnar Kudrjavets Amazon Web Services, USA Pre-print
11:55 5m Talk		OSS License Identification at Scale: A Comprehensive Dataset Using World of Code MSR Data and Tool Showcase Track Mahmoud Jahanshahi Research Assistant, University of Tennessee Knoxville, David Reid University of Tennessee, Adam McDaniel University of Tennessee Knoxville, Audris Mockus The University of Tennessee
12:00 5m Talk		SCRUBD: Smart Contracts Reentrancy and Unhandled Exceptions Vulnerability Dataset MSR Data and Tool Showcase Track Chavhan Sujeet Yashavant Indian Institute of Technology, Kanpur, Mitrajsinh Chavda Indian Institute of Technology Kanpur, India, Saurabh Kumar Indian Institute of Technology Hyderabad, India, Amey Karkare IIT Kanpur, Angshuman Karmakar Indian Institute of Technology Kanpur, India
12:05 5m Talk		ICVul: A Well-labeled C/C++ Vulnerability Dataset with Comprehensive Metadata and VCCs MSR Data and Tool Showcase Track Chaomeng Lu DistriNet Group-T, KU Leuven, Tianyu Li DistriNet Group-T, KU Leuven, Toon Dehaene KU Leuven, Bert Lagaisse DistriNet Group-T, KU Leuven
12:10 5m Talk		A Dataset of Software Bill of Materials for Evaluating SBOM Consumption Tools MSR Data and Tool Showcase Track Rio Kishimoto Osaka University, Tetsuya Kanda Notre Dame Seishin University, Yuki Manabe The University of Fukuchiyama, Katsuro Inoue Nanzan University, Shi Qiu Toshiba, Yoshiki Higo Osaka University
12:15 5m Talk		Wild SBOMs: a Large-scale Dataset of Software Bills of Materials from Public Code MSR Data and Tool Showcase Track Luis Soeiro LTCI, Télécom Paris, Institut Polytechnique de Paris, Thomas Robert LTCI, Télécom Paris, Institut Polytechnique de Paris, Stefano Zacchiroli Télécom Paris, Polytechnic Institute of Paris Pre-print
12:20 5m Talk		MaLAware: Automating the Comprehension of Malicious Software Behaviours using Large Language Models (LLMs) MSR Data and Tool Showcase Track BIKASH SAHA Indian Institute of Technology Kanpur, Nanda Rani Indian Institute of Technology Kanpur, Sandeep K. Shukla Indian Institute of Technology Kanpur

14:00 - 15:30	MSR 2025 Mining ChallengeMSR Mining Challenge at 215 Chair(s): Joyce El Haddad Université Paris Dauphine - PSL , Damien Jaime Université Paris Nanterre & LIP6, Pascal Poizat Université Paris Nanterre & LIP6

14:00 4m Talk		Analyzing Dependency Clusters and Security Risks in the Maven Central Repository MSR Mining Challenge George Lake Idaho State University, Minhaz F. Zibran Idaho State University
14:04 4m Talk		Chasing the Clock: How Fast Are Vulnerabilities Fixed in the Maven Ecosystem? MSR Mining Challenge Md Fazle Rabbi Idaho State University, Arifa Islam Champa Idaho State University, Rajshakhar Paul Wayne State University, Minhaz F. Zibran Idaho State University
14:08 4m Talk		Decoding Dependency Risks: A Quantitative Study of Vulnerabilities in the Maven Ecosystem MSR Mining Challenge Costain Nachuma Idaho State University, Md Mosharaf Hossan Idaho State University, Asif Kamal Turzo Wayne State University, Minhaz F. Zibran Idaho State University
14:12 4m Talk		Faster Releases, Fewer Risks: A Study on Maven Artifact Vulnerabilities and Lifecycle Management MSR Mining Challenge Md Shafiullah Shafin Rajshahi University of Engineering & Technology (RUET), Md Fazle Rabbi Idaho State University, S. M. Mahedy Hasan Rajshahi University of Engineering & Technology, Minhaz F. Zibran Idaho State University
14:16 4m Talk		Insights into Dependency Maintenance Trends in the Maven Ecosystem MSR Mining Challenge Barisha Chowdhury Rajshahi University of Engineering & Technology, Md Fazle Rabbi Idaho State University, S. M. Mahedy Hasan Rajshahi University of Engineering & Technology, Minhaz F. Zibran Idaho State University
14:20 4m Talk		Insights into Vulnerability Trends in Maven Artifacts: Recurrence, Popularity, and User Behavior MSR Mining Challenge Courtney Bodily Idaho State University, Eric Hill Idaho State University, Andreas Kramer Idaho State University, Leslie Kerby Idaho State University, Minhaz F. Zibran Idaho State University
14:24 4m Talk		Understanding Software Vulnerabilities in the Maven Ecosystem: Patterns, Timelines, and Risks MSR Mining Challenge Md Fazle Rabbi Idaho State University, Rajshakhar Paul Wayne State University, Arifa Islam Champa Idaho State University, Minhaz F. Zibran Idaho State University
14:28 4m Talk		Dependency Update Adoption Patterns in the Maven Software Ecosystem MSR Mining Challenge Baltasar Berretta College of Wooster, Augustus Thomas College of Wooster, Heather Guarnera The College of Wooster
14:32 4m Talk		Analyzing Vulnerability Overestimation in Software Projects MSR Mining Challenge Taha Draoui University of Michigan-Flint, Faten Jebari University of Michigan-Flint, Chawki Ben Slimen University of Michigan-Flint, Munjaap Uppal University of Michigan-Flint, Mohamed Wiem Mkaouer University of Michigan - Flint
14:36 4m Talk		Dependency Dilemmas: A Comparative Study of Independent and Dependent Artifacts in Maven Ecosystem MSR Mining Challenge Mehedi Hasan Shanto Khulna University, Muhammad Asaduzzman University of Windsor, Manishankar Mondal Khulna University, Shaiful Chowdhury University of Manitoba
14:40 4m Talk		Cascading Effects: Analyzing Project Failure Impact in the Maven Central Ecosystem MSR Mining Challenge Mina Shehata Belmont University, Saidmakhmud Makhkamjonoov Belmont University, Mahad Syed Belmont University, Esteban Parra Belmont University
14:45 4m Talk		Do Developers Depend on Deprecated Library Versions? A Mining Study of Log4j MSR Mining Challenge Haruhiko Yoshioka Nara Institute of Science and Technology, Sila Lertbanjongngam Nara Institute of Science and Technology, Masayuki Inaba Nara Institute of Science and Technology, Youmei Fan Nara Institute of Science and Technology, Takashi Nakano Nara Institute of Science and Technology, Kazumasa Shimari Nara Institute of Science and Technology, Raula Gaikovina Kula Osaka University, Kenichi Matsumoto Nara Institute of Science and Technology
14:49 4m Talk		Mining for Lags in Updating Critical Security Threats: A Case Study of Log4j Library MSR Mining Challenge Hidetake Tanaka Nara Institute of Science and Technology, Kazuma Yamasaki Nara Institute of Science and Technology, Momoka Hirose Nara Institute of Science and Technology, Takashi Nakano Nara Institute of Science and Technology, Youmei Fan Nara Institute of Science and Technology, Kazumasa Shimari Nara Institute of Science and Technology, Raula Gaikovina Kula Osaka University, Kenichi Matsumoto Nara Institute of Science and Technology
14:53 4m Talk		On the Evolution of Unused Dependencies in Java Project Releases: An Empirical Study MSR Mining Challenge Nabhan Suwanachote Nara Institute of Science and Technology, Yagut Shakizada Nara Institute of Science and Technology, Yutaro Kashiwa Nara Institute of Science and Technology, Bin Lin Radboud University, Hajimu Iida Nara Institute of Science and Technology
14:57 4m Talk		Out of Sight, Still at Risk: The Lifecycle of Transitive Vulnerabilities in Maven MSR Mining Challenge Piotr Przymus Nicolaus Copernicus University in Toruń, Poland, Mikołaj Fejzer Nicolaus Copernicus University in Toruń, Jakub Narębski Nicolaus Copernicus University in Toruń, Krzysztof Rykaczewski Nicolaus Copernicus University in Toruń, Poland, Krzysztof Stencel University of Warsaw
15:01 4m Talk		Popularity and Innovation in Maven Central MSR Mining Challenge Nkiru Ede Victoria University of Wellington, Jens Dietrich Victoria University of Wellington, Ulrich Zülicke Victoria University of Wellington
15:05 4m Talk		Software Bills of Materials in Maven Central MSR Mining Challenge Yogya Gamage Universtité de Montréal, Nadia Gonzalez Fernandez Université de Montréal, Martin Monperrus KTH Royal Institute of Technology, Benoit Baudry
15:09 4m Talk		The Ripple Effect of Vulnerabilities in Maven Central: Prevalence, Propagation, and Mitigation Challenges MSR Mining Challenge Ehtisham Ul Haq York University, Song Wang York University, Robert S Allison York University
15:13 4m Talk		Tracing Vulnerabilities in Maven: A Study of CVE lifecycles and Dependency Networks MSR Mining Challenge Corey Yang-Smith University of Calgary, Ahmad Abdellatif University of Calgary Pre-print
15:17 4m Talk		Understanding Abandonment and Slowdown Dynamics in the Maven Ecosystem MSR Mining Challenge Kazi Amit Hasan Queen's University, Canada, Jerin Yasmin Queen's University, Canada, Huizi Hao Queen's University, Canada, Yuan Tian Queen's University, Kingston, Ontario, Safwat Hassan University of Toronto, Steven Ding Pre-print
15:21 4m Talk		Characterizing Packages for Vulnerability Prediction MSR Mining Challenge Saviour Owolabi University of Calgary, Francesco Rosati University of Calgary, Ahmad Abdellatif University of Calgary, Lorenzo De Carli University of Calgary, Canada
15:25 4m Talk		Understanding the Popularity of Packages in Maven Ecosystem MSR Mining Challenge Sadman Jashim Sakib University of Windsor, Muhammad Asaduzzaman University of Windsor, Curtis Bright University of Windsor, Cole Morgan University of Windsor

16:00 - 17:30	LLMs for CodeMSR Technical Papers / MSR Data and Tool Showcase Track at 215

16:00 10m Talk		How Much Do Code Language Models Remember? An Investigation on Data Extraction Attacks before and after Fine-tuning MSR Technical Papers Fabio Salerno Delft University of Technology, Ali Al-Kaswan Delft University of Technology, Netherlands, Maliheh Izadi Delft University of Technology
16:10 10m Talk		Can LLMs Generate Higher Quality Code Than Humans? An Empirical Study MSR Technical Papers Mohammad Talal Jamil Lahore University of Management Sciences, Shamsa Abid National University of Computer and Emerging Sciences, Shafay Shamail LUMS, DHA, Lahore
16:20 10m Talk		Prompt Engineering or Fine-Tuning: An Empirical Assessment of LLMs for Code MSR Technical Papers Jiho Shin York University, Clark Tang , Tahmineh Mohati University of Calgary, Maleknaz Nayebi York University, Song Wang York University, Hadi Hemmati York University
16:30 5m Talk		Drawing Pandas: A Benchmark for LLMs in Generating Plotting Code MSR Data and Tool Showcase Track Timur Galimzyanov JetBrains Research, Sergey Titov JetBrains Research, Yaroslav Golubev JetBrains Research, Egor Bogomolov JetBrains Research Pre-print
16:35 5m Talk		SnipGen: A Mining Repository Framework for Evaluating LLMs for Code MSR Data and Tool Showcase Track Daniel Rodriguez-Cardenas , Alejandro Velasco William & Mary, Denys Poshyvanyk William & Mary

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

11:00 - 12:30	Build systems and DevOpsMSR Data and Tool Showcase Track / MSR Technical Papers at 215

11:00 10m Talk		Build Scripts Need Maintenance Too: A Study on Refactoring and Technical Debt in Build Systems MSR Technical Papers Anwar Ghammam Oakland University, Dhia Elhaq Rzig University of Michigan - Dearborn, Mohamed Almukhtar Oakland University, Rania Khalsi University of Michigan - Flint, Foyzul Hassan University of Michigan at Dearborn, Marouane Kessentini Grand Valley State University
11:10 10m Talk		LLMSecConfig: An LLM-Based Approach for Fixing Software Container Misconfigurations MSR Technical Papers Ziyang Ye The University of Adelaide, Triet Le The University of Adelaide, Muhammad Ali Babar School of Computer Science, The University of Adelaide
11:20 10m Talk		How Do Infrastructure-as-Code Practitioners Update Their Dependencies? An Empirical Study on Terraform Module Updates MSR Technical Papers Mahi Begoug , Ali Ouni ETS Montreal, University of Quebec, Moataz Chouchen Department of Electrical and Computer Engineering, Concordia University, Montreal, Canada
11:30 5m Talk		TerraDS: A Dataset for Terraform HCL Programs MSR Data and Tool Showcase Track Christoph Buehler University of St. Gallen, David Spielmann University of St. Gallen, Roland Meier armasuisse, Guido Salvaneschi University of St. Gallen
11:35 5m Talk		OSPtrack: A Labeled Dataset Targeting Simulated Execution of Open-Source Software MSR Data and Tool Showcase Track Zhuoran Tan University of Glasgow, Christos Anagnostopoulos University of Glasgow, Jeremy Singer University of Glasgow
11:40 5m Talk		CARDS: A collection of package, revision, and miscelleneous dependency graphs MSR Data and Tool Showcase Track Euxane TRAN-GIRARD LIGM, CNRS, Université Gustave Eiffel, Laurent BULTEAU LIGM, CNRS, Université Gustave Eiffel, Pierre-Yves DAVID Octobus S.c.o.p. Pre-print
11:45 5m Talk		GHALogs: Large-scale dataset of GitHub Actions runs MSR Data and Tool Showcase Track Florent Moriconi EURECOM, AMADEUS, Thomas Durieux TU Delft, Jean-Rémy Falleri Bordeaux INP, Raphaël Troncy EURECOM, Aurélien Francillon EURECOM

14:00 - 15:30	Software qualityMSR Technical Papers / MSR Data and Tool Showcase Track at 215

14:00 10m Talk		PyExamine: A Comprehensive, Un-Opinionated Smell Detection Tool for Python MSR Technical Papers Karthik Shivashankar University of Oslo, Antonio Martini University of Oslo, Norway
14:10 10m Talk		Does Functional Package Management Enable Reproducible Builds at Scale? Yes. MSR Technical Papers Julien Malka LTCI, Télécom Paris, Institut Polytechnique de Paris, France, Stefano Zacchiroli Télécom Paris, Polytechnic Institute of Paris, Théo Zimmermann Télécom Paris, Polytechnic Institute of Paris Pre-print
14:20 10m Talk		Refactoring for Dockerfile Quality: A Dive into Developer Practices and Automation Potential MSR Technical Papers Emna Ksontini University of Michigan - Dearborn, Meriem Mastouri University of Michigan, Rania Khalsi University of Michigan - Flint, Wael Kessentini DePaul University
14:30 10m Talk		Smells-sus: Sustainability Smells in IaC MSR Technical Papers Seif Kosbar Polytechnique Montréal, Mohammad Hamdaqa Polytechnique Montréal
14:40 10m Talk		Evidence is All We Need: Do Self-Admitted Technical Debts Impact Method-Level Maintenance? MSR Technical Papers Shaiful Chowdhury University of Manitoba, Hisham Kidwai University of Manitoba, Muhammad Asaduzzman University of Windsor
14:50 5m Talk		DPy: Code Smells Detection Tool for Python MSR Data and Tool Showcase Track Aryan Boloori Dalhousie university, Tushar Sharma Dalhousie University Pre-print
14:55 5m Talk		CoMRAT: Commit Message Rationale Analysis Tool MSR Data and Tool Showcase Track Mouna Dhaouadi University of Montreal, Bentley Oakes Polytechnique Montréal, Michalis Famelis Université de Montréal Media Attached
15:00 5m Talk		E2EGit: A Dataset of End-to-End Web Tests in Open Source Projects MSR Data and Tool Showcase Track Sergio Di Meglio Università degli Studi di Napoli Federico II, Luigi Libero Lucio Starace Università degli Studi di Napoli Federico II, Valeria Pontillo Vrije Universiteit Brussel, Ruben Opdebeeck Vrije Universiteit Brussel, Coen De Roover Vrije Universiteit Brussel, Sergio Di Martino Università degli Studi di Napoli Federico II
15:05 5m Talk		TestMigrationsInPy: A Dataset of Test Migrations from Unittest to Pytest MSR Data and Tool Showcase Track Altino Alves Júnior UFMG, Andre Hora UFMG Pre-print
15:10 5m Talk		pyMethods2Test: A Dataset of Python Tests Mapped to Focal Methods MSR Data and Tool Showcase Track Idriss Abdelmadjid University of Nebraska-Lincoln, Robert Dyer University of Nebraska-Lincoln Pre-print
15:15 5m Talk		DataTD: A Dataset of Java Projects Including Test Doubles MSR Data and Tool Showcase Track Mengzhen Li University of Minnesota, Mattia Fazzini University of Minnesota
15:20 5m Talk		JPerfEvo: A Tool for Tracking Method-Level Performance Changes in Java Projects MSR Data and Tool Showcase Track Kaveh Shahedi Polytechnique Montréal, Maxime Lamothe Polytechnique Montreal, Foutse Khomh Polytechnique Montréal, Heng Li Polytechnique Montréal

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

11:00 - 12:30	SE for AI 1ICSE New Ideas and Emerging Results (NIER) / ICSE SE In Practice (SEIP) / ICSE Research Track at 215

11:00 15m Talk		A Test Oracle for Reinforcement Learning Software based on Lyapunov Stability Control TheoryAward Winner ICSE Research Track Shiyu Zhang The Hong Kong Polytechnic University, Haoyang Song The Hong Kong Polytechnic University, Qixin Wang The Hong Kong Polytechnic University, Henghua Shen The Hong Kong Polytechnic University, Yu Pei The Hong Kong Polytechnic University
11:15 15m Talk		CodeImprove: Program Adaptation for Deep Code Models ICSE Research Track Ravishka Shemal Rathnasuriya University of Texas at Dallas, zijie zhao , Wei Yang UT Dallas
11:30 15m Talk		FairQuant: Certifying and Quantifying Fairness of Deep Neural Networks ICSE Research Track Brian Hyeongseok Kim University of Southern California, Jingbo Wang University of Southern California, Chao Wang University of Southern California
11:45 15m Talk		When in Doubt Throw It out: Building on Confident Learning for Vulnerability Detection ICSE New Ideas and Emerging Results (NIER) Yuanjun Gong Renmin University of China, Fabio Massacci University of Trento; Vrije Universiteit Amsterdam
12:00 15m Talk		Evaluation of Tools and Frameworks for Machine Learning Model Serving ICSE SE In Practice (SEIP) Niklas Beck Fraunhofer Institute for Intelligent Analysis and Information Systems IAIS, Benny Stein Fraunhofer Institute for Intelligent Analysis and Information Systems IAIS, Dennis Wegener T-Systems International GmbH, Lennard Helmer Fraunhofer Institute for Intelligent Analysis and Information Systems
12:15 15m Talk		Real-time Adapting Routing (RAR): Improving Efficiency Through Continuous Learning in Software Powered by Layered Foundation Models ICSE SE In Practice (SEIP) Kirill Vasilevski Huawei Canada, Dayi Lin Centre for Software Excellence, Huawei Canada, Ahmed E. Hassan Queen’s University

16:00 - 17:30	Analysis 1ICSE Research Track / ICSE SE In Practice (SEIP) at 215

16:00 15m Talk		An Empirical Study on Reproducible Packaging in Open-Source Ecosystems ICSE Research Track Giacomo Benedetti University of Genoa, Oreofe Solarin Case Western Reserve University, Courtney Miller Carnegie Mellon University, Greg Tystahl NCSU, William Enck North Carolina State University, Christian Kästner Carnegie Mellon University, Alexandros Kapravelos NCSU, Alessio Merlo CASD - School of Advanced Defense Studies, Luca Verderame University of Genoa
16:15 15m Talk		An Extensive Empirical Study of Nondeterministic Behavior in Static Analysis Tools ICSE Research Track Miao Miao The University of Texas at Dallas, Austin Mordahl The University of Texas at Dallas, Dakota Soles The University of Texas at Dallas, Alice Beideck The University of Texas at Dallas, Shiyi Wei University of Texas at Dallas
16:30 15m Talk		Execution Trace Reconstruction Using Diffusion-Based Generative Models ICSE Research Track Madeline Janecek Brock University, Naser Ezzati Jivan , Wahab Hamou-Lhadj Concordia University, Montreal, Canada
16:45 15m Talk		Interactive Cross-Language Pointer Analysis for Resolving Native Code in Java ProgramsAward Winner ICSE Research Track Chenxi Zhang Nanjing University, Yufei Liang Nanjing University, Tian Tan Nanjing University, Chang Xu Nanjing University, Shuangxiang Kan UNSW, Yulei Sui UNSW, Yue Li Nanjing University
17:00 15m Talk		Static Analysis of Remote Procedure Call in Java Programs ICSE Research Track Baoquan Cui Institute of Software at Chinese Academy of Sciences, China, RongQu State Key Laboratory of Computer Science, Institute of Software Chinese Academy of Sciences, University of Chinese Academy of Sciences, Beijing, China, Zhen Tang Key Laboratory of System Software (Chinese Academy of Sciences), State Key Laboratory of Computer Science, Institute of Software Chinese Academy of Sciences, University of Chinese Academy of Sciences, Beijing, China, Jian Zhang Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences
17:15 15m Talk		ArkAnalyzer: The Static Analysis Framework for OpenHarmony ICSE SE In Practice (SEIP) chenhaonan Beihang University, Daihang Chen Beihang University, Yizhuo Yang Beihang University, Lingyun Xu Huawei, Liang Gao Huawei, Mingyi Zhou Beihang University, Chunming Hu Beihang University, Li Li Beihang University

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

11:00 - 12:30	SE for AI 2ICSE New Ideas and Emerging Results (NIER) / ICSE Research Track at 215

11:00 15m Talk		Answering User Questions about Machine Learning Models through Standardized Model Cards ICSE Research Track Tajkia Rahman Toma University of Alberta, Balreet Grewal University of Alberta, Cor-Paul Bezemer University of Alberta
11:15 15m Talk		Fairness Testing through Extreme Value Theory ICSE Research Track Verya Monjezi University of Texas at El Paso, Ashutosh Trivedi University of Colorado Boulder, Vladik Kreinovich University of Texas at El Paso, Saeid Tizpaz-Niari University of Illinois Chicago
11:30 15m Talk		Fixing Large Language Models' Specification Misunderstanding for Better Code Generation ICSE Research Track Zhao Tian Tianjin University, Junjie Chen Tianjin University, Xiangyu Zhang Purdue University Pre-print
11:45 15m Talk		SOEN-101: Code Generation by Emulating Software Process Models Using Large Language Model Agents ICSE Research Track Feng Lin Concordia University, Dong Jae Kim DePaul University, Tse-Hsun (Peter) Chen Concordia University
12:00 15m Talk		The Product Beyond the Model -- An Empirical Study of Repositories of Open-Source ML Products ICSE Research Track Nadia Nahar Carnegie Mellon University, Haoran Zhang Carnegie Mellon University, Grace Lewis Carnegie Mellon Software Engineering Institute, Shurui Zhou University of Toronto, Christian Kästner Carnegie Mellon University
12:15 15m Talk		Towards Trustworthy LLMs for Code: A Data-Centric Synergistic Auditing Framework ICSE New Ideas and Emerging Results (NIER) Chong Wang Nanyang Technological University, Zhenpeng Chen Nanyang Technological University, Li Tianlin NTU, Yilun Zhang AIXpert, Yang Liu Nanyang Technological University

14:00 - 15:30	SE for AI 3ICSE Research Track / ICSE SE in Society (SEIS) / ICSE Journal-first Papers at 215

14:00 15m Talk		Dissecting Global Search: A Simple yet Effective Method to Boost Individual Discrimination Testing and Repair ICSE Research Track Lili Quan Tianjin University, Li Tianlin NTU, Xiaofei Xie Singapore Management University, Zhenpeng Chen Nanyang Technological University, Sen Chen Tianjin University, Lingxiao Jiang Singapore Management University, Xiaohong Li Tianjin University Pre-print
14:15 15m Talk		FixDrive: Automatically Repairing Autonomous Vehicle Driving Behaviour for $0.08 per Violation ICSE Research Track Yang Sun Singapore Management University, Chris Poskitt Singapore Management University, Kun Wang Zhejiang University, Jun Sun Singapore Management University Pre-print
14:30 15m Talk		MARQ: Engineering Mission-Critical AI-based Software with Automated Result Quality Adaptation ICSE Research Track Uwe Gropengießer Technical University of Darmstadt, Elias Dietz Technical University of Darmstadt, Florian Brandherm Technical University of Darmstadt, Achref Doula Technical University of Darmstadt, Osama Abboud Munich Research Center, Huawei, Xun Xiao Munich Research Center, Huawei, Max Mühlhäuser Technical University of Darmstadt
14:45 15m Talk		An Empirical Study of Challenges in Machine Learning Asset Management ICSE Journal-first Papers Zhimin Zhao Queen's University, Yihao Chen Queen's University, Abdul Ali Bangash Software Analysis and Intelligence Lab (SAIL), Queen's University, Canada, Bram Adams Queen's University, Ahmed E. Hassan Queen’s University
15:00 15m Talk		A Reference Model for Empirically Comparing LLMs with Humans ICSE SE in Society (SEIS) Kurt Schneider Leibniz Universität Hannover, Software Engineering Group, Farnaz Fotrousi Chalmers University of Technology and University of Gothenburg, Rebekka Wohlrab Chalmers University of Technology
15:15 7m Talk		Building Domain-Specific Machine Learning Workflows: A Conceptual Framework for the State-of-the-Practice ICSE Journal-first Papers Bentley Oakes Polytechnique Montréal, Michalis Famelis Université de Montréal, Houari Sahraoui DIRO, Université de Montréal

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

11:00 - 12:30	SE for AI with Quality 1ICSE Research Track at 215

11:00 15m Talk		A Tale of Two DL Cities: When Library Tests Meet Compiler ICSE Research Track Qingchao Shen Tianjin University, Yongqiang Tian Hong Kong University of Science and Technology, Haoyang Ma Hong Kong University of Science and Technology, Junjie Chen Tianjin University, Lili Huang College of Intelligence and Computing, Tianjin University, Ruifeng Fu Tianjin University, Shing-Chi Cheung Hong Kong University of Science and Technology, Zan Wang Tianjin University
11:15 15m Talk		Iterative Generation of Adversarial Example for Deep Code ModelsAward Winner ICSE Research Track Li Huang , Weifeng Sun , Meng Yan Chongqing University
11:30 15m Talk		On the Mistaken Assumption of Interchangeable Deep Reinforcement Learning Implementations ICSE Research Track Rajdeep Singh Hundal National University of Singapore, Yan Xiao Sun Yat-sen University, Xiaochun Cao Sun Yat-Sen University, Jin Song Dong National University of Singapore, Manuel Rigger National University of Singapore
11:45 15m Talk		µPRL: a Mutation Testing Pipeline for Deep Reinforcement Learning based on Real Faults ICSE Research Track Deepak-George Thomas Tulane University, Matteo Biagiola Università della Svizzera italiana, Nargiz Humbatova Università della Svizzera italiana, Mohammad Wardat Oakland University, USA, Gunel Jahangirova King's College London, Hridesh Rajan Tulane University, Paolo Tonella USI Lugano
12:00 15m Talk		Testing and Understanding Deviation Behaviors in FHE-hardened Machine Learning Models ICSE Research Track Yiteng Peng Hong Kong University of Science and Technology, Daoyuan Wu The Hong Kong University of Science and Technology, Zhibo Liu The Hong Kong University of Science and Technology, Dongwei Xiao Hong Kong University of Science and Technology, Zhenlan Ji The Hong Kong University of Science and Technology, Juergen Rahmel HSBC, Shuai Wang Hong Kong University of Science and Technology
12:15 15m Talk		TraceFL: Interpretability-Driven Debugging in Federated Learning via Neuron Provenance ICSE Research Track Waris Gill Virginia Tech, Ali Anwar University of Minnesota, Muhammad Ali Gulzar Virginia Tech

14:00 - 15:30	SE for AI with Quality 2ICSE Journal-first Papers at 215

14:00 15m Talk		Beyond Accuracy: An Empirical Study on Unit Testing in Open-source Deep Learning Projects ICSE Journal-first Papers Han Wang Monash University, Sijia Yu Jilin University, Chunyang Chen TU Munich, Burak Turhan University of Oulu, Xiaodong Zhu Jilin University
14:15 15m Talk		Boundary State Generation for Testing and Improvement of Autonomous Driving Systems ICSE Journal-first Papers Matteo Biagiola Università della Svizzera italiana, Paolo Tonella USI Lugano
14:30 15m Talk		D3: Differential Testing of Distributed Deep Learning with Model Generation ICSE Journal-first Papers Jiannan Wang Purdue University, Hung Viet Pham York University, Qi Li , Lin Tan Purdue University, Yu Guo Meta Inc., Adnan Aziz Meta Inc., Erik Meijer
14:45 15m Talk		Evaluating the Impact of Flaky Simulators on Testing Autonomous Driving Systems ICSE Journal-first Papers Mohammad Hossein Amini University of Ottawa, Shervin Naseri University of Ottawa, Shiva Nejati University of Ottawa
15:00 15m Talk		Reinforcement Learning for Online Testing of Autonomous Driving Systems: a Replication and Extension Study ICSE Journal-first Papers Luca Giamattei Università di Napoli Federico II, Matteo Biagiola Università della Svizzera italiana, Roberto Pietrantuono Università di Napoli Federico II, Stefano Russo Università di Napoli Federico II, Paolo Tonella USI Lugano
15:15 15m Talk		Two is Better Than One: Digital Siblings to Improve Autonomous Driving Testing ICSE Journal-first Papers Matteo Biagiola Università della Svizzera italiana, Andrea Stocco Technical University of Munich, fortiss, Vincenzo Riccio University of Udine, Paolo Tonella USI Lugano Pre-print

16:00 - 17:30	SE for AI with Quality 3ICSE Research Track / ICSE SE In Practice (SEIP) at 215

16:00 15m Talk		Improved Detection and Diagnosis of Faults in Deep Neural Networks Using Hierarchical and Explainable Classification ICSE Research Track Sigma Jahan Dalhousie University, Mehil Shah Dalhousie University, Parvez Mahbub Dalhousie University, Masud Rahman Dalhousie University
16:15 15m Talk		Lightweight Concolic Testing via Path-Condition Synthesis for Deep Learning Libraries ICSE Research Track Sehoon Kim , Yonghyeon Kim UNIST, Dahyeon Park UNIST, Yuseok Jeon UNIST, Jooyong Yi UNIST, Mijung Kim UNIST
16:30 15m Talk		Mock Deep Testing: Toward Separate Development of Data and Models for Deep Learning ICSE Research Track Ruchira Manke Tulane University, USA, Mohammad Wardat Oakland University, USA, Foutse Khomh Polytechnique Montréal, Hridesh Rajan Tulane University
16:45 15m Talk		RUG: Turbo LLM for Rust Unit Test Generation ICSE Research Track Xiang Cheng Georgia Institute of Technology, Fan Sang Georgia Institute of Technology, Yizhuo Zhai Georgia Institute of Technology, Xiaokuan Zhang George Mason University, Taesoo Kim Georgia Institute of Technology
17:00 15m Talk		Test Input Validation for Vision-based DL Systems: An Active Learning Approach ICSE SE In Practice (SEIP) Delaram Ghobari University of Ottawa, Mohammad Hossein Amini University of Ottawa, Dai Quoc Tran SmartInsideAI Company Ltd. and Sungkyunkwan University, Seunghee Park SmartInsideAI Company Ltd. and Sungkyunkwan University, Shiva Nejati University of Ottawa, Mehrdad Sabetzadeh University of Ottawa Pre-print

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

09:00 - 10:30	Session 1NSE at 215

09:00 45m Day opening		NSE2025 Opening NSE
09:45 45m Talk		Neural Meets Symbolic: Synergies Between Language Models and Constraint Reasoning NSE Stefan Szeider Vienna University of Technology (TU Wien)

11:00 - 12:30	Session 2NSE at 215

11:00 30m Talk		A Graph-centric Neuro-symbolic Architecture Applied to Personalized Sepsis Treatments NSE Lucas Sakizloglou Brandenburg University of Technology, Taisiya Khakharova Brandenburgische Technische Universität Cottbus-Senftenberg, Leen Lambers BTU Cottbus Senftenberg
11:30 30m Talk		Neurosymbolic Architectural Reasoning: Towards Formal Analysis through Neural Software Architecture Inference NSE Steffen Herbold University of Passau, Christoph Knieke Technische Universität Clausthal, Andreas Rausch Clausthal University of Technology, Christian Schindler Institute for Enterprise Systems, University of Mannheim
12:00 30m Talk		Next Steps in LLM-Supported Java Verification NSE Samuel Teuber Karlsruhe Institute of Technology, Bernhard Beckert Karlsruhe Institute of Technology

14:00 - 15:30	Session 3NSE at 215

14:00 90m Keynote		Reasoning Revolution: Cracking the Code of LLM Intelligence NSE

16:00 - 17:30	Session 4NSE at 215

16:00 30m Talk		StreamLLM: Enhancing Constraint Programming with Large Language Model-Generated Streamliners NSE Florentina Voboril TU Wien, Vaidyanathan Peruvemba Ramaswamy TU Wien, Stefan Szeider Vienna University of Technology (TU Wien)
16:45 45m Panel		Panel discussion and concluding remarks NSE

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
215	SERP4IoT Welcoming + Information models session																								SERP4IoT Keynote + Languages session																																				SERP4IoT Patterns and Modelling sessions																								SERP4IoT Performance session + Discussion

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
215	MSR Program																								MSR Industry Track + MSR Data and Tool Showcase Track + MSR Technical Papers Security and legal aspects																																				MSR Mining Challenge MSR 2025 Mining Challenge																								MSR Technical Papers + MSR Data and Tool Showcase Track LLMs for Code

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
215	MSR Program																								MSR Data and Tool Showcase Track + MSR Technical Papers Build systems and DevOps																																				MSR Technical Papers + MSR Data and Tool Showcase Track Software quality																								MSR Program

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
215	ICSE New Ideas and Emerging Results (NIER) + ICSE SE In Practice (SEIP) + ICSE Research Track SE for AI 1																																																												ICSE Research Track + ICSE SE In Practice (SEIP) Analysis 1

Thu 1 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
215	ICSE New Ideas and Emerging Results (NIER) + ICSE Research Track SE for AI 2																																				ICSE Research Track + ICSE SE in Society (SEIS) + ICSE Journal-first Papers SE for AI 3

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
215	ICSE Research Track SE for AI with Quality 1																																				ICSE Journal-first Papers SE for AI with Quality 2																								ICSE Research Track + ICSE SE In Practice (SEIP) SE for AI with Quality 3

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
215	NSE Session 1																								NSE Session 2																																				NSE Session 3																								NSE Session 4

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
215	SERP4IoT Opening 09:00 - 09:20				SERP4IoT An Interoperable Ontology-based Information Model for Better Integratio ... 09:20 - 09:45					SERP4IoT A Conceptual Model for Trustworthiness in Intelligent IoT Systems 09:45 - 10:10					SERP4IoT Recommending Pre-Trained Models for IoT Devices 10:10 - 10:30										SERP4IoT Modernizing Application Development for IoT 11:00 - 12:05													SERP4IoT Should We Use Rust Platform in Our IoT Applications? A Multivocal Review 12:05 - 12:30																							SERP4IoT A Pattern-Driven Middleware Architecture for IoT Data 14:00 - 14:25					SERP4IoT Advances in Requirements Engineering for IoT and CPS: A Survey on Model ... 14:25 - 14:50					SERP4IoT Towards a Portable Implementation of a Visual Block Language for IoT Ap ... 14:50 - 15:15					SERP4IoT Verifying Security and Safety for Heterogeneous IoT Applications: MDE A ... 15:15 - 15:35									SERP4IoT Dependable Software-Optimized Energy Management for IoT-Enabled Smart B ... 16:00 - 16:25					SERP4IoT Hybrid Runtime for Cloud-Native Deployment in High-Performance IoT Edge 16:25 - 16:45				SERP4IoT Closing 16:45 - 17:30

Mon 28 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
215	MSR Technical Papers Wolves in the Repository: A Software Engineering Analysis of the XZ Uti ... 11:00 - 11:10		MSR Technical Papers Software Composition Analysis and Supply Chain Security in Apache Proje ... 11:10 - 11:20		MSR Technical Papers Good practice versus reality: a landscape analysis of Research Software ... 11:20 - 11:30		MSR Technical Papers Towards Security Commit Message Standardization 11:30 - 11:40		MSR Technical Papers From Industrial Practices to Academia: Uncovering the Gap in Vulnerabil ... 11:40 - 11:50		MSR Industry Track Patch Me If You Can—Securing the Linux Kernel 11:50 - 11:55	MSR Data and Tool Showcase Track OSS License Identification at Scale: A Comprehensive Dataset Using Worl ... 11:55 - 12:00	MSR Data and Tool Showcase Track SCRUBD: Smart Contracts Reentrancy and Unhandled Exceptions Vulnerabili ... 12:00 - 12:05	MSR Data and Tool Showcase Track ICVul: A Well-labeled C/C++ Vulnerability Dataset with Comprehensive Me ... 12:05 - 12:10	MSR Data and Tool Showcase Track A Dataset of Software Bill of Materials for Evaluating SBOM Consumption ... 12:10 - 12:15	MSR Data and Tool Showcase Track Wild SBOMs: a Large-scale Dataset of Software Bills of Materials from P ... 12:15 - 12:20	MSR Data and Tool Showcase Track MaLAware: Automating the Comprehension of Malicious Software Behaviours ... 12:20 - 12:25																				MSR Mining Challenge Analyzing Dependency Clusters and Security Risks in the Maven Central R ... 14:00 - 14:04	MSR Mining Challenge Chasing the Clock: How Fast Are Vulnerabilities Fixed in the Maven Ecos ... 14:04 - 14:08	MSR Mining Challenge Decoding Dependency Risks: A Quantitative Study of Vulnerabilities in t ... 14:08 - 14:12	MSR Mining Challenge Faster Releases, Fewer Risks: A Study on Maven Artifact Vulnerabilities ... 14:12 - 14:16	MSR Mining Challenge Insights into Dependency Maintenance Trends in the Maven Ecosystem 14:16 - 14:20	MSR Mining Challenge Insights into Vulnerability Trends in Maven Artifacts: Recurrence, Popu ... 14:20 - 14:24	MSR Mining Challenge Understanding Software Vulnerabilities in the Maven Ecosystem: Patterns ... 14:24 - 14:28	MSR Mining Challenge Dependency Update Adoption Patterns in the Maven Software Ecosystem 14:28 - 14:32	MSR Mining Challenge Analyzing Vulnerability Overestimation in Software Projects 14:32 - 14:36	MSR Mining Challenge Dependency Dilemmas: A Comparative Study of Independent and Dependent A ... 14:36 - 14:40	MSR Mining Challenge Cascading Effects: Analyzing Project Failure Impact in the Maven Centra ... 14:40 - 14:45	MSR Mining Challenge Do Developers Depend on Deprecated Library Versions? A Mining Study of ... 14:45 - 14:49	MSR Mining Challenge Mining for Lags in Updating Critical Security Threats: A Case Study of ... 14:49 - 14:53	MSR Mining Challenge On the Evolution of Unused Dependencies in Java Project Releases: An Em ... 14:53 - 14:57	MSR Mining Challenge Out of Sight, Still at Risk: The Lifecycle of Transitive Vulnerabilitie ... 14:57 - 15:01	MSR Mining Challenge Popularity and Innovation in Maven Central 15:01 - 15:05	MSR Mining Challenge Software Bills of Materials in Maven Central 15:05 - 15:09	MSR Mining Challenge The Ripple Effect of Vulnerabilities in Maven Central: Prevalence, Prop ... 15:09 - 15:13	MSR Mining Challenge Tracing Vulnerabilities in Maven: A Study of CVE lifecycles and Depende ... 15:13 - 15:17	MSR Mining Challenge Understanding Abandonment and Slowdown Dynamics in the Maven Ecosystem 15:17 - 15:21	MSR Mining Challenge Characterizing Packages for Vulnerability Prediction 15:21 - 15:25	MSR Mining Challenge Understanding the Popularity of Packages in Maven Ecosystem 15:25 - 15:30							MSR Technical Papers How Much Do Code Language Models Remember? An Investigation on Data Ext ... 16:00 - 16:10		MSR Technical Papers Can LLMs Generate Higher Quality Code Than Humans? An Empirical Study 16:10 - 16:20		MSR Technical Papers Prompt Engineering or Fine-Tuning: An Empirical Assessment of LLMs for Code 16:20 - 16:30		MSR Data and Tool Showcase Track Drawing Pandas: A Benchmark for LLMs in Generating Plotting Code 16:30 - 16:35	MSR Data and Tool Showcase Track SnipGen: A Mining Repository Framework for Evaluating LLMs for Code 16:35 - 16:40

Tue 29 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
215	MSR Technical Papers Build Scripts Need Maintenance Too: A Study on Refactoring and Technica ... 11:00 - 11:10		MSR Technical Papers LLMSecConfig: An LLM-Based Approach for Fixing Software Container Misco ... 11:10 - 11:20		MSR Technical Papers How Do Infrastructure-as-Code Practitioners Update Their Dependencies? ... 11:20 - 11:30		MSR Data and Tool Showcase Track TerraDS: A Dataset for Terraform HCL Programs 11:30 - 11:35	MSR Data and Tool Showcase Track OSPtrack: A Labeled Dataset Targeting Simulated Execution of Open-Sourc ... 11:35 - 11:40	MSR Data and Tool Showcase Track CARDS: A collection of package, revision, and miscelleneous dependency ... 11:40 - 11:45	MSR Data and Tool Showcase Track GHALogs: Large-scale dataset of GitHub Actions runs 11:45 - 11:50																											MSR Technical Papers PyExamine: A Comprehensive, Un-Opinionated Smell Detection Tool for Python 14:00 - 14:10		MSR Technical Papers Does Functional Package Management Enable Reproducible Builds at Scale? ... 14:10 - 14:20		MSR Technical Papers Refactoring for Dockerfile Quality: A Dive into Developer Practices and ... 14:20 - 14:30		MSR Technical Papers Smells-sus: Sustainability Smells in IaC 14:30 - 14:40		MSR Technical Papers Evidence is All We Need: Do Self-Admitted Technical Debts Impact Method ... 14:40 - 14:50		MSR Data and Tool Showcase Track DPy: Code Smells Detection Tool for Python 14:50 - 14:55	MSR Data and Tool Showcase Track CoMRAT: Commit Message Rationale Analysis Tool 14:55 - 15:00	MSR Data and Tool Showcase Track E2EGit: A Dataset of End-to-End Web Tests in Open Source Projects 15:00 - 15:05	MSR Data and Tool Showcase Track TestMigrationsInPy: A Dataset of Test Migrations from Unittest to Pytest 15:05 - 15:10	MSR Data and Tool Showcase Track pyMethods2Test: A Dataset of Python Tests Mapped to Focal Methods 15:10 - 15:15	MSR Data and Tool Showcase Track DataTD: A Dataset of Java Projects Including Test Doubles 15:15 - 15:20	MSR Data and Tool Showcase Track JPerfEvo: A Tool for Tracking Method-Level Performance Changes in Java ... 15:20 - 15:25

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
215	ICSE Research TrackAward Winner A Test Oracle for Reinforcement Learning Software based on Lyapunov Sta ... 11:00 - 11:15			ICSE Research Track CodeImprove: Program Adaptation for Deep Code Models 11:15 - 11:30			ICSE Research Track FairQuant: Certifying and Quantifying Fairness of Deep Neural Networks 11:30 - 11:45			ICSE New Ideas and Emerging Results (NIER) When in Doubt Throw It out: Building on Confident Learning for Vulnerab ... 11:45 - 12:00			ICSE SE In Practice (SEIP) Evaluation of Tools and Frameworks for Machine Learning Model Serving 12:00 - 12:15			ICSE SE In Practice (SEIP) Real-time Adapting Routing (RAR): Improving Efficiency Through Continuo ... 12:15 - 12:30																																													ICSE Research Track An Empirical Study on Reproducible Packaging in Open-Source Ecosystems 16:00 - 16:15			ICSE Research Track An Extensive Empirical Study of Nondeterministic Behavior in Static Ana ... 16:15 - 16:30			ICSE Research Track Execution Trace Reconstruction Using Diffusion-Based Generative Models 16:30 - 16:45			ICSE Research TrackAward Winner Interactive Cross-Language Pointer Analysis for Resolving Native Code i ... 16:45 - 17:00			ICSE Research Track Static Analysis of Remote Procedure Call in Java Programs 17:00 - 17:15			ICSE SE In Practice (SEIP) ArkAnalyzer: The Static Analysis Framework for OpenHarmony 17:15 - 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			14:00			15			30			45			15:00			15			30			45
215	ICSE Research Track Answering User Questions about Machine Learning Models through Standard ... 11:00 - 11:15			ICSE Research Track Fairness Testing through Extreme Value Theory 11:15 - 11:30			ICSE Research Track Fixing Large Language Models' Specification Misunderstanding for Better ... 11:30 - 11:45			ICSE Research Track SOEN-101: Code Generation by Emulating Software Process Models Using La ... 11:45 - 12:00			ICSE Research Track The Product Beyond the Model -- An Empirical Study of Repositories of O ... 12:00 - 12:15			ICSE New Ideas and Emerging Results (NIER) Towards Trustworthy LLMs for Code: A Data-Centric Synergistic Auditing ... 12:15 - 12:30																					ICSE Research Track Dissecting Global Search: A Simple yet Effective Method to Boost Indivi ... 14:00 - 14:15			ICSE Research Track FixDrive: Automatically Repairing Autonomous Vehicle Driving Behaviour ... 14:15 - 14:30			ICSE Research Track MARQ: Engineering Mission-Critical AI-based Software with Automated Res ... 14:30 - 14:45			ICSE Journal-first Papers An Empirical Study of Challenges in Machine Learning Asset Management 14:45 - 15:00			ICSE SE in Society (SEIS) A Reference Model for Empirically Comparing LLMs with Humans 15:00 - 15:15			ICSE Journal-first Papers Building Domain-Specific Machine Learning Workflows: A Conceptual Frame ... 15:15 - 15:22

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
215	ICSE Research Track A Tale of Two DL Cities: When Library Tests Meet Compiler 11:00 - 11:15			ICSE Research TrackAward Winner Iterative Generation of Adversarial Example for Deep Code Models 11:15 - 11:30			ICSE Research Track On the Mistaken Assumption of Interchangeable Deep Reinforcement Learni ... 11:30 - 11:45			ICSE Research Track µPRL: a Mutation Testing Pipeline for Deep Reinforcement Learning based ... 11:45 - 12:00			ICSE Research Track Testing and Understanding Deviation Behaviors in FHE-hardened Machine L ... 12:00 - 12:15			ICSE Research Track TraceFL: Interpretability-Driven Debugging in Federated Learning via Ne ... 12:15 - 12:30																					ICSE Journal-first Papers Beyond Accuracy: An Empirical Study on Unit Testing in Open-source Deep ... 14:00 - 14:15			ICSE Journal-first Papers Boundary State Generation for Testing and Improvement of Autonomous Dri ... 14:15 - 14:30			ICSE Journal-first Papers D3: Differential Testing of Distributed Deep Learning with Model Generation 14:30 - 14:45			ICSE Journal-first Papers Evaluating the Impact of Flaky Simulators on Testing Autonomous Driving ... 14:45 - 15:00			ICSE Journal-first Papers Reinforcement Learning for Online Testing of Autonomous Driving Systems ... 15:00 - 15:15			ICSE Journal-first Papers Two is Better Than One: Digital Siblings to Improve Autonomous Driving ... 15:15 - 15:30									ICSE Research Track Improved Detection and Diagnosis of Faults in Deep Neural Networks Usin ... 16:00 - 16:15			ICSE Research Track Lightweight Concolic Testing via Path-Condition Synthesis for Deep Lear ... 16:15 - 16:30			ICSE Research Track Mock Deep Testing: Toward Separate Development of Data and Models for D ... 16:30 - 16:45			ICSE Research Track RUG: Turbo LLM for Rust Unit Test Generation 16:45 - 17:00			ICSE SE In Practice (SEIP) Test Input Validation for Vision-based DL Systems: An Active Learning A ... 17:00 - 17:15

Sat 3 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
215	NSE NSE2025 Opening 09:00 - 09:45									NSE Neural Meets Symbolic: Synergies Between Language Models and Constraint ... 09:45 - 10:30															NSE A Graph-centric Neuro-symbolic Architecture Applied to Personalized Sep ... 11:00 - 11:30						NSE Neurosymbolic Architectural Reasoning: Towards Formal Analysis through ... 11:30 - 12:00						NSE Next Steps in LLM-Supported Java Verification 12:00 - 12:30																								NSE Reasoning Revolution: Cracking the Code of LLM Intelligence 14:00 - 15:30																								NSE StreamLLM: Enhancing Constraint Programming with Large Language Model-G ... 16:00 - 16:30									NSE Panel discussion and concluding remarks 16:45 - 17:30

Room information: 215

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

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

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

SERP4IoT

SERP4IoT

SERP4IoT

SERP4IoT

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

MSR Program

MSR Industry Track + MSR Data and Tool Showcase Track + MSR Technical Papers

MSR Mining Challenge

MSR Technical Papers + MSR Data and Tool Showcase Track

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

MSR Program

MSR Data and Tool Showcase Track + MSR Technical Papers

MSR Technical Papers + MSR Data and Tool Showcase Track

MSR Program

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

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

ICSE Research Track + ICSE SE In Practice (SEIP)

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

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

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

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

ICSE Research Track

ICSE Journal-first Papers

ICSE Research Track + ICSE SE In Practice (SEIP)

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

NSE

NSE

NSE

NSE

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

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

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

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

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