You're viewing a filtered program.
Do you want to keep these filters active in the new view?
Filter Program | active: Wed30Apr2025Thu1MayFri2
Dates
Sun 27 Apr 2025
Mon 28 Apr 2025
Tue 29 Apr 2025
Wed 30 Apr 2025
Thu 1 May 2025
Fri 2 May 2025
Sat 3 May 2025
Sun 4 May 2025
Wed
30
Apr
2025
Thu
1
May
Fri
2
Rooms
Nothing to filter
Tracks
Nothing to filter
Badges
Nothing to filter
Your Program
Nothing to filter
This program is tentative and subject to change.
You're viewing the program in a time zone which is different from your device's time zone change time zone
Sun 27 AprDisplayed time zone: Eastern Time (US & Canada) change
Sun 27 Apr
Displayed time zone: Eastern Time (US & Canada) change
07:00 - 19:00 | Ready Room SundaySocial, Networking and Special Rooms at 209 The Ready Room will be available throughout the week. There will be some tables with computers where people can edit presentations (bring on a USB stick) and upload presentations to the presentation rooms through the Contact 1 website. There will also be AV technicians to help if needed. You do not need to use the Ready Room: You have several choices: You can upload your presentation from your own computer in advance of your session (days in advance even) at the Contact 1 website (you will be sent a link). Or you can plug your computer in using an HDMI cable when you are starting your presentation. This last option is available but not recommended, since it increases the chance of delays. There will be some tables and couches in the Ready Room where you can get work done, or have small get-togethers with people. This room will not be ‘quiet’. If you want a quiet place to work or chill out (library quiet, no talking) then Room 209 will be available much of the time. The Ready Room will also have some poster boards. | ||
09:00 - 12:30 | Child Care Sunday AMSocial, Networking and Special Rooms at 102 Child Care Child Care at ICSE is free, but you must have registered for child care when you registered for the conference. If you need to add child care to your registration, please contact the registration desk. | ||
09:00 - 10:30 | Morning Session 1GI at 202 Chair(s): Aymeric Blot University of Rennes, IRISA / INRIA, Justyna Petke University College London | ||
09:00 15mDay opening | Welcome and Introductions GI Aymeric Blot University of Rennes, IRISA / INRIA, Vesna Nowack Imperial College London, Oliver Krauss University of Applied Sciences Upper Austria, Penn Rainford University of York, UK | ||
09:15 75mKeynote | Put on Your Tester Hat: Improving programs for Automated Program Generation GI Shin Hwei Tan Concordia University | ||
09:00 - 10:30 | |||
09:00 90mKeynote | Assuring AI in Autonomous Driving: Challenges and Emerging Approaches FormaliSE Research Track | ||
09:00 - 10:30 | Session 1: Keynote talk (TBA)ICSR at 204 Keynote by Tommi Mikkonen (University of Jyväskylä, Finland) Title: AI-assisted Development — Next-Generation Software Reuse? Summary: Software development is undergoing a profound transformation, driven by the rapid advancement of artificial intelligence (AI) and the increasing reliance on generative software reuse. These emerging technologies are reshaping every stage of the software development lifecycle, from specification and design to testing and deployment. Traditionally, software reuse involved developers leveraging existing libraries, frameworks, and components, carefully integrating them into new systems while maintaining a deep understanding of their functionality. However, this paradigm is shifting as AI-driven approaches gain traction. While this transformation offers significant advantages—such as faster development cycles, reduced effort, and automated optimization—it also introduces new challenges. One of the most pressing concerns is that software engineers may increasingly rely on AI-generated code without fully comprehending its underlying logic, structure, or potential vulnerabilities. In this keynote, we explore the impact of AI-driven software reuse and highlight some key questions that need to be addressed. | ||
09:00 - 10:30 | |||
09:00 50mKeynote | Theories of Program Comprehension in the Age of LLMs ICPC Keynotes | ||
09:50 10mTalk | Combining Language and App UI Analysis for the Automated Assessment of Bug Reproduction Steps ICPC Research Track Junayed Mahmud University of Central Florida, Antu Saha William & Mary, Oscar Chaparro William & Mary, Kevin Moran University of Central Florida, Andrian (Andi) Marcus George Mason University | ||
10:00 10mTalk | Effectively Modeling UI Transition Graphs for Android Apps via Reinforcement Learning ICPC Research Track Wunan Guo School of Optical-Electrical and Computer Engineering, University of Shanghai for Science and Technology, Zhen Dong Fudan University, Liwei Shen Fudan University, Daihong Zhou School of Computer Science and Information Engineering, Shanghai Institute of Technology, Bin Hu Fudan University, Chen Zhang Fudan University, Hai Xue University of Shanghai for Science and Technology | ||
10:10 10mTalk | Characterizing Bugs in Login Processes of Android Applications: An Empirical Study ICPC Research Track Zixu Zhou McGill University, Rufeng Chen McGill University, Junfeng Chen Southern University of Science and Technology, Yepang Liu Southern University of Science and Technology, Lili Wei McGill University | ||
10:20 10mLive Q&A | Session's Discussion: "App Comprehension" ICPC Research Track | ||
09:00 - 10:30 | |||
09:00 90mKeynote | Keynote FTW Michael Hilton Carnegie Mellon University | ||
09:00 - 10:30 | |||
09:00 30mDay opening | Opening CAIN Research and Experience Papers | ||
09:30 60mKeynote | Is Prompt Engineering? by Jeremy Barnes CAIN Research and Experience Papers | ||
09:00 - 10:30 | |||
09:00 45mDay opening | Introduction MOBILESoft Research Track Luciano Baresi Politecnico di Milano, Jacques Klein University of Luxembourg, Li Li Beihang University, Linghui Luo Amazon Web Services, Jordan Samhi University of Luxembourg, Luxembourg | ||
09:45 45mKeynote | Keynote: Mobile Application Testing with Large Language Models: Landscape and Vision MOBILESoft Research Track Chunyang Chen TU Munich | ||
09:00 - 10:30 | |||
09:00 10mKeynote | A History of RE as Seen by a Still-Active Alter Kaker Who Was in It From Before the Beginning MO2RE Dan Berry University of Waterloo | ||
09:11 59mPanel | Activity 1 MO2RE | ||
10:10 20mDay opening | Welcome from the organizers MO2RE Sallam Abualhaija University of Luxembourg, Daniel Amyot University of Ottawa, Chetan Arora Monash University, Alessio Ferrari CNR-ISTI, Paola Spoletini Kennesaw State University, Davide Fucci Blekinge Institute of Technology | ||
09:00 - 10:30 | OpeningNLBSE at 214 Chair(s): Andrea Di Sorbo University of Sannio, Maliheh Izadi Delft University of Technology, Sebastiano Panichella University of Bern | ||
09:15 15mDay opening | Opening NLBSE Maliheh Izadi Delft University of Technology, Andrea Di Sorbo University of Sannio, Sebastiano Panichella University of Bern | ||
09:30 60mKeynote | Breaking the Silence: the Threats of Using LLMs in Software Engineering NLBSE | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Sunday Morning Break Catering | ||
11:00 - 12:30 | Morning Session 2GI at 202 Chair(s): William Langdon University College London, Vesna Nowack Imperial College London | ||
11:00 30mTalk | Large Language Model based Code Completion is an Effective Genetic Improvement Mutation GI Jingyuan Wang University College London, Carol Hanna University College London, Justyna Petke University College London | ||
11:30 30mTalk | Enhancing Software Runtime with Reinforcement Learning-Driven Mutation Operator Selection in Genetic Improvement GI Damien Bose University College London, Carol Hanna University College London, Justyna Petke University College London | ||
12:00 30mTalk | Empirical Comparison of Runtime Improvement Approaches: Genetic Improvement, Parameter Tuning, and Their Combination GI Thanatad Songpetchmongkol University College London, Aymeric Blot University of Rennes, IRISA / INRIA, Justyna Petke University College London | ||
11:00 - 12:30 | |||
11:00 30mTalk | CPS Falsification using Autoencoded Input Models FormaliSE Research Track | ||
11:30 30mTalk | 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 30mTalk | 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 | ||
11:00 - 12:30 | Session 2: Software Product Line, Patterns and FrameworksICSR at 204 Chair(s): Gilles Perrouin Fonds de la Recherche Scientifique - FNRS & University of Namur | ||
11:00 30mPaper | A Framework for Reusable Infrastructure as Code Templates in Cloud-Native Environments ICSR | ||
11:30 30mPaper | Large Language Model assisted Transformation of Software Variants into a Software Product Line ICSR Johannes Stümpfle University of Stuttgart, Devansh Atray University of Stuttgart, Nasser Jazdi University of Stuttgart, Michael Weyrich Universiy of Stuttgart | ||
12:00 30mPaper | Exploiting Vision-Language Models in GUI Reuse ICSR Victoria Niu Walnut Hills High School, USA, Walaa Alshammari University of Cincinnati, USA, Naga Mamata Iluru University of Cincinnati, USA, Padmaja Vaishnavi Teeleti University of Cincinnati, USA, Nan Niu University of Cincinnati, Tanmay Bhowmik Mississippi State University, Jianzhang Zhang Hangzhou Normal University, China | ||
11:00 - 12:30 | Vulnerabilities, Technical Debt, DefectsICPC Early Research Achievements (ERA) / ICPC Research Track / ICPC Replications and Negative Results (RENE) at 205 | ||
11:00 10mTalk | CalmDroid: Core-Set Based Active Learning for Multi-Label Android Malware Detection ICPC Research Track Minhong Dong Tiangong University, Liyuan Liu Tiangong University, Mengting Zhang Tiangong University, Sen Chen Tianjin University, Wenying He Hebei University of Technology, Ze Wang Tiangong University, Yude Bai Tianjin University | ||
11:10 10mTalk | Towards Task-Harmonious Vulnerability Assessment based on LLM ICPC Research Track Zaixing Zhang Southeast University, Chang Jianming , Tianyuan Hu Southeast University, Lulu Wang Southeast University, Bixin Li Southeast University | ||
11:20 10mTalk | Slicing-Based Approach for Detecting and Patching Vulnerable Code Clones ICPC Research Track Hakam W. Alomari Miami University, Christopher Vendome Miami University, Himal Gyawali Miami University | ||
11:30 6mTalk | Revisiting Security Practices for GitHub Actions Workflows ICPC Early Research Achievements (ERA) | ||
11:36 6mTalk | Leveraging multi-task learning to improve the detection of SATD and vulnerability ICPC Replications and Negative Results (RENE) Barbara Russo Free University of Bolzano, Jorge Melegati Free University of Bozen-Bolzano, Moritz Mock Free University of Bozen-Bolzano Pre-print | ||
11:42 10mTalk | Leveraging Context Information for Self-Admitted Technical Debt Detection ICPC Research Track Miki Yonekura Nara Institute of Science and Technology, Yutaro Kashiwa Nara Institute of Science and Technology, Bin Lin Radboud University, Kenji Fujiwara Nara Women’s University, Hajimu Iida Nara Institute of Science and Technology | ||
11:52 6mTalk | Personalized Code Readability Assessment: Are We There Yet? ICPC Replications and Negative Results (RENE) Antonio Vitale Politecnico di Torino, University of Molise, Emanuela Guglielmi University of Molise, Rocco Oliveto University of Molise, Simone Scalabrino University of Molise | ||
11:58 6mTalk | Automated Refactoring of Non-Idiomatic Python Code: A Differentiated Replication with LLMs ICPC Replications and Negative Results (RENE) Pre-print | ||
12:04 10mResearch paper | Sonar: Detecting Logic Bugs in DBMS through Generating Semantic-aware Non-Optimizing Query ICPC Research Track Shiyang Ye Zhejiang University, Chao Ni Zhejiang University, Jue Wang Nanjing University, Qianqian Pang zhejang university, Xinrui Li School of Software Technology, Zhejiang University, xiaodanxu College of Computer Science and Technology, Zhejiang university | ||
12:14 6mTalk | A Study on Applying Large Language Models to Issue Classification ICPC Replications and Negative Results (RENE) | ||
12:20 10mLive Q&A | Session's Discussion: "Vulnerabilities, Technical Debt, Defects" ICPC Research Track | ||
11:00 - 12:30 | |||
11:00 22mPaper | A Preliminary Study of Fixed Flaky Tests in Rust Projects on GitHub FTW Tom Schroeder University of Illinois Urbana-Champaign, Minh Phan University of Illinois Urbana-Champaign, Yang Chen University of Illinois at Urbana-Champaign | ||
11:22 22mTalk | Beyond Test Flakiness: A Manifesto for a Holistic Approach to Test Suite Health FTW Phil McMinn University of Sheffield, Muhammad Firhard Roslan University of Sheffield, Gregory Kapfhammer Allegheny College | ||
11:45 22mPaper | Empirically Evaluating Flaky Tests for Autonomous Driving Systems in Simulated Environments FTW Olek Osikowicz University of Sheffield, UK, Phil McMinn University of Sheffield, Donghwan Shin University of Sheffield | ||
12:07 22mPanel | Mini Panel 1 FTW | ||
11:00 - 12:30 | |||
11:00 15mTalk | How Do Model Export Formats Impact the Development of ML-Enabled Systems? A Case Study on Model Integration CAIN Research and Experience Papers Shreyas Kumar Parida ETH Zurich, Ilias Gerostathopoulos Vrije Universiteit Amsterdam, Justus Bogner Vrije Universiteit Amsterdam | ||
11:15 15mTalk | MLScent: A tool for Anti-pattern detection in ML projects CAIN Research and Experience Papers | ||
11:30 15mTalk | RAGProbe: Breaking RAG Pipelines with Evaluation Scenarios CAIN Research and Experience Papers Shangeetha Sivasothy Applied Artificial Intelligence Institute, Deakin University, Scott Barnett Deakin University, Australia, Stefanus Kurniawan Deakin University, Zafaryab Rasool Applied Artificial Intelligence Institute, Deakin University, Rajesh Vasa Deakin University, Australia | ||
11:45 15mTalk | On-Device or Remote? On the Energy Efficiency of Fetching LLM-Generated Content CAIN Research and Experience Papers Vince Nguyen Vrije Universiteit Amsterdam, Hieu Huynh Vrije Universiteit Amsterdam, Vidya Dhopate Vrije Universiteit Amsterdam, Anusha Annengala Vrije Universiteit Amsterdam, Hiba Bouhlal Vrije Universiteit Amsterdam, Gian Luca Scoccia Gran Sasso Science Institute, Matias Martinez Universitat Politècnica de Catalunya (UPC), Vincenzo Stoico Vrije Universiteit Amsterdam, Ivano Malavolta Vrije Universiteit Amsterdam Pre-print | ||
12:00 15mTalk | Rule-Based Assessment of Reinforcement Learning Practices Using Large Language Models CAIN Research and Experience Papers Evangelos Ntentos University of Vienna, Stephen John Warnett University of Vienna, Uwe Zdun University of Vienna | ||
12:15 15mTalk | Investigating Issues that Lead to Code Technical Debt in Machine Learning Systems CAIN Research and Experience Papers Rodrigo Ximenes Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Antonio Pedro Santos Alves Pontifical Catholic University of Rio de Janeiro, Tatiana Escovedo Pontifical Catholic University of Rio de Janeiro, Rodrigo Spinola Virginia Commonwealth University, Marcos Kalinowski Pontifical Catholic University of Rio de Janeiro (PUC-Rio) | ||
11:00 - 12:30 | Software Teams (Agile, Teamwork and Collaboration) SessionCHASE Research Track at 210 Chair(s): Klaas-Jan Stol Lero; University College Cork; SINTEF Digital | ||
11:00 10mTalk | Towards a Taxonomy for Autonomy in Large-Scale Agile Software Development CHASE Research Track Casper Lassenius Aalto University, Finland and Simula Metropolitan Center for Digital Engineering, Norway, Torgeir Dingsøyr Norwegian University of Science and Technology and SimulaMet | ||
11:10 10mTalk | Exploring Retrospective Meeting Practices and the Use of Data in Agile Teams CHASE Research Track Alessandra Maciel Paz Milani University of Victoria, Margaret-Anne Storey University of Victoria, Vivek Katial Multitudes, Lauren Peate Multitudes Pre-print | ||
11:20 15mTalk | The Role of the Retrospective Meetings in Detecting, Refactoring and Monitoring Community Smells CHASE Research Track Carlos Dantas Federal Institute of Rio Grande do Norte, Tiago Massoni Federal University of Campina Grande, Camila Sarmento Federal Institute of Piauí, Rayana Rocha Federal University of Campina Grande, Danielly Gualberto Federal University of Campina Grande Pre-print | ||
11:35 15mTalk | Hybrid Work in Agile Software Development: Recurring Meetings CHASE Research Track Emily Laue Christensen IT University of Copenhagen, Maria Paasivaara LUT University, Finland & Aalto University, Finland, Iflaah Salman Lappeenranta-Lahti University of Technology (LUT) | ||
11:50 15mTalk | A Cluster-based Approach for Emotion Recognition in Software Development CHASE Research Track Daniela Grassi University of Bari, Filippo Lanubile University of Bari, Alberta Motca-Schnabel University of Bari, Nicole Novielli University of Bari | ||
12:05 15mTalk | Towards Emotionally Intelligent Software Engineers: Understanding Students' Self Perceptions After a Cooperative Learning Experience CHASE Research Track Allysson Allex Araújo Federal University of Cariri, Marcos Kalinowski Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Matheus Paixao State University of Ceará, Daniel Graziotin University of Hohenheim | ||
11:00 - 12:30 | |||
11:00 18mTalk | Talk 1: To be defined MOBILESoft Research Track | ||
11:18 18mPaper | SEESAW: An Educational App for Smart Kiosks MOBILESoft App Track Nearchos Paspallis University of Central Lancashire, Cyprus, Nicos Kasenides UCLan Cyprus, Natalie Evans Amsterdam UMC location Vrije Universiteit | ||
11:36 18mResearch paper | LLMs in Mobile Apps: Practices, Challenges, and Opportunities MOBILESoft Research Track Kimberly Hau University of Toronto, Safwat Hassan University of Toronto, Shurui Zhou University of Toronto | ||
11:54 18mResearch paper | AccessiblePreview: Facilitating the Implementation and Visualization of Accessibility in Mobile Applications Developed with SwiftUI MOBILESoft Research Track Samuel Brasileiro dos Santos Neto Universidade Federal do Pernambuco, Kiev Gama Universidade Federal de Pernambuco | ||
12:12 18mResearch paper | Breaking Barriers in Mobile Accessibility: A Study of LLM-Generated Native Android Interfaces MOBILESoft Research Track Daniel Mesquita Federal University of Ceará, Ribamar Souza Federal University of Ceará, Isaac Santos Federal University of Ceará, Paulo Henrique Federal University of Ceará, Kiev Gama Universidade Federal de Pernambuco, Windson Viana Federal University of Ceará | ||
11:00 - 12:30 | |||
11:00 45mTalk | Untangling Shared Phenomena for Improving Analysis of Normative Requirements MO2RE Junwei Quan University of Toronto, Lina Marsso École Polytechnique de Montréal, Dalal Alrajeh Imperial College London, Marsha Chechik University of Toronto | ||
11:45 45mTalk | A Taxonomy of Real-World Defeaters in Safety Assurance Cases MO2RE Usman Gohar Dept. of Computer Science, Iowa State University, Michael Hunter Iowa State University, Myra Cohen Iowa State University, Robyn Lutz Iowa State University | ||
12:30 - 14:00 | |||
12:30 90mLunch | Sunday Lunch Catering | ||
14:00 - 17:30 | |||
14:00 - 15:30 | Afternoon Session 1GI at 202 Chair(s): Carol Hanna University College London, Penn Rainford University of York, UK | ||
14:00 75mTutorial | Automated Software Performance Improvement with Magpie GI Aymeric Blot University of Rennes, IRISA / INRIA | ||
15:15 15mTalk | A Three-Stage Genetic Algorithm for Compiler Flag and Library Version Selection to Minimize Execution Time GI | ||
14:00 - 15:30 | |||
14:00 30mTalk | 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 30mTalk | 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 30mTalk | Probabilistic Model Checking of Disaster Resource Distribution Strategies FormaliSE Research Track | ||
14:00 - 15:30 | Session 3: Micro-services and Configurable SystemsICSR at 204 Chair(s): Tommi Mikkonen University of Jyväskylä | ||
14:00 30mPaper | MONO2REST: Identification and exposition of micro-services: a reusable RESTification approach ICSR Matthéo Lecrivain Nantes Université, Hanifa Barry Université de Montréal, Dalila Tamzalit Nantes Université, Houari Sahraoui DIRO, Université de Montréal | ||
14:30 30mPaper | Semantic Dependency in Microservice Architecture ICSR Amr Elsayed The University of Arizona, Kari E Cordes University of Arizona, Austin Medina University of Arizona, Tomas Cerny University of Arizona | ||
15:00 30mPaper | Unveiling the Impact of Sampling on Feature Selection for Performance Prediction in Configurable Systems ICSR João Marcello Bessa Rodrigues Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Millena Cavalcanti Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Mathieu Acher University of Rennes - Inria - CNRS - IRISA, Markus Endler Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Juliana Alves Pereira PUC-Rio | ||
14:00 - 15:30 | Education, Debugging, Dynamic AnalysisICPC Research Track / ICPC Early Research Achievements (ERA) / ICPC Replications and Negative Results (RENE) / ICPC Tool Demonstration at 205 | ||
14:00 10mTalk | JavaWiz: A Trace-Based Graphical Debugger for Software Development Education ICPC Research Track Markus Weninger JKU Linz, Simon Grünbacher Institute for System Software; Johannes Kepler University Linz, Austria, Herbert Prähofer Johannes Kepler University Linz | ||
14:10 10mTalk | Pinpointing the Learning Obstacles of an Interactive Theorem Prover ICPC Research Track Sára Juhošová Delft University of Technology, Andy Zaidman Delft University of Technology, Jesper Cockx Delft University of Technology Pre-print | ||
14:20 10mTalk | AI-based automated grading of source code of introductory programming assignments ICPC Research Track Jayant Havare Indian Institute of technology - Bombay, Varsha Apte Indian Institute of technology - Bombay, Kaushikraj Maharajan Indian Institute of technology - Bombay, Nithin Chandra Gupta Samudrala Indian Institute of technology - Bombay, Ganesh Ramakrishnan Indian Institute of technology - Bombay, Srikanth Tamilselvam IBM Research, Sainath Vavilapalli Indian Institute of Technology - Bombay | ||
14:30 10mTalk | An Analysis of Students' Program Comprehension Processes in a Large Code Base ICPC Research Track Anshul Shah University of California, San Diego, Thanh Tong University of California, San Diego, Elena Tomson University of California, San Diego, Steven Shi University of California, San Diego, William G. Griswold University of California San Diego, Gerald Soosairaj University of California, San Diego | ||
14:40 6mTalk | OVERLORD: A C++ overloading inspector ICPC Tool Demonstration Botond Horváth ELTE Eötvös Loránd University, Budapest, Hungary, Richárd Szalay Eötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers, Zoltán Porkoláb ELTE Eötvös Loránd University, Budapest, Hungary | ||
14:46 6mTalk | Optimizing Code Runtime Performance through Context-Aware Retrieval-Augmented Generation ICPC Early Research Achievements (ERA) Manish Acharya Vanderbilt University, Yifan Zhang Vanderbilt University, Kevin Leach Vanderbilt University, Yu Huang Vanderbilt University | ||
14:52 6mTalk | Investigating Execution-Aware Language Models for Code Optimization ICPC Replications and Negative Results (RENE) Federico Di Menna University of L'Aquila, Luca Traini University of L'Aquila, Gabriele Bavota Software Institute @ Università della Svizzera Italiana, Vittorio Cortellessa University of L'Aquila Pre-print | ||
14:58 6mTalk | Understanding Data Access in Microservices Applications Using Interactive Treemaps ICPC Early Research Achievements (ERA) Maxime ANDRÉ Namur Digital Institute, University of Namur, Marco Raglianti Software Institute - USI, Lugano, Anthony Cleve University of Namur, Michele Lanza Software Institute - USI, Lugano Pre-print | ||
15:04 6mTalk | Divergence-Driven Debugging: Understanding Behavioral Changes Between Two Program Versions ICPC Early Research Achievements (ERA) Rémi Dufloer Univ. Lille, Inria, CNRS, Centrale Lille, UMR 9189 CRIStAL, F-59000 Lille, France, Imen Sayar Univ. Lille, CNRS, Inria, Centrale Lille, UMR 9189 CRIStAL, F-59000 Lille, France, Anne Etien Université de Lille, CNRS, Inria, Centrale Lille, UMR 9189 –CRIStAL, Steven Costiou INRIA Lille | ||
15:10 10mTalk | KotSuite: Unit Test Generation for Kotlin Programs in Android Applications ICPC Research Track Feng Yang Wuhan University, Qi Xin Wuhan University, Zhilei Ren Dalian University of Technology, Jifeng Xuan Wuhan University | ||
15:20 10mLive Q&A | Session's Discussion: "Education, Debugging, Dynamic Analysis" ICPC Research Track | ||
14:00 - 15:30 | |||
14:00 22mPaper | Evaluating NonDex for Modern Java Ecosystem FTW Kaiyao Ke University of Illinois at Urbana-Champaign, Darko Marinov University of Illinois at Urbana-Champaign | ||
14:22 22mTalk | On the Perception and Adoption of Flakiness Scores FTW Joanna Kisaakye , Mutlu Beyazıt University of Antwerp and Flanders Make vzw, Serge Demeyer University of Antwerp and Flanders Make vzw | ||
14:45 22mPaper | Reduction of Test Re-runs by Prioritizing Potential Order Dependent Flaky Tests FTW Hasnain Iqbal University of Dhaka, Zerina Begum University of Dhaka, Kazi Sakib Institute of Information Technology, University of Dhaka | ||
15:07 22mPanel | Mini Panel 2 FTW | ||
14:00 - 15:30 | |||
14:00 15mTalk | Themes of Building LLM-based Applications for Production: A Practitioner's View CAIN Research and Experience Papers Alina Mailach Leipzig University, Sebastian Simon Leipzig University, Johannes Dorn Leipzig University, Norbert Siegmund Leipzig University | ||
14:15 15mTalk | LLM-Based Safety Case Generation for Baidu Apollo: Are We There Yet? CAIN Research and Experience Papers | ||
14:30 15mTalk | An AI-driven Requirements Engineering Framework Tailored for Evaluating AI-Based Software CAIN Research and Experience Papers Hamed Barzamini , Fatemeh Nazaritiji Northern Illinois University, Annalise Brockmann Northern Illinois University, Hasan Ferdowsi Northern Illinois university, Mona Rahimi Northern Illinois University | ||
14:46 14mTalk | Engineering LLM Powered Multi-agent Framework for Autonomous CloudOps CAIN Research and Experience Papers Kannan Parthasarathy MontyCloud, Karthik Vaidhyanathan IIIT Hyderabad, Rudra Dhar SERC, IIIT Hyderabad, India, Venkat Krishnamachari MontyCloud, Adyansh Kakran International Institute of Information Technology, Hyderabad, Sreemaee Akshathala IIIT Hyderabad, Shrikara Arun IIIT Hyderabad, Amey Karan IIIT Hyderabad, Basil Muhammed MontyCloud, Sumant Dubey MontyCloud, Mohan Veerubhotla MontyCloud | ||
15:00 15mTalk | Generating and Verifying Synthetic Datasets with Requirements Engineering CAIN Research and Experience Papers Lynn Vonderhaar Embry-Riddle Aeronautical University, Timothy Elvira Embry-Riddle Aeronautical University, Omar Ochoa Embry-Riddle Aeronautical University | ||
15:15 15mTalk | InsightAI: Root Cause Analysis in Large Hierarchical Log Files with Private Data Using Large Language Models CAIN Research and Experience Papers Maryam Ekhlasi Polytechnique Montreal, Anurag Prakash Ciena, Michel Dagenais Polytechnique Montréal, Maxime Lamothe Polytechnique Montreal | ||
14:00 - 15:30 | Keynote / Equity, Diversity, and Inclusion (EDI) in Software EngineeringCHASE Research Track at 210 Chair(s): Ronnie de Souza Santos University of Calgary, Lavinia Francesca Paganini TU Eindhoven | ||
14:00 60mKeynote | Prof Alexander Serebrenik - SDDI: Between AI and Comply CHASE Research Track Alexander Serebrenik Eindhoven University of Technology | ||
15:00 30mTalk | The Developer Experience of LGBTQIA+ People in Agile Teams: a Multivocal Literature Review CHASE Research Track Edvaldo R. Wassouf-Jr UFMS, Debora Paiva Federal University of Mato Grosso do Sul (UFMS), Kiev Gama Universidade Federal de Pernambuco, Awdren Fontão Federal University of Mato Grosso do Sul (UFMS) | ||
15:30 30mTalk | Affirmative Hackathon for Software Developers with Disabilities: An Industry Initiative CHASE Research Track Thayssa Rocha Zup Innovation & UFPA, Nicole Davila Zup Innovation & UFRGS, Rafaella Vaccari Zup Innovation, Nicoly Menezes UFPA, Marcelle Mota Universidade Federal do Pará, Edward Monteiro StackSpot, Cleidson de Souza Federal University of Pará Belém, Gustavo Pinto Zup Innovation & UFPA | ||
14:00 - 15:30 | |||
14:00 18mTalk | Talk 2 : To be defined MOBILESoft Research Track | ||
14:18 18mResearch paper | Can you mimic me? Exploring the Use of Android Record & Replay Tools in Debugging MOBILESoft Research Track Zihe Song University of Texas at Dallas, S M Hasan Mansur George Mason University, Ravishka Shemal Rathnasuriya University of Texas at Dallas, Yumna Fatima George Mason University, Wei Yang UT Dallas, Kevin Moran University of Central Florida, Wing Lam George Mason University | ||
14:36 18mResearch paper | Evaluating Taint Specification Generators for Identifying Taint Sources in Relation to Data Safety Section MOBILESoft Research Track Hiroki Inayoshi Okayama University, Shoichi Saito Nagoya Institute of Technology, Akito Monden Okayama University | ||
14:54 18mResearch paper | On-Device Mobile Application Testing MOBILESoft Research Track Inte Vleminckx University of Antwerp, Elif Parlak University of Antwerp, Onur Kilincceker University of Antwerp and Flanders Make vzw, Serge Demeyer University of Antwerp and Flanders Make vzw | ||
15:12 18mResearch paper | Unlocking Mental Health: Exploring College Students' Well-being through Smartphone Behaviors MOBILESoft Research Track Wei Xuan University of Southern California, Meghna Roy Chowdhury Purdue University, Yi Ding Purdue University, Yixue Zhao USC Information Sciences Institute Pre-print | ||
14:00 - 15:30 | |||
14:00 59mKeynote | Building REsilience: Antifragility through Multidisciplinarity in Requirements Engineering MO2RE | ||
15:00 30mPanel | Activity 2 MO2RE | ||
15:30 - 16:00 | |||
15:30 30mBreak | Sunday Afternoon Break Catering | ||
16:00 - 17:30 | Afternoon Session 2GI at 202 Chair(s): Oliver Krauss University of Applied Sciences Upper Austria, Thanatad Songpetchmongkol University College London | ||
16:00 30mTalk | The gem5 C++ glibc Heap Fitness Landscape GI | ||
16:30 30mTalk | LLM-Assisted Crossover in Genetic Improvement of Software GI Dimitrios Stamatios Bouras Peking University, Justyna Petke University College London, Sergey Mechtaev Peking University | ||
17:00 25mMeeting | Discussion GI Aymeric Blot University of Rennes, IRISA / INRIA, Oliver Krauss University of Applied Sciences Upper Austria | ||
17:25 5mAwards | Awards and Closing GI | ||
16:00 - 17:30 | |||
16:00 30mTalk | 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 30mTalk | 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 30mTalk | Detecting Redundant Preconditions FormaliSE Research Track Nicola Thoben University of Oldenburg, Heike Wehrheim Carl von Ossietzky Universität Oldenburg / University of Oldenburg | ||
16:00 - 17:30 | |||
16:00 30mPaper | DockInsight: A Knowledge-Augmented Dependency Extraction Approach for Dockerfile ICSR Zhu Zhiling Zhejiang University of Technology, Tieming Chen Zhejiang University of Technology, Yunjin Zhong Zhejiang University of Technology, Qijie Song Zhejiang University of Technology | ||
16:30 15mPaper | Porting an LLM based Application from ChatGPT to an On-Premise Environment ICSR Teemu Paloniemi University of Jyväskylä, Manu Setälä Solita Oy, Tommi Mikkonen University of Jyvaskyla | ||
16:45 30mPaper | Predicting the Root Cause of Flaky Tests Based on Test Smells ICSR Jing Wang College of Information Science and Technology, Beijing University of Chemical Technology, Weixi Zhang College of Information Engineering, Beijing Institute of Petrochemical Technology, Beijing, China, Weixi Zhang College of Information Engineering, Beijing Institute of Petrochemical Technology, Beijing, China, Ruilian Zhao Beijing University of Chemical Technology, Ying Shang Beijing University of Chemical Technology | ||
17:15 15mPaper | Towards Patterns for a Reference Assurance Case for Autonomous Inspection Robots ICSR Dhaminda B. Abeywickrama Department of Computer Science, The University of Manchester, UK, Michael Fisher University of Manchester, UK, Frederic Wheeler Regulatory Support Directorate, Amentum, Louise Dennis The University of Manchester | ||
16:00 - 17:30 | Summarisation, Natural Language GenerationICPC Research Track / ICPC Early Research Achievements (ERA) / ICPC Replications and Negative Results (RENE) at 205 | ||
16:00 10mTalk | Optimizing Datasets for Code Summarization: Is Code-Comment Coherence Enough? ICPC Research Track Antonio Vitale Politecnico di Torino, University of Molise, Antonio Mastropaolo William and Mary, USA, Rocco Oliveto University of Molise, Massimiliano Di Penta University of Sannio, Italy, Simone Scalabrino University of Molise | ||
16:10 10mTalk | CMDeSum: A Cross-Modal Deliberation Network for Code Summarization ICPC Research Track Zhifang Liao Central South University, Xiaoyu Liu Central South University, Peng Lan School of Computer Science and Engineering, Central South University, Changsha, China, Song Yu Central South University, Pei Liu Monash University | ||
16:20 10mTalk | CLCoSum: Curriculum Learning-based Code Summarization for Code Language Models ICPC Research Track Hongkui He South China University of Technology, Jiexin Wang South China University of Technology, Liuwen Cao South China University of Technology, Yi Cai School of Software Engineering, South China University of Technology, Guangzhou, China | ||
16:30 10mTalk | DLCoG: A Novel Framework for Dual-Level Code Comment Generation based on Semantic Segmentation and In-Context Learning ICPC Research Track Zhang Zhiyang , Haiyang Yang School of Computer Science and Engineering, Central South University, Qingyang Yan Central South University, Hao Yan Central South University, Wei-Huan Min Central South University, Zhao Wei Tencent, Li Kuang Central South University, Yingjie Xia Hangzhou Dianzi University | ||
16:40 10mTalk | Explaining GitHub Actions Failures with Large Language Models: Challenges, Insights, and Limitations ICPC Research Track Pablo Valenzuela-Toledo University of Bern, Universidad de La Frontera, Chuyue Wu University of Bern, Sandro Hernández University of Bern, Alexander Boll University of Bern, Roman Machacek University of Bern, Sebastiano Panichella University of Bern, Timo Kehrer University of Bern | ||
16:50 10mTalk | Large Language Models are Qualified Benchmark Builders: Rebuilding Pre-Training Datasets for Advancing Code Intelligence Tasks ICPC Research Track Kang Yang National University of Defense Technology, Xinjun Mao National University of Defense Technology, Shangwen Wang National University of Defense Technology, Yanlin Wang Sun Yat-sen University, Tanghaoran Zhang National University of Defense Technology, Yihao Qin National University of Defense Technology, Bo Lin National University of Defense Technology, Zhang Zhang Key Laboratory of Software Engineering for Complex Systems, National University of Defense Technology, Yao Lu National University of Defense Technology, Kamal Al-Sabahi College of Banking and Financial Studies | ||
17:00 10mTalk | Extracting Formal Specifications from Documents Using LLMs for Test Automation ICPC Research Track Hui Li Xiamen University, Zhen Dong Fudan University, Siao Wang Fudan University, Hui Zhang Fudan University, Liwei Shen Fudan University, Xin Peng Fudan University, Dongdong She HKUST (The Hong Kong University of Science and Technology) | ||
17:10 6mTalk | Using Large Language Models to Generate Concise and Understandable Test Case Summaries ICPC Early Research Achievements (ERA) Natanael Djajadi Delft University of Technology, Amirhossein Deljouyi Delft University of Technology, Andy Zaidman Delft University of Technology Pre-print | ||
17:16 6mTalk | Towards Generating the Rationale for Code Changes ICPC Replications and Negative Results (RENE) Francesco Casillo Università di Salerno, Antonio Mastropaolo William and Mary, USA, Gabriele Bavota Software Institute @ Università della Svizzera Italiana, Vincenzo Deufemia University of Salerno, Carmine Gravino University of Salerno | ||
17:22 8mTalk | Session's Discussion: "Summarisation, Natural Language Generation" ICPC Research Track | ||
16:00 - 17:30 | |||
16:00 90mDemonstration | Dataset/Tool Demonstrations FTW | ||
16:00 - 17:30 | |||
16:00 15mTalk | DDPT: Diffusion Driven Prompt Tuning for Large Language Model Code Generation CAIN Research and Experience Papers Jinyang Li , Sangwon Hyun CREST, University of Adelaide, Muhammad Ali Babar School of Computer Science, The University of Adelaide | ||
16:15 10mTalk | From Hazard Identification to Control Design: Proactive and AI-Supported Safety Engineering for ML-powered Systems CAIN Research and Experience Papers Yining Hong Carnegie Mellon University, Christopher Timperley , Christian Kästner Carnegie Mellon University | ||
16:25 15mTalk | Debugging and Runtime Analysis of Neural Networks with VLMs (A Case Study) CAIN Research and Experience Papers Boyue Caroline Hu University of Toronto, Divya Gopinath KBR; NASA Ames, Ravi Mangal Colorado State University, Nina Narodytska VMware Research, Corina S. Păsăreanu Carnegie Mellon University, Susmit Jha SRI | ||
16:40 10mTalk | Approach Towards Semi-Automated Certification for Low Criticality ML-Enabled Airborne Applications CAIN Research and Experience Papers Chandrasekar S IIIT Hyderabad, Vyakhya Gupta IIIT Hyderabad, Prakhar Jain IIIT Hyderabad, Karthik Vaidhyanathan IIIT Hyderabad | ||
16:50 15mTalk | Bringing Machine Learning Models Beyond the Experimental Stage with Explainable AI CAIN Research and Experience Papers Niels With Mikkelsen Jyske Bank, Lasse Pedersen Jyske Bank, Mansoor Hussain Jyske Bank, Victor Foged Deloitte, Ekkart Kindler Technical University of Denmark | ||
17:05 15mTalk | ImageBiTe: A Framework for Evaluating Representational Harms in Text-to-Image Models CAIN Research and Experience Papers Sergio Morales Universitat Oberta de Catalunya, Robert Clarisó Universitat Oberta de Catalunya, Jordi Cabot Luxembourg Institute of Science and Technology | ||
17:20 10mTalk | Addressing Quality Challenges in Deep Learning: The Role of MLOps and Domain Knowledge CAIN Research and Experience Papers Santiago del Rey Universitat Politècnica De Catalunya - Barcelona Tech, Adrià Medina Universitat Politècnica de Barcelona - BarcelonaTech (UPC), Xavier Franch Universitat Politècnica de Catalunya, Silverio Martínez-Fernández UPC-BarcelonaTech Pre-print | ||
16:00 - 17:30 | Responsible SE Session / Day 1 ClosingCHASE Research Track at 210 Chair(s): Ronnie de Souza Santos University of Calgary | ||
16:00 15mTalk | Irresponsibility Killed the Cat: Software Accountability Concerns CHASE Research Track Aria Zegers Vrije Universiteit Amsterdam, Natalie Preciado Vrije Universiteit Amsterdam, Jan Duchnowski Vrije Universiteit Amsterdam, Fernanda Madeiral Vrije Universiteit Amsterdam, Emitzá Guzmán Vrije Universiteit Amsterdam | ||
16:15 15mTalk | In Defence of Collaboration Ecosystems: Addressing Critical Collaboration Elements, Cognitive Biases, and the Role of Technology CHASE Research Track Larry Abdullai LUT University, Kseniia Perova LUT University, Jari Porras LUT University , Sanaul Haque LUT University, Ekaterina Albats LUT University, Stefanie Kunkel Research Institute for Sustainabiltiy (RIFS) Helmholtz Centre Potsdam | ||
16:30 10mTalk | Creative Problem-Solving: A Study with Blind and Low Vision Software Professionals CHASE Research Track Karina Kohl UFRGS, Yoonha Cha University of California, Irvine, Victoria Jackson University of California, Irvine, Rafael Prikladnicki School of Technology at PUCRS University, Andre van der Hoek University of California, Irvine, Stacy Branham University of California, Irvine | ||
16:40 10mTalk | Towards debiasing code review support CHASE Research Track Tobias Jetzen University of Namur, Xavier Devroey University of Namur, Nicolas Matton University of Namur, Benoît Vanderose University of Namur Pre-print | ||
16:50 10mTalk | The Good, the Bad, and the (Un)Usable: A Rapid Literature Review on Privacy as Code CHASE Research Track Nicolás E. Díaz Ferreyra Hamburg University of Technology, Sirine Khelifi Hamburg University of Technology, Nalin Arachchilage RMIT University, Riccardo Scandariato Hamburg University of Technology | ||
17:00 10mTalk | Inequity in Software Engineering: Looks that Matter CHASE Research Track Mary Sánchez-Gordón Østfold University College, Rahul Mohanani University of Jyväskylä, Ricardo Colomo-Palacios Universidad Politécnica de Madrid | ||
17:10 10mTalk | Lost in Transition: The Struggle of Women Returning to Software Engineering Research after Career Breaks CHASE Research Track | ||
17:20 10mTalk | Day 1 Closing CHASE Research Track | ||
16:00 - 17:30 | |||
16:00 22mTalk | Talk 3 : To be defined MOBILESoft Research Track | ||
16:22 22mResearch paper | AndroWatts: Unpacking the Power Consumption of Mobile Device’s Components MOBILESoft Research Track Edouard Guegain Greenspector, Remy Raes Inria / Univ. Lille, Noé Chachignot Inria / Univ. Lille, Clément Quinton University of Lille, Inria, Romain Rouvoy Univ. Lille / Inria / CNRS | ||
16:45 22mResearch paper | Toward Understanding and Detecting Battery Saver Issues in Android Apps MOBILESoft Research Track | ||
17:07 22mResearch paper | EDATA: Energy Debugging And Testing for Android MOBILESoft Research Track | ||
16:00 - 17:30 | |||
16:00 30mTalk | Exploring Large Language Models for Requirements on String Values MO2RE Aren Babikian University of Toronto, Boqi Chen McGill University, Gunter Mussbacher McGill University | ||
16:30 30mTalk | On the Automated Generation of UI for Template-based Requirements Specification MO2RE Ikram Darif École de technologie supérieure (ÉTS), Ghizlane El Boussaidi École de Technologie Supérieure, Segla Kpodjedo Ecole de Technologie Superieure | ||
17:00 30mDay closing | Wrap up and closing MO2RE Sallam Abualhaija University of Luxembourg, Daniel Amyot University of Ottawa, Chetan Arora Monash University, Alessio Ferrari CNR-ISTI, Paola Spoletini Kennesaw State University, Davide Fucci Blekinge Institute of Technology | ||
19:00 - 22:00 | |||
Mon 28 AprDisplayed time zone: Eastern Time (US & Canada) change
Mon 28 Apr
Displayed time zone: Eastern Time (US & Canada) change
07:00 - 19:00 | Ready Room MondaySocial, Networking and Special Rooms at 209 The Ready Room will be available throughout the week. There will be some tables with computers where people can edit presentations (bring on a USB stick) and upload presentations to the presentation rooms through the Contact 1 website. There will also be AV technicians to help if needed. You do not need to use the Ready Room: You have several choices: You can upload your presentation from your own computer in advance of your session (days in advance even) at the Contact 1 website (you will be sent a link). Or you can plug your computer in using an HDMI cable when you are starting your presentation. This last option is available but not recommended, since it increases the chance of delays. There will be some tables and couches in the Ready Room where you can get work done, or have small get-togethers with people. This room will not be ‘quiet’. If you want a quiet place to work or chill out (library quiet, no talking) then Room 209 will be available much of the time. The Ready Room will also have some poster boards. | ||
09:00 - 12:30 | |||
09:00 - 10:30 | |||
09:00 10mDay opening | Welcome to RoSE 2025 RoSE | ||
09:10 55mTalk | Keynote RoSE | ||
10:05 25mTalk | Model-Based Systems Engineering Toolchains for Software Development of Robotic Autonomous Systems RoSE Calvin Cheung United States Army DEVCOM Ground Vehicle Systems Center, Andrew Pfiel United States Army DEVCOM Ground Vehicle Systems Center, Andrew Pfiel United States Army DEVCOM Ground Vehicle Systems Center, Andrew Pfiel United States Army DEVCOM Ground Vehicle Systems Center | ||
09:00 - 10:30 | |||
09:00 - 10:30 | |||
09:00 90mKeynote | Adversarial Perturbations and Self-Defenses for Large Language Models on Coding Task FormaliSE Research Track | ||
09:00 - 10:30 | Session 1: Opening and Keynote by Bashar NuseibehSEAMS Research Track at 204 Chair(s): Siobhán Clarke Trinity College Dublin, Ireland, Shiva Nejati University of Ottawa, Thomas Vogel Humboldt-Universtität zu Berlin | ||
09:00 30mTalk | SEAMS 2025 Opening SEAMS Research Track Siobhán Clarke Trinity College Dublin, Ireland, Shiva Nejati University of Ottawa, Thomas Vogel Humboldt-Universtität zu Berlin | ||
09:30 60mKeynote | Software Adaptation is Easy, Social Adaptation is Hard SEAMS Research Track Bashar Nuseibeh The Open University, UK | ||
09:00 - 10:30 | Joint ICPC-MSR Keynote at 205 | ||
09:00 90mKeynote | Mining BOMs for Improving Supply Chain Efficiency & Resilience ICPC Keynotes | ||
09:00 - 10:30 | Day 2 Opening and KeynoteCHASE Research Track at 210 Chair(s): Rashina Hoda Monash University, Ronnie de Souza Santos University of Calgary, Bianca Trinkenreich Colorado State University | ||
09:00 30mTalk | Day 2 Opening - Welcome and Awards CHASE Research Track | ||
09:30 60mKeynote | Prof Margaret-Ann Storey - AI and the Future of Software Development: Learning from Industry, Research, and Human-Centered Theories CHASE Research Track Margaret-Anne Storey University of Victoria | ||
09:00 - 10:30 | |||
09:00 90mKeynote | Learning-Based Testing: The Ease, the Impact, the Future AST Tiziana Margaria University of Limerick and Lero - The Irish Software Research Centre | ||
09:00 - 10:30 | |||
10:30 - 11:00 | |||
10:30 30mBreak | Monday Morning Break Catering | ||
11:00 - 12:30 | |||
11:00 25mTalk | Micro Frontend Architecture for Robotic Systems: A Systematic Approach with Design Rationale RoSE Uanderson Silva Universidade Federal de Pernambuco, Matheus Andrade Universidade Federal de Pernambuco, José Cruz Universidade Federal de Pernambuco, Andresa Almeida da Silva Universidade Federal de Pernambuco, Augusto Sampaio Universidade Federal de Pernambuco, Kiev Gama Universidade Federal de Pernambuco | ||
11:30 25mTalk | Towards Adaptable and Uncertainty-aware Behavior Trees RoSE Mehran Rostamnia Gran Sasso Science Institute (GSSI), Gianluca Filippone Gran Sasso Science Institute, L'Aquila, Italy, Ricardo Caldas Gran Sasso Science Institute (GSSI), Patrizio Pelliccione Gran Sasso Science Institute, L'Aquila, Italy | ||
12:00 25mTalk | Towards Unified Field-Testing and Monitoring for Safe and Secure Robotic Applications RoSE Marco Stadler Johannes Kepler University Linz, Stefan Biffl Vienna University of Technology, Michael Vierhauser University of Innsbruck, Johannes Sametinger | ||
11:00 - 12:30 | |||
11:00 - 12:30 | |||
11:00 30mTalk | LLM-based Generation of Weakest Preconditions and Precise Array Invariants FormaliSE Research Track | ||
11:30 30mTalk | 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 30mTalk | 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 | ||
11:00 - 12:30 | |||
11:00 25mTalk | Symbolic State Seeding Improves Coverage Of Reinforcement LearningFULL SEAMS Research Track Mohsen Ghaffari IT University of Copenhagen, Cong Chen IT-University of Copenhagen, Mahsa Varshosaz IT University of Copenhagen, Denmark, Einar Broch Johnsen University of Oslo, Andrzej Wąsowski IT University of Copenhagen, Denmark | ||
11:25 25mTalk | Robust Probabilistic Model Checking with Continuous Reward DomainsFULL SEAMS Research Track Xiaotong Ji Imperial College London, Hanchun Wang Imperial College London, Antonio Filieri AWS and Imperial College London, Ilenia Epifani Politecnico di Milano | ||
11:50 15mTalk | Approaching Proactive Self-Adaptation in Nonlinear Cyber-Physical SystemsSHORT SEAMS Research Track Farid Edrisi Linnaeus University, Diego Perez-Palacin Linnaeus University, Mauro Caporuscio Linnaeus University, Raffaela Mirandola Karlsruhe Institute of Technology (KIT) | ||
12:05 15mTalk | ResMetric: Analyzing Resilience to Enable Research on AntifragilityARTIFACT SEAMS Artifact Track Ferdinand Koenig Humboldt-Universtität zu Berlin, Marc Carwehl Humboldt-Universität zu Berlin, Calum Imrie University of York | ||
12:20 10mOther | Discussion Session 2 SEAMS Research Track | ||
11:00 - 12:30 | Empirical Findings, Future Visions, Recommendations ICPC Replications and Negative Results (RENE) / ICPC Early Research Achievements (ERA) / ICPC Tool Demonstration / ICPC Research Track at 205 | ||
11:00 10mTalk | Terminal Lucidity: Envisioning the Future of the Terminal ICPC Research Track | ||
11:10 6mTalk | Exploring Code Comprehension in Scientific Programming: Preliminary Insights from Research Scientists ICPC Early Research Achievements (ERA) Alyssia Chen University of Hawaii at Manoa, Carol Wong University of Hawaii at Manoa, Bonita Sharif University of Nebraska-Lincoln, USA, Anthony Peruma University of Hawai‘i at Mānoa | ||
11:16 10mTalk | Method Names in Jupyter Notebooks: An Exploratory Study ICPC Research Track Carol Wong University of Hawaii at Manoa, Gunnar Larsen University of Hawaii at Manoa, Rocky Huang University of Hawaii at Manoa, Bonita Sharif University of Nebraska-Lincoln, USA, Anthony Peruma University of Hawai‘i at Mānoa | ||
11:26 6mTalk | SCALAR: A Part-of-speech Tagger for Identifiers ICPC Tool Demonstration Christian Newman , Brandon Scholten Kent State University, Sophia Testa Kent State University, Joshua Behler Kent State University, Syreen Banabilah Kent State University, Michael L. Collard The University of Akron, Michael J. Decker Bowling Green State University, Mohamed Wiem Mkaouer University of Michigan - Flint, Marcos Zampieri George mason University, Eman Abdullah AlOmar Stevens Institute of Technology, USA, Reem Alsuhaibani Prince Sultan University, Anthony Peruma University of Hawai‘i at Mānoa, Jonathan I. Maletic Kent State University | ||
11:32 6mTalk | How do Papers Make into Machine Learning Frameworks: A Preliminary Study on TensorFlow ICPC Early Research Achievements (ERA) Federica Pepe University of Sannio, Claudia Farkas York University, Maleknaz Nayebi York University, Giulio Antoniol Ecole Polytechnique de Montreal, Massimiliano Di Penta University of Sannio, Italy | ||
11:38 4mTalk | Toward Neurosymbolic Program Comprehension ICPC Early Research Achievements (ERA) Alejandro Velasco William & Mary, Aya Garryyeva William and Mary, David Nader Palacio William & Mary, Antonio Mastropaolo William and Mary, USA, Denys Poshyvanyk William & Mary | ||
11:42 10mTalk | Combining Static Analysis Techniques for Program Comprehension Using Slicito ICPC Tool Demonstration | ||
11:52 6mTalk | Mining Code Change Patterns in Ada Projects ICPC Replications and Negative Results (RENE) | ||
11:58 6mTalk | Telling Software Evolution Stories With Sonification ICPC Early Research Achievements (ERA) | ||
12:04 10mTalk | Attributed Multiplex Learning for Analogical Third-Party Library Recommendation and Retrieval ICPC Research Track Baihui Sang State Key Laboratory for Novel Software Technology, Nanjing University, Liang Wang Nanjing University, Jierui Zhang Nanjing University, Xianping Tao Nanjing University | ||
12:14 6mTalk | LLM2FedLLM - A Tool for Simulating Federated LLMs for Software Engineering Tasks ICPC Tool Demonstration Jahnavi Kumar Indian Institute of Technology Tirupati, India, Siddhartha Gandu Indian Institute of Technology Tirupati, Sridhar Chimalakonda Indian Institute of Technology, Tirupati | ||
12:20 10mLive Q&A | Session's Discussion: "Empirical Findings, Future Visions, Recommendations" ICPC Research Track | ||
11:00 - 12:30 | Software Professionals Experience / DS SessionCHASE Research Track at 210 Chair(s): Rahul Mohanani University of Jyväskylä, Irum Rauf The Open University, UK | ||
11:00 15mTalk | Exit the Code: A Model for Understanding Career Abandonment Intention Among Software Developers CHASE Research Track Tiago Massoni Federal University of Campina Grande, Ricardo Duarte State University of Paraíba, Ruan Oliveira EBSERH Paraíba Pre-print | ||
11:15 15mTalk | Blockchain Developer Experience: A Multivocal Literature Review CHASE Research Track Pamella Soares de Sousa State University of Ceara, Allysson Allex Araújo Federal University of Cariri, Giuseppe Destefanis Brunel University London, Rumyana Neykova Brunel University London, Raphael Saraiva State University of Ceara, Jerffeson Teixeira de Souza State University of Ceara, Brazil | ||
11:30 15mTalk | How Programmers Interact with Multimodal Software Documentation CHASE Research Track Deeksha M. Arya McGill University, Jin L.C. Guo McGill University, Martin P. Robillard McGill University | ||
11:45 15mTalk | How Do Developers Use Code Suggestions in Pull Request Reviews? CHASE Research Track | ||
12:00 30mDoctoral symposium paper | Doctoral and Early Career Symposium (DECS) Session CHASE Research Track | ||
11:00 - 12:30 | |||
11:00 30mFull-paper | Acceptance Test Generation with Large Language Models: An Industrial Case Study AST Margarida Ferreira University of Porto and Critical TechWorks, Luís Viegas University of Porto and Critical TechWorks, João Pascoal Faria Faculty of Engineering, University of Porto and INESC TEC, Bruno Lima Faculty of Engineering of the University of Porto & LIACC | ||
11:30 30mFull-paper | AsserT5: Test Assertion Generation Using a Fine-Tuned Code Language Model AST Severin Primbs University of Passau, Benedikt Fein University of Passau, Gordon Fraser University of Passau Pre-print | ||
12:00 30mFull-paper | Simulink Mutation Testing using CodeBERT AST Jingfan Zhang University of Ottawa, Delaram Ghobari University of Ottawa, Mehrdad Sabetzadeh University of Ottawa, Shiva Nejati University of Ottawa Pre-print | ||
11:00 - 12:30 | |||
11:00 10mTalk | Learning from Mistakes: Understanding Ad-hoc Logs through Analyzing Accidental Commits MSR Technical Papers Yi-Hung Chou University of California, Irvine, Yiyang Min Amazon, April Wang ETH Zürich, James Jones University of California at Irvine Pre-print | ||
11:10 10mTalk | On the calibration of Just-in-time Defect Prediction MSR Technical Papers Xhulja Shahini paluno - University of Duisburg-Essen, Jone Bartel University of Duisburg-Essen, paluno, Klaus Pohl University of Duisburg-Essen, paluno | ||
11:20 10mTalk | An Empirical Study on Leveraging Images in Automated Bug Report Reproduction MSR Technical Papers Dingbang Wang University of Connecticut, Zhaoxu Zhang University of Southern California, Sidong Feng Monash University, William G.J. Halfond University of Southern California, Tingting Yu University of Connecticut | ||
11:30 10mTalk | It’s About Time: An Empirical Study of Date and Time Bugs in Open-Source Python Software MSR Technical Papers Shrey Tiwari Carnegie Mellon University, Serena Chen University of California, San Diego, Alexander Joukov Stony Brook University, Peter Vandervelde University of California, Santa Barbara, Ao Li Carnegie Mellon University, Rohan Padhye Carnegie Mellon University | ||
11:40 10mTalk | Enhancing Just-In-Time Defect Prediction Models with Developer-Centric Features MSR Technical Papers Emanuela Guglielmi University of Molise, Andrea D'Aguanno University of Molise, Rocco Oliveto University of Molise, Simone Scalabrino University of Molise | ||
11:50 10mTalk | Revisiting Defects4J for Fault Localization in Diverse Development Scenarios MSR Technical Papers Md Nakhla Rafi Concordia University, An Ran Chen University of Alberta, Tse-Hsun (Peter) Chen Concordia University, Shaohua Wang Central University of Finance and Economics | ||
12:00 5mTalk | Mining Bug Repositories for Multi-Fault Programs MSR Data and Tool Showcase Track | ||
12:05 5mTalk | HaPy-Bug - Human Annotated Python Bug Resolution Dataset MSR Data and Tool Showcase Track Piotr Przymus Nicolaus Copernicus University in Toruń, Poland, Mikołaj Fejzer Nicolaus Copernicus University in Toruń, Jakub Narębski Nicolaus Copernicus University in Toruń, Radosław Woźniak Nicolaus Copernicus University in Toruń, Łukasz Halada University of Wrocław, Poland, Aleksander Kazecki Nicolaus Copernicus University in Toruń, Mykhailo Molchanov Igor Sikorsky Kyiv Polytechnic Institute, Ukraine, Krzysztof Stencel University of Warsaw | ||
12:10 5mTalk | SPRINT: An Assistant for Issue Report Management MSR Data and Tool Showcase Track | ||
11:00 - 12:30 | Security and legal aspectsMSR Industry Track / MSR Data and Tool Showcase Track / MSR Technical Papers at 215 | ||
11:00 10mTalk | Wolves in the Repository: A Software Engineering Analysis of the XZ Utils Supply Chain Attack MSR Technical Papers | ||
11:10 10mTalk | 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 10mTalk | Good practice versus reality: a landscape analysis of Research Software metadata adoption in European Open Science Clusters MSR Technical Papers | ||
11:30 10mTalk | 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 10mTalk | From Industrial Practices to Academia: Uncovering the Gap in Vulnerability Research and Practice MSR Technical Papers | ||
11:50 5mTalk | Patch Me If You Can—Securing the Linux Kernel MSR Industry Track Gunnar Kudrjavets Amazon Web Services, USA Pre-print | ||
11:55 5mTalk | 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 5mTalk | 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 5mTalk | 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 5mTalk | 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 5mTalk | 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 | ||
12:20 5mTalk | 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 | ||
12:30 - 14:00 | |||
12:30 90mLunch | Monday Lunch Catering | ||
14:00 - 17:30 | |||
14:00 - 15:30 | |||
14:00 90mOther | RoSE Interactive Session A RoSE | ||
14:00 - 15:30 | |||
14:00 - 15:30 | |||
14:00 30mTalk | 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 30mTalk | Verifying Multiple TLA+ Configurations with Blast FormaliSE Research Track | ||
15:00 30mTalk | 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 | ||
14:00 - 15:30 | |||
14:00 25mTalk | Dynamic Resource Allocation for Deadline-Constrained Neural Network TrainingFULL SEAMS Research Track Luciano Baresi Politecnico di Milano, Marco Garlini Politecnico di Milano, Giovanni Quattrocchi Politecnico di Milano Pre-print | ||
14:25 25mTalk | Integrating Performance Prediction, Anomaly Prediction and Root-Cause Localization for Self-Healing Software SystemsFULL SEAMS Research Track | ||
14:50 25mTalk | WasteLess: An Optimal Provisioner for Self-Adaptive Second-Generation Serverless ApplicationsFULL SEAMS Research Track Emilio Incerto IMT School for Advanced Studies Lucca, Roberto Pizziol IMT School for Advanced Studies Lucca, Gabriele Russo Russo University of Rome Tor Vergata, Italy, Mirco Tribastone IMT Institute for Advanced Studies Lucca, Italy | ||
15:15 15mOther | Discussion Session 3 SEAMS Research Track | ||
14:00 - 15:30 | |||
14:00 10mTalk | Code Ranking with Structure Awareness Contrastive Learning ICPC Research Track Hailin Huang South China University of Technology, Liuwen Cao South China University of Technology, Jiexin Wang South China University of Technology, Tianchen Yu School of Software Engineering, South China University of Technology, Yi Cai School of Software Engineering, South China University of Technology, Guangzhou, China | ||
14:10 10mTalk | Algorithmic Inversion: A Learnable Algorithm Representation for Code Generation ICPC Research Track zhongyi shi Chinese Academy of Science Institute of Software, fuzhang wu Chinese Academy of Science Institute of Software, weibin zeng Chinese Academy of Science Institute of Software, yan kong Chinese Academy of Science Institute of Software, sicheng shen Chinese Academy of Science Institute of Software, Yanjun Wu Institute of Software, Chinese Academy of Sciences | ||
14:20 10mTalk | Studying How Configurations Impact Code Generation in LLMs: the Case of ChatGPT ICPC Research Track Benedetta Donato University of Milano - Bicocca, Leonardo Mariani University of Milano-Bicocca, Daniela Micucci University of Milano-Bicocca, Italy, Oliviero Riganelli University of Milano - Bicocca Pre-print | ||
14:30 10mTalk | Quality In, Quality Out: Investigating Training Data's Role in AI Code Generation ICPC Research Track Cristina Improta University of Naples Federico II, Rosalia Tufano Università della Svizzera Italiana, Pietro Liguori University of Naples Federico II, Domenico Cotroneo University of Naples Federico II, Gabriele Bavota Software Institute @ Università della Svizzera Italiana | ||
14:40 10mTalk | Advancing Large Language Models in Code Generation: USACO Benchmark and Bug Mitigation Insights ICPC Research Track Jacob Trentini Monte Vista High School, Victor Liu Seven Lakes High School, Yiming Peng Vandegrift High School, Ziliang Zong Texas State University | ||
14:50 10mTalk | Enhancing Code Generation for Low-Resource Languages: No Silver Bullet ICPC Research Track Alessandro Giagnorio Software Institute @ Università della Svizzera italiana, Alberto Martin-Lopez Software Institute - USI, Lugano, Gabriele Bavota Software Institute @ Università della Svizzera Italiana Pre-print | ||
15:00 10mTalk | COFT: Making Large Language Models Better zero-shot Learners for Code Generation ICPC Research Track Weijia Li Institute of Software, Chinese Academy of Sciences, Yongjie Qian Department of Computer Science, North China Electric Power University, Bao ding, Ke Gao Institute of Software, Chinese Academy of Sciences, Haixin Chen Institute of Computing Technology, Chinese Academy of Sciences, Xinyu Wang Institute of Software, Chinese Academy of Sciences, Yuchen Tong Institute of Computing Technology, Chinese Academy of Sciences, Ling Li Institute of Software, Chinese Academy of Sciences, Yanjun Wu Institute of Software, Chinese Academy of Sciences, Chen Zhao Institute of Software, Chinese Academy of Sciences | ||
15:10 10mTalk | On the Possibility of Breaking Copyleft Licenses When Reusing Code Generated by ChatGPT ICPC Research Track Gaia Colombo University of Milano - Bicocca, Leonardo Mariani University of Milano-Bicocca, Daniela Micucci University of Milano-Bicocca, Italy, Oliviero Riganelli University of Milano - Bicocca Pre-print | ||
15:20 10mLive Q&A | Session's Discussion: "Code Generation" ICPC Research Track | ||
14:00 - 15:30 | |||
14:00 5mTalk | A Metrics-Oriented Architectural Model to Characterize Complexity on Machine Learning-Enabled Systems CAIN Doctoral Symposium Renato Cordeiro Ferreira University of São Paulo | ||
14:05 5mTalk | Towards an Adoption Framework to Foster Trust in AI-Assisted Software Engineering CAIN Doctoral Symposium Marvin Muñoz Barón University of Stuttgart | ||
14:10 5mTalk | Towards a Privacy-by-Design Framework for ML-Enabled Systems CAIN Doctoral Symposium Yorick Sens Ruhr University Bochum | ||
14:15 12mTalk | Challenges in AI Projects for Machinery and Plant Engineering CAIN Industry Talks Richard Nordsiek XITASO GmbH IT & Software Solutions, Jan-Philipp Steghöfer XITASO GmbH IT & Software Solutions, Manish Bhandari XITASO GmbH IT and Software Solutions | ||
14:27 12mTalk | Is Generated Images Suitable for Weakness Detection? CAIN Industry Talks | ||
14:39 12mTalk | SqPal - text to SQL GenAI tool for PayPal CAIN Industry Talks | ||
14:00 - 15:30 | Open-Source Software (OSS)CHASE Research Track at 210 Chair(s): Bianca Trinkenreich Colorado State University | ||
14:05 10mTalk | Great power brings great responsibility: Personalizing Conversational AI for Diverse Problem-Solvers CHASE Research Track Italo Santos Northern Arizona University, Katia Felizardo Federal Technological University of Paraná, Igor Steinmacher Northern Arizona University, Marco Gerosa Northern Arizona University Pre-print | ||
14:15 15mTalk | Advancing Sustainable Communities in Scientific OSS: A Replication Study with Astropy CHASE Research Track Jiayi Sun University of Toronto, Aarya Patil Max Planck Institute for Astronomy, Youhai Li Carnegie Mellon University, Jin L.C. Guo McGill University, Shurui Zhou University of Toronto | ||
14:30 15mTalk | More Than Code: Technical and Emotional Dynamics in Solidity's Development CHASE Research Track Matteo Vaccargiu University of Cagliari, Rumyana Neykova Brunel University London, Nicole Novielli University of Bari, Marco Ortu University of Cagliari, Giuseppe Destefanis Brunel University London | ||
14:45 15mTalk | The Multifaceted Nature of Mentoring in OSS: Strategies, Qualities, and Ideal Outcomes CHASE Research Track Zixuan Feng Oregon State University, USA, Igor Steinmacher Northern Arizona University, Marco Gerosa Northern Arizona University, Tyler Menezes CodeDay, Alexander Serebrenik Eindhoven University of Technology, Reed Milewicz Sandia National Laboratories, Anita Sarma Oregon State University | ||
15:00 15mTalk | The Introduction of README and CONTRIBUTING Files in Open Source Software Development CHASE Research Track Matthew Gaughan Northwestern University, Kaylea Champion University of Washington, Sohyeon Hwang Northwestern University, Aaron Shaw Northwestern University | ||
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 4mTalk | Analyzing Dependency Clusters and Security Risks in the Maven Central Repository MSR Mining Challenge | ||
14:04 4mTalk | 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 4mTalk | 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 4mTalk | 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 4mTalk | 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 4mTalk | 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 4mTalk | 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 4mTalk | 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 4mTalk | 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 4mTalk | 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 4mTalk | 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 4mTalk | 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 4mTalk | 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 4mTalk | 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 4mTalk | 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 4mTalk | 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 4mTalk | 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 4mTalk | The Ripple Effect of Vulnerabilities in Maven Central: Prevalence, Propagation, and Mitigation Challenges MSR Mining Challenge | ||
15:13 4mTalk | Tracing Vulnerabilities in Maven: A Study of CVE lifecycles and Dependency Networks MSR Mining Challenge Pre-print | ||
15:17 4mTalk | 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 4mTalk | 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 4mTalk | 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 | ||
15:30 - 16:00 | |||
15:30 30mBreak | Monday Afternoon Break Catering | ||
16:00 - 17:30 | |||
16:00 45mOther | RoSE Interactive Session B RoSE | ||
16:45 15mDay closing | Wrap-Up RoSE | ||
16:00 - 17:30 | |||
16:00 - 17:30 | Log Parsing, Bug Localisation, Review ComprehensionICPC Research Track / ICPC Early Research Achievements (ERA) at 205 | ||
16:00 10mTalk | Developing a Taxonomy for Advanced Log Parsing Techniques ICPC Research Track Issam Sedki Concordia University, Wahab Hamou-Lhadj Concordia University, Montreal, Canada, Otmane Ait-Mohamed Concordia University, Naser Ezzati Jivan | ||
16:10 10mTalk | GELog:A GPT-Enhanced Log Representation Method for Anomaly Detection ICPC Research Track Wenwu Xu Institute of Information Engineering, Chinese Academy of Sciences and School of Cyberspace Security, University of Chinese Academy of Sciences, Peng Wang Institute of Information Engineering，Chinese Academy of Sciences, Haichao Shi Institute of Information Engineering，Chinese Academy of Sciences, Guoqiao Zhou Institute of Information Engineering，Chinese Academy of Sciences, Junliang Yao Institute of Information Engineering，Chinese Academy of Sciences, Xiao-Yu Zhang Institute of Information Engineering, Chinese Academy of Science | ||
16:20 10mTalk | Log Parsing using LLMs with Self-Generated In-Context Learning and Self-Correction ICPC Research Track | ||
16:30 10mTalk | LLM-BL: Large Language Models are Zero-Shot Rankers for Bug Localization ICPC Research Track Zhengliang Li Nanjing University, Zhiwei Jiang Nanjing University, Qiguo Huang NanJing Audit University, Qing Gu Nanjing University | ||
16:40 10mTalk | Improved IR-based Bug Localization with Intelligent Relevance Feedback ICPC Research Track | ||
16:50 10mTalk | Towards Enhancing IR-based Bug Localization Leveraging Texts and Multimedia from Bug Reports ICPC Early Research Achievements (ERA) Shamima Yeasmin University of Saskatchewan, Chanchal K. Roy University of Saskatchewan, Canada, Kevin Schneider University of Saskatchewan, Masud Rahman Dalhousie University, Kartik Mittal University of Saskatchewan, Ryder Hardy University of Saskatchewan | ||
17:00 10mTalk | Building Bridges, Not Walls: Fairness-aware and Accurate Recommendation of Code Reviewers via LLM-based Agents Collaboration ICPC Research Track Luqiao Wang Xidian University, Qingshan Li Xidian University, Di Cui Xidian University, Mingkang Wang Xidian University, Yutong Zhao University of Central Missouri, Yongye Xu Xidian University, Huiying Zhuang Xidian University, Yangtao Zhou Xidian University, Lu Wang Xidian University | ||
17:10 10mTalk | Code Review Comprehension: Reviewing Strategies Seen Through Code Comprehension Theories ICPC Research Track Pavlina Wurzel Goncalves University of Zurich, Pooja Rani University of Zurich, Margaret-Anne Storey University of Victoria, Diomidis Spinellis Athens University of Economics and Business & Delft University of Technology, Alberto Bacchelli University of Zurich | ||
17:20 10mLive Q&A | Session's Discussion: "Log Parsing, Bug Localisation, Review Comprehension" ICPC Research Track | ||
16:00 - 17:30 | Journal First Session / Book Launch / CHASE 2025 ClosingCHASE Research Track at 210 Chair(s): Igor Steinmacher Northern Arizona University, Rashina Hoda Monash University, Ronnie de Souza Santos University of Calgary, Bianca Trinkenreich Colorado State University | ||
16:00 15mTalk | Uncovering Community Smells in Machine Learning-Enabled Systems: Causes, Effects, and Mitigation Strategies CHASE Research Track | ||
16:15 15mTalk | Non-Linear Software Documentation with Interactive Code Examples CHASE Research Track | ||
16:30 30mTalk | Book Launch CHASE Research Track Rashina Hoda Monash University | ||
17:00 30mTalk | CHASE 2025 Closing CHASE Research Track Rashina Hoda Monash University, Ronnie de Souza Santos University of Calgary, Bianca Trinkenreich Colorado State University | ||
16:00 - 17:30 | |||
16:00 30mFull-paper | Automated Test-Case Generation for REST APIs Using Model Inference Search Heuristic AST Clinton Cao Delft University of Technology, Annibale Panichella Delft University of Technology, Sicco Verwer TU Delft Pre-print | ||
16:30 30mFull-paper | Automated Test Generation for Integration Testing AST Elson Kurian University of Milano Bicocca, Luca Guglielmo Università degli Studi di Milano-Bicocca, Pietro Braione University of Milano-Bicocca, Giovanni Denaro University of Milano - Bicocca | ||
17:00 30mFull-paper | Automated Test Generation from Program Documentation Encoded in Code Comments AST Giovanni Denaro University of Milano - Bicocca, Luca Guglielmo Università degli Studi di Milano-Bicocca | ||
19:00 - 22:00 | |||
Tue 29 AprDisplayed time zone: Eastern Time (US & Canada) change
Tue 29 Apr
Displayed time zone: Eastern Time (US & Canada) change
07:00 - 19:00 | |||
09:00 - 12:30 | |||
09:00 - 10:30 | |||
09:00 90mTutorial | Tutorial 1: Quantum Software TestingTesting and QAQuantum Tutorials and Technical Briefings | ||
09:00 - 10:30 | |||
09:00 5mDay opening | GAS 2025 Welcome GAS | ||
09:05 45mKeynote | Advances and Opportunities in Game Testing and Triage GAS Sarra Habchi Ubisoft | ||
09:50 20mTalk | A Mapping of Recording-based Game Test Automation Tools GAS Vinícius Mioto Universidade Federal do Paraná, Fabio Petrillo École de technologie supérieure (ÉTS), Montréal -- Université du Québec | ||
10:10 20mTalk | Towards A Framework For Exploratory Testing In Video Games GAS Yohan Duarte Federal University of Sao Carlos, Cristiano Politowski Ontario Tech University, André T. Endo Federal University of São Carlos, Brazil | ||
09:00 - 10:30 | KeynoteSTATIC at 107 Chair(s): Martin Kellogg New Jersey Institute of Technology, Jacques Klein University of Luxembourg, Jordan Samhi University of Luxembourg, Luxembourg | ||
09:30 15mDay opening | Introduction by the Organization Chairs STATIC O: Jordan Samhi University of Luxembourg, Luxembourg, O: Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, O: Martin Kellogg New Jersey Institute of Technology, O: Jacques Klein University of Luxembourg | ||
09:45 45mKeynote | Keynote STATIC | ||
09:00 - 10:30 | |||
09:00 20mTalk | Opening SE4ADS Joshua Garcia University of California, Irvine | ||
09:30 60mKeynote | Keynote SE4ADS Sebastian Elbaum University of Virginia | ||
09:00 - 10:30 | |||
09:00 5mTalk | Openning SATrends | ||
09:05 30mKeynote | Keynote SATrends Xin Xia Huawei | ||
09:35 15mPaper | SALLMA: A Prototypical Software Architecture for LLM-Based Multi-Agent Systems SATrends Marco Becattini University of Florence, Roberto Verdecchia University of Florence, Enrico Vicario University of Florence Pre-print | ||
09:50 15mPaper | MicroAnalyzer.NET: Deriving Microservice Architectural Perspectives Using Static Code Analysis For C# Platform SATrends Amr Elsayed The University of Arizona, Jorge Yero Baylor University, Tomas Cerny University of Arizona | ||
10:05 25mTalk | Brainstorming SATrends | ||
09:00 - 10:30 | |||
09:00 60mKeynote | Cognitive Guardrails for on-the-fly Decision-Making in Next-Gen Drone Swarms SEAMS Research Track Jane Cleland-Huang University of Notre Dame | ||
10:00 20mAwards | Most Influential Paper Award 2015 SEAMS Research Track | ||
10:20 10mAwards | SEAMS Best Paper and Artifact Awards SEAMS Research Track | ||
09:00 - 10:30 | |||
09:00 20mTalk | SWEBOK Summit Opening and Introduction: Introduction the Guide to the Software Engineering Body of Knowledge Panels and Special Sessions | ||
09:20 35mTalk | SWEBOK Summit Keynote 1: What Really Matters in Software Engineering Panels and Special Sessions | ||
10:00 30mTalk | SWEBOK Summit Keynote 2: Driving Software Engineering Maturity at Shell Panels and Special Sessions | ||
09:00 - 10:30 | |||
09:00 10mDay opening | Opening Remarks RAIE Qinghua Lu Data61, CSIRO | ||
09:10 50mKeynote | Keynote 1 by Rick Kazman RAIE Rick Kazman University of Hawai‘i at Mānoa | ||
10:00 15mTalk | Insights and Current Gaps in Open-Source LLM Vulnerability Scanners: A Comparative Analysis RAIE Jonathan Brokman Fujitsu Research, Omer Hofman Fujitsu Research, Oren Rachmil Fujitsu Research, Inderjeet Singh Fujitsu Research, Vikas Pahuja Fujitsu Research, Aishvariya Priya Rathina Sabapathy Fujitsu Research, Amit Giloni Fujitsu Research, Roman Vainshtein Fujitsu Research, Hisashi Kojima Fujitsu Research | ||
10:15 12mTalk | Mitigating Values Debt in Generative AI: Responsible Engineering with Graph RAG RAIE Waqar Hussain Data61, CSIRO | ||
09:00 - 10:30 | |||
09:00 90mKeynote | Learning-Based Testing: The Ease, the Impact, the Future AST Tiziana Margaria University of Limerick and Lero - The Irish Software Research Centre | ||
09:00 - 10:05 | Session 1: Security & Miscellaneous (talks and panel)Doctoral Symposium at 212 Chair(s): Tayana Conte Universidade Federal do Amazonas | ||
09:00 5mDay opening | Opening of the Doctoral Symposium Doctoral Symposium Tayana Conte Universidade Federal do Amazonas, Alexander Serebrenik Eindhoven University of Technology | ||
09:05 6mTalk | Advancing Secure and Standard Source Code Generation Techniques Doctoral Symposium Mohammed Latif Siddiq University of Notre Dame Pre-print | ||
09:11 6mTalk | Towards Secure and Interactive Smart Contract Code from Formal SYMBOLEO Specifications Doctoral Symposium Sofana Alfuhaid University of Ottawa | ||
09:17 6mTalk | Empirically-Informed Approaches to Shift Vulnerability Detection to the Left Doctoral Symposium Paschal Amusuo Purdue University | ||
09:23 6mTalk | A BizDevOps-Aligned Framework for Integrating Security Practices in Agile Software Development Doctoral Symposium Alejandra Selva-Mora Universidad de Costa Rica | ||
09:29 6mTalk | Towards Configuration-Aware Performance Modeling Doctoral Symposium Yuanjie Xia University of Waterloo | ||
09:35 30mPanel | Panel: Security Doctoral Symposium Marsha Chechik University of Toronto, Laurie Williams North Carolina State University, Mohammed Latif Siddiq University of Notre Dame, Yuanjie Xia University of Waterloo, Paschal Amusuo Purdue University, Alejandra Selva-Mora Universidad de Costa Rica, Sofana Alfuhaid University of Ottawa | ||
09:00 - 10:30 | |||
09:00 - 10:30 | ACM Student Research Posters and Judging 1SRC - ACM Student Research Competition at Canada Hall 3 Poster Area | ||
09:00 90mTalk | Consistent Graph Model Generation with Large Language Models SRC - ACM Student Research Competition Boqi Chen McGill University | ||
09:00 90mTalk | Automatic Fuzz Drivers for JavaScript with Type Distributions SRC - ACM Student Research Competition Mayant Mukul University of British Columbia | ||
09:00 90mTalk | CASS: Context-Aware Slice Summarization for Debugging Regression Failures SRC - ACM Student Research Competition Sahar Badihi University of British Columbia, Canada | ||
09:00 90mTalk | Characterising Algorithm Debt in Machine and Deep Learning Systems SRC - ACM Student Research Competition Emmanuel Iko-Ojo Simon Australian National University | ||
10:05 - 10:30 | |||
10:05 25mTalk | Build and Runtime Integrity for Java Doctoral Symposium Aman Sharma KTH Royal Institute of Technology Pre-print | ||
10:05 25mTalk | Interactions with Generative AI: Wearables to Measure Developer Experience and Productivity Objectively Doctoral Symposium Charlotte Brandebusemeyer Hasso Plattner Institute, University of Potsdam | ||
10:05 25mTalk | Understanding and Supporting the ML Supply Chain through ML Bill of Materials Doctoral Symposium Trevor Stalnaker William & Mary | ||
10:05 25mTalk | A BizDevOps-Aligned Framework for Integrating Security Practices in Agile Software Development Doctoral Symposium Alejandra Selva-Mora Universidad de Costa Rica | ||
10:05 25mTalk | Rethinking Software Development Considering Collaboration with AI Assistants Doctoral Symposium Benedetta Donato University of Milano - Bicocca | ||
10:05 25mTalk | Exploring GenAI-Driven Innovation in Game Development Doctoral Symposium Xiang Chen University of Waterloo | ||
10:30 - 11:00 | |||
10:30 30mBreak | Tuesday Morning Break Catering | ||
11:00 - 12:30 | |||
11:00 90mTutorial | Tutorial 1: Quantum Software TestingTesting and QAQuantum Tutorials and Technical Briefings | ||
11:00 - 12:30 | |||
11:00 20mTalk | Type Token: A Competitive, Collaborative Modelling Game For Ontology Education and Development GAS | ||
11:20 70mOther | Interactive Activity GAS Mathieu Nayrolles Amazon | ||
11:00 - 12:30 | |||
11:00 30mTalk | FpGuard: Static-Analysis Guided Domain Exclusions for Robust Floating-Point Error Analysis STATIC Tanmay Tirpankar University of Utah, Artem Yadrov University of Utah, Pavel Panchekha University of Utah, Ganesh Gopalakrishnan University of Utah | ||
11:30 30mTalk | Heros in Action: Analyzing Objective-C Binaries through Decompilation and IFDS STATIC Florian Magin Fraunhofer SIT | ATHENE, Gwendal Patat Fraunhofer SIT | ATHENE, Fabian Scherf Fraunhofer SIT | ATHENE | ||
12:00 30mTalk | PySymGym: An Infrastructure to Train AI-Powered Navigation Assistant for Symbolic Execution Engine STATIC Semyon Grigorev Saint Petersburg State University, Russia, Anna Chistyakova Saint-Petersburg State University, Maxim Nigmatulin Saint-Petersburg State University, Ekaterina Shemetova Saint-Petersburg State University, Danil Parfenov Saint-Petersburg State University, David Akhmedov Saint-Petersburg State University | ||
11:00 - 12:30 | |||
11:00 18mTalk | AI-Augmented Metamorphic Testing for Comprehensive Validation of Autonomous Vehicles SE4ADS Yueteng Zhang University of Ottawa, Burak Kantarci University of Ottawa, Umair Siddique reasonX Labs Inc. | ||
11:18 18mTalk | Conflict-based Scenario Generation for Autonomous Driving System Validation SE4ADS Hua Qi Kyushu University, Japan, Siyuan Chen The University of Tokyo, Fuyuan Zhang Kyushu University, Tomoyuki TSUCHIYA TIER IV, Michio HAYASHI TIER IV North America, Manabu OKADA TIER IV, Lei Ma The University of Tokyo & University of Alberta, Jianjun Zhao Kyushu University | ||
11:36 18mTalk | Deep Driving Workshop for Education and Training of Behaviour-Based End-to-End Learning Autonomous Driving Systems SE4ADS Mohamed Benchat Institut für Software and Systems Engineering, TU Clausthal, Germany, Iqra Aslam Institut für Software and Systems Engineering, TU Clausthal, Germany, Meng Zhang Institut für Software and Systems Engineering, TU Clausthal, Germany, Nour Habib Institut für Software and Systems Engineering, TU Clausthal, Germany, Abhishek Buragohain Institut für Software and Systems Engineering, TU Clausthal, Germany, Vaibhav Tiwari Institut für Software and Systems Engineering, TU Clausthal, Germany, Andreas Rausch Clausthal University of Technology | ||
11:54 18mTalk | Evaluating the Robustness of Uncertainty Quantification-Based Misbehavior Predictors for Autonomous Driving Systems: A Case Study SE4ADS Xiongfei Wu Kyushu University, Qiang Hu The University of Tokyo, Tomoyuki TSUCHIYA TIER IV, Michio HAYASHI TIER IV North America, Manabu OKADA TIER IV, Lei Ma The University of Tokyo & University of Alberta, Jianjun Zhao Kyushu University | ||
12:12 18mTalk | Moral Testing of Autonomous Driving Systems SE4ADS Wenbing Tang Nanyang Technological University, Mingfei Cheng Singapore Management University, Yuan Zhou Zhejiang Sci-Tech University, Yang Liu Nanyang Technological University | ||
11:00 - 12:30 | |||
11:00 60mTalk | Working groups SATrends | ||
12:00 25mTalk | Working Groups Summary and Future Works SATrends | ||
12:25 5mTalk | Closing SATrends | ||
11:00 - 12:30 | |||
11:00 25mTalk | Self-Adaptive Dual-Layer DDoS Mitigation using Autoencoder and Reinforcement LearningFULL SEAMS Research Track Qi Duan Carnegie Mellon University, Ehab Al-Shaer Carnegie Mellon University, USA, David Garlan Carnegie Mellon University | ||
11:25 25mTalk | Analysis of Autonomous Driving Software to Low-Level Sensor Cyber AttacksFULL SEAMS Research Track Andrew Roberts Tallinn University of Technology, Mohsen Malayjerdi Tallinn University of Technology, Mauro Bellone FinEst Smart City Centre, Raivo Sell Tallinn University of Technology, Olaf Maennel University of Adelaide, Mohammad Hamad Technical University of Munich, Sebastian Steinhorst Technical University of Munich | ||
11:50 15mTalk | A Comprehensive Analysis of Cybersecurity Challenges in Self-Adaptive Avionics: A Plug&Fly Avionics Platform Case StudySHORT SEAMS Research Track Aisha Zahid Junejo Universitat Stuttgart, Mario Werthwein Universitat Stuttgart, Bjoern Annighoefer University of Stuttgart | ||
12:05 15mTalk | Towards Using Inductive Learning to Adapt Security Controls in Smart HomesSHORT SEAMS Research Track Kushal Ramkumar Lero@University College Dublin, Wanling Cai Lero@Trinity College Dublin, John McCarthy Lero@University College Cork, Gavin Doherty Lero@Trinity College Dublin, Bashar Nuseibeh The Open University, UK; Lero, University of Limerick, Ireland, Liliana Pasquale University College Dublin & Lero File Attached | ||
12:20 10mOther | Discussion Session 6 SEAMS Research Track | ||
11:00 - 12:30 | |||
11:00 30mTalk | SWEBOK Summit Talk: A Framework for Software Engineering Professional Development Panels and Special Sessions | ||
11:30 30mTalk | SWEBOK Summit Talk: Defining Software Engineering Terms: Comparing SWEBOK to Job Postings Panels and Special Sessions | ||
12:00 30mTalk | SWEBOK Summit Talk: Practical Application of SFIA in Software Engineering: Complementing SWEBOK with Industry-Driven Skills and Competencies Panels and Special Sessions | ||
11:00 - 12:30 | |||
11:00 15mTalk | Using Drift Planning to Improve Safety of Visual Navigation in Unmanned Aerial Vehicles RAIE Jeffrey Hansen Carnegie Mellon Software Engineering Institute, Sebastian Echeverria Carnegie Mellon Software Engineering Institute, Lena Pons Carnegie Mellon Software Engineering Institute, Lihan Zhan Carnegie Mellon Software Engineering Institute, Gabriel A. Moreno Carnegie Mellon University Software Engineering Institute, Grace Lewis Carnegie Mellon Software Engineering Institute | ||
11:15 15mTalk | LLM-AQuA-DiVeR: LLM-Assisted Quality Assurance Through Dialogues on Verifiable Specification with Requirement Owners RAIE Shohei Mitani Georgetown University, Salonee Moona Triple Point Security, Shinichiro Matsuo Georgetown University, Eric Burger Virginia Tech | ||
11:30 12mTalk | Towards Ensuring Responsible AI for Medical Device Certification RAIE Giulio Mallardi University of Bari, Luigi Quaranta University of Bari, Italy, Fabio Calefato University of Bari, Filippo Lanubile University of Bari | ||
11:42 12mTalk | Navigating the landscape of AI test methods using taxonomy-based selection RAIE Maximilian Pintz Fraunhofer Institute for Intelligent Analysis and Information Systems, University of Bonn, Anna Schmitz Fraunhofer Institute for Intelligent Analysis and Information Systems, Rebekka Görge Fraunhofer Institute for Intelligent Analysis and Information Systems, Sebastian Schmidt Fraunhofer Institute for Intelligent Analysis and Information Systems, Daniel Becker , Maram Akila Fraunhofer Institute for Intelligent Analysis and Information Systems, Lamarr Institute, Michael Mock Fraunhofer Institute for Intelligent Analysis and Information Systems | ||
11:54 12mTalk | Responsible AI in the Software Industry: A Practitioner-Centered Perspective RAIE Matheus de Morais Leça University of Calgary, Mariana Pinheiro Bento University of Calgary, Ronnie de Souza Santos University of Calgary Pre-print | ||
12:06 12mTalk | The Privacy Pillar - A Conceptual Framework for Foundation Model-based Systems RAIE Tingting Bi The University of Melbourne, Guangsheng Yu University of Technology Sydney, Qin Wang CSIRO Data61 | ||
11:00 - 12:30 | |||
11:00 22mFull-paper | An Adaptive Testing Approach Based on Field Data AST Samira Santos da Silva Gran Sasso Science Institute (GSSI), Ricardo Caldas Gran Sasso Science Institute (GSSI), Patrizio Pelliccione Gran Sasso Science Institute, L'Aquila, Italy, Antonia Bertolino National Research Council, Italy | ||
11:22 22mFull-paper | Exceptional Behaviors: How Frequently Are They Tested? AST Pre-print | ||
11:45 22mFull-paper | Improving Examples in Web API Specifications using Iterated-Calls In-Context Learning AST Kush Jain Carnegie Mellon University, Kiran Kate IBM Research, Jason Tsay IBM Research, Claire Le Goues Carnegie Mellon University, Martin Hirzel IBM Research | ||
12:07 22mFull-paper | What Types of Automated Tests do Developers Write? AST Marko Ivanković University of Passau, Luka Rimanić Google Switzerland GmbH, Ivan Budiselic Google, Goran Petrovic Google; Universität Passau, Gordon Fraser University of Passau, René Just University of Washington | ||
11:00 - 12:00 | Session 2: Human aspects (talks and panel)Doctoral Symposium at 212 Chair(s): Alexander Serebrenik Eindhoven University of Technology | ||
11:00 6mTalk | Decoding Diversity: Understanding its Impact on Team Performance in Software Teams Doctoral Symposium Kezia Devathasan University of Victoria | ||
11:06 6mTalk | Diverse Participation and Newcomer Risk Perception in Open Source Software Communities Doctoral Symposium Hana Frluckaj University of Texas | ||
11:12 6mTalk | A Framework for Supporting Transparency in Software Ecosystems Portals from the Point of View of Developer Experience Doctoral Symposium Rodrigo Zacarias UNIRIO - Universidade Federal do Estado do Rio de Janeiro | ||
11:18 6mTalk | Studying and Improving Code Understandability through Atoms of Confusion Doctoral Symposium Guoshuai Shi University of Waterloo | ||
11:24 6mTalk | Understanding and Improving Code Review of Changes in Build Systems Doctoral Symposium Mahtab Nejati University of Waterloo | ||
11:30 30mPanel | Panel: Human aspects Doctoral Symposium Rashina Hoda Monash University, David Redmiles University of California, Irvine, Gema Rodríguez-Pérez University of British Columbia (UBC), Kezia Devathasan University of Victoria, Hana Frluckaj University of Texas, Mahtab Nejati University of Waterloo, Guoshuai Shi University of Waterloo, Rodrigo Zacarias UNIRIO - Universidade Federal do Estado do Rio de Janeiro | ||
11:00 - 12:30 | |||
11:00 10mTalk | The Ecosystem of Open-Source Music Production Software – A Mining Study on the Development Practices of VST Plugins on GitHub MSR Technical Papers Andrei Bogdan University of Amsterdam, Mauricio Verano Merino Vrije Universiteit Amsterdam, Ivano Malavolta Vrije Universiteit Amsterdam Pre-print | ||
11:10 10mTalk | Can LLMs Replace Manual Annotation of Software Engineering Artifacts? MSR Technical Papers Toufique Ahmed IBM Research, Prem Devanbu University of California at Davis, Christoph Treude Singapore Management University, Michael Pradel University of Stuttgart Pre-print | ||
11:20 10mTalk | Investigating the Understandability of Review Comments on Code Change Requests MSR Technical Papers Md Shamimur Rahman University of Saskatchewan, Canada, Zadia Codabux University of Saskatchewan, Chanchal K. Roy University of Saskatchewan, Canada | ||
11:30 10mTalk | Mining a Decade of Contributor Dynamics in Ethereum: A Longitudinal Study MSR Technical Papers Matteo Vaccargiu University of Cagliari, Sabrina Aufiero University College London (UCL), Cheick Ba Queen Mary University of London, Silvia Bartolucci University College London, Richard Clegg Queen Mary University London, Daniel Graziotin University of Hohenheim, Rumyana Neykova Brunel University London, Roberto Tonelli University of Cagliari, Giuseppe Destefanis Brunel University London Pre-print | ||
11:40 10mTalk | Is it Really Fun? Detecting Low Engagement Events in Video Games MSR Technical Papers Emanuela Guglielmi University of Molise, Gabriele Bavota Software Institute @ Università della Svizzera Italiana, Nicole Novielli University of Bari, Rocco Oliveto University of Molise, Simone Scalabrino University of Molise | ||
11:50 5mTalk | A Dataset of Contributor Activities in the NumFocus Open-Source Community MSR Data and Tool Showcase Track Youness Hourri University of Mons, Alexandre Decan University of Mons; F.R.S.-FNRS, Tom Mens University of Mons Pre-print | ||
11:55 5mTalk | Jupyter Notebook Activity Dataset MSR Data and Tool Showcase Track Tomoki Nakamaru The University of Tokyo, Tomomasa Matsunaga The University of Tokyo, Tetsuro Yamazaki University of Tokyo | ||
12:00 5mTalk | CoPhi - Mining C/C++ Packages for Conan Ecosystem Analysis MSR Data and Tool Showcase Track Pre-print | ||
12:05 5mTalk | MARIN: A Research-Centric Interface for Querying Software Artifacts on Maven Repositories MSR Data and Tool Showcase Track Pre-print | ||
12:10 5mTalk | GitProjectHealth: an Extensible Framework for Git Social Platform Mining MSR Data and Tool Showcase Track | ||
12:15 5mTalk | Myriad People. Open Source Software for New Media Arts MSR Data and Tool Showcase Track Benoit Baudry , Erik Natanael Gustafsson Independent artist, Roni Kaufman Independent artist, Maria Kling Independent artist | ||
12:20 5mTalk | OpenMent: A Dataset of Mentor-Mentee Interactions in Google Summer of Code MSR Data and Tool Showcase Track Erfan Raoofian University of British Columbia, Fatemeh Hendijani Fard University of British Columbia, Ifeoma Adaji University of British Columbia, Gema Rodríguez-Pérez University of British Columbia (UBC) | ||
12:25 5mTalk | Under the Blueprints: Parsing Unreal Engine’s Visual Scripting at Scale MSR Data and Tool Showcase Track | ||
11:00 - 12:30 | |||
11:00 10mTalk | 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 10mTalk | 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 10mTalk | 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 5mTalk | 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 5mTalk | 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 5mTalk | 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 5mTalk | 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 | ||
11:00 - 12:30 | ACM Student Research Posters and Judging 2SRC - ACM Student Research Competition at Canada Hall 3 Poster Area | ||
11:00 90mTalk | Enhancing OSS Remediation with Patch Backporting SRC - ACM Student Research Competition Lyuye Zhang Nanyang Technological University | ||
11:00 90mTalk | Improving Formal Methods Visualizations SRC - ACM Student Research Competition Avinash Palliyil Georgia Institute of Technology | ||
11:00 90mTalk | MUARF: Leveraging Multi-Agent Workflows for Automated Code Refactoring SRC - ACM Student Research Competition Yisen Xu Software PErformance, Analysis, and Reliability (SPEAR) lab, Concordia University, Montreal, Canada | ||
11:00 90mTalk | Identifying Performance-Sensitive Configurations in Software Systems with LLM-Driven Agents SRC - ACM Student Research Competition Zehao Wang Concordia University | ||
12:30 - 14:00 | |||
12:30 90mLunch | Tuesday Lunch Catering | ||
14:00 - 17:30 | |||
14:00 - 15:30 | |||
14:00 90mTutorial | Tutorial 2: Social, Legal, Ethical, Empathetic and Cultural Requirements: from Elicitation to VerificationSE for AIRequirementsHuman/SocialReal-Time+Safety Tutorials and Technical Briefings | ||
14:00 - 15:30 | |||
14:00 20mTalk | A Mapping Study of the Entity Component System Pattern GAS Laurent Voisard Concordia University, Henrique De Freitas Serra Concordia University, Cristiano Politowski Ontario Tech University, Fabio Petrillo École de technologie supérieure (ÉTS), Montréal -- Université du Québec, Yann-Gaël Guéhéneuc Concordia University and Polytechnique Montréal | ||
14:20 20mTalk | Generative AI for Facial Expressions in 3D Game Characters: A Retrieval-Augmented Approach GAS Jonas de Araújo Luz Junior University of Fortaleza, Guadalupe Prado Saldanha Ribeiro University of Fortaleza, Rafael Fonseca Pessoa University of Fortaleza, Alberto Huarastaca Taveira Magalhães University of Fortaleza, Maria Andréia Formico Rodrigues University of Fortaleza | ||
14:40 20mTalk | Preventing Client-Side Exploits in Games with Capability Architectures GAS | ||
15:00 30mLive Q&A | Research Paper Discussion GAS | ||
14:00 - 15:30 | |||
14:00 45mTalk | Invited Talk 1 STATIC | ||
14:45 45mTalk | Invited Talk 2 STATIC | ||
14:00 - 15:30 | |||
14:00 18mTalk | Realism Constructs for ADS Simulation Testing SE4ADS Trey Woodlief University of Virginia, Kevin Sullivan University of Virginia, Sebastian Elbaum University of Virginia | ||
14:18 18mTalk | Revolutionizing Validation and Verification: Explainable Testing Methodologies for Intelligent Automotive Decision-Making Systems SE4ADS | ||
14:36 18mTalk | Scenario as Specification: Structuring the Development and Deployment of Automated Driving SE4ADS | ||
14:54 18mTalk | Towards a Traffic Scenario Catalog for Collaborative Testing of Autonomous Vehicles SE4ADS Zhekai Jiang EPFL, Oszkár Semeráth Budapest University of Technology and Economics, Aren Babikian University of Toronto | ||
15:12 18mTalk | Towards Integrating Scenario-Based Requirements Engineering for Autonomous Vehicle Systems SE4ADS | ||
14:00 - 15:30 | |||
14:00 90mKeynote | Revisiting the triptychs of software engineering in the FinTech and RegTech realms FinanSE Domenico Bianculli University of Luxembourg | ||
14:00 - 15:30 | |||
14:00 25mTalk | FLEXICO: Sustainable Machine Translation via Self-AdaptationFULL SEAMS Research Track Maria Casimiro Instituto Superior Técnico, Universidade de Lisboa & S3D, Carnegie Mellon University, Paolo Romano IST/INESC-ID, José Sousa Unbabel, Amin M Khan INESC-ID. Universidade de Lisboa, David Garlan Carnegie Mellon University | ||
14:25 25mTalk | SPARQ: A QoS-aware Framework for Mitigating Cyber Risk in Self-Protecting IoT SystemsFULL SEAMS Research Track Alessandro Palma Università di Roma Sapienza, Houssam Hajj Hassan SAMOVAR, Télécom SudParis, Institut Polytechnique de Paris, Georgios Bouloukakis Télécom SudParis, Institut Polytechnique de Paris | ||
14:50 15mTalk | Adapting Aggregation Rule for Robust Federated Learning under Dynamic AttacksSHORT SEAMS Research Track Chenyu Hu Southwest University, Mingyue Zhang Southwest University, NIANYU LI ZGC Lab, China, Jialong Li Waseda University, Japan, Zheng Yang Southwest University, Muneeb Ul Hassan Deakin University, Kenji Tei Institute of Science Tokyo | ||
15:05 15mTalk | Adaptive and Interoperable Federated Data Spaces: An Implementation ExperienceARTIFACT SEAMS Artifact Track Nikolaos Papadakis , Niemat Khoder Télécom SudParis, Institut Polytechnique de Paris, France, Daphne Tuncer Ecole nationale des ponts et chaussees, Institut Polytechnique de Paris, France, Kostas Magoutis University of Crete and FORTH-ICS, Georgios Bouloukakis Télécom SudParis, Institut Polytechnique de Paris | ||
15:20 10mOther | Discussion Session 7 SEAMS Research Track | ||
14:00 - 15:30 | |||
14:00 40mPanel | SWEBOK Summit Panel Discussion: Industrial application of SWEBOK Guide: Current and Future Panels and Special Sessions P: Deborah Silver Rutgers University, P: Gerd Hoefner Siemens Healthineers, P: Rik Essenius Shell International, P: Steve Tockey Construx Software, P: Peter Leather SFIA Foundation | ||
14:40 25mTalk | SWEBOK Summit Talk: Publishing a Software Engineering Textbook: A Journey Inspired on SWEBOK's Knowledge Areas Panels and Special Sessions | ||
15:05 25mTalk | SWEBOK Summit Talk: Systems and software engineering—Vocabulary: Using Software Engineering Standards with SWEBOK Panels and Special Sessions | ||
14:00 - 15:30 | |||
14:00 50mKeynote | Keynote 2 by David Lo RAIE David Lo Singapore Management University | ||
14:50 15mTalk | Security of AI Agents RAIE Yifeng He University of California, Davis, Ethan Wang University of California at Davis, Yuyang Rong University of California, Davis, Zifei Cheng University of California, Davis, Hao Chen University of California at Davis | ||
15:05 15mTalk | Raising AI Ethics Awareness: Insights from a Quiz-Based Workshop with Software Practitioners – An Experience Report RAIE | ||
14:00 - 15:30 | |||
14:00 30mFull-paper | Adaptive Probabilistic Operational Testing for Large Language Models Evaluation AST Ali Asgari TU Delft, Antonio Guerriero Università di Napoli Federico II, Roberto Pietrantuono Università di Napoli Federico II, Stefano Russo Università di Napoli Federico II | ||
14:30 30mFull-paper | ASTRAL: Automated Safety Testing of Large Language Models AST Miriam Ugarte Mondragon University, Pablo Valle Mondragon University, José Antonio Parejo Maestre University of Seville, Sergio Segura University of Seville, Aitor Arrieta Mondragon University Pre-print | ||
15:00 30mFull-paper | A Taxonomy of Failures in Tool-Augmented LLMs AST | ||
14:00 - 15:00 | Session 3: Maintenance (talks and panel)Doctoral Symposium at 212 Chair(s): Alexander Serebrenik Eindhoven University of Technology | ||
14:00 6mTalk | Concern-based Management of Software Design Complexity Doctoral Symposium Jason Lefever Drexel University | ||
14:06 6mTalk | Mitigating Waste That Tacitly Accrues in Continuous Integration Pipelines Doctoral Symposium Nimmi Rashinika Weeraddana University of Waterloo Pre-print | ||
14:12 6mTalk | Automated Detection and Refactoring of Mock Clones in Java Projects Doctoral Symposium Gengwu Zhao Stevens Institute of Technology | ||
14:18 6mTalk | Practical Preprocessing of Logs at Scale Doctoral Symposium JianChen Zhao University of Waterloo | ||
14:24 6mTalk | Bridging the Gap Between Log Parsing Techniques and Practitioners: Challenges and Solutions Doctoral Symposium Hetong Dai University of Waterloo | ||
14:30 30mPanel | Panel: Maintenance Doctoral Symposium Sridhar Chimalakonda Indian Institute of Technology, Tirupati, Wesley Assunção North Carolina State University, Hetong Dai University of Waterloo, Jason Lefever Drexel University, Nimmi Weeraddana University of Waterloo, JianChen Zhao University of Waterloo, Gengwu Zhao Stevens Institute of Technology | ||
14:00 - 15:30 | |||
14:00 10mTalk | Automatic High-Level Test Case Generation using Large Language Models MSR Technical Papers Navid Bin Hasan Bangladesh University of Engineering and Technology, Md. Ashraful Islam Bangladesh University of Engineering and Technology, Junaed Younus Khan Bangladesh University of Engineering and Technology, Sanjida Senjik Bangladesh University of Engineering and Technology, Anindya Iqbal Bangladesh University of Engineering and Technology Dhaka, Bangladesh | ||
14:10 10mTalk | Prompting in the Wild: An Empirical Study of Prompt Evolution in Software Repositories MSR Technical Papers Mahan Tafreshipour University of California at Irvine, Aaron Imani University of California, Irvine, Eric Huang University of California, Irvine, Eduardo Santana de Almeida Federal University of Bahia, Thomas Zimmermann University of California, Irvine, Iftekhar Ahmed University of California at Irvine Pre-print | ||
14:20 10mTalk | Towards Detecting Prompt Knowledge Gaps for Improved LLM-guided Issue Resolution MSR Technical Papers Ramtin Ehsani Drexel University, Sakshi Pathak Drexel University, Preetha Chatterjee Drexel University, USA Pre-print | ||
14:30 10mTalk | Intelligent Semantic Matching (ISM) for Video Tutorial Search using Transformer Models MSR Technical Papers | ||
14:40 10mTalk | Language Models in Software Development Tasks: An Experimental Analysis of Energy and Accuracy MSR Technical Papers Negar Alizadeh Universiteit Utrecht, Boris Belchev University of Twente, Nishant Saurabh Utrecht University, Patricia Kelbert Fraunhofer IESE, Fernando Castor University of Twente | ||
14:50 10mTalk | TriGraph: A Probabilistic Subgraph-Based Model for Visual Code Completion in Pure Data MSR Technical Papers Anisha Islam Department of Computing Science, University of Alberta, Abram Hindle University of Alberta | ||
15:00 5mTalk | Inferring Questions from Programming Screenshots MSR Technical Papers Faiz Ahmed York University, Xuchen Tan York University, Folajinmi Adewole York University, Suprakash Datta York University, Maleknaz Nayebi York University | ||
15:05 5mTalk | Human-In-The-Loop Software Development Agents: Challenges and Future Directions MSR Industry Track Jirat Pasuksmit Atlassian, Wannita Takerngsaksiri Monash University, Patanamon Thongtanunam University of Melbourne, Kla Tantithamthavorn Monash University, Ruixiong Zhang Atlassian, Shiyan Wang Atlassian, Fan Jiang Atlassian, Jing Li Atlassian, Evan Cook Atlassian, Kun Chen Atlassian, Ming Wu Atlassian | ||
15:10 5mTalk | FormalSpecCpp: A Dataset of C++ Formal Specifications Created Using LLMs MSR Data and Tool Showcase Track Madhurima Chakraborty University of California, Riverside, Peter Pirkelbauer Lawrence Livermore National Laboratory, Qing Yi Lawrence Livermore National Laboratory | ||
14:00 - 15:30 | |||
14:00 10mTalk | PyExamine: A Comprehensive, Un-Opinionated Smell Detection Tool for Python MSR Technical Papers | ||
14:10 10mTalk | 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 | ||
14:20 10mTalk | 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 10mTalk | Smells-sus: Sustainability Smells in IaC MSR Technical Papers | ||
14:40 10mTalk | 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 5mTalk | DPy: Code Smells Detection Tool for Python MSR Data and Tool Showcase Track Pre-print | ||
14:55 5mTalk | 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 5mTalk | 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 5mTalk | TestMigrationsInPy: A Dataset of Test Migrations from Unittest to Pytest MSR Data and Tool Showcase Track Pre-print | ||
15:10 5mTalk | pyMethods2Test: A Dataset of Python Tests Mapped to Focal Methods MSR Data and Tool Showcase Track Pre-print | ||
15:15 5mTalk | DataTD: A Dataset of Java Projects Including Test Doubles MSR Data and Tool Showcase Track | ||
15:20 5mTalk | 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 | ||
14:00 - 15:30 | ACM Student Research Posters and Judging 3SRC - ACM Student Research Competition at Canada Hall 3 Poster Area | ||
14:00 90mTalk | Revisiting SWE-Bench: On the Importance of Data Quality for LLM-based Code Models SRC - ACM Student Research Competition Reem Aleithan York University, Canada | ||
14:00 90mTalk | On the Fly Input Refinement for Code Language Models SRC - ACM Student Research Competition Ravishka Shemal Rathnasuriya University of Texas at Dallas | ||
14:00 90mTalk | Program Feature-based Fuzzing Benchmarking SRC - ACM Student Research Competition Miao Miao The University of Texas at Dallas | ||
14:00 90mTalk | On the Automation of Code Review Tasks Through Cross-Task Knowledge Distillation SRC - ACM Student Research Competition Oussama Ben Sghaier DIRO, Université de Montréal | ||
15:00 - 15:30 | |||
15:00 30mTalk | Addressing Recurring Bugs and Workflow Challenges in Quantum Software Engineering Doctoral Symposium Jake Zappin William and Mary | ||
15:00 30mTalk | Distilling Reference Architectures from Open Source Repositories Doctoral Symposium Thi Dinh Tran Gran Sasso Science Institute | ||
15:00 30mTalk | Towards Quality Assurance of Natural Language in Code Doctoral Symposium Renyi Zhong The Chinese University of Hong Kong | ||
15:00 30mTalk | Semantic-aware Replicated Data Types for Improved Conflict Resolution in Near-synchronous Code Collaboration Doctoral Symposium Leon Freudenthaler FH Campus Wien | ||
15:00 30mTalk | Energy efficiency through architectural tactics for self-adaptive Cloud systems Doctoral Symposium Henrique David de Medeiros Télécom SudParis, Institut Polytechnique de Paris | ||
15:00 30mTalk | Augmenting the Generality and Performance of Large Language Models for Software Engineering Doctoral Symposium Fabian C. Peña University of Passau | ||
15:30 - 16:00 | |||
15:30 30mBreak | Tuesday Afternoon Break Catering | ||
16:00 - 17:30 | |||
16:00 90mTutorial | Tutorial 2: Social, Legal, Ethical, Empathetic and Cultural Requirements: from Elicitation to VerificationSE for AIRequirementsHuman/SocialReal-Time+Safety Tutorials and Technical Briefings | ||
16:00 - 17:30 | |||
16:00 75mPanel | Games and Software Panel GAS | ||
17:15 15mDay closing | GAS 2025 Closing GAS | ||
16:00 - 17:30 | |||
16:00 75mPanel | CADRI Introduction and Requirements Elicitation SE4ADS Joshua Garcia University of California, Irvine, Alfred Chen University of California, Irvine, Yuqi Huai University of California, Irvine, Yuntianyi Chen University of California, Irvine | ||
17:15 15mTalk | Closing SE4ADS Joshua Garcia University of California, Irvine | ||
16:00 - 17:30 | |||
16:00 60mPanel | Fishbowl Panel SEAMS Research Track | ||
17:00 30mDay closing | Closing SEAMS Research Track | ||
16:00 - 17:30 | Session 4RAIE at 207 Chair(s): Apostol Vassilev National Institute of Standards and Technology, Muneera Bano CSIRO's Data61 | ||
16:00 15mTalk | Towards Responsible AI in Education: Hybrid Recommendation System for K-12 Students Case Study RAIE Nazarii Drushchak SoftServe Inc., Vladyslava Tyshchenko SoftServe Inc., Nataliya Polyakovska SoftServe Inc. Pre-print | ||
16:15 12mShort-paper | Compliance Made Practical: Translating the EU AI Act into Implementable Actions RAIE Niklas Bunzel Fraunhofer Institute for Secure Information Technology | ||
16:27 15mTalk | Leveraging Existing Road-Vehicle Standards to address EU AI Act Compliance RAIE Shanza Ali Zafar Fraunhofer IKS, Jessica Kelly Fraunhofer IKS, Lena Heidemann Fraunhofer IKS, Núria Mata Fraunhofer IKS | ||
16:42 3mBreak | Mini-break RAIE | ||
16:45 35mPanel | Panel Discussion - Diversity and Inclusion in AI (Chaired by Muneera Bano) RAIE Muneera Bano CSIRO's Data61 | ||
17:20 10mDay closing | Closing Remarks RAIE Qinghua Lu Data61, CSIRO | ||
16:00 - 17:30 | |||
16:00 30mFull-paper | A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification AST Norbert Tihanyi Technology Innovation Institute, Yiannis Charalambous The University of Manchester, Ridhi Jain Technology Innovation Institute (TII), Abu Dhabi, UAE, Mohamed Amine Ferrag Guelma University, Lucas C. Cordeiro University of Manchester, UK and Federal University of Amazonas, Brazil | ||
16:30 30mFull-paper | Bringing Light into the Darkness: Leveraging Hidden Markov Models for Blackbox Fuzzing AST Anne Borcherding Fraunhofer IOSB, Mark Giraud Fraunhofer IOSB, Johannes Häring Karlsruhe Institute of Technology | ||
17:00 30mFull-paper | Incorporating Domain Knowledge into GNNs for Advanced Vulnerability Detection in Java AST ROSMAEL ZIDANE LEKEUFACK FOULEFACK Information Engineering and Computer Science (DISI)/University of Trento (UNITN), Alessandro Marchetto Università di Trento | ||
16:00 - 17:00 | Session 4: Testing (talks and panel)Doctoral Symposium at 212 Chair(s): Tayana Conte Universidade Federal do Amazonas | ||
16:00 6mTalk | TestifAI: Probabilistic Context-Aware Testing For Safe Deep Learning Models Doctoral Symposium AroojArif Northeastern University London | ||
16:06 6mTalk | Foundation Models for Automatic Issue Labeling Doctoral Symposium Giuseppe Colavito University of Bari | ||
16:12 6mTalk | Automatically Generating Single-Responsibility Unit Tests Doctoral Symposium Geraldine Galindo-Gutierrez Centro de Investigación en Ciencias Exactas e Ingenierías, Universidad Católica Boliviana | ||
16:18 6mTalk | Automatic Test Case Generation for Smart Human-Centric Ecosystems Doctoral Symposium Alind Xhyra Universitá della Svizzera Italiana (USI) Lugano, Constructor Institute of Technology (CIT) Schaffhausen | ||
16:24 6mTalk | A Framework for On the Fly Input Refinement for Deep Learning Models Doctoral Symposium Ravishka Shemal Rathnasuriya University of Texas at Dallas | ||
16:30 30mPanel | Panel: Testing Doctoral Symposium Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University, Xavier Devroey University of Namur, Annibale Panichella Delft University of Technology, Ahmed Arif University of California, Merced, Giuseppe Colavito University of Bari, Geraldine Galindo-Gutierrez Centro de Investigación en Ciencias Exactas e Ingenierías, Universidad Católica Boliviana, Ravishka Shemal Rathnasuriya University of Texas at Dallas, Alind Xhyra Universitá della Svizzera Italiana (USI) Lugano, Constructor Institute of Technology (CIT) Schaffhausen | ||
16:00 - 17:30 | |||
16:00 - 17:30 | ACM Student Research Posters and Judging 4SRC - ACM Student Research Competition at Canada Hall 3 Poster Area | ||
16:00 90mTalk | The Balancing Act of Policies in Developing Machine Learning Explanations SRC - ACM Student Research Competition Jacob Tjaden Colby College | ||
16:00 90mTalk | Towards Compatibly Mitigating Technical Lag in Maven Projects SRC - ACM Student Research Competition Rui Lu East China Normal University | ||
16:00 90mTalk | To Mock or Not to Mock: Divergence in Mocking Practices Between LLM and Developers SRC - ACM Student Research Competition Hanbin Qin Stevens Institute of Technology | ||
17:00 - 17:30 | |||
17:00 30mTalk | Automated Repair of Cyber-Physical Systems Doctoral Symposium Pablo Valle Mondragon University Pre-print | ||
17:00 30mTalk | Automatically Generating Single-Responsibility Unit Tests Doctoral Symposium Geraldine Galindo-Gutierrez Centro de Investigación en Ciencias Exactas e Ingenierías, Universidad Católica Boliviana | ||
17:00 30mTalk | Structured State Space Exploration of Dash+ Models Doctoral Symposium Aditya Shankar Narayanan University of Waterloo | ||
17:00 30mTalk | Intelligent Automation for Accelerating the Repair of Software Build Failures Doctoral Symposium Gengyi Sun University of Waterloo Pre-print | ||
17:00 30mTalk | Trustworthiness of Large Language Models for Code Doctoral Symposium Dipin Khati William & Mary | ||
17:30 - 19:00 | Newcomer Reception Tuesday Early EveningSocial, Networking and Special Rooms at Trillium Ballroom Those who are new to ICSE, join us upstairs in the Trillium Ballroom. Reception food and drinks are available. This is open to those attending the main conference for the first time, and who indicated on their registration form that they would be interested in attending. | ||
17:30 90mSocial Event | Newcomer Reception Social, Networking and Special Rooms | ||
18:00 - 22:00 | |||
18:00 4hMeeting | ICSE Steering Committee Meeting Meetings and BOFs | ||
19:00 - 22:00 | |||
19:00 - 22:00 | |||
19:00 - 22:00 | Cybersecurity Body of Knowledge BOFMeetings and BOFs at 203 For more details please see the following page | ||
19:00 3hMeeting | CyBOK BOF Meetings and BOFs O: Bastian Tenbergen State University of New York at Oswego, O: Nancy Mead Carnegie Mellon Software Engineering Institute | ||
19:00 - 22:00 | |||
19:00 3hMeeting | IEEE Software Editorial Board Meetings and BOFs | ||
19:00 - 22:00 | ASE Editorial Board Meeting OffsiteMeetings and BOFs at Restaurant for ASE Editorial Board Tuesday Eve | ||
19:00 3hMeeting | ASE Journal Editorial Board Meeting Meetings and BOFs | ||
Wed 30 AprDisplayed time zone: Eastern Time (US & Canada) change
Wed 30 Apr
Displayed time zone: Eastern Time (US & Canada) change
07:00 - 22:00 | |||
07:00 - 19:00 | |||
08:00 - 08:45 | Meditation Session with Laurie WilliamsSocial, Networking and Special Rooms at 210 Relax and Unwind: A Guided Meditation with Laurie Williams. Wednesday, April 30 at 8 am. See also the Recreational Activities Page | ||
08:00 45mOther | Meditation Session Social, Networking and Special Rooms | ||
09:00 - 12:30 | Child Care Wednesday AMSocial, Networking and Special Rooms at 102 Child Care Child Care at ICSE is free, but you must have registered for child care when you registered for the conference. If you need to add child care to your registration, please contact the registration desk. | ||
09:00 - 10:30 | |||
09:00 30mDay opening | Welcome Session Main Plenaries | ||
09:30 60mKeynote | David Parnas Keynote: Regulation of AI and Other Untrustworthy Software Main Plenaries | ||
10:30 - 11:00 | |||
10:30 30mBreak | Wednesday Morning Break Catering | ||
10:30 - 11:00 | |||
10:30 30mSocial Event | Wed morning break for Indigenous SEs from any country Social, Networking and Special Rooms | ||
11:00 - 12:30 | |||
11:00 15mTalk | SpecGen: Automated Generation of Formal Program Specifications via Large Language Models Research Track Lezhi Ma Nanjing University, Shangqing Liu Nanyang Technological University, Yi Li Nanyang Technological University, Xiaofei Xie Singapore Management University, Lei Bu Nanjing University | ||
11:15 15mTalk | Gpass: a Goal-adaptive Neural Theorem Prover based on Coq for Automated Formal Verification Research Track Yizhou Chen Peking University, Zeyu Sun Institute of Software, Chinese Academy of Sciences, Guoqing Wang Peking University, Dan Hao Peking University | ||
11:30 15mTalk | AI-Assisted Autoformalization of Combinatorics Problems in Proof Assistants New Ideas and Emerging Results (NIER) | ||
11:45 15mTalk | Formally Verified Binary-level Pointer Analysis Research Track Freek Verbeek Open Universiteit & Virginia Tech, Ali Shokri Virginia Tech, Daniel Engel Open University Of The Netherlands, Binoy Ravindran Virginia Tech | ||
12:00 15mTalk | EffBT: An Efficient Behavior Tree Reactive Synthesis and Execution Framework Research Track ziji wu National University of Defense Technology, yu huang National University of Defense Technology, peishan huang National University of Defense Technology, shanghua wen National University of Defense Technology, minglong li National University of Defense Technology, Ji Wang National University of Defense Technology | ||
12:15 7mTalk | SolSearch: An LLM-Driven Framework for Efficient SAT-Solving Code Generation New Ideas and Emerging Results (NIER) Junjie Sheng East China Normal University, Yanqiu Lin East China Normal University, Jiehao Wu East China Normal University, Yanhong Huang East China Normal University, Jianqi Shi East China Normal University, Min Zhang East China Normal University, Xiangfeng Wang East China Normal University | ||
12:22 7mTalk | Listening to the Firehose: Sonifying Z3’s Behavior New Ideas and Emerging Results (NIER) | ||
11:00 - 12:30 | |||
11:00 90mTalk | Technical Briefing 1: Qualitative Research and Qualitative Data AnalysisResearch MethodsHuman/Social Tutorials and Technical Briefings | ||
11:00 - 12:30 | |||
11:00 15mTalk | An Empirical Study on Package-Level Deprecation in Python Ecosystem Research Track Zhiqing Zhong The Chinese University of Hong Kong, Shenzhen (CUHK-Shenzhen), Shilin He Microsoft Research, Haoxuan Wang The Chinese University of Hong Kong, Shenzhen (CUHK-Shenzhen), BoXi Yu The Chinese University of Hong Kong, Shenzhen, Haowen Yang The Chinese University of Hong Kong, Shenzhen (CUHK-Shenzhen), Pinjia He Chinese University of Hong Kong, Shenzhen | ||
11:15 15mTalk | Datalog-Based Language-Agnostic Change Impact Analysis for Microservices Research Track Qingkai Shi Nanjing University, Xiaoheng Xie Ant Group, Xianjin Fu Ant Group, Peng Di Ant Group, Huawei Li Alibaba Inc., Ang Zhou Ant Group, Gang Fan Ant Group | ||
11:30 15mTalk | GenC2Rust: Towards Generating Generic Rust Code from C Research Track | ||
11:45 15mTalk | Instrumentation-Driven Evolution-Aware Runtime Verification Research Track | ||
12:00 15mTalk | Moye: A Wallbreaker for Monolithic Firmware Research Track Jintao Huang Institute of Information Engineering, Chinese Academy of Science & University of Chinese Academy of Sciences, Beijing, China, Kai Yang School of Computer, Electronics and Information, Guangxi University, Gaosheng Wang Institute of Information Engineering, Chinese Academy of Sciences & University of Chinese Academy of Sciences, Beijing, China, Zhiqiang Shi Institute of Information Engineering, Chinese Academy of Sciences & University of Chinese Academy of Sciences, Beijing, China, Zhiwen Pan Institute of Information Engineering, Chinese Academy of Sciences & University of Chinese Academy of Sciences, Beijing, China, Shichao Lv Institute of Information Engineering, Chinese Academy of Science, Limin Sun Institute of Information Engineering, Chinese Academy of Sciences & University of Chinese Academy of Sciences, Beijing, China | ||
12:15 15mTalk | Understanding and Detecting Peer Dependency Resolving Loop in npm Ecosystem Research Track Xingyu Wang Zhejiang University, MingSen Wang Zhejiang University, Wenbo Shen Zhejiang University, Rui Chang Zhejiang University | ||
11:00 - 12:30 | |||
11:00 15mTalk | Critical Variable State-Aware Directed Greybox Fuzzing Research Track Xu Chen Institute of Information Engineering at Chinese Academy of Sciences, China / University of Chinese Academy of Sciences, China, Ningning Cui Institute of Information Engineering at Chinese Academy of Sciences, China / University of Chinese Academy of Sciences, China, Zhe Pan Institute of Information Engineering at Chinese Academy of Sciences, China / University of Chinese Academy of Sciences, China, Liwei Chen Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Gang Shi Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Dan Meng Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of Sciences | ||
11:15 15mTalk | LWDIFF: An LLM-Assisted Differential Testing Framework for WebAssembly Runtimes Research Track Shiyao Zhou The Hong Kong Polytechnic University, Jincheng Wang Hong Kong Polytechnic University, He Ye Carnegie Mellon University, Hao Zhou The Hong Kong Polytechnic University, Claire Le Goues Carnegie Mellon University, Xiapu Luo Hong Kong Polytechnic University | ||
11:30 15mTalk | No Harness, No Problem: Oracle-guided Harnessing for Auto-generating C API Fuzzing Harnesses Research Track | ||
11:45 15mTalk | Parametric Falsification of Many Probabilistic Requirements under Flakiness Research Track | ||
12:00 15mTalk | REDII: Test Infrastructure to Enable Deterministic Reproduction of Failures for Distributed Systems Research Track Yang Feng Nanjing University, Zheyuan Lin Nanjing University, Dongchen Zhao Nanjing University, Mengbo Zhou Nanjing University, Jia Liu Nanjing University, James Jones University of California at Irvine | ||
12:15 15mTalk | Adopting Automated Bug Assignment in Practice - A Longitudinal Case Study at Ericsson Journal-first Papers Markus Borg CodeScene, Leif Jonsson Ericsson AB, Emelie Engstrom Lund University, Béla Bartalos Verint, Attila Szabo Ericsson | ||
11:00 - 12:30 | Human and Social Process 1SE In Practice (SEIP) / New Ideas and Emerging Results (NIER) / Journal-first Papers at 207 | ||
11:00 15mTalk | Toward a Theory on Programmer's Block Inspired by Writer's Block Journal-first Papers Belinda Schantong Chemnitz University of Technology, Norbert Siegmund Leipzig University, Janet Siegmund Chemnitz University of Technology | ||
11:15 15mTalk | Digital Twins for Software Engineering Processes New Ideas and Emerging Results (NIER) Robin Kimmel University of Stuttgart, Judith Michael RWTH Aachen University, Andreas Wortmann University of Stuttgart, Jingxi Zhang University of Stuttgart | ||
11:30 15mTalk | Discovering Ideologies of the Open Source Software Movement New Ideas and Emerging Results (NIER) Yang Yue California State University San Marcos, Yi Wang Beijing University of Posts and Telecommunications, David Redmiles University of California, Irvine | ||
11:45 15mTalk | Identifying Factors Contributing to ``Bad Days'' for Software Developers: A Mixed-Methods Study SE In Practice (SEIP) Ike Obi Purdue University, West Lafayette, Jenna L. Butler Microsoft Research, Sankeerti Haniyur Microsoft Corporation, Brian Hassan Microsoft Corporation, Margaret-Anne Storey University of Victoria, Brendan Murphy Microsoft Corporation | ||
12:00 15mTalk | Time Warp: The Gap Between Developers’ Ideal vs Actual Workweeks in an AI-Driven EraAward Winner SE In Practice (SEIP) Sukrit Kumar Georgia Institute of Technology, Drishti Goel Microsoft, Thomas Zimmermann University of California, Irvine, Brian Houck Microsoft Research, B. Ashok Microsoft Research. India, Chetan Bansal Microsoft Research | ||
12:15 15mTalk | Wearables to measure developer experience at work SE In Practice (SEIP) Charlotte Brandebusemeyer Hasso Plattner Institute, University of Potsdam, Tobias Schimmer SAP Labs, Bert Arnrich Hasso Plattner Institute, University of Potsdam | ||
11:00 - 12:30 | AI for User ExperienceSE In Practice (SEIP) / Demonstrations / Journal-first Papers / Research Track at 210 | ||
11:00 15mTalk | Automated Generation of Accessibility Test Reports from Recorded User TranscriptsAward Winner Research Track Syed Fatiul Huq University of California, Irvine, Mahan Tafreshipour University of California at Irvine, Kate Kalcevich Fable Tech Labs Inc., Sam Malek University of California at Irvine | ||
11:15 15mTalk | KuiTest: Leveraging Knowledge in the Wild as GUI Testing Oracle for Mobile Apps SE In Practice (SEIP) Yongxiang Hu Fudan University, Yu Zhang Meituan, Xuan Wang Fudan University, Yingjie Liu School of Computer Science, Fudan University, Shiyu Guo Meituan, Chaoyi Chen Meituan, Xin Wang Fudan University, Yangfan Zhou Fudan University | ||
11:30 15mTalk | GUIWatcher: Automatically Detecting GUI Lags by Analyzing Mobile Application Screencasts SE In Practice (SEIP) Wei Liu Concordia University, Montreal, Canada, Feng Lin Concordia University, Linqiang Guo Concordia University, Tse-Hsun (Peter) Chen Concordia University, Ahmed E. Hassan Queen’s University | ||
11:45 15mTalk | GUIDE: LLM-Driven GUI Generation Decomposition for Automated Prototyping Demonstrations Kristian Kolthoff Institute for Software and Systems Engineering, Clausthal University of Technology, Felix Kretzer human-centered systems Lab (h-lab), Karlsruhe Institute of Technology (KIT) , Christian Bartelt , Alexander Maedche Human-Centered Systems Lab, Karlsruhe Institute of Technology, Simone Paolo Ponzetto Data and Web Science Group, University of Mannheim | ||
12:00 15mTalk | Agent for User: Testing Multi-User Interactive Features in TikTok SE In Practice (SEIP) Sidong Feng Monash University, Changhao Du Jilin University, huaxiao liu Jilin University, Qingnan Wang Jilin University, Zhengwei Lv ByteDance, Gang Huo ByteDance, Xu Yang ByteDance, Chunyang Chen TU Munich | ||
12:15 7mTalk | Bug Analysis in Jupyter Notebook Projects: An Empirical Study Journal-first Papers Taijara Santana Federal University of Bahia, Paulo Silveira Neto Federal University Rural of Pernambuco, Eduardo Santana de Almeida Federal University of Bahia, Iftekhar Ahmed University of California at Irvine | ||
11:00 - 12:30 | |||
11:00 15mTalk | Fuzzing MLIR Compilers with Custom Mutation Synthesis Research Track Ben Limpanukorn UCLA, Jiyuan Wang University of California at Los Angeles, Hong Jin Kang University of Sydney, Eric Zitong Zhou UCLA, Miryung Kim UCLA and Amazon Web Services | ||
11:15 15mTalk | InSVDF: Interface-State-Aware Virtual Device Fuzzing Research Track Zexiang Zhang National University of Defense Knowledge, Gaoning Pan Hangzhou Dianzi University, Ruipeng Wang National University of Defense Technology, Yiming Tao Zhejiang University, Zulie Pan National University of Defense Technology, Tu Cheng , Min Zhang National University of Defense Technology, Yang Li National University of Defense Technology, Yi Shen National University of Defense Technology, Chunming Wu Zhejiang University | ||
11:30 15mTalk | Reduce Dependence for Sound Concurrency Bug Prediction Research Track Shihao Zhu State Key Laboratory of Computer Science,Institute of Software,Chinese Academy of Sciences,China, Yuqi Guo Institute of Software, Chinese Academy of Sciences, Yan Cai Institute of Software at Chinese Academy of Sciences, Bin Liang Renmin University of China, Long Zhang Institute of Software, Chinese Academy of Sciences, Rui Chen Beijing Institute of Control Engineering; Beijing Sunwise Information Technology, Tingting Yu Beijing Institute of Control Engineering; Beijing Sunwise Information Technology | ||
11:45 15mTalk | SAND: Decoupling Sanitization from Fuzzing for Low Overhead Research Track Ziqiao Kong Nanyang Technological University, Shaohua Li The Chinese University of Hong Kong, Heqing Huang City University of Hong Kong, Zhendong Su ETH Zurich | ||
12:00 15mTalk | TransferFuzz: Fuzzing with Historical Trace for Verifying Propagated Vulnerability Code Research Track Siyuan Li University of Chinese Academy of Sciences & Institute of Information Engineering Chinese Academy of Sciences, China, Yuekang Li UNSW, Zuxin Chen Institute of Information Engineering Chinese Academy of Sciences & University of Chinese Academy of Sciences, China, Chaopeng Dong Institute of Information Engineering Chinese Academy of Sciences & University of Chinese Academy of Sciences, China, Yongpan Wang University of Chinese Academy of Sciences & Institute of Information Engineering Chinese Academy of Sciences, China, Hong Li Institute of Information Engineering at Chinese Academy of Sciences, Yongle Chen Taiyuan University of Technology, China, Hongsong Zhu Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of Sciences | ||
12:15 15mTalk | Early and Realistic Exploitability Prediction of Just-Disclosed Software Vulnerabilities: How Reliable Can It Be? Journal-first Papers Emanuele Iannone Hamburg University of Technology, Giulia Sellitto University of Salerno, Emanuele Iaccarino University of Salerno, Filomena Ferrucci University of Salerno, Andrea De Lucia University of Salerno, Fabio Palomba University of Salerno Link to publication DOI Authorizer link Pre-print | ||
11:00 - 12:30 | |||
11:00 15mTalk | A Multiple Representation Transformer with Optimized Abstract Syntax Tree for Efficient Code Clone Detection Research Track TianChen Yu School of Software Engineering, South China University of Technology, Li Yuan School of Software Engineering, South China University of Technology, Guangzhou, China, Liannan Lin School of Software Engineering, South China University of Technology, Hongkui He School of Software Engineering, South China University of Technology | ||
11:15 15mTalk | Can an LLM find its way around a Spreadsheet? Research Track Cho-Ting Lee Virginia Tech, Andrew Neeser Virginia Tech, Shengzhe Xu Virginia Tech, Jay Katyan Virginia Tech, Patrick Cross Virginia Tech, Sharanya Pathakota Virginia Tech, Marigold Norman World Forest ID, John C. Simeone Simeone Consulting, LLC, Jaganmohan Chandrasekaran Virginia Tech, Naren Ramakrishnan Virginia Tech | ||
11:30 15mTalk | QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning Research Track Alex Sanchez-Stern University of Massachusetts at Amherst, Abhishek Varghese University of Massachusetts, Zhanna Kaufman University of Massachusetts, Shizhuo Zhang University of Illinois Urbana-Champaign, Talia Lily Ringer University of Illinois Urbana-Champaign, Yuriy Brun University of Massachusetts Link to publication Pre-print | ||
11:45 15mTalk | TIGER: A Generating-Then-Ranking Framework for Practical Python Type Inference Research Track Chong Wang Nanyang Technological University, Jian Zhang Nanyang Technological University, Yiling Lou Fudan University, Mingwei Liu Fudan University, Weisong Sun Nanyang Technological University, Yang Liu Nanyang Technological University, Xin Peng Fudan University | ||
12:00 15mTalk | ROCODE: Integrating Backtracking Mechanism and Program Analysis in Large Language Models for Code Generation Research Track Xue Jiang , Yihong Dong Peking University, Yongding Tao University of Electronic Science and Technology of China, Huanyu Liu Xidian University, Zhi Jin Peking University, Ge Li Peking University | ||
12:15 15mTalk | Rango: Adaptive Retrieval-Augmented Proving for Automated Software VerificationAward Winner Research Track Kyle Thompson University of California, San Diego, Nuno Saavedra INESC-ID and IST, University of Lisbon, Pedro Carrott Imperial College London, Kevin Fisher University of California San Diego, Alex Sanchez-Stern University of Massachusetts, Yuriy Brun University of Massachusetts, João F. Ferreira INESC-ID and IST, University of Lisbon, Sorin Lerner University of California at San Diego, Emily First University of California, San Diego Link to publication Pre-print | ||
11:00 - 12:30 | |||
11:00 15mTalk | A Test Oracle for Reinforcement Learning Software based on Lyapunov Stability Control TheoryAward Winner 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 15mTalk | CodeImprove: Program Adaptation for Deep Code Models Research Track | ||
11:30 15mTalk | FairQuant: Certifying and Quantifying Fairness of Deep Neural Networks Research Track Brian Hyeongseok Kim University of Southern California, Jingbo Wang University of Southern California, Chao Wang University of Southern California | ||
11:45 15mTalk | When in Doubt Throw It out: Building on Confident Learning for Vulnerability Detection New Ideas and Emerging Results (NIER) Yuanjun Gong Renmin University of China, Fabio Massacci University of Trento; Vrije Universiteit Amsterdam | ||
12:00 15mTalk | Evaluation of Tools and Frameworks for Machine Learning Model Serving 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 15mTalk | Real-time Adapting Routing (RAR): Improving Efficiency Through Continuous Learning in Software Powered by Layered Foundation Models SE In Practice (SEIP) Kirill Vasilevski Huawei Canada, Dayi Lin Centre for Software Excellence, Huawei Canada, Ahmed E. Hassan Queen’s University | ||
11:00 - 12:30 | |||
11:00 15mTalk | Calibration and Correctness of Language Models for Code Research Track Claudio Spiess University of California, Davis, David Gros University of California, Davis, Kunal Suresh Pai UC Davis, Michael Pradel University of Stuttgart, Rafiqul Rabin UL Research Institutes, Amin Alipour University of Houston, Susmit Jha SRI, Prem Devanbu University of California at Davis, Toufique Ahmed IBM Research | ||
11:15 15mTalk | An Empirical Study on Commit Message Generation using LLMs via In-Context Learning Research Track Yifan Wu Peking University, Yunpeng Wang Ant Group, Ying Li School of Software and Microelectronics, Peking University, Beijing, China, Wei Tao Fudan University, Siyu Yu The Chinese University of Hong Kong, Shenzhen (CUHK-Shenzhen), Haowen Yang The Chinese University of Hong Kong, Shenzhen (CUHK-Shenzhen), Wei Jiang , Jianguo Li Ant Group | ||
11:30 15mTalk | Instruct or Interact? Exploring and Eliciting LLMs’ Capability in Code Snippet Adaptation Through Prompt Engineering Research Track Tanghaoran Zhang National University of Defense Technology, Yue Yu PengCheng Lab, Xinjun Mao National University of Defense Technology, Shangwen Wang National University of Defense Technology, Kang Yang National University of Defense Technology, Yao Lu National University of Defense Technology, Zhang Zhang Key Laboratory of Software Engineering for Complex Systems, National University of Defense Technology, Yuxin Zhao Key Laboratory of Software Engineering for Complex Systems, National University of Defense Technology | ||
11:45 15mTalk | Search-Based LLMs for Code OptimizationAward Winner Research Track Shuzheng Gao , Cuiyun Gao Harbin Institute of Technology, Wenchao Gu The Chinese University of Hong Kong, Michael Lyu The Chinese University of Hong Kong | ||
12:00 15mTalk | Towards Better Answers: Automated Stack Overflow Post Updating Research Track Yubo Mai Zhejiang University, Zhipeng Gao Shanghai Institute for Advanced Study - Zhejiang University, Haoye Wang Hangzhou City University, Tingting Bi The University of Melbourne, Xing Hu Zhejiang University, Xin Xia Huawei, JianLing Sun Zhejiang University | ||
12:15 15mTalk | Unseen Horizons: Unveiling the Real Capability of LLM Code Generation Beyond the FamiliarAward Winner Research Track Yuanliang Zhang National University of Defense Technology, Yifan Xie , Shanshan Li National University of Defense Technology, Ke Liu , Chong Wang National University of Defense Technology, Zhouyang Jia National University of Defense Technology, Xiangbing Huang National University of Defense Technology, Jie Song National University of Defense Technology, Chaopeng Luo National University of Defense Technology, Zhizheng Zheng National University of Defense Technology, Runlin Xu National University of Defense Technology, Yitong Liu National University of Defense Technology, Si Zheng National University of Defense Technology, Liao Xiangke National University of Defense Technology | ||
12:30 - 14:00 | |||
12:30 90mMeeting | FSE Steering Committee Meeting Meetings and BOFs | ||
12:30 - 14:00 | Elsevier Author WorkshopMeetings and BOFs at 204 This session provides early career researchers with access to free resources and insights into the publishing process with Elsevier’s journals. Engage with editors from leading titles, ask your questions, and connect with fellow researchers. Free research resources (~20 minutes) + Meet the editors & Networking (~20 mins). | ||
12:30 90mMeeting | Elsevier Author Workshop Meetings and BOFs | ||
12:30 - 14:00 | CSCAN Horizon WorkshopMeetings and BOFs at 205 Unlocking Funding Opportunities for Canadian Researchers in the EU Horizon ProgramCS-Can|Info-Can, in collaboration with ISED, NRC and some European Embassies, is organizing a lunch-time event 12:30 p.m. Wednesday April 30th at ICSE 2025 to inform attendees about funding opportunities for Canadian researchers within the EU Horizon Program. | ||
12:30 90mTalk | CSCAN Horizon Workshop Introduction Meetings and BOFs | ||
12:30 - 14:00 | |||
12:30 90mMeeting | TCSE Executive Committee Meeting Meetings and BOFs | ||
12:30 - 14:00 | |||
12:30 90mSocial Event | Conversation on Equality, Diversity, and Inclusion (EDI) Social, Networking and Special Rooms | ||
12:30 - 14:00 | |||
12:30 90mLunch | Wednesday Lunch Catering | ||
12:30 - 14:00 | |||
12:30 90mSocial Event | Wed lunch for East Asian SEs Social, Networking and Special Rooms | ||
13:30 - 14:00 | Wed Lunch Posters 13:30-14:00Research Track / Journal-first Papers / New Ideas and Emerging Results (NIER) at Canada Hall 3 Poster Area | ||
13:30 30mTalk | Pattern-based Generation and Adaptation of Quantum Workflows Research Track Martin Beisel Institute of Architecture of Application Systems (IAAS), University of Stuttgart, Johanna Barzen University of Stuttgart, Frank Leymann University of Stuttgart, Lavinia Stiliadou Institute of Architecture of Application Systems (IAAS), University of Stuttgart, Daniel Vietz University of Stuttgart, Benjamin Weder Institute of Architecture of Application Systems (IAAS), University of Stuttgart | ||
13:30 30mTalk | Mole: Efficient Crash Reproduction in Android Applications With Enforcing Necessary UI Events Journal-first Papers Maryam Masoudian Sharif University of Technology, Hong Kong University of Science and Technology (HKUST), Heqing Huang City University of Hong Kong, Morteza Amini Sharif University of Technology, Charles Zhang Hong Kong University of Science and Technology | ||
13:30 30mTalk | Automated Testing Linguistic Capabilities of NLP Models Journal-first Papers Jaeseong Lee The University of Texas at Dallas, Simin Chen University of Texas at Dallas, Austin Mordahl The University of Texas at Dallas, Cong Liu University of California, Riverside, Wei Yang UT Dallas, Shiyi Wei University of Texas at Dallas | ||
13:30 30mTalk | BSan: A Powerful Identifier-Based Hardware-Independent Memory Error Detector for COTS Binaries Research Track Wen Zhang University of Georgia, Botang Xiao University of Georgia, Qingchen Kong University of Georgia, Le Guan University of Georgia, Wenwen Wang University of Georgia | ||
13:30 30mTalk | A Unit Proofing Framework for Code-level Verification: A Research Agenda New Ideas and Emerging Results (NIER) Paschal Amusuo Purdue University, Parth Vinod Patil Purdue University, Owen Cochell Michigan State University, Taylor Le Lievre Purdue University, James C. Davis Purdue University Pre-print | ||
13:30 30mTalk | Listening to the Firehose: Sonifying Z3’s Behavior New Ideas and Emerging Results (NIER) | ||
13:30 30mTalk | Towards Early Warning and Migration of High-Risk Dormant Open-Source Software Dependencies New Ideas and Emerging Results (NIER) Zijie Huang Shanghai Key Laboratory of Computer Software Testing and Evaluation, Lizhi Cai Shanghai Key Laboratory of Computer Software Testing & Evaluating, Shanghai Software Center, Xuan Mao Department of Computer Science and Engineering, East China University of Science and Technology, Shanghai, China, Kang Yang Shanghai Key Laboratory of Computer Software Testing and Evaluating, Shanghai Development Center of Computer Software Technology | ||
13:30 30mTalk | SimClone: Detecting Tabular Data Clones using Value Similarity Journal-first Papers Xu Yang University of Manitoba, Gopi Krishnan Rajbahadur Centre for Software Excellence, Huawei, Canada, Dayi Lin Centre for Software Excellence, Huawei Canada, Shaowei Wang University of Manitoba, Zhen Ming (Jack) Jiang York University | ||
13:30 30mTalk | SolSearch: An LLM-Driven Framework for Efficient SAT-Solving Code Generation New Ideas and Emerging Results (NIER) Junjie Sheng East China Normal University, Yanqiu Lin East China Normal University, Jiehao Wu East China Normal University, Yanhong Huang East China Normal University, Jianqi Shi East China Normal University, Min Zhang East China Normal University, Xiangfeng Wang East China Normal University | ||
14:00 - 17:30 | |||
14:00 - 15:30 | |||
14:00 30mTalk | ACM SIGSOFT Outstanding Research Award and Talk by Martin Rinard Main Plenaries | ||
14:30 30mTalk | IEEE Computer Society Harlan D. Mills Award and Talk by Bashar Nuseibeh Main Plenaries | ||
15:00 30mTalk | Most influential Paper ICSE N-10 Award and Talk Main Plenaries | ||
15:30 - 16:00 | |||
15:30 30mBreak | Wednesday Afternoon Break Catering | ||
15:30 - 16:00 | |||
15:30 30mSocial Event | WomenCafe@ICSE Social, Networking and Special Rooms | ||
16:00 - 17:30 | Formal Methods 2Research Track / New Ideas and Emerging Results (NIER) / Journal-first Papers at 103 | ||
16:00 15mTalk | ConsCS: Effective and Efficient Verification of Circom Circuits Research Track Jinan Jiang The Hong Kong Polytechnic University, Xinghao Peng , Jinzhao Chu The Hong Kong Polytechnic University, Xiapu Luo Hong Kong Polytechnic University | ||
16:15 15mTalk | Constrained LTL Specification Learning from Examples Research Track Changjian Zhang Carnegie Mellon University, Parv Kapoor Carnegie Mellon University, Ian Dardik Carnegie Mellon University, Leyi Cui Columbia University, New York, Romulo Meira-Goes The Pennsylvania State University, David Garlan Carnegie Mellon University, Eunsuk Kang Carnegie Mellon University | ||
16:30 15mTalk | LLM-aided Automatic Modeling for Security Protocol Verification Research Track Ziyu Mao Zhejiang University, Jingyi Wang Zhejiang University, Jun Sun Singapore Management University, Shengchao Qin Xidian University, Jiawen Xiong East China Normal University | ||
16:45 15mTalk | Model Assisted Refinement of Metamorphic Relations for Scientific Software New Ideas and Emerging Results (NIER) Clay Stevens Iowa State University, Katherine Kjeer Iowa State University, Ryan Richard Iowa State University, Edward Valeev Virginia Tech, Myra Cohen Iowa State University | ||
17:00 15mTalk | Precisely Extracting Complex Variable Values from Android Apps Journal-first Papers | ||
17:15 7mTalk | A Unit Proofing Framework for Code-level Verification: A Research Agenda New Ideas and Emerging Results (NIER) Paschal Amusuo Purdue University, Parth Vinod Patil Purdue University, Owen Cochell Michigan State University, Taylor Le Lievre Purdue University, James C. Davis Purdue University Pre-print | ||
17:22 7mTalk | Automated Testing Linguistic Capabilities of NLP Models Journal-first Papers Jaeseong Lee The University of Texas at Dallas, Simin Chen University of Texas at Dallas, Austin Mordahl The University of Texas at Dallas, Cong Liu University of California, Riverside, Wei Yang UT Dallas, Shiyi Wei University of Texas at Dallas | ||
16:00 - 17:30 | Databases and BusinessResearch Track / SE In Practice (SEIP) / Demonstrations / Journal-first Papers at 104 | ||
16:00 15mTalk | Optimization of Automated and Manual Software Tests in Industrial Practice: A Survey and Historical Analysis Journal-first Papers Roman Haas Saarland University; CQSE, Raphael Nömmer Saarbr�cken Graduate School of Computer Science, CQSE, Elmar Juergens CQSE GmbH, Sven Apel Saarland University | ||
16:15 15mTalk | A-COBREX : A Tool for Identifying Business Rules in COBOL Programs Demonstrations Samveg Shah Indian Institute of Technology, Tirupati, Shivali Agarwal IBM, Saravanan Krishnan IBM India Research Lab, Vini Kanvar IBM Research, Sridhar Chimalakonda Indian Institute of Technology, Tirupati | ||
16:30 15mTalk | Thanos: DBMS Bug Detection via Storage Engine Rotation Based Differential TestingAward Winner Research Track Ying Fu National University of Defense Technology, Zhiyong Wu Tsinghua University, China, Yuanliang Zhang National University of Defense Technology, Jie Liang , Jingzhou Fu School of Software, Tsinghua University, Yu Jiang Tsinghua University, Shanshan Li National University of Defense Technology, Liao Xiangke National University of Defense Technology | ||
16:45 15mTalk | Coni: Detecting Database Connector Bugs via State-Aware Test Case Generation Research Track Wenqian Deng Tsinghua University, Zhiyong Wu Tsinghua University, China, Jie Liang , Jingzhou Fu School of Software, Tsinghua University, Mingzhe Wang Tsinghua University, Yu Jiang Tsinghua University | ||
17:00 15mTalk | Puppy: Finding Performance Degradation Bugs in DBMSs via Limited-Optimization Plan Construction Research Track Zhiyong Wu Tsinghua University, China, Jie Liang , Jingzhou Fu School of Software, Tsinghua University, Mingzhe Wang Tsinghua University, Yu Jiang Tsinghua University | ||
17:15 15mTalk | Safe Validation of Pricing Agreements SE In Practice (SEIP) John C. Kolesar Yale University, Tancrède Lepoint Amazon Web Services, Martin Schäf Amazon Web Services, Willem Visser Amazon Web Services | ||
16:00 - 17:30 | |||
16:00 90mTalk | Technical Briefing 2 : Using Mixed Methods Research in Software EngineeringResearch Methods Tutorials and Technical Briefings | ||
16:00 - 17:30 | |||
16:00 15mTalk | Enhancing Fault Localization in Industrial Software Systems via Contrastive Learning Research Track Chun Li Nanjing University, Hui Li Samsung Electronics (China) R&D Centre, Zhong Li , Minxue Pan Nanjing University, Xuandong Li Nanjing University | ||
16:15 15mTalk | On the Understandability of MLOps System Architectures Journal-first Papers Link to publication DOI | ||
16:30 15mTalk | Bridging the Language Gap: An Empirical Study of Bindings for Open Source Machine Learning Libraries Across Software Package Ecosystems Journal-first Papers | ||
16:45 15mTalk | Understanding Code Understandability Improvements in Code Reviews Journal-first Papers Delano Hélio Oliveira , Reydne Bruno dos Santos UFPE, Benedito Fernando Albuquerque de Oliveira Federal University of Pernambuco, Martin Monperrus KTH Royal Institute of Technology, Fernando Castor University of Twente, Fernanda Madeiral Vrije Universiteit Amsterdam | ||
17:00 15mTalk | Automatic Commit Message Generation: A Critical Review and Directions for Future Work Journal-first Papers Yuxia Zhang Beijing Institute of Technology, Zhiqing Qiu Beijing Institute of Technology, Klaas-Jan Stol Lero; University College Cork; SINTEF Digital , Wenhui Zhu Beijing Institute of Technology, Jiaxin Zhu Institute of Software at Chinese Academy of Sciences, Yingchen Tian Tmall Technology Co., Hui Liu Beijing Institute of Technology | ||
17:15 7mTalk | Efficient Management of Containers for Software Defined Vehicles Journal-first Papers Anwar Ghammam Oakland University, Rania Khalsi University of Michigan - Flint, Marouane Kessentini University of Michigan - Flint, Foyzul Hassan University of Michigan at Dearborn | ||
16:00 - 17:30 | |||
16:00 15mTalk | EpiTESTER: Testing Autonomous Vehicles with Epigenetic Algorithm and Attention Mechanism Journal-first Papers Chengjie Lu Simula Research Laboratory and University of Oslo, Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University, Tao Yue Beihang University | ||
16:15 15mTalk | GenMorph: Automatically Generating Metamorphic Relations via Genetic Programming Journal-first Papers Jon Ayerdi Mondragon University, Valerio Terragni University of Auckland, Gunel Jahangirova King's College London, Aitor Arrieta Mondragon University, Paolo Tonella USI Lugano | ||
16:30 15mTalk | Guess the State: Exploiting Determinism to Improve GUI Exploration Efficiency Journal-first Papers Diego Clerissi University of Milano-Bicocca, Giovanni Denaro University of Milano - Bicocca, Marco Mobilio University of Milano Bicocca, Leonardo Mariani University of Milano-Bicocca | ||
16:45 15mTalk | Runtime Verification and Field-based Testing for ROS-based Robotic Systems Journal-first Papers Ricardo Caldas Gran Sasso Science Institute (GSSI), Juan Antonio Piñera García Gran Sasso Science Institute, Matei Schiopu Chalmers | Gothenburg University, Patrizio Pelliccione Gran Sasso Science Institute, L'Aquila, Italy, Genaína Nunes Rodrigues University of Brasília, Thorsten Berger Ruhr University Bochum | ||
17:00 15mTalk | Towards Effectively Testing Machine Translation Systems from White-Box Perspectives Journal-first Papers Hanying Shao University of Waterloo, Zishuo Ding The Hong Kong University of Science and Technology (Guangzhou), Weiyi Shang University of Waterloo, Jinqiu Yang Concordia University, Nikolaos Tsantalis Concordia University | ||
17:15 15mTalk | Using Knowledge Units of Programming Languages to Recommend Reviewers for Pull Requests: An Empirical Study Journal-first Papers Md Ahasanuzzaman Queen's University, Gustavo A. Oliva Queen's University, Ahmed E. Hassan Queen’s University, Md Ahasanuzzaman Queen's University | ||
16:00 - 17:45 | |||
16:00 15mTalk | Systematizing Inclusive Design in MOSIP: An Experience Report SE In Practice (SEIP) Soumiki Chattopadhyay Oregon State University, Amreeta Chatterjee Oregon State University, Puja Agarwal Oregon State University, Bianca Trinkenreich Colorado State University, Swarathmika Kumar MOSIP-IIIT Bangalore, Rohit Ranjan Rai MOSIP-IIIT Bangalore, Resham Chugani MOSIP-IIIT Bangalore, Pragya Kumari MOSIP-IIIT Bangalore, Margaret Burnett Oregon State University, Anita Sarma Oregon State University | ||
16:15 15mTalk | A Bot-based Approach to Manage Codes of Conduct in Open-Source Projects SE in Society (SEIS) Pre-print | ||
16:30 15mTalk | A Collaborative Framework for Cross-Domain Scientific Experiments for Society 5.0 SE in Society (SEIS) Muhammad Mainul Hossain University of Saskatchewan, Banani Roy University of Saskatchewan, Chanchal K. Roy University of Saskatchewan, Canada, Kevin Schneider University of Saskatchewan | ||
16:45 15mTalk | A First Look at AI Trends in Value-Aligned Software Engineering Publications: Human-LLM Insights SE in Society (SEIS) Ahmad Azarnik Universiti Teknologi Malaysia, Davoud Mougouei , Mahdi Fahmideh University of Southern Queensland, Elahe Mougouei Islamic Azad University Najafabad, Hoa Khanh Dam University of Wollongong, Arif Ali Khan University of Oulu, Saima Rafi Edinburgh Napier University, Javed Ali Khan University of Hertforshire Hertfordshire, UK, Aakash Ahmad School of Computing and Communications, Lancaster University Leipzig, Leipzig, Germany | ||
17:00 15mTalk | From Expectation to Habit: Why Do Software Practitioners Adopt Fairness Toolkits? SE in Society (SEIS) Gianmario Voria University of Salerno, Stefano Lambiase University of Salerno, Maria Concetta Schiavone University of Salerno, Gemma Catolino University of Salerno, Fabio Palomba University of Salerno | ||
17:15 15mTalk | Not real or too soft? On the challenges of publishing interdisciplinary software engineering research SE in Society (SEIS) Sonja Hyrynsalmi LUT University, Grischa Liebel Reykjavik University, Ronnie de Souza Santos University of Calgary, Sebastian Baltes University of Bayreuth Pre-print | ||
17:30 15mTalk | What is unethical about software? User perceptions in the Netherlands SE in Society (SEIS) Yagil Elias Vrije Universiteit Amsterdam, Tom P Humbert Vrije Universiteit Amsterdam, Lauren Olson Vrije Universiteit Amsterdam, Emitzá Guzmán Vrije Universiteit Amsterdam | ||
16:00 - 17:30 | |||
16:00 15mTalk | An Empirical Study on Developers' Shared Conversations with ChatGPT in GitHub Pull Requests and Issues Journal-first Papers Huizi Hao Queen's University, Canada, Kazi Amit Hasan Queen's University, Canada, Hong Qin Queen's University, Marcos Macedo Queen's University, Yuan Tian Queen's University, Kingston, Ontario, Ding Steven, H., H. Queen’s University at Kingston, Ahmed E. Hassan Queen’s University | ||
16:15 15mTalk | Who’s Pushing the Code: An Exploration of GitHub Impersonation Research Track Yueke Zhang Vanderbilt University, Anda Liang Vanderbilt University, Xiaohan Wang Vanderbilt University, Pamela J. Wisniewski Vanderbilt University, Fengwei Zhang Southern University of Science and Technology, Kevin Leach Vanderbilt University, Yu Huang Vanderbilt University | ||
16:30 15mTalk | Understanding Real-time Collaborative Programming: a Study of Visual Studio Live Share Journal-first Papers Xin Tan Beihang University, Xinyue Lv Beihang University, Jing Jiang Beihang University, Li Zhang Beihang University | ||
16:45 15mTalk | Characterizing the Prevalence, Distribution, and Duration of Stale Reviewer Recommendations Journal-first Papers Farshad Kazemi University of Waterloo, Maxime Lamothe Polytechnique Montreal, Shane McIntosh University of Waterloo | ||
17:00 15mTalk | Diversity's Double-Edged Sword: Analyzing Race's Effect on Remote Pair Programming Interactions Journal-first Papers | ||
17:15 7mTalk | Understanding Newcomers' Onboarding Process in Deep Learning Projects Journal-first Papers Junxiao Han , Jiahao Zhang Alibaba Group, David Lo Singapore Management University, Xin Xia Huawei, Shuiguang Deng Zhejiang University; Alibaba-Zhejiang University Joint Institute of Frontier Technologies, Minghui Wu Hangzhou City University | ||
17:22 7mTalk | Investigating the Impact of Interpersonal Challenges on Feeling Welcome in OSS Research Track Bianca Trinkenreich Colorado State University, Zixuan Feng Oregon State University, USA, Rudrajit Choudhuri Oregon State University, Marco Gerosa Northern Arizona University, Anita Sarma Oregon State University, Igor Steinmacher Northern Arizona University | ||
16:00 - 17:30 | |||
16:00 15mTalk | Understanding the Effectiveness of Coverage Criteria for Large Language Models: A Special Angle from Jailbreak Attacks Research Track shide zhou Huazhong University of Science and Technology, Li Tianlin NTU, Kailong Wang Huazhong University of Science and Technology, Yihao Huang NTU, Ling Shi Nanyang Technological University, Yang Liu Nanyang Technological University, Haoyu Wang Huazhong University of Science and Technology | ||
16:15 15mTalk | Diversity Drives Fairness: Ensemble of Higher Order Mutants for Intersectional Fairness of Machine Learning Software Research Track Zhenpeng Chen Nanyang Technological University, Xinyue Li Peking University, Jie M. Zhang King's College London, Federica Sarro University College London, Yang Liu Nanyang Technological University Pre-print | ||
16:30 15mTalk | HIFI: Explaining and Mitigating Algorithmic Bias through the Lens of Game-Theoretic Interactions Research Track Lingfeng Zhang East China Normal University, Zhaohui Wang Software Engineering Institute, East China Normal University, Yueling Zhang East China Normal University, Min Zhang East China Normal University, Jiangtao Wang Software Engineering Institute, East China Normal University | ||
16:45 15mTalk | Towards More Trustworthy Deep Code Models by Enabling Out-of-Distribution Detection Research Track Yanfu Yan William & Mary, Viet Duong William & Mary, Huajie Shao College of William & Mary, Denys Poshyvanyk William & Mary | ||
17:00 15mTalk | FairSense: Long-Term Fairness Analysis of ML-Enabled Systems Research Track Yining She Carnegie Mellon University, Sumon Biswas Carnegie Mellon University, Christian Kästner Carnegie Mellon University, Eunsuk Kang Carnegie Mellon University | ||
16:00 - 17:30 | |||
16:00 15mTalk | Neurosymbolic Modular Refinement Type Inference Research Track Georgios Sakkas UC San Diego, Pratyush Sahu UC San Diego, Kyeling Ong University of California, San Diego, Ranjit Jhala UCSD | ||
16:15 15mTalk | An Empirical Study on Automatically Detecting AI-Generated Source Code: How Far Are We? Research Track Hyunjae Suh University of California, Irvine, Mahan Tafreshipour University of California at Irvine, Jiawei Li University of California Irvine, Adithya Bhattiprolu University of California, Irvine, Iftekhar Ahmed University of California at Irvine | ||
16:30 15mTalk | Planning a Large Language Model for Static Detection of Runtime Errors in Code Snippets Research Track Smit Soneshbhai Patel University of Texas at Dallas, Aashish Yadavally University of Texas at Dallas, Hridya Dhulipala University of Texas at Dallas, Tien N. Nguyen University of Texas at Dallas | ||
16:45 15mTalk | LLMs Meet Library Evolution: Evaluating Deprecated API Usage in LLM-based Code Completion Research Track Chong Wang Nanyang Technological University, Kaifeng Huang Tongji University, Jian Zhang Nanyang Technological University, Yebo Feng Nanyang Technological University, Lyuye Zhang Nanyang Technological University, Yang Liu Nanyang Technological University, Xin Peng Fudan University | ||
17:00 15mTalk | Knowledge-Enhanced Program Repair for Data Science Code Research Track Shuyin Ouyang King's College London, Jie M. Zhang King's College London, Zeyu Sun Institute of Software, Chinese Academy of Sciences, Albert Merono Penuela King's College London | ||
17:15 7mTalk | SparseCoder: Advancing Source Code Analysis with Sparse Attention and Learned Token Pruning Journal-first Papers Xueqi Yang NCSU, Mariusz Jakubowski Microsoft, Li Kang Microsoft, Haojie Yu Microsoft, Tim Menzies North Carolina State University | ||
16:00 - 17:30 | |||
16:00 15mTalk | ADAMAS: Adaptive Domain-Aware Performance Anomaly Detection in Cloud Service Systems Research Track Wenwei Gu The Chinese University of Hong Kong, Jiazhen Gu Chinese University of Hong Kong, Jinyang Liu Chinese University of Hong Kong, Zhuangbin Chen Sun Yat-sen University, Jianping Zhang The Chinese University of Hong Kong, Jinxi Kuang The Chinese University of Hong Kong, Cong Feng Huawei Cloud Computing Technology, Yongqiang Yang Huawei Cloud Computing Technology, Michael Lyu The Chinese University of Hong Kong | ||
16:15 15mTalk | LibreLog: Accurate and Efficient Unsupervised Log Parsing Using Open-Source Large Language Models Research Track Zeyang Ma Concordia University, Dong Jae Kim DePaul University, Tse-Hsun (Peter) Chen Concordia University | ||
16:30 15mTalk | Model Editing for LLMs4Code: How Far are We? Research Track Xiaopeng Li National University of Defense Technology, Shangwen Wang National University of Defense Technology, Shasha Li National University of Defense Technology, Jun Ma National University of Defense Technology, Jie Yu National University of Defense Technology, Xiaodong Liu National University of Defense Technology, Jing Wang National University of Defense Technology, Bin Ji National University of Defense Technology, Weimin Zhang National University of Defense Technology | ||
16:45 15mTalk | Software Model Evolution with Large Language Models: Experiments on Simulated, Public, and Industrial Datasets Research Track Christof Tinnes Saarland University, Alisa Carla Welter Saarland University, Sven Apel Saarland University Pre-print | ||
17:00 15mTalk | SpecRover: Code Intent Extraction via LLMs Research Track Haifeng Ruan National University of Singapore, Yuntong Zhang National University of Singapore, Abhik Roychoudhury National University of Singapore | ||
17:15 15mTalk | Unleashing the True Potential of Semantic-based Log Parsing with Pre-trained Language Models Research Track | ||
16:00 - 17:30 | |||
16:00 15mTalk | Faster Configuration Performance Bug Testing with Neural Dual-level Prioritization Research Track Youpeng Ma University of Electronic Science and Technology of China, Tao Chen University of Birmingham, Ke Li University of Exeter | ||
16:15 15mTalk | Metamorphic-Based Many-Objective Distillation of LLMs for Code-related Tasks Research Track Annibale Panichella Delft University of Technology | ||
16:30 15mTalk | NIODebugger: A Novel Approach to Repair Non-Idempotent-Outcome Tests with LLM-Based Agent Research Track Kaiyao Ke University of Illinois at Urbana-Champaign | ||
16:45 15mTalk | Test Intention Guided LLM-based Unit Test Generation Research Track Zifan Nan Huawei, Zhaoqiang Guo Software Engineering Application Technology Lab, Huawei, China, Kui Liu Huawei, Xin Xia Huawei | ||
17:00 15mTalk | What You See Is What You Get: Attention-based Self-guided Automatic Unit Test Generation Research Track Xin Yin Zhejiang University, Chao Ni Zhejiang University, xiaodanxu College of Computer Science and Technology, Zhejiang university, Xiaohu Yang Zhejiang University | ||
17:15 15mTalk | Improving Code Performance Using LLMs in Zero-Shot: RAPGen SE In Practice (SEIP) Spandan Garg Microsoft Corporation, Roshanak Zilouchian Moghaddam Microsoft, Neel Sundaresan Microsoft | ||
16:00 - 17:30 | |||
16:00 15mTalk | An Empirical Study on Reproducible Packaging in Open-Source Ecosystems 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 15mTalk | An Extensive Empirical Study of Nondeterministic Behavior in Static Analysis Tools 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 15mTalk | Execution Trace Reconstruction Using Diffusion-Based Generative Models Research Track Madeline Janecek Brock University, Naser Ezzati Jivan , Wahab Hamou-Lhadj Concordia University, Montreal, Canada | ||
16:45 15mTalk | Interactive Cross-Language Pointer Analysis for Resolving Native Code in Java ProgramsAward Winner 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 15mTalk | Static Analysis of Remote Procedure Call in Java Programs 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 15mTalk | ArkAnalyzer: The Static Analysis Framework for OpenHarmony 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 | ||
16:00 - 17:30 | |||
16:00 15mTalk | Large Language Models for Safe Minimization Research Track Aashish Yadavally University of Texas at Dallas, xiaokai rong The University of Texas at Dallas, Phat Nguyen The University of Texas at Dallas, Tien N. Nguyen University of Texas at Dallas | ||
16:15 15mTalk | LUNA: A Model-Based Universal Analysis Framework for Large Language Models Journal-first Papers Da Song University of Alberta, Xuan Xie University of Alberta, Jiayang Song University of Alberta, Derui Zhu Technical University of Munich, Yuheng Huang University of Alberta, Canada, Felix Juefei-Xu New York University, Lei Ma The University of Tokyo & University of Alberta, Yuheng Huang University of Alberta, Canada | ||
16:30 15mTalk | Intention is All You Need: Refining Your Code from Your Intention Research Track Qi Guo Tianjin University, Xiaofei Xie Singapore Management University, Shangqing Liu Nanyang Technological University, Ming Hu Nanyang Technological University, Xiaohong Li Tianjin University, Lei Bu Nanjing University | ||
16:45 15mTalk | RLCoder: Reinforcement Learning for Repository-Level Code Completion Research Track Yanlin Wang Sun Yat-sen University, yanli wang Sun Yat-sen University, Daya Guo , Jiachi Chen Sun Yat-sen University, Ruikai Zhang Huawei Cloud Computing Technologies, Yuchi Ma Huawei Cloud Computing Technologies, Zibin Zheng Sun Yat-sen University | ||
17:00 15mTalk | InterTrans: Leveraging Transitive Intermediate Translations to Enhance LLM-based Code Translation Research Track Marcos Macedo Queen's University, Yuan Tian Queen's University, Kingston, Ontario, Pengyu Nie University of Waterloo, Filipe Cogo Centre for Software Excellence, Huawei Canada, Bram Adams Queen's University | ||
17:15 15mTalk | Toward a Theory of Causation for Interpreting Neural Code Models Journal-first Papers David Nader Palacio William & Mary, Alejandro Velasco William & Mary, Nathan Cooper William & Mary, Alvaro Rodriguez Universidad Nacional de Colombia, Kevin Moran University of Central Florida, Denys Poshyvanyk William & Mary | ||
19:00 - 22:00 | |||
19:00 - 21:00 | Reception NAC Canada RoomSocial, Networking and Special Rooms at NAC Canada Room This is one of two areas in the National Arts Centre for the Tuesday evening (7-9) ICSE2025 reception. The Canada Room will host a live Jazz Quartet | ||
19:00 2hSocial Event | Reception at the National Arts Centre Social, Networking and Special Rooms | ||
19:00 - 21:00 | Reception NAC Terrace LevelSocial, Networking and Special Rooms at NAC Terrace Level This is one of two areas in the National Arts Centre for the Tuesday evening (7-9) ICSE2025 reception. The Terrrace level has several sub-rooms. There will be a live harpist in the O’Born room, which is very beautiful. There will be light recorded music in the Rossy room. The Lantern room will remain quiet, for people who prefer conversations without music. | ||
19:00 2hSocial Event | Reception at the National Arts Centre Social, Networking and Special Rooms | ||
Thu 1 MayDisplayed time zone: Eastern Time (US & Canada) change
Thu 1 May
Displayed time zone: Eastern Time (US & Canada) change
07:00 - 22:00 | |||
07:00 - 19:00 | |||
07:00 - 08:00 | ICSE RunSocial, Networking and Special Rooms at Rideau Canal Pathway for Thursday Run Come for a run along the Canal. Meet just across Colonel By Drive from the Rogers Centre entrance at 7 a.m. For details see our Recreational Activities page | ||
07:00 60mSocial Event | ICSE Run Social, Networking and Special Rooms | ||
07:30 - 09:00 | |||
07:30 90mMeeting | ICSE 2027 Organizing Committee Meeting Meetings and BOFs G: Liliana Pasquale University College Dublin & Lero, G: Brian Fitzgerald Lero - The Irish Software Research Centre and University of Limerick | ||
09:00 - 12:30 | |||
09:00 - 10:30 | |||
09:00 30mDay opening | Thursday Early Morning Awards Session Main Plenaries | ||
09:30 60mKeynote | Neha Rungta Keynote: Engineering correctness for a domain Main Plenaries | ||
10:30 - 11:00 | Thu Morning Break Posters 10:30-11Research Track / New Ideas and Emerging Results (NIER) / Demonstrations / Journal-first Papers at Canada Hall 3 Poster Area | ||
10:30 30mTalk | Pattern-based Generation and Adaptation of Quantum Workflows Research Track Martin Beisel Institute of Architecture of Application Systems (IAAS), University of Stuttgart, Johanna Barzen University of Stuttgart, Frank Leymann University of Stuttgart, Lavinia Stiliadou Institute of Architecture of Application Systems (IAAS), University of Stuttgart, Daniel Vietz University of Stuttgart, Benjamin Weder Institute of Architecture of Application Systems (IAAS), University of Stuttgart | ||
10:30 30mTalk | A Unit Proofing Framework for Code-level Verification: A Research Agenda New Ideas and Emerging Results (NIER) Paschal Amusuo Purdue University, Parth Vinod Patil Purdue University, Owen Cochell Michigan State University, Taylor Le Lievre Purdue University, James C. Davis Purdue University Pre-print | ||
10:30 30mTalk | SolSearch: An LLM-Driven Framework for Efficient SAT-Solving Code Generation New Ideas and Emerging Results (NIER) Junjie Sheng East China Normal University, Yanqiu Lin East China Normal University, Jiehao Wu East China Normal University, Yanhong Huang East China Normal University, Jianqi Shi East China Normal University, Min Zhang East China Normal University, Xiangfeng Wang East China Normal University | ||
10:30 30mTalk | Listening to the Firehose: Sonifying Z3’s Behavior New Ideas and Emerging Results (NIER) | ||
10:30 30mTalk | HyperCRX 2.0: A Comprehensive and Automated Tool for Empowering GitHub Insights Demonstrations Yantong Wang East China Normal University, Shengyu Zhao Tongji University, will wang , Fenglin Bi East China Normal University | ||
10:30 30mTalk | Using ML filters to help automated vulnerability repairs: when it helps and when it doesn’t New Ideas and Emerging Results (NIER) Maria Camporese University of Trento, Fabio Massacci University of Trento; Vrije Universiteit Amsterdam | ||
10:30 30mTalk | Automated Testing Linguistic Capabilities of NLP Models Journal-first Papers Jaeseong Lee The University of Texas at Dallas, Simin Chen University of Texas at Dallas, Austin Mordahl The University of Texas at Dallas, Cong Liu University of California, Riverside, Wei Yang UT Dallas, Shiyi Wei University of Texas at Dallas | ||
10:30 30mTalk | Your Fix Is My Exploit: Enabling Comprehensive DL Library API Fuzzing with Large Language Models Research Track Kunpeng Zhang The Hong Kong University of Science and Technology, Shuai Wang Hong Kong University of Science and Technology, Jitao Han Central University of Finance and Economics, Xiaogang Zhu The University of Adelaide, Xian Li Swinburne University of Technology, Shaohua Wang Central University of Finance and Economics, Sheng Wen Swinburne University of Technology | ||
10:30 - 11:00 | |||
10:30 30mBreak | Thursday Morning Break Catering | ||
10:30 - 11:00 | Break area for SEs who speak Spanish to meet each otherSocial, Networking and Special Rooms at RCS Atrium | ||
10:30 30mSocial Event | Thurs morning break for Spanish speaking SEs Social, Networking and Special Rooms | ||
11:00 - 12:30 | |||
11:00 15mTalk | A Large-Scale Study of Model Integration in ML-Enabled Software Systems Research Track Yorick Sens Ruhr University Bochum, Henriette Knopp Ruhr University Bochum, Sven Peldszus Ruhr University Bochum, Thorsten Berger Ruhr University Bochum | ||
11:15 15mTalk | Are LLMs Correctly Integrated into Software Systems? 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 15mTalk | Patch Synthesis for Property Repair of Deep Neural Networks 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 15mTalk | Optimizing Experiment Configurations for LLM Applications Through Exploratory Analysis 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 15mTalk | AI-Assisted SQL Authoring at Industry Scale 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 15mTalk | Automating ML Model Development at Scale 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 | ||
11:00 - 12:30 | ACM Student Research PresentationsSRC - ACM Student Research Competition at 204 A subset of finalist ACM SRC students will give short presentations in this session. That decision about who will present will be made after the poster sessions, and this schedule will be updated, so don’t rely on the precise timing until just before the session.. They all also have posters in Canada Hall 3 Poster area, with judging to be on Tuesday. Awards will be announced in the banquet on Thursday evening. | ||
11:00 6mTalk | Automatic Fuzz Drivers for JavaScript with Type Distributions SRC - ACM Student Research Competition Mayant Mukul University of British Columbia | ||
11:06 6mTalk | CASS: Context-Aware Slice Summarization for Debugging Regression Failures SRC - ACM Student Research Competition Sahar Badihi University of British Columbia, Canada | ||
11:12 6mTalk | Characterising Algorithm Debt in Machine and Deep Learning Systems SRC - ACM Student Research Competition Emmanuel Iko-Ojo Simon Australian National University | ||
11:18 6mTalk | Consistent Graph Model Generation with Large Language Models SRC - ACM Student Research Competition Boqi Chen McGill University | ||
11:24 6mTalk | Enhancing OSS Remediation with Patch Backporting SRC - ACM Student Research Competition Lyuye Zhang Nanyang Technological University | ||
11:30 6mTalk | Identifying Performance-Sensitive Configurations in Software Systems with LLM-Driven Agents SRC - ACM Student Research Competition Zehao Wang Concordia University | ||
11:36 6mTalk | Improving Formal Methods Visualizations SRC - ACM Student Research Competition Avinash Palliyil Georgia Institute of Technology | ||
11:42 6mTalk | MUARF: Leveraging Multi-Agent Workflows for Automated Code Refactoring SRC - ACM Student Research Competition Yisen Xu Software PErformance, Analysis, and Reliability (SPEAR) lab, Concordia University, Montreal, Canada | ||
11:48 6mTalk | On the Automation of Code Review Tasks Through Cross-Task Knowledge Distillation SRC - ACM Student Research Competition Oussama Ben Sghaier DIRO, Université de Montréal | ||
11:54 6mTalk | On the Fly Input Refinement for Code Language Models SRC - ACM Student Research Competition Ravishka Shemal Rathnasuriya University of Texas at Dallas | ||
12:00 6mTalk | Program Feature-based Fuzzing Benchmarking SRC - ACM Student Research Competition Miao Miao The University of Texas at Dallas | ||
12:06 6mTalk | Revisiting SWE-Bench: On the Importance of Data Quality for LLM-based Code Models SRC - ACM Student Research Competition Reem Aleithan York University, Canada | ||
12:12 6mTalk | The Balancing Act of Policies in Developing Machine Learning Explanations SRC - ACM Student Research Competition Jacob Tjaden Colby College | ||
12:18 6mTalk | To Mock or Not to Mock: Divergence in Mocking Practices Between LLM and Developers SRC - ACM Student Research Competition Hanbin Qin Stevens Institute of Technology | ||
12:24 6mTalk | Towards Compatibly Mitigating Technical Lag in Maven Projects SRC - ACM Student Research Competition Rui Lu East China Normal University | ||
11:00 - 12:30 | |||
11:00 15mTalk | SIT: An accurate, compliant SBOM generator with incremental construction Demonstrations Changguo Jia Peking University, NIANYU LI ZGC Lab, China, Kai Yang School of Computer, Electronics and Information, Guangxi University, Minghui Zhou Peking University | ||
11:15 15mTalk | Towards Better Static Analysis Bug Reports in the Clang Static Analyzer SE In Practice (SEIP) Kristóf Umann Eötvös Loránd University, Faculty of Informatics, Dept. of Programming Languages and Compilers, Zoltán Porkoláb Ericsson | ||
11:30 15mTalk | Automatic Identification of Game Stuttering via Gameplay Videos Analysis Journal-first Papers Emanuela Guglielmi University of Molise, Gabriele Bavota Software Institute @ Università della Svizzera Italiana, Rocco Oliveto University of Molise, Simone Scalabrino University of Molise | ||
11:45 15mTalk | LLM Driven Smart Assistant for Data Mapping SE In Practice (SEIP) Arihant Bedagkar Tata Consultancy Services, Sayandeep Mitra Tata Consultancy Services, Raveendra Kumar Medicherla TCS Research, Tata Consultancy Services, Ravindra Naik TCS Research, TRDDC, India, Samiran Pal Tata Consultancy Services | ||
12:00 15mTalk | On the Diagnosis of Flaky Job Failures: Understanding and Prioritizing Failure Categories SE In Practice (SEIP) Henri Aïdasso École de technologie supérieure (ÉTS), Francis Bordeleau École de Technologie Supérieure (ETS), Ali Tizghadam TELUS Pre-print | ||
12:15 7mTalk | AddressWatcher: Sanitizer-Based Localization of Memory Leak Fixes Journal-first Papers Aniruddhan Murali University of Waterloo, Mahmoud Alfadel University of Calgary, Mei Nagappan University of Waterloo, Meng Xu University of Waterloo, Chengnian Sun University of Waterloo | ||
11:00 - 12:30 | |||
11:00 15mTalk | Code Today, Deadline Tomorrow: Procrastination Among Software Developers Research Track Zeinabsadat Saghi University of Southern California, Thomas Zimmermann University of California, Irvine, Souti Chattopadhyay University of Southern California | ||
11:15 15mTalk | "Get Me In The Groove": A Mixed Methods Study on Supporting ADHD Professional Programmers Research Track Kaia Newman Carnegie Mellon University, Sarah Snay University of Michigan, Madeline Endres University of Massachusetts Amherst, Manasvi Parikh University of Michigan, Andrew Begel Carnegie Mellon University | ||
11:30 15mTalk | Hints Help Finding and Fixing Bugs Differently in Python and Text-based Program Representations Research Track Ruchit Rawal Max Planck Institute for Software Systems, Victor-Alexandru Padurean Max Planck Institute for Software Systems, Sven Apel Saarland University, Adish Singla Max Planck Institute for Software Systems, Mariya Toneva Max Planck Institute for Software Systems Pre-print | ||
11:45 15mTalk | How Scientists Use Jupyter Notebooks: Goals, Quality Attributes, and Opportunities Research Track Ruanqianqian (Lisa) Huang University of California, San Diego, Savitha Ravi UC San Diego, Michael He UCSD, Boyu Tian University of California, San Diego, Sorin Lerner University of California at San Diego, Michael Coblenz University of California, San Diego | ||
12:00 15mTalk | Investigating the Online Recruitment and Selection Journey of Novice Software Engineers: Anti-patterns and Recommendations Journal-first Papers Miguel Setúbal Federal University of Ceará, Tayana Conte Universidade Federal do Amazonas, Marcos Kalinowski Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Allysson Allex Araújo Federal University of Cariri | ||
12:15 15mTalk | Reputation Gaming in Crowd Technical Knowledge Sharing Journal-first Papers Iren Mazloomzadeh École Polytechnique de Montréal, Gias Uddin York University, Canada, Foutse Khomh Polytechnique Montréal, Ashkan Sami Edinburgh Napier University | ||
11:00 - 12:30 | |||
11:00 90mTalk | Technical Briefing 3: Codellm-Devkit: A Framework To Contextualize Code LLMs with Program Analysis Insights Tool DemoAnalysisAI for SEHands-onProg. Comprehension/Reengg. Tutorials and Technical Briefings | ||
11:00 - 12:30 | |||
11:00 15mTalk | Accounting for Missing Events in Statistical Information Leakage Analysis Research Track Seongmin Lee Max Planck Institute for Security and Privacy (MPI-SP), Shreyas Minocha Georgia Tech, Marcel Böhme MPI for Security and Privacy | ||
11:15 15mTalk | AssetHarvester: A Static Analysis Tool for Detecting Secret-Asset Pairs in Software Artifacts Research Track Setu Kumar Basak North Carolina State University, K. Virgil English North Carolina State University, Ken Ogura North Carolina State University, Vitesh Kambara North Carolina State University, Bradley Reaves North Carolina State University, Laurie Williams North Carolina State University | ||
11:30 15mTalk | Enhancing The Open Network: Definition and Automated Detection of Smart Contract DefectsAward Winner Research Track Hao Song , Teng Li University of Electronic Science and Technology of China, Jiachi Chen Sun Yat-sen University, Ting Chen University of Electronic Science and Technology of China, Beibei Li Sichuan University, Zhangyan Lin University of Electronic Science and Technology of China, Yi Lu BitsLab, Pan Li MoveBit, Xihan Zhou TonBit | ||
11:45 15mTalk | Detecting Python Malware in the Software Supply Chain with Program Analysis SE In Practice (SEIP) Ridwan Salihin Shariffdeen SonarSource SA, Behnaz Hassanshahi Oracle Labs, Australia, Martin Mirchev National University of Singapore, Ali El Husseini National University of Singapore, Abhik Roychoudhury National University of Singapore | ||
12:00 15mTalk | $ZTD_{JAVA}$: Mitigating Software Supply Chain Vulnerabilities via Zero-Trust Dependencies Research Track Paschal Amusuo Purdue University, Kyle A. Robinson Purdue University, Tanmay Singla Purdue University, Huiyun Peng Mount Holyoke College, Aravind Machiry Purdue University, Santiago Torres-Arias Purdue University, Laurent Simon Google, James C. Davis Purdue University Pre-print | ||
12:15 15mTalk | FairChecker: Detecting Fund-stealing Bugs in DeFi Protocols via Fairness Validation Research Track | ||
11:00 - 12:30 | |||
11:00 15mTalk | An LLM-Based Agent-Oriented Approach for Automated Code Design Issue Localization Research Track Fraol Batole Tulane University, David OBrien Iowa State University, Tien N. Nguyen University of Texas at Dallas, Robert Dyer University of Nebraska-Lincoln, Hridesh Rajan Tulane University | ||
11:15 15mTalk | Distilled Lifelong Self-Adaptation for Configurable Systems Research Track | ||
11:30 15mTalk | The Software Librarian: Python Package Insights for Copilot Demonstrations Jasmine Latendresse Concordia University, Nawres Day ISSAT Sousse, SayedHassan Khatoonabadi Concordia University, Emad Shihab Concordia University | ||
11:45 15mTalk | aiXcoder-7B: A Lightweight and Effective Large Language Model for Code Processing SE In Practice (SEIP) Siyuan Jiang , Jia Li Peking University, He Zong aiXcoder, Huanyu Liu Peking University, Hao Zhu Peking University, Shukai Hu aiXcoder, Erlu Li aiXcoder, Jiazheng Ding aiXcoder, Ge Li Peking University Pre-print | ||
12:00 15mTalk | Leveraging MLOps: Developing a Sequential Classification System for RFQ Documents in Electrical Engineering SE In Practice (SEIP) Claudio Martens Fraunhofer Institute for Intelligent Analysis and Information Systems (IAIS), Hammam Abdelwahab Fraunhofer Institute for Intelligent Analysis and Information Systems (IAIS), Katharina Beckh Fraunhofer Institute for Intelligent Analysis and Information Systems (IAIS), Birgit Kirsch Fraunhofer Institute for Intelligent Analysis and Information Systems (IAIS), Vishwani Gupta Fraunhofer Institute for Intelligent Analysis and Information Systems (IAIS), Dennis Wegener Fraunhofer Institute for Intelligent Analysis and Information Systems (IAIS), Steffen Hoh Schneider Electric | ||
12:15 15mTalk | On Mitigating Code LLM Hallucinations with API Documentation SE In Practice (SEIP) Nihal Jain Amazon Web Services, Robert Kwiatkowski , Baishakhi Ray Columbia University, New York;, Murali Krishna Ramanathan AWS AI Labs, Varun Kumar AWS AI Labs | ||
11:00 - 12:30 | |||
11:00 15mTalk | COCA: Generative Root Cause Analysis for Distributed Systems with Code Knowledge Research Track Yichen LI The Chinese University of Hong Kong, Yulun Wu The Chinese University of Hong Kong, Jinyang Liu Chinese University of Hong Kong, Zhihan Jiang The Chinese University of Hong Kong, Zhuangbin Chen Sun Yat-sen University, Guangba Yu Sun Yat-sen University, Michael Lyu The Chinese University of Hong Kong | ||
11:15 15mTalk | Enhancing Code Generation via Bidirectional Comment-Level Mutual Grounding Research Track | ||
11:30 15mTalk | HumanEvo: An Evolution-aware Benchmark for More Realistic Evaluation of Repository-level Code Generation Research Track Dewu Zheng Sun Yat-sen University, Yanlin Wang Sun Yat-sen University, Ensheng Shi Xi’an Jiaotong University, Ruikai Zhang Huawei Cloud Computing Technologies, Yuchi Ma Huawei Cloud Computing Technologies, Hongyu Zhang Chongqing University, Zibin Zheng Sun Yat-sen University | ||
11:45 15mTalk | SEMANTIC CODE FINDER: An Efficient Semantic Search Framework for Large-Scale Codebases SE In Practice (SEIP) daeha ryu Innovation Center, Samsung Electronics, Seokjun Ko Samsung Electronics Co., Eunbi Jang Innovation Center, Samsung Electronics, jinyoung park Innovation Center, Samsung Electronics, myunggwan kim Innovation Center, Samsung Electronics, changseo park Innovation Center, Samsung Electronics | ||
12:00 15mTalk | Time to Retrain? Detecting Concept Drifts in Machine Learning Systems SE In Practice (SEIP) Tri Minh-Triet Pham Concordia University, Karthikeyan Premkumar Ericsson, Mohamed Naili Ericsson, Jinqiu Yang Concordia University | ||
12:15 15mTalk | UML Sequence Diagram Generation: A Multi-Model, Multi-Domain Evaluation SE In Practice (SEIP) | ||
11:00 - 12:30 | AI for RequirementsResearch Track / SE In Practice (SEIP) / Journal-first Papers / New Ideas and Emerging Results (NIER) at 213 | ||
11:00 15mTalk | From Bugs to Benefits: Improving User Stories by Leveraging Crowd Knowledge with CrUISE-AC Research Track | ||
11:15 15mTalk | LiSSA: Toward Generic Traceability Link Recovery through Retrieval-Augmented Generation Research Track Dominik Fuchß Karlsruhe Institute of Technology (KIT), Tobias Hey Karlsruhe Institute of Technology (KIT), Jan Keim Karlsruhe Institute of Technology (KIT), Haoyu Liu Karlsruhe Institute of Technology (KIT), Niklas Ewald Karlsruhe Institute of Technology (KIT), Tobias Thirolf Karlsruhe Institute of Technology (KIT), Anne Koziolek Karlsruhe Institute of Technology Pre-print | ||
11:30 15mTalk | Replication in Requirements Engineering: the NLP for RE Case Journal-first Papers Sallam Abualhaija University of Luxembourg, Fatma Başak Aydemir Utrecht University, Fabiano Dalpiaz Utrecht University, Davide Dell'Anna Utrecht University, Alessio Ferrari CNR-ISTI, Xavier Franch Universitat Politècnica de Catalunya, Davide Fucci Blekinge Institute of Technology | ||
11:45 15mTalk | On the Impact of Requirements Smells in Prompts: The Case of Automated Traceability New Ideas and Emerging Results (NIER) Andreas Vogelsang University of Cologne, Alexander Korn University of Cologne, Giovanna Broccia ISTI-CNR, FMT Lab, Alessio Ferrari Consiglio Nazionale delle Ricerche (CNR) and University College Dublin (UCD), Jannik Fischbach Netlight Consulting GmbH and fortiss GmbH, Chetan Arora Monash University | ||
12:00 15mTalk | NICE: Non-Functional Requirements Identification, Classification, and Explanation Using Small Language ModelsAward Winner SE In Practice (SEIP) | ||
11:00 - 12:30 | |||
11:00 15mTalk | A Multi-Agent Approach for REST API Testing with Semantic Graphs and LLM-Driven Inputs Research Track Myeongsoo Kim Georgia Institute of Technology, Tyler Stennett Georgia Institute of Technology, Saurabh Sinha IBM Research, Alessandro Orso Georgia Institute of Technology | ||
11:15 15mTalk | ClozeMaster: Fuzzing Rust Compiler by Harnessing LLMs for Infilling Masked Real Programs Research Track Hongyan Gao State Key Laboratory for Novel Software Technology, Nanjing University, Yibiao Yang Nanjing University, Maolin Sun Nanjing University, Jiangchang Wu State Key Laboratory for Novel Software Technology, Nanjing University, Yuming Zhou Nanjing University, Baowen Xu State Key Laboratory for Novel Software Technology, Nanjing University | ||
11:30 15mTalk | LLM Based Input Space Partitioning Testing for Library APIs Research Track Jiageng Li Fudan University, Zhen Dong Fudan University, Chong Wang Nanyang Technological University, Haozhen You Fudan University, Cen Zhang Georgia Institute of Technology, Yang Liu Nanyang Technological University, Xin Peng Fudan University | ||
11:45 15mTalk | Leveraging Large Language Models for Enhancing the Understandability of Generated Unit Tests Research Track Amirhossein Deljouyi Delft University of Technology, Roham Koohestani Delft University of Technology, Maliheh Izadi Delft University of Technology, Andy Zaidman Delft University of Technology | ||
12:00 15mTalk | exLong: Generating Exceptional Behavior Tests with Large Language Models Research Track Jiyang Zhang University of Texas at Austin, Yu Liu Meta, Pengyu Nie University of Waterloo, Junyi Jessy Li University of Texas at Austin, USA, Milos Gligoric The University of Texas at Austin | ||
12:15 15mTalk | TOGLL: Correct and Strong Test Oracle Generation with LLMs Research Track | ||
11:00 - 12:30 | |||
11:00 90mPanel | TSE 50th Anniversary Celebration Panels and Special Sessions P: Sebastian Uchitel Imperial College London & University of Buenos Aires, P: Bashar Nuseibeh The Open University, UK, P: Jeffrey Kramer Imperial College London, P: Nenad Medvidović University of Southern California, P: Matthew B Dwyer University of Virginia | ||
12:30 - 14:00 | |||
12:30 90mMeeting | ICSE 2026 Organizing Committee Meeting Meetings and BOFs G: Marcos Kalinowski Pontifical Catholic University of Rio de Janeiro (PUC-Rio), G: Rafael Prikladnicki School of Technology at PUCRS University | ||
12:30 - 14:00 | |||
12:30 90mMeeting | TOSEM Editorial Board Meeting Meetings and BOFs | ||
12:30 - 14:00 | |||
12:30 90mMeeting | FSE 2026 Program Committee Meeting Meetings and BOFs | ||
12:30 - 14:00 | |||
12:30 90mMeeting | TSE Journal Editorial Board Meeting Meetings and BOFs | ||
12:30 - 14:00 | |||
12:30 90mLunch | Thursday Lunch Catering | ||
12:30 - 14:00 | |||
12:30 90mSocial Event | Thurs lunch for South Asian SEs Social, Networking and Special Rooms | ||
12:45 - 14:00 | |||
12:45 75mLunch | LGBTQI+@ICSE Social, Networking and Special Rooms | ||
13:00 - 13:30 | Thu Lunch Posters 13:00-13:30Research Track / SE in Society (SEIS) / Journal-first Papers / SE In Practice (SEIP) at Canada Hall 3 Poster Area | ||
13:00 30mTalk | BDefects4NN: A Backdoor Defect Database for Controlled Localization Studies in Neural Networks Research Track Yisong Xiao Beihang University, Aishan Liu Beihang University; Institute of Dataspace, Xinwei Zhang Beihang University, Tianyuan Zhang Beihang University, Li Tianlin NTU, Siyuan Liang National University of Singapore, Xianglong Liu Beihang University; Institute of Dataspace; Zhongguancun Laboratory, Yang Liu Nanyang Technological University, Dacheng Tao Nanyang Technological University | ||
13:00 30mTalk | Ethical Issues in Video Games: Insights from Reddit Discussions SE in Society (SEIS) | ||
13:00 30mTalk | An Empirical Study on Developers' Shared Conversations with ChatGPT in GitHub Pull Requests and Issues Journal-first Papers Huizi Hao Queen's University, Canada, Kazi Amit Hasan Queen's University, Canada, Hong Qin Queen's University, Marcos Macedo Queen's University, Yuan Tian Queen's University, Kingston, Ontario, Ding Steven, H., H. Queen’s University at Kingston, Ahmed E. Hassan Queen’s University | ||
13:00 30mTalk | QuanTest: Entanglement-Guided Testing of Quantum Neural Network Systems Journal-first Papers Jinjing Shi Central South University, Zimeng Xiao Central South University, Heyuan Shi Central South University, Yu Jiang Tsinghua University, Xuelong LI China Telecom | ||
13:00 30mTalk | FlatD: Protecting Deep Neural Network Program from Reversing Attacks SE In Practice (SEIP) Jinquan Zhang The Pennsylvania State University, Zihao Wang Penn State University, Pei Wang Independent Researcher, Rui Zhong Palo Alto Networks, Dinghao Wu Pennsylvania State University | ||
13:00 30mTalk | Building Domain-Specific Machine Learning Workflows: A Conceptual Framework for the State-of-the-Practice Journal-first Papers Bentley Oakes Polytechnique Montréal, Michalis Famelis Université de Montréal, Houari Sahraoui DIRO, Université de Montréal | ||
13:00 30mTalk | On the acceptance by code reviewers of candidate security patches suggested by Automated Program Repair tools. Journal-first Papers Aurora Papotti Vrije Universiteit Amsterdam, Ranindya Paramitha University of Trento, Fabio Massacci University of Trento; Vrije Universiteit Amsterdam | ||
13:00 30mTalk | Automating Explanation Need Management in App Reviews: A Case Study from the Navigation App Industry SE In Practice (SEIP) Martin Obaidi Leibniz Universität Hannover, Nicolas Voß Graphmasters GmbH, Hannah Deters Leibniz University Hannover, Jakob Droste Leibniz Universität Hannover, Marc Herrmann Leibniz Universität Hannover, Jannik Fischbach Netlight Consulting GmbH and fortiss GmbH, Kurt Schneider Leibniz Universität Hannover, Software Engineering Group | ||
13:30 - 14:00 | Thu Lunch Posters 13:30-14:00Journal-first Papers / New Ideas and Emerging Results (NIER) / Research Track at Canada Hall 3 Poster Area | ||
13:30 30mTalk | Non-Autoregressive Line-Level Code Completion Journal-first Papers | ||
13:30 30mTalk | LLM-Based Test-Driven Interactive Code Generation: User Study and Empirical Evaluation Journal-first Papers Sarah Fakhoury Microsoft Research, Aaditya Naik University of Pennsylvania, Georgios Sakkas University of California at San Diego, Saikat Chakraborty Microsoft Research, Shuvendu K. Lahiri Microsoft Research | ||
13:30 30mTalk | SusDevOps: Promoting Sustainability to a First Principle in Software Delivery New Ideas and Emerging Results (NIER) Istvan David McMaster University / McMaster Centre for Software Certification (McSCert) | ||
13:30 30mTalk | Predicting the First Response Latency of Maintainers and Contributors in Pull Requests Journal-first Papers SayedHassan Khatoonabadi Concordia University, Ahmad Abdellatif University of Calgary, Diego Costa Concordia University, Canada, Emad Shihab Concordia University | ||
13:30 30mTalk | RustAssistant: Using LLMs to Fix Compilation Errors in Rust Code Research Track Pantazis Deligiannis Microsoft Research, Akash Lal Microsoft Research, Nikita Mehrotra Microsoft Research, Rishi Poddar Microsoft Research, Aseem Rastogi Microsoft Research | ||
13:30 30mTalk | Relevant information in TDD experiment reporting Journal-first Papers Fernando Uyaguari Instituto Superior Tecnológico Wissen, Silvia Teresita Acuña Castillo Universidad Autónoma de Madrid, John W. Castro Universidad de Atacama, Davide Fucci Blekinge Institute of Technology, Oscar Dieste Universidad Politécnica de Madrid, Sira Vegas Universidad Politecnica de Madrid | ||
14:00 - 17:30 | |||
14:00 - 15:30 | |||
14:00 15mTalk | Increasing the Effectiveness of Automatically Generated Tests by Improving Class ObservabilityAward Winner Research Track Geraldine Galindo-Gutierrez Centro de Investigación en Ciencias Exactas e Ingenierías, Universidad Católica Boliviana, Juan Pablo Sandoval Alcocer Pontificia Universidad Católica de Chile, Nicolas Jimenez-Fuentes Pontificia Universidad Católica de Chile, Alexandre Bergel University of Chile, Gordon Fraser University of Passau | ||
14:15 15mTalk | Invivo Fuzzing by Amplifying Actual Executions Research Track | ||
14:30 15mTalk | Towards High-strength Combinatorial Interaction Testing for Highly Configurable Software Systems Research Track Chuan Luo Beihang University, Shuangyu Lyu Beihang University, Wei Wu Central South University; Xiangjiang Laboratory, Hongyu Zhang Chongqing University, Dianhui Chu Harbin Institute of Technology, Chunming Hu Beihang University | ||
14:45 15mTalk | WDD: Weighted Delta Debugging Research Track Xintong Zhou University of Waterloo, Zhenyang Xu University of Waterloo, Mengxiao Zhang University of Waterloo, Yongqiang Tian Hong Kong University of Science and Technology, Chengnian Sun University of Waterloo | ||
15:00 15mTalk | TopSeed: Learning Seed Selection Strategies for Symbolic Execution from Scratch Research Track | ||
15:15 15mTalk | Hunting bugs: Towards an automated approach to identifying which change caused a bug through regression testing Journal-first Papers Michel Maes Bermejo Universidad Rey Juan Carlos, Alexander Serebrenik Eindhoven University of Technology, Micael Gallego Universidad Rey Juan Carlos, Francisco Gortázar Universidad Rey Juan Carlos, Gregorio Robles Universidad Rey Juan Carlos, Jesus M. Gonzalez-Barahona Universidad Rey Juan Carlos | ||
14:00 - 15:30 | |||
14:00 15mTalk | The Seeds of the FUTURE Sprout from History: Fuzzing for Unveiling Vulnerabilities in Prospective Deep-Learning LibrariesAward Winner Research Track Zhiyuan Li , Jingzheng Wu Institute of Software, The Chinese Academy of Sciences, Xiang Ling Institute of Software, Chinese Academy of Sciences, Tianyue Luo Institute of Software, Chinese Academy of Sciences, ZHIQING RUI Institute of Software, Chinese Academy of Sciences; University of Chinese Academy of Sciences, Yanjun Wu Institute of Software, Chinese Academy of Sciences | ||
14:15 15mTalk | AutoRestTest: A Tool for Automated REST API Testing Using LLMs and MARL Demonstrations Tyler Stennett Georgia Institute of Technology, Myeongsoo Kim Georgia Institute of Technology, Saurabh Sinha IBM Research, Alessandro Orso Georgia Institute of Technology | ||
14:30 15mTalk | FairBalance: How to Achieve Equalized Odds With Data Pre-processing Journal-first Papers Zhe Yu Rochester Institute of Technology, Joymallya Chakraborty Amazon.com, Tim Menzies North Carolina State University | ||
14:45 15mTalk | RLocator: Reinforcement Learning for Bug Localization Journal-first Papers Partha Chakraborty University of Waterloo, Mahmoud Alfadel University of Calgary, Mei Nagappan University of Waterloo | ||
15:00 15mTalk | Studying the explanations for the automated prediction of bug and non-bug issues using LIME and SHAP Journal-first Papers Lukas Schulte Universitity of Passau, Benjamin Ledel Digital Learning GmbH, Steffen Herbold University of Passau | ||
15:15 15mTalk | Test Generation Strategies for Building Failure Models and Explaining Spurious Failures Journal-first Papers Baharin Aliashrafi Jodat University of Ottawa, Abhishek Chandar University of Ottawa, Shiva Nejati University of Ottawa, Mehrdad Sabetzadeh University of Ottawa | ||
14:00 - 15:30 | |||
14:00 15mTalk | Between Lines of Code: Unraveling the Distinct Patterns of Machine and Human Programmers Research Track Yuling Shi Shanghai Jiao Tong University, Hongyu Zhang Chongqing University, Chengcheng Wan East China Normal University, Xiaodong Gu Shanghai Jiao Tong University | ||
14:15 15mTalk | Deep Learning-based Code Reviews: A Paradigm Shift or a Double-Edged Sword? Research Track Rosalia Tufano Università della Svizzera Italiana, Alberto Martin-Lopez Software Institute - USI, Lugano, Ahmad Tayeb , Ozren Dabic Software Institute, Università della Svizzera italiana (USI), Switzerland, Sonia Haiduc , Gabriele Bavota Software Institute @ Università della Svizzera Italiana | ||
14:30 15mTalk | An Exploratory Study of ML Sketches and Visual Code Assistants Research Track Luis F. Gomes Carnegie Mellon University, Vincent J. Hellendoorn Carnegie Mellon University, Jonathan Aldrich Carnegie Mellon University, Rui Abreu INESC-ID; University of Porto | ||
14:45 15mTalk | LiCoEval: Evaluating LLMs on License Compliance in Code Generation Research Track Weiwei Xu Peking University, Kai Gao Peking University, Hao He Carnegie Mellon University, Minghui Zhou Peking University Pre-print | ||
15:00 15mTalk | Trust Dynamics in AI-Assisted Development: Definitions, Factors, and Implications Research Track Sadra Sabouri University of Southern California, Philipp Eibl University of Southern California, Xinyi Zhou University of Southern California, Morteza Ziyadi Amazon AGI, Nenad Medvidović University of Southern California, Lars Lindemann University of Southern California, Souti Chattopadhyay University of Southern California Pre-print | ||
15:15 15mTalk | What Guides Our Choices? Modeling Developers' Trust and Behavioral Intentions Towards GenAI Research Track Rudrajit Choudhuri Oregon State University, Bianca Trinkenreich Colorado State University, Rahul Pandita GitHub, Inc., Eirini Kalliamvakou GitHub, Igor Steinmacher Northern Arizona University, Marco Gerosa Northern Arizona University, Christopher Sanchez Oregon State University, Anita Sarma Oregon State University Pre-print | ||
14:00 - 15:30 | |||
14:00 15mTalk | Large Language Models as Configuration Validators Research Track Xinyu Lian University of Illinois at Urbana-Champaign, Yinfang Chen University of Illinois at Urbana-Champaign, Runxiang Cheng University of Illinois at Urbana-Champaign, Jie Huang University of Illinois at Urbana-Champaign, Parth Thakkar Meta Platforms, Inc., Minjia Zhang UIUC, Tianyin Xu University of Illinois at Urbana-Champaign | ||
14:15 15mTalk | LLM Assistance for Memory Safety Research Track Nausheen Mohammed Microsoft Research, Akash Lal Microsoft Research, Aseem Rastogi Microsoft Research, Subhajit Roy IIT Kanpur, Rahul Sharma Microsoft Research | ||
14:30 15mTalk | Vulnerability Detection with Code Language Models: How Far Are We? Research Track Yangruibo Ding Columbia University, Yanjun Fu University of Maryland, Omniyyah Ibrahim King Abdulaziz City for Science and Technology, Chawin Sitawarin University of California, Berkeley, Xinyun Chen , Basel Alomair King Abdulaziz City for Science and Technology, David Wagner UC Berkeley, Baishakhi Ray Columbia University, New York;, Yizheng Chen University of Maryland | ||
14:45 15mTalk | Combining Fine-Tuning and LLM-based Agents for Intuitive Smart Contract Auditing with Justifications Research Track Wei Ma , Daoyuan Wu The Hong Kong University of Science and Technology, Yuqiang Sun Nanyang Technological University, Tianwen Wang National University of Singapore, Shangqing Liu Nanyang Technological University, Jian Zhang Nanyang Technological University, Yue Xue , Yang Liu Nanyang Technological University | ||
15:00 15mTalk | Towards Neural Synthesis for SMT-assisted Proof-Oriented ProgrammingAward Winner Research Track Saikat Chakraborty Microsoft Research, Gabriel Ebner Microsoft Research, Siddharth Bhat University of Cambridge, Sarah Fakhoury Microsoft Research, Sakina Fatima University of Ottawa, Shuvendu K. Lahiri Microsoft Research, Nikhil Swamy Microsoft Research | ||
15:15 15mTalk | Prompt-to-SQL Injections in LLM-Integrated Web Applications: Risks and Defenses Research Track Rodrigo Resendes Pedro INESC-ID / IST, Universidade de Lisboa, Miguel E. Coimbra INESC-ID / IST, Universidade de Lisboa, Daniel Castro INESC-ID / IST, Universidade de Lisboa, Paulo Carreira INESC-ID / IST, Universidade de Lisboa, Nuno Santos INESC-ID / Instituto Superior Tecnico, University of Lisbon | ||
14:00 - 15:30 | |||
14:00 15mTalk | CKGFuzzer: LLM-Based Fuzz Driver Generation Enhanced By Code Knowledge GraphAward Winner Industry Challenge Track Hanxiang Xu Huazhong University of Science and Technology, Wei Ma , Ting Zhou Huazhong University of Science and Technology, Yanjie Zhao Huazhong University of Science and Technology, Kai Chen Huazhong University of Science and Technology, Qiang Hu The University of Tokyo, Yang Liu Nanyang Technological University, Haoyu Wang Huazhong University of Science and Technology | ||
14:15 15mTalk | ClauseBench: Enhancing Software License Analysis with Clause-Level Benchmarking Industry Challenge Track Qiang Ke Huazhong University of Science and Technology, Xinyi Hou Huazhong University of Science and Technology, Yanjie Zhao Huazhong University of Science and Technology, Haoyu Wang Huazhong University of Science and Technology | ||
14:30 15mTalk | CodeMorph: Mitigating Data Leakage in Large Language Model Assessment Industry Challenge Track Hongzhou Rao Huazhong University of Science and Technology, Yanjie Zhao Huazhong University of Science and Technology, Wenjie Zhu Huazhong University of Science and Technology, Ling Xiao Huazhong University of Science and Technology, Meizhen Wang Huazhong University of Science and Technology, Haoyu Wang Huazhong University of Science and Technology | ||
14:45 15mTalk | CommitShield: Tracking Vulnerability Introduction and Fix in Version Control Systems Industry Challenge Track Zhaonan Wu Huazhong University of Science and Technology, Yanjie Zhao Huazhong University of Science and Technology, Chen Wei MYbank, Ant Group, Zirui Wan Huazhong University of Science and Technology, Yue Liu Monash University, Haoyu Wang Huazhong University of Science and Technology | ||
15:00 15mTalk | Exploring Large Language Models for Analyzing Open Source License Conflicts: How Far Are We? Industry Challenge Track Xing Cui Institute of Software, Chinese Academy of Sciences, Jingzheng Wu Institute of Software, The Chinese Academy of Sciences, Xiang Ling Institute of Software, Chinese Academy of Sciences, Tianyue Luo Institute of Software, Chinese Academy of Sciences, Mutian Yang Beijing ZhongKeWeiLan Technology Co.,Ltd., Wenxiang Ou Institute of Software, Chinese Academy of Sciences | ||
15:15 15mTalk | OSS-LCAF: Open-Source Software License Conflict Analysis Framework Industry Challenge Track | ||
14:00 - 15:30 | |||
14:00 15mTalk | Boosting Path-Sensitive Value Flow Analysis via Removal of Redundant Summaries Research Track Yongchao WANG Hong Kong University of Science and Technology, Yuandao Cai Hong Kong University of Science and Technology, Charles Zhang Hong Kong University of Science and Technology | ||
14:15 15mTalk | Dockerfile Flakiness: Characterization and Repair Research Track Taha Shabani University of British Columbia, Noor Nashid University of British Columbia, Parsa Alian University of British Columbia, Ali Mesbah University of British Columbia | ||
14:30 15mTalk | Evaluating Garbage Collection Performance Across Managed Language Runtimes Research Track Yicheng Wang Institute of Software Chinese Academy of Sciences, Wensheng Dou Institute of Software Chinese Academy of Sciences, Yu Liang Institute of Software Chinese Academy of Sciences, Yi Wang Institute of Software Chinese Academy of Sciences, Wei Wang Institute of Software at Chinese Academy of Sciences, Jun Wei Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Tao Huang Institute of Software Chinese Academy of Sciences | ||
14:45 15mTalk | Module-Aware Context Sensitive Pointer Analysis Research Track Haofeng Li Institute of Computing Technology at Chinese Academy of Sciences, Chenghang Shi SKLP, Institute of Computing Technology, CAS, Jie Lu SKLP, Institute of Computing Technology, CAS, Lian Li Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Zixuan Zhao Huawei Technologies Co. Ltd | ||
15:00 15mTalk | SUPERSONIC: Learning to Generate Source Code Optimizations in C/C++ Journal-first Papers Zimin Chen KTH Royal Institute of Technology, Sen Fang North Carolina State University, Martin Monperrus KTH Royal Institute of Technology | ||
15:15 15mTalk | T-Rec: Fine-Grained Language-Agnostic Program Reduction Guided by Lexical Syntax Journal-first Papers Zhenyang Xu University of Waterloo, Yongqiang Tian Hong Kong University of Science and Technology, Mengxiao Zhang , Jiarui Zhang University of Waterloo, Puzhuo Liu Beijing Key Laboratory of IOT Information Security Technology, Institute of Information Engineering, CAS, Beijing, China； School of Cyber Security, University of Chinese Academy of Sciences, Beijing, China；, Yu Jiang Tsinghua University, Chengnian Sun University of Waterloo | ||
14:00 - 15:30 | |||
14:00 15mTalk | Code Comment Inconsistency Detection and Rectification Using a Large Language Model Research Track Guoping Rong Nanjing University, YongdaYu Nanjing University, Song Liu Nanjing University, Xin Tan Nanjing University, Tianyi Zhang Nanjing University, Haifeng Shen Southern Cross University, Jidong Hu Zhongxing Telecom Equipment | ||
14:15 15mTalk | Context Conquers Parameters: Outperforming Proprietary LLM in Commit Message Generation Research Track Aaron Imani University of California, Irvine, Iftekhar Ahmed University of California at Irvine, Mohammad Moshirpour University of California, Irvine | ||
14:30 15mTalk | HedgeCode: A Multi-Task Hedging Contrastive Learning Framework for Code Search Research Track Gong Chen Wuhan University, Xiaoyuan Xie Wuhan University, Xunzhu Tang University of Luxembourg, Qi Xin Wuhan University, Wenjie Liu Wuhan University | ||
14:45 15mTalk | Reasoning Runtime Behavior of a Program with LLM: How Far Are We? Research Track Junkai Chen Zhejiang University, Zhiyuan Pan Zhejiang University, Xing Hu Zhejiang University, Zhenhao Li York University, Ge Li Peking University, Xin Xia Huawei | ||
15:00 15mTalk | Source Code Summarization in the Era of Large Language Models Research Track Weisong Sun Nanjing University, Yun Miao Nanjing University, Yuekang Li UNSW, Hongyu Zhang Chongqing University, Chunrong Fang Nanjing University, Yi Liu Nanyang Technological University, Gelei Deng Nanyang Technological University, Yang Liu Nanyang Technological University, Zhenyu Chen Nanjing University | ||
15:15 15mTalk | Template-Guided Program Repair in the Era of Large Language Models Research Track Kai Huang , Jian Zhang Nanyang Technological University, Xiangxin Meng Beihang University, Beijing, China, Yang Liu Nanyang Technological University | ||
14:00 - 15:30 | Panel 1: The Future of Software Engineering Beyond the Hype of AIPanels and Special Sessions at 214 Chair(s): Steven D. Fraser Innoxec | ||
14:00 90mPanel | Panel 1: The Future of Software Engineering Beyond the Hype of AI Panels and Special Sessions P: Steven D. Fraser Innoxec, P: Dennis Mancl MSWX Software Experts, P: Tom DeMarco , P: Maria Klawe Math For America, P: Bertrand Meyer Constructor Institute Schaffhausen, P: Adriana Meza Soria MIT-IBM Watson AI Lab, P: Mary Shaw Carnegie Mellon University, P: Laurie Williams North Carolina State University | ||
14:00 - 15:30 | |||
14:00 15mTalk | Dissecting Global Search: A Simple yet Effective Method to Boost Individual Discrimination Testing and Repair 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 15mTalk | FixDrive: Automatically Repairing Autonomous Vehicle Driving Behaviour for $0.08 per Violation 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 15mTalk | MARQ: Engineering Mission-Critical AI-based Software with Automated Result Quality Adaptation 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 15mTalk | An Empirical Study of Challenges in Machine Learning Asset Management 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 15mTalk | A Reference Model for Empirically Comparing LLMs with Humans 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 7mTalk | Building Domain-Specific Machine Learning Workflows: A Conceptual Framework for the State-of-the-Practice Journal-first Papers Bentley Oakes Polytechnique Montréal, Michalis Famelis Université de Montréal, Houari Sahraoui DIRO, Université de Montréal | ||
15:30 - 16:00 | Thu Afternoon Break Posters 15:30-16:00Journal-first Papers / Research Track / New Ideas and Emerging Results (NIER) / SE in Society (SEIS) at Canada Hall 3 Poster Area | ||
15:30 30mTalk | Mole: Efficient Crash Reproduction in Android Applications With Enforcing Necessary UI Events Journal-first Papers Maryam Masoudian Sharif University of Technology, Hong Kong University of Science and Technology (HKUST), Heqing Huang City University of Hong Kong, Morteza Amini Sharif University of Technology, Charles Zhang Hong Kong University of Science and Technology | ||
15:30 30mTalk | Best ends by the best means: ethical concerns in app reviews Journal-first Papers Neelam Tjikhoeri Vrije Universiteit Amsterdam, Lauren Olson Vrije Universiteit Amsterdam, Emitzá Guzmán Vrije Universiteit Amsterdam | ||
15:30 30mTalk | Shaken, Not Stirred. How Developers Like Their Amplified Tests Journal-first Papers Carolin Brandt Delft University of Technology, Ali Khatami Delft University of Technology, Mairieli Wessel Radboud University, Andy Zaidman Delft University of Technology | ||
15:30 30mTalk | BSan: A Powerful Identifier-Based Hardware-Independent Memory Error Detector for COTS Binaries Research Track Wen Zhang University of Georgia, Botang Xiao University of Georgia, Qingchen Kong University of Georgia, Le Guan University of Georgia, Wenwen Wang University of Georgia | ||
15:30 30mTalk | Towards Early Warning and Migration of High-Risk Dormant Open-Source Software Dependencies New Ideas and Emerging Results (NIER) Zijie Huang Shanghai Key Laboratory of Computer Software Testing and Evaluation, Lizhi Cai Shanghai Key Laboratory of Computer Software Testing & Evaluating, Shanghai Software Center, Xuan Mao Department of Computer Science and Engineering, East China University of Science and Technology, Shanghai, China, Kang Yang Shanghai Key Laboratory of Computer Software Testing and Evaluating, Shanghai Development Center of Computer Software Technology | ||
15:30 30mTalk | Exploring User Privacy Awareness on GitHub: An Empirical Study Journal-first Papers Costanza Alfieri Università degli Studi dell'Aquila, Juri Di Rocco University of L'Aquila, Paola Inverardi Gran Sasso Science Institute, Phuong T. Nguyen University of L’Aquila | ||
15:30 30mTalk | SimClone: Detecting Tabular Data Clones using Value Similarity Journal-first Papers Xu Yang University of Manitoba, Gopi Krishnan Rajbahadur Centre for Software Excellence, Huawei, Canada, Dayi Lin Centre for Software Excellence, Huawei Canada, Shaowei Wang University of Manitoba, Zhen Ming (Jack) Jiang York University | ||
15:30 30mTalk | Strategies to Embed Human Values in Mobile Apps: What do End-Users and Practitioners Think? SE in Society (SEIS) Rifat Ara Shams CSIRO's Data61, Mojtaba Shahin RMIT University, Gillian Oliver Monash University, Jon Whittle CSIRO's Data61 and Monash University, Waqar Hussain Data61, CSIRO, Harsha Perera CSIRO's Data61, Arif Nurwidyantoro Universitas Gadjah Mada | ||
15:30 - 16:00 | |||
15:30 30mBreak | Thursday Afternoon Break Catering | ||
15:30 - 16:00 | Break area for SEs who speak French to meet each otherSocial, Networking and Special Rooms at RCS Atrium | ||
15:30 30mSocial Event | Thurs afternoon break for Francophone SEs Social, Networking and Special Rooms | ||
16:00 - 17:30 | |||
16:00 90mMeeting | TCSE and SIGSoft Town Hall Meeting Meetings and BOFs | ||
16:00 - 18:00 | ICSE SoccerSocial, Networking and Special Rooms at Matt Anthony Field for Soccer Game Thursday 4-6 Join us for the annual ICSE Soccer Game. Teams will have been formed in advance from those who showed interest in February and March, but you can still come and watch! For info, see our Recreational Activities page. | ||
16:00 2hSocial Event | ICSE Soccer Social, Networking and Special Rooms | ||
19:00 - 22:00 | |||
19:00 - 23:00 | |||
19:00 4hDinner | Banquet Social, Networking and Special Rooms | ||
Fri 2 MayDisplayed time zone: Eastern Time (US & Canada) change
Fri 2 May
Displayed time zone: Eastern Time (US & Canada) change
07:00 - 15:30 | |||
07:00 - 19:00 | |||
09:00 - 12:30 | |||
09:00 - 10:30 | |||
09:00 20mDay opening | Introduction to ICSE 2026 Main Plenaries | ||
09:20 70mKeynote | Patricia Lago Keynote: Title: Software Sustainability and its Engineering: How far have we come? Main Plenaries | ||
10:30 - 11:00 | Fri Morning Break Posters 10:30-11Journal-first Papers / SE In Practice (SEIP) / Research Track / SE in Society (SEIS) / New Ideas and Emerging Results (NIER) at Canada Hall 3 Poster Area | ||
10:30 30mTalk | An Empirical Study on Developers' Shared Conversations with ChatGPT in GitHub Pull Requests and Issues Journal-first Papers Huizi Hao Queen's University, Canada, Kazi Amit Hasan Queen's University, Canada, Hong Qin Queen's University, Marcos Macedo Queen's University, Yuan Tian Queen's University, Kingston, Ontario, Ding Steven, H., H. Queen’s University at Kingston, Ahmed E. Hassan Queen’s University | ||
10:30 30mTalk | Automating Explanation Need Management in App Reviews: A Case Study from the Navigation App Industry SE In Practice (SEIP) Martin Obaidi Leibniz Universität Hannover, Nicolas Voß Graphmasters GmbH, Hannah Deters Leibniz University Hannover, Jakob Droste Leibniz Universität Hannover, Marc Herrmann Leibniz Universität Hannover, Jannik Fischbach Netlight Consulting GmbH and fortiss GmbH, Kurt Schneider Leibniz Universität Hannover, Software Engineering Group | ||
10:30 30mTalk | On the acceptance by code reviewers of candidate security patches suggested by Automated Program Repair tools. Journal-first Papers Aurora Papotti Vrije Universiteit Amsterdam, Ranindya Paramitha University of Trento, Fabio Massacci University of Trento; Vrije Universiteit Amsterdam | ||
10:30 30mTalk | Relevant information in TDD experiment reporting Journal-first Papers Fernando Uyaguari Instituto Superior Tecnológico Wissen, Silvia Teresita Acuña Castillo Universidad Autónoma de Madrid, John W. Castro Universidad de Atacama, Davide Fucci Blekinge Institute of Technology, Oscar Dieste Universidad Politécnica de Madrid, Sira Vegas Universidad Politecnica de Madrid | ||
10:30 30mTalk | BDefects4NN: A Backdoor Defect Database for Controlled Localization Studies in Neural Networks Research Track Yisong Xiao Beihang University, Aishan Liu Beihang University; Institute of Dataspace, Xinwei Zhang Beihang University, Tianyuan Zhang Beihang University, Li Tianlin NTU, Siyuan Liang National University of Singapore, Xianglong Liu Beihang University; Institute of Dataspace; Zhongguancun Laboratory, Yang Liu Nanyang Technological University, Dacheng Tao Nanyang Technological University | ||
10:30 30mTalk | Ethical Issues in Video Games: Insights from Reddit Discussions SE in Society (SEIS) | ||
10:30 30mTalk | SusDevOps: Promoting Sustainability to a First Principle in Software Delivery New Ideas and Emerging Results (NIER) Istvan David McMaster University / McMaster Centre for Software Certification (McSCert) | ||
10:30 - 11:00 | |||
10:30 30mBreak | Friday Morning Break Catering | ||
10:30 - 11:00 | DisabiliTEA - Break area for those with disabilities to meet each otherSocial, Networking and Special Rooms at RCS Atrium | ||
10:30 30mSocial Event | DisabiliTEA@ICSE Friday Morning Social, Networking and Special Rooms | ||
11:00 - 12:30 | |||
11:00 90mTalk | Technical Briefing 4: Architecting Digital Twin-Based SystemsDesign/ArchDigital twins Tutorials and Technical Briefings | ||
11:00 - 12:30 | |||
11:00 15mTalk | Automated Test Generation For Smart Contracts via On-Chain Test Case Augmentation and Migration Research Track Jiashuo Zhang Peking University, China, Jiachi Chen Sun Yat-sen University, John Grundy Monash University, Jianbo Gao Peking University, Yanlin Wang Sun Yat-sen University, Ting Chen University of Electronic Science and Technology of China, Zhi Guan Peking University, Zhong Chen | ||
11:15 15mTalk | Boosting Code-line-level Defect Prediction with Spectrum Information and Causality Analysis Research Track Shiyu Sun , Yanhui Li Nanjing University, Lin Chen Nanjing University, Yuming Zhou Nanjing University, Jianhua Zhao Nanjing University, China | ||
11:30 15mTalk | BatFix: Repairing language model-based transpilation Journal-first Papers Daniel Ramos INESC-ID / IST, ULisboa, and Carnegie Mellon University, Ines Lynce INESC-ID/IST, Universidade de Lisboa, Vasco Manquinho INESC-ID; Universidade de Lisboa, Ruben Martins Carnegie Mellon University, Claire Le Goues Carnegie Mellon University | ||
11:45 15mTalk | Tracking the Evolution of Static Code Warnings: The State-of-the-Art and a Better Approach Journal-first Papers | ||
12:00 15mTalk | PACE: A Program Analysis Framework for Continuous Performance Prediction Journal-first Papers | ||
12:15 7mTalk | Mimicking Production Behavior With Generated Mocks Journal-first Papers Deepika Tiwari KTH Royal Institute of Technology, Martin Monperrus KTH Royal Institute of Technology, Benoit Baudry Université de Montréal | ||
11:00 - 12:30 | |||
11:00 15mTalk | DPFuzzer: Discovering Safety Critical Vulnerabilities for Drone Path Planners Research Track Yue Wang , Chao Yang Xidian University, Xiaodong Zhang , Yuwanqi Deng Xidian University, Jianfeng Ma Xidian University | ||
11:15 15mTalk | IRFuzzer: Specialized Fuzzing for LLVM Backend Code Generation Research Track Yuyang Rong University of California, Davis, Zhanghan Yu University of California, Davis, Zhenkai Weng University of California, Davis, Stephen Neuendorffer Advanced Micro Devices, Inc., Hao Chen University of California at Davis | ||
11:30 15mTalk | Ranking Relevant Tests for Order-Dependent Flaky Tests Research Track Shanto Rahman The University of Texas at Austin, Bala Naren Chanumolu George Mason University, Suzzana Rafi George Mason University, August Shi The University of Texas at Austin, Wing Lam George Mason University | ||
11:45 15mTalk | Selecting Initial Seeds for Better JVM Fuzzing Research Track Tianchang Gao Tianjin University, Junjie Chen Tianjin University, Dong Wang Tianjin University, Yile Guo College of Intelligence and Computing, Tianjin University, Yingquan Zhao Tianjin University, Zan Wang Tianjin University | ||
12:00 15mTalk | Toward a Better Understanding of Probabilistic Delta Debugging Research Track Mengxiao Zhang , Zhenyang Xu University of Waterloo, Yongqiang Tian Hong Kong University of Science and Technology, Xinru Cheng University of Waterloo, Chengnian Sun University of Waterloo | ||
12:15 15mTalk | Tumbling Down the Rabbit Hole: How do Assisting Exploration Strategies Facilitate Grey-box Fuzzing?Award Winner Research Track Mingyuan Wu Southern University of Science and Technology, Jiahong Xiang Southern University of Science and Technology, Kunqiu Chen Southern University of Science and Technology, Peng Di Ant Group, Shin Hwei Tan Concordia University, Heming Cui University of Hong Kong, Yuqun Zhang Southern University of Science and Technology | ||
11:00 - 12:30 | Human and Social 3SE In Practice (SEIP) / Journal-first Papers / Research Track / New Ideas and Emerging Results (NIER) at 206 plus 208 | ||
11:00 15mTalk | Relationship Status: “It’s complicated” Developer-Security Expert Dynamics in Scrum Research Track Houda Naji Ruhr University Bochum, Marco Gutfleisch Ruhr University Bochum, Alena Naiakshina Ruhr University Bochum | ||
11:15 15mTalk | Soft Skills in Software Engineering: Insights from the Trenches SE In Practice (SEIP) Sanna Malinen University of Canterbury, Matthias Galster University of Canterbury, Antonija Mitrovic University of Canterbury, New Zealand, Sreedevi Sankara Iyer University of Canterbury, Pasan Peiris University of Canterbury, New Zealand, April Clarke University of Canterbury | ||
11:30 15mTalk | A Unified Browser-Based Consent Management Framework New Ideas and Emerging Results (NIER) Gayatri Priyadarsini Indian Institute of Technology Gandhinagar, Abhishek Bichhawat IIT Gandhinagar, India | ||
11:45 15mTalk | Predicting Attrition among Software Professionals: Antecedents and Consequences of Burnout and Engagement Journal-first Papers Bianca Trinkenreich Colorado State University, Fabio Marcos De Abreu Santos Colorado State University, USA, Klaas-Jan Stol Lero; University College Cork; SINTEF Digital | ||
12:00 7mTalk | A Controlled Experiment in Age and Gender Bias When Reading Technical Articles in Software Engineering Journal-first Papers Anda Liang Vanderbilt University, Emerson Murphy-Hill Google, Westley Weimer University of Michigan, Yu Huang Vanderbilt University | ||
12:07 7mTalk | Best ends by the best means: ethical concerns in app reviews Journal-first Papers Neelam Tjikhoeri Vrije Universiteit Amsterdam, Lauren Olson Vrije Universiteit Amsterdam, Emitzá Guzmán Vrije Universiteit Amsterdam | ||
12:14 7mTalk | Shaken, Not Stirred. How Developers Like Their Amplified Tests Journal-first Papers Carolin Brandt Delft University of Technology, Ali Khatami Delft University of Technology, Mairieli Wessel Radboud University, Andy Zaidman Delft University of Technology | ||
12:21 7mTalk | Exploring User Privacy Awareness on GitHub: An Empirical Study Journal-first Papers Costanza Alfieri Università degli Studi dell'Aquila, Juri Di Rocco University of L'Aquila, Paola Inverardi Gran Sasso Science Institute, Phuong T. Nguyen University of L’Aquila | ||
11:00 - 12:30 | |||
11:00 15mTalk | A Study of Undefined Behavior Across Foreign Function Boundaries in Rust Libraries Research Track Ian McCormack Carnegie Mellon University, Joshua Sunshine Carnegie Mellon University, Jonathan Aldrich Carnegie Mellon University Pre-print | ||
11:15 15mTalk | Cooperative Software Verification via Dynamic Program Splitting Research Track Cedric Richter University of Oldenburg, Marek Chalupa Institute of Science and Technology Austria, Marie-Christine Jakobs LMU Munich, Germany, Heike Wehrheim University of Oldenburg | ||
11:30 15mTalk | Exposing the Hidden Layer: Software Repositories in the Service of SEO Manipulation Research Track Mengying Wu Fudan University, Geng Hong Fudan University, Wuyuao Mai Fudan University, Xinyi Wu Fudan University, Lei Zhang Fudan University, Yingyuan Pu QI-ANXIN Technology Research Institute, Huajun Chai QI-ANXIN Technology Research Institute, Lingyun Ying Qi An Xin Group Corp., Haixin Duan Institute for Network Science and Cyberspace, Tsinghua University; Qi An Xin Group Corp., Min Yang Fudan University | ||
11:45 15mTalk | Hetrify: Efficient Verification of Heterogeneous Programs on RISC-VAward Winner Research Track Yiwei Li School of Computer, National Univer sity of Defense Technology, Liangze Yin School of Computer, National Univer sity of Defense Technology, Wei Dong National University of Defense Technology, Jiaxin Liu National University of Defense Technology, Yanfeng Hu School of Computer, National Univer sity of Defense Technology, Shanshan Li National University of Defense Technology | ||
12:00 15mTalk | Hyperion: Unveiling DApp Inconsistencies using LLM and Dataflow-Guided Symbolic Execution Research Track Shuo Yang Sun Yat-sen University, Xingwei Lin Ant Group, Jiachi Chen Sun Yat-sen University, Qingyuan Zhong Sun Yat-sen University, Lei Xiao Sun Yat-sen University, renke huang Sun Yat-sen University, Yanlin Wang Sun Yat-sen University, Zibin Zheng Sun Yat-sen University | ||
12:15 15mTalk | SmartReco: Detecting Read-Only Reentrancy via Fine-Grained Cross-DApp Analysis Research Track Jingwen Zhang School of Software Engineering, Sun Yat sen University, Zibin Zheng Sun Yat-sen University, Yuhong Nan Sun Yat-sen University, Mingxi Ye Sun Yat-sen University, Kaiwen Ning Sun Yat-sen University, Yu Zhang Harbin Institute of Technology, Weizhe Zhang Harbin Institute of Technology | ||
11:00 - 12:30 | |||
11:00 15mTalk | A Catalog of Micro Frontends Anti-patterns Research Track Nabson Silva UFAM - Federal University of Amazonas, Eriky Rodrigues UFAM - Federal University of Amazonas Brazil, Tayana Conte Universidade Federal do Amazonas | ||
11:15 15mTalk | PairSmell: A Novel Perspective Inspecting Software Modular StructureAward Winner Research Track Chenxing Zhong Nanjing University, Daniel Feitosa University of Groningen, Paris Avgeriou Univ. of Gronningen , Huang Huang State Grid Nanjing Power Supply Company, Yue Li Nanjing University, He Zhang Nanjing University Pre-print | ||
11:30 15mTalk | Understanding Architectural Complexity, Maintenance Burden, and Developer Sentiment---a Large-Scale Study Research Track Yuanfang Cai Drexel University, Lanting He Google, Yony Kochinski Google, Jun Qian Google, Ciera Jaspan Google, Nan Zhang Google, Antonio Bianco Google | ||
11:45 15mTalk | A Large-Scale Exploratory Study on the Proxy Pattern in Ethereum Journal-first Papers Amir Ebrahimi Queen's University, Bram Adams Queen's University, Gustavo A. Oliva Queen's University, Ahmed E. Hassan Queen’s University | ||
12:00 15mTalk | Video Game Procedural Content Generation Through Software Transplantation SE In Practice (SEIP) Mar Zamorano López University College London, Daniel Blasco SVIT Research Group. Universidad San Jorge, Carlos Cetina , Federica Sarro University College London | ||
11:00 - 12:30 | AI for Analysis 4Research Track / New Ideas and Emerging Results (NIER) / SE In Practice (SEIP) at 212 | ||
11:00 15mTalk | RepairAgent: An Autonomous, LLM-Based Agent for Program Repair Research Track Islem BOUZENIA University of Stuttgart, Prem Devanbu University of California at Davis, Michael Pradel University of Stuttgart | ||
11:15 15mTalk | Evaluating Agent-based Program Repair at Google SE In Practice (SEIP) Patrick Rondon Google, Renyao Wei Google, José Pablo Cambronero Google, USA, Jürgen Cito TU Wien, Aaron Sun Google, Siddhant Sanyam Google, Michele Tufano Google, Satish Chandra Google, Inc | ||
11:30 15mTalk | Anomaly Detection in Large-Scale Cloud Systems: An Industry Case and Dataset SE In Practice (SEIP) Mohammad Saiful Islam Toronto Metropolitan University, Toronto, Canada, Mohamed Sami Rakha Toronto Metropolitan University, Toronto, Canada, William Pourmajidi Toronto Metropolitan University, Toronto, Canada, Janakan Sivaloganathan Toronto Metropolitan University, Toronto, Canada, John Steinbacher IBM, Andriy Miranskyy Toronto Metropolitan University (formerly Ryerson University) Pre-print | ||
11:45 15mTalk | Crash Report Prioritization for Large-Scale Scheduled Launches SE In Practice (SEIP) Nimmi Rashinika Weeraddana University of Waterloo, Sarra Habchi Ubisoft Montréal, Shane McIntosh University of Waterloo | ||
12:00 15mTalk | LogLM: From Task-based to Instruction-based Automated Log Analysis SE In Practice (SEIP) Yilun Liu Huawei co. LTD, Yuhe Ji Huawei co. LTD, Shimin Tao University of Science and Technology of China; Huawei co. LTD, Minggui He Huawei co. LTD, Weibin Meng Huawei co. LTD, Shenglin Zhang Nankai University, Yongqian Sun Nankai University, Yuming Xie Huawei co. LTD, Boxing Chen Huawei Canada, Hao Yang Huawei co. LTD Pre-print | ||
12:15 7mTalk | Using ML filters to help automated vulnerability repairs: when it helps and when it doesn’t New Ideas and Emerging Results (NIER) Maria Camporese University of Trento, Fabio Massacci University of Trento; Vrije Universiteit Amsterdam | ||
11:00 - 12:30 | |||
11:00 15mTalk | ASTER: Natural and Multi-language Unit Test Generation with LLMsAward Winner SE In Practice (SEIP) Rangeet Pan IBM Research, Myeongsoo Kim Georgia Institute of Technology, Rahul Krishna IBM Research, Raju Pavuluri IBM T.J. Watson Research Center, Saurabh Sinha IBM Research Pre-print | ||
11:15 15mTalk | Automated Code Review In Practice SE In Practice (SEIP) Umut Cihan Bilkent University, Vahid Haratian Bilkent Univeristy, Arda İçöz Bilkent University, Mert Kaan Gül Beko, Ömercan Devran Beko, Emircan Furkan Bayendur Beko, Baykal Mehmet Ucar Beko, Eray Tüzün Bilkent University | ||
11:30 15mTalk | CI at Scale: Lean, Green, and Fast SE In Practice (SEIP) Dhruva Juloori Uber Technologies, Inc, Zhongpeng Lin Uber Technologies Inc., Matthew Williams Uber Technologies, Inc, Eddy Shin Uber Technologies, Inc, Sonal Mahajan Uber Technologies Inc. | ||
11:45 15mTalk | Moving Faster and Reducing Risk: Using LLMs in Release DeploymentAward Winner SE In Practice (SEIP) Rui Abreu Meta, Vijayaraghavan Murali Meta Platforms Inc., Peter C Rigby Meta / Concordia University, Chandra Sekhar Maddila Meta Platforms, Inc., Weiyan Sun Meta Platforms, Inc., Jun Ge Meta Platforms, Inc., Kaavya Chinniah Meta Platforms, Inc., Audris Mockus The University of Tennessee, Megh Mehta Meta Platforms, Inc., Nachiappan Nagappan Meta Platforms, Inc. | ||
12:00 15mTalk | Prioritizing Large-scale Natural Language Test Cases at OPPO SE In Practice (SEIP) Haoran Xu , Chen Zhi Zhejiang University, Tianyu Xiang Guangdong Oppo Mobile Telecommunications Corp., Ltd., Zixuan Wu Zhejiang University, Gaorong Zhang Zhejiang University, Xinkui Zhao Zhejiang University, Jianwei Yin Zhejiang University, Shuiguang Deng Zhejiang University; Alibaba-Zhejiang University Joint Institute of Frontier Technologies | ||
12:15 15mTalk | Search+LLM-based Testing for ARM Simulators SE In Practice (SEIP) Bobby Bruce University of California at Davis, USA, Aidan Dakhama King's College London, Karine Even-Mendoza King’s College London, William B. Langdon University College London, Hector Menendez King’s College London, Justyna Petke University College London | ||
11:00 - 12:30 | |||
11:00 15mTalk | A Tale of Two DL Cities: When Library Tests Meet Compiler 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 15mTalk | Iterative Generation of Adversarial Example for Deep Code ModelsAward Winner Research Track | ||
11:30 15mTalk | On the Mistaken Assumption of Interchangeable Deep Reinforcement Learning Implementations 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 15mTalk | µPRL: a Mutation Testing Pipeline for Deep Reinforcement Learning based on Real Faults 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 15mTalk | Testing and Understanding Deviation Behaviors in FHE-hardened Machine Learning Models 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 15mTalk | TraceFL: Interpretability-Driven Debugging in Federated Learning via Neuron Provenance Research Track | ||
11:00 - 12:30 | |||
11:00 15mTalk | A First Look at Conventional Commits Classification Research Track Qunhong Zeng Beijing Institute of Technology, Yuxia Zhang Beijing Institute of Technology, Zhiqing Qiu Beijing Institute of Technology, Hui Liu Beijing Institute of Technology | ||
11:15 15mTalk | ChatGPT-Based Test Generation for Refactoring Engines Enhanced by Feature Analysis on Examples Research Track Chunhao Dong Beijing Institute of Technology, Yanjie Jiang Peking University, Yuxia Zhang Beijing Institute of Technology, Yang Zhang Hebei University of Science and Technology, Hui Liu Beijing Institute of Technology | ||
11:30 15mTalk | SECRET: Towards Scalable and Efficient Code Retrieval via Segmented Deep Hashing Research Track Wenchao Gu The Chinese University of Hong Kong, Ensheng Shi Xi’an Jiaotong University, Yanlin Wang Sun Yat-sen University, Lun Du Microsoft Research, Shi Han Microsoft Research, Hongyu Zhang Chongqing University, Dongmei Zhang Microsoft Research, Michael Lyu The Chinese University of Hong Kong | ||
11:45 15mTalk | UniGenCoder: Merging Seq2Seq and Seq2Tree Paradigms for Unified Code Generation New Ideas and Emerging Results (NIER) Liangying Shao School of Informatics, Xiamen University, China, Yanfu Yan William & Mary, Denys Poshyvanyk William & Mary, Jinsong Su School of Informatics, Xiamen University, China | ||
12:00 15mTalk | How is Google using AI for internal code migrations? SE In Practice (SEIP) Stoyan Nikolov Google, Inc., Daniele Codecasa Google, Inc., Anna Sjovall Google, Inc., Maxim Tabachnyk Google, Siddharth Taneja Google, Inc., Celal Ziftci Google, Satish Chandra Google, Inc | ||
12:15 7mTalk | LLM-Based Test-Driven Interactive Code Generation: User Study and Empirical Evaluation Journal-first Papers Sarah Fakhoury Microsoft Research, Aaditya Naik University of Pennsylvania, Georgios Sakkas University of California at San Diego, Saikat Chakraborty Microsoft Research, Shuvendu K. Lahiri Microsoft Research | ||
12:22 7mTalk | The impact of Concept drift and Data leakage on Log Level Prediction Models Journal-first Papers Youssef Esseddiq Ouatiti Queen's university, Mohammed Sayagh ETS Montreal, University of Quebec, Noureddine Kerzazi Ensias-Rabat, Bram Adams Queen's University, Ahmed E. Hassan Queen’s University, Youssef Esseddiq Ouatiti Queen's university | ||
12:30 - 14:00 | |||
12:30 90mMeeting | ICSE 2026 Program Committee Meeting Meetings and BOFs P: Mira Mezini TU Darmstadt; hessian.AI; National Research Center for Applied Cybersecurity ATHENE, P: Thomas Zimmermann University of California, Irvine | ||
12:30 - 14:00 | |||
13:15 45mLunch | Friday Lunch Catering | ||
12:30 - 14:00 | Lunch area for SEs of African descent to meet each otherSocial, Networking and Special Rooms at RCS Atrium | ||
12:30 90mSocial Event | Friday lunch for SEs of African descent Social, Networking and Special Rooms | ||
13:00 - 13:30 | Fri Lunch Posters 13:00-13:30SE in Society (SEIS) / Journal-first Papers / Demonstrations / Research Track / New Ideas and Emerging Results (NIER) at Canada Hall 3 Poster Area | ||
13:00 30mTalk | Strategies to Embed Human Values in Mobile Apps: What do End-Users and Practitioners Think? SE in Society (SEIS) Rifat Ara Shams CSIRO's Data61, Mojtaba Shahin RMIT University, Gillian Oliver Monash University, Jon Whittle CSIRO's Data61 and Monash University, Waqar Hussain Data61, CSIRO, Harsha Perera CSIRO's Data61, Arif Nurwidyantoro Universitas Gadjah Mada | ||
13:00 30mTalk | Best ends by the best means: ethical concerns in app reviews Journal-first Papers Neelam Tjikhoeri Vrije Universiteit Amsterdam, Lauren Olson Vrije Universiteit Amsterdam, Emitzá Guzmán Vrije Universiteit Amsterdam | ||
13:00 30mTalk | HyperCRX 2.0: A Comprehensive and Automated Tool for Empowering GitHub Insights Demonstrations Yantong Wang East China Normal University, Shengyu Zhao Tongji University, will wang , Fenglin Bi East China Normal University | ||
13:00 30mTalk | Your Fix Is My Exploit: Enabling Comprehensive DL Library API Fuzzing with Large Language Models Research Track Kunpeng Zhang The Hong Kong University of Science and Technology, Shuai Wang Hong Kong University of Science and Technology, Jitao Han Central University of Finance and Economics, Xiaogang Zhu The University of Adelaide, Xian Li Swinburne University of Technology, Shaohua Wang Central University of Finance and Economics, Sheng Wen Swinburne University of Technology | ||
13:00 30mTalk | Using ML filters to help automated vulnerability repairs: when it helps and when it doesn’t New Ideas and Emerging Results (NIER) Maria Camporese University of Trento, Fabio Massacci University of Trento; Vrije Universiteit Amsterdam | ||
13:00 30mTalk | Shaken, Not Stirred. How Developers Like Their Amplified Tests Journal-first Papers Carolin Brandt Delft University of Technology, Ali Khatami Delft University of Technology, Mairieli Wessel Radboud University, Andy Zaidman Delft University of Technology | ||
13:00 30mTalk | Exploring User Privacy Awareness on GitHub: An Empirical Study Journal-first Papers Costanza Alfieri Università degli Studi dell'Aquila, Juri Di Rocco University of L'Aquila, Paola Inverardi Gran Sasso Science Institute, Phuong T. Nguyen University of L’Aquila | ||
14:00 - 17:30 | |||
14:00 - 15:30 | |||
14:00 15mTalk | Decoding the Issue Resolution Process In Practice via Issue Report Analysis: A Case Study of Firefox Research Track | ||
14:15 15mTalk | Preserving Privacy in Software Composition Analysis: A Study of Technical Solutions and Enhancements Research Track Huaijin Wang , Zhibo Liu The Hong Kong University of Science and Technology, Yanbo Dai The Hong Kong University of Science and Technology (Guangzhou), Shuai Wang Hong Kong University of Science and Technology, Qiyi Tang Tencent Security Keen Lab, Sen Nie Tencent Security Keen Lab, Shi Wu Tencent Security Keen Lab | ||
14:30 15mTalk | UML is Back. Or is it? Investigating the Past, Present, and Future of UML in Open Source Software Research Track Joseph Romeo Software Institute - USI, Lugano, Switzerland, Marco Raglianti Software Institute - USI, Lugano, Csaba Nagy , Michele Lanza Software Institute - USI, Lugano | ||
14:45 15mTalk | Understanding the Response to Open-Source Dependency Abandonment in the npm EcosystemAward Winner Research Track Courtney Miller Carnegie Mellon University, Mahmoud Jahanshahi Research Assistant, University of Tennessee Knoxville, Audris Mockus The University of Tennessee, Bogdan Vasilescu Carnegie Mellon University, Christian Kästner Carnegie Mellon University | ||
15:00 15mTalk | Understanding Compiler Bugs in Real Development Research Track Hao Zhong Shanghai Jiao Tong University | ||
15:15 15mTalk | Studying Programmers Without Programming: Investigating Expertise Using Resting State fMRI Research Track Zachary Karas Vanderbilt University, Benjamin Gold Vanderbilt University, Violet Zhou University of Michigan, Noah Reardon University of Michigan, Thad Polk University of Michigan, Catie Chang Vanderbilt University, Yu Huang Vanderbilt University | ||
14:00 - 15:30 | Testing and QA 5Research Track / Journal-first Papers / New Ideas and Emerging Results (NIER) / Demonstrations at 205 | ||
14:00 15mTalk | Leveraging Propagated Infection to Crossfire Mutants Research Track Hang Du University of California at Irvine, Vijay Krishna Palepu Microsoft, James Jones University of California at Irvine | ||
14:15 15mTalk | IFSE: Taming Closed-box Functions in Symbolic Execution via Fuzz Solving Demonstrations Qichang Wang East China Normal University, Chuyang Chen The Ohio State University, Ruiyang Xu East China Normal University, Haiying Sun East China Normal University, Chengcheng Wan East China Normal University, Ting Su East China Normal University, Yueling Zhang East China Normal University, Geguang Pu East China Normal University, China | ||
14:30 15mTalk | Takuan: Using Dynamic Invariants To Debug Order-Dependent Flaky Tests New Ideas and Emerging Results (NIER) Nate Levin Yorktown High School, Chengpeng Li University of Texas at Austin, Yule Zhang George Mason University, August Shi The University of Texas at Austin, Wing Lam George Mason University | ||
14:45 15mTalk | Vision Transformer Inspired Automated Vulnerability Repair Journal-first Papers Michael Fu The University of Melbourne, Van Nguyen Monash University, Kla Tantithamthavorn Monash University, Dinh Phung Monash University, Australia, Trung Le Monash University, Australia | ||
15:00 15mTalk | ZigZagFuzz: Interleaved Fuzzing of Program Options and Files Journal-first Papers Ahcheong Lee KAIST, Youngseok Choi KAIST, Shin Hong Chungbuk National University, Yunho Kim Hanyang University, Kyutae Cho LIG Nex1 AI R&D, Moonzoo Kim KAIST / VPlusLab Inc. | ||
15:15 15mTalk | Reducing the Length of Field-replay Based Load Testing Journal-first Papers Yuanjie Xia University of Waterloo, Lizhi Liao Memorial University of Newfoundland, Jinfu Chen Wuhan University, Heng Li Polytechnique Montréal, Weiyi Shang University of Waterloo | ||
14:00 - 15:30 | |||
14:00 15mTalk | An Exploratory Study on the Engineering of Security Features Research Track Kevin Hermann Ruhr University Bochum, Sven Peldszus Ruhr University Bochum, Jan-Philipp Steghöfer XITASO GmbH IT & Software Solutions, Thorsten Berger Ruhr University Bochum | ||
14:15 15mTalk | DesignRepair: Dual-Stream Design Guideline-Aware Frontend Repair with Large Language Models Research Track Mingyue Yuan The university of new South Wales, Jieshan Chen CSIRO's Data61, Zhenchang Xing CSIRO's Data61, Aaron Quigley CSIRO's Data61, Yuyu Luo HKUST (GZ), Tianqi Luo HKUST (GZ), Gelareh Mohammadi The university of new South Wales, Qinghua Lu Data61, CSIRO, Liming Zhu CSIRO’s Data61 | ||
14:30 15mTalk | Fidelity of Cloud Emulators: The Imitation Game of Testing Cloud-based Software Research Track Anna Mazhar University of Illinois Urbana-Champaign, Saad Sher Alam University of Illinois Urbana-Champaign, William Zheng University of Illinois Urbana-Champaign, Yinfang Chen University of Illinois at Urbana-Champaign, Suman Nath Microsoft Research, Tianyin Xu University of Illinois at Urbana-Champaign | ||
14:45 15mTalk | Formally Verified Cloud-Scale AuthorizationAward Winner Research Track Aleks Chakarov Amazon Web Services, Jaco Geldenhuys Amazon Web Services, Matthew Heck Amazon Web Services, MIchael Hicks Amazon, Samuel Huang Amazon Web Services, Georges-Axel Jaloyan Amazon Web Services, Anjali Joshi Amazon, K. Rustan M. Leino Amazon, Mikael Mayer Automated Reasoning Group, Amazon Web Services, Sean McLaughlin Amazon Web Services, Akhilesh Mritunjai Amazon.com, Clement Pit-Claudel EPFL, Sorawee Porncharoenwase Amazon Web Services, Florian Rabe Amazon Web Services, Marianna Rapoport Amazon Web Services, Giles Reger Amazon Web Services, Cody Roux Amazon Web Services, Neha Rungta Amazon Web Services, Robin Salkeld Amazon Web Services, Matthias Schlaipfer Amazon Web Services, Daniel Schoepe Amazon, Johanna Schwartzentruber Amazon Web Services, Serdar Tasiran Amazon, n.n., Aaron Tomb Amazon, Emina Torlak Amazon Web Services, USA, Jean-Baptiste Tristan Amazon Web Services, Lucas Wagner Amazon Web Services, Michael Whalen Amazon Web Services and the University of Minnesota, Remy Willems Amazon, Tongtong Xiang Amazon Web Services, Taejoon Byun University of Minnesota, Joshua Cohen Princeton University, Ruijie Fang University of Texas at Austin, Junyoung Jang McGill University, Jakob Rath TU Wien, Hira Taqdees Syeda , Dominik Wagner University of Oxford, Yongwei Yuan Purdue University | ||
15:00 15mTalk | The Same Only Different: On Information Modality for Configuration Performance Analysis Research Track Hongyuan Liang University of Electronic Science and Technology of China, Yue Huang University of Electronic Science and Technology of China, Tao Chen University of Birmingham | ||
15:15 7mTalk | Identifying Performance Issues in Cloud Service Systems Based on Relational-Temporal Features Journal-first Papers Wenwei Gu The Chinese University of Hong Kong, Jinyang Liu Chinese University of Hong Kong, Zhuangbin Chen Sun Yat-sen University, Jianping Zhang The Chinese University of Hong Kong, Yuxin Su Sun Yat-sen University, Jiazhen Gu Chinese University of Hong Kong, Cong Feng Huawei Cloud Computing Technology, Zengyin Yang Computing and Networking Innovation Lab, Huawei Cloud Computing Technology Co., Ltd, Yongqiang Yang Huawei Cloud Computing Technology, Michael Lyu The Chinese University of Hong Kong | ||
14:00 - 15:30 | |||
14:00 15mTalk | 3DGen: AI-Assisted Generation of Provably Correct Binary Format Parsers Research Track Sarah Fakhoury Microsoft Research, Markus Kuppe Microsoft Research, Shuvendu K. Lahiri Microsoft Research, Tahina Ramananandro Microsoft Research, Nikhil Swamy Microsoft Research | ||
14:15 15mTalk | Aligning the Objective of LLM-based Program Repair Research Track Junjielong Xu The Chinese University of Hong Kong, Shenzhen, Ying Fu Chongqing University, Shin Hwei Tan Concordia University, Pinjia He Chinese University of Hong Kong, Shenzhen Pre-print | ||
14:30 15mTalk | Revisiting Unnaturalness for Automated Program Repair in the Era of Large Language Models Research Track Aidan Z.H. Yang Carnegie Mellon University, Sophia Kolak Carnegie Mellon University, Vincent J. Hellendoorn Carnegie Mellon University, Ruben Martins Carnegie Mellon University, Claire Le Goues Carnegie Mellon University | ||
14:45 15mTalk | The Fact Selection Problem in LLM-Based Program Repair Research Track Nikhil Parasaram Uber Amsterdam, Huijie Yan University College London, Boyu Yang University College London, Zineb Flahy University College London, Abriele Qudsi University College London, Damian Ziaber University College London, Earl T. Barr University College London, Sergey Mechtaev Peking University | ||
15:00 15mTalk | Towards Understanding the Characteristics of Code Generation Errors Made by Large Language Models Research Track Zhijie Wang University of Alberta, Zijie Zhou University of Illinois Urbana-Champaign, Da Song University of Alberta, Yuheng Huang University of Alberta, Canada, Shengmai Chen Purdue University, Lei Ma The University of Tokyo & University of Alberta, Tianyi Zhang Purdue University Pre-print | ||
15:15 15mTalk | Beyond Syntax: How Do LLMs Understand Code? New Ideas and Emerging Results (NIER) Marc North Durham University, Amir Atapour-Abarghouei Durham University, Nelly Bencomo Durham University | ||
14:00 - 15:30 | |||
14:00 15mTalk | Repository-Level Graph Representation Learning for Enhanced Security Patch Detection Research Track Xin-Cheng Wen Harbin Institute of Technology, Zirui Lin Harbin Institute of Technology, Shenzhen, Cuiyun Gao Harbin Institute of Technology, Hongyu Zhang Chongqing University, Yong Wang Anhui Polytechnic University, Qing Liao Harbin Institute of Technology | ||
14:15 15mTalk | FAMOS: Fault diagnosis for Microservice Systems through Effective Multi-modal Data Fusion Research Track Chiming Duan Peking University, Yong Yang Peking University, Tong Jia Institute for Artificial Intelligence, Peking University, Beijing, China, Guiyang Liu Alibaba, Jinbu Liu Alibaba, Huxing Zhang Alibaba Group, Qi Zhou Alibaba, Ying Li School of Software and Microelectronics, Peking University, Beijing, China, Gang Huang Peking University | ||
14:30 15mTalk | Leveraging Large Language Models to Detect npm Malicious Packages Research Track Nusrat Zahan North Carolina State University, Philipp Burckhardt Socket, Inc, Mikola Lysenko Socket, Inc, Feross Aboukhadijeh Socket, Inc, Laurie Williams North Carolina State University | ||
14:45 15mTalk | Magika: AI-Powered Content-Type Detection Research Track Yanick Fratantonio Google, Luca Invernizzi Google, Loua Farah Google, Kurt Thomas Google, Marina Zhang Google, Ange Albertini Google, Francois Galilee Google, Giancarlo Metitieri Google, Julien Cretin Google, Alex Petit-Bianco Google, David Tao Google, Elie Bursztein Google | ||
15:00 15mTalk | Closing the Gap: A User Study on the Real-world Usefulness of AI-powered Vulnerability Detection & Repair in the IDE Research Track Benjamin Steenhoek Microsoft, Siva Sivaraman Microsoft, Renata Saldivar Gonzalez Microsoft, Yevhen Mohylevskyy Microsoft, Roshanak Zilouchian Moghaddam Microsoft, Wei Le Iowa State University | ||
15:15 15mTalk | Show Me Your Code! Kill Code Poisoning: A Lightweight Method Based on Code Naturalness Research Track Weisong Sun Nanjing University, Yuchen Chen Nanjing University, Mengzhe Yuan Nanjing University, Chunrong Fang Nanjing University, Zhenpeng Chen Nanyang Technological University, Chong Wang Nanyang Technological University, Yang Liu Nanyang Technological University, Baowen Xu State Key Laboratory for Novel Software Technology, Nanjing University, Zhenyu Chen Nanjing University Pre-print | ||
14:00 - 15:30 | Panel 2: Escaped from the Lab! Does ICSE Research Make a Difference?Panels and Special Sessions at Canada Hall 1 and 2 Chair(s): Steven D. Fraser Innoxec | ||
14:00 90mPanel | Panel 2: Escaped from the Lab! Does ICSE Research Make a Difference? Panels and Special Sessions P: Steven D. Fraser Innoxec, P: Dennis Arthur , P: Robert Biddle Carleton University, P: Margaret Burnett Oregon State University, P: Ciera Jaspan Google, P: Tim Lister Atlantic Systems Guild, P: Gail Murphy University of British Columbia, P: Doug Schmidt | ||
15:30 - 16:00 | Neurodiverse CaféSocial, Networking and Special Rooms at 202 All are invited to attend this social event for the neurodiverse community of software engineers | ||
15:30 30mSocial Event | Neurodiverse Café Friday afternoon Social, Networking and Special Rooms | ||
15:30 - 16:00 | |||
15:30 30mBreak | Friday Afternoon Break Catering | ||
15:30 - 16:00 | Break area for SEs from the Global South and allies to meet each otherSocial, Networking and Special Rooms at RCS Atrium | ||
15:30 30mSocial Event | Friday afternoon break for SEs From the Global South Social, Networking and Special Rooms | ||
16:00 - 22:00 | |||
16:00 - 17:30 | |||
16:00 15mTalk | Full Line Code Completion: Bringing AI to Desktop 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 15mTalk | Automated Accessibility Analysis of Dynamic Content Changes on Mobile Apps Research Track Forough Mehralian University of California at Irvine, Ziyao He University of California, Irvine, Sam Malek University of California at Irvine | ||
16:30 15mTalk | Qualitative Surveys in Software Engineering Research: Definition, Critical Review, and Guidelines Journal-first Papers Jorge Melegati Free University of Bozen-Bolzano, Kieran Conboy University of Galway, Daniel Graziotin University of Hohenheim | ||
16:45 15mTalk | VulNet: Towards improving vulnerability management in the Maven ecosystem 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 15mTalk | Energy-Aware Software Testing 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 7mTalk | SusDevOps: Promoting Sustainability to a First Principle in Software Delivery New Ideas and Emerging Results (NIER) Istvan David McMaster University / McMaster Centre for Software Certification (McSCert) | ||
16:00 - 17:30 | |||
16:00 15mTalk | Characterizing Timeout Builds in Continuous Integration Journal-first Papers Nimmi Weeraddana University of Waterloo, Mahmoud Alfadel University of Calgary, Shane McIntosh University of Waterloo | ||
16:15 15mTalk | GeMTest: A General Metamorphic Testing Framework Demonstrations | ||
16:30 15mTalk | Mole: Efficient Crash Reproduction in Android Applications With Enforcing Necessary UI Events Journal-first Papers Maryam Masoudian Sharif University of Technology, Hong Kong University of Science and Technology (HKUST), Heqing Huang City University of Hong Kong, Morteza Amini Sharif University of Technology, Charles Zhang Hong Kong University of Science and Technology | ||
16:45 15mTalk | History-Driven Fuzzing for Deep Learning Libraries Journal-first Papers Nima Shiri Harzevili York University, Mohammad Mahdi Mohajer York University, Moshi Wei York University, Hung Viet Pham York University, Song Wang York University | ||
17:00 15mTalk | Towards a Cognitive Model of Dynamic Debugging: Does Identifier Construction Matter? Journal-first Papers Danniell Hu University of Michigan, Priscila Santiesteban University of Michigan, Madeline Endres University of Massachusetts Amherst, Westley Weimer University of Michigan | ||
17:15 15mTalk | Janus: Detecting Rendering Bugs in Web Browsers via Visual Delta Consistency Research Track Chijin Zhou Tsinghua University, Quan Zhang Tsinghua University, Bingzhou Qian National University of Defense Technology, Yu Jiang Tsinghua University | ||
16:00 - 17:30 | |||
16:00 15mTalk | EP-Detector: Automatic Detection of Error-prone Operation Anomalies in Android Applications Research Track Chenkai Guo Nankai University, China, Qianlu Wang College of Cyber Science, Nankai University, Naipeng Dong The University of Queensland, Australia, Lingling Fan Nankai University, Tianhong Wang College of Computer Science, Nankai University, Weijie Zhang College of Computer Science, Nankai University, EnBao Chen College of Cyber Science, Nankai University, Zheli Liu Nankai University, Lu Yu National University of Defense Technology; Anhui Province Key Laboratory of Cyberspace Security Situation Awareness and Evaluation | ||
16:15 15mTalk | Mobile Application Coverage: The 30% Curse and Ways Forward Research Track Faridah Akinotcho University of British Columbia, Lili Wei McGill University, Julia Rubin The University of British Columbia | ||
16:30 15mTalk | The Design Smells Breaking the Boundary between Android Variants and AOSP Research Track Wuxia Jin Xi'an Jiaotong University, Jiaowei Shang Xi'an Jiaotong University, Jianguo Zheng Xi'an Jiaotong University, Mengjie Sun Xi’an Jiaotong University, Zhenyu Huang Honor Device Co., Ltd., Ming Fan Xi'an Jiaotong University, Ting Liu Xi'an Jiaotong University | ||
16:45 15mTalk | Scenario-Driven and Context-Aware Automated Accessibility Testing for Android Apps Research Track Yuxin Zhang Tianjin University, Sen Chen Tianjin University, Xiaofei Xie Singapore Management University, Zibo Liu College of Intelligence and Computing, Tianjin University, Lingling Fan Nankai University | ||
17:00 15mTalk | TacDroid: Detection of Illicit Apps through Hybrid Analysis of UI-based Transition Graphs Research Track Yanchen Lu Zhejiang University, Hongyu Lin Zhejiang University, Zehua He Zhejiang University, Haitao Xu Zhejiang University, Zhao Li Hangzhou Yugu Technology, Shuai Hao Old Dominion University, Liu Wang Beijing University of Posts and Telecommunications, Haoyu Wang Huazhong University of Science and Technology, Kui Ren Zhejiang University | ||
17:15 15mTalk | PacDroid: A Pointer-Analysis-Centric Framework for Security Vulnerabilities in Android Apps Research Track Menglong Chen Nanjing University, Tian Tan Nanjing University, Minxue Pan Nanjing University, Yue Li Nanjing University | ||
16:00 - 17:30 | |||
16:00 15mTalk | ROSA: Finding Backdoors with Fuzzing Research Track Dimitri Kokkonis Université Paris-Saclay, CEA, List, Michaël Marcozzi Université Paris-Saclay, CEA, List, Emilien Decoux Université Paris-Saclay, CEA List, Stefano Zacchiroli Télécom Paris, Polytechnic Institute of Paris Pre-print Media Attached | ||
16:15 15mTalk | Analyzing the Feasibility of Adopting Google's Nonce-Based CSP Solutions on Websites Research Track Mengxia Ren Colorado School of Mines, Anhao Xiang Colorado School of Mines, Chuan Yue Colorado School of Mines | ||
16:30 15mTalk | Early Detection of Performance Regressions by Bridging Local Performance Data and Architectural ModelsAward Winner Research Track Lizhi Liao Memorial University of Newfoundland, Simon Eismann University of Würzburg, Heng Li Polytechnique Montréal, Cor-Paul Bezemer University of Alberta, Diego Costa Concordia University, Canada, André van Hoorn University of Hamburg, Germany, Weiyi Shang University of Waterloo | ||
16:45 15mTalk | Revisiting the Performance of Deep Learning-Based Vulnerability Detection on Realistic Datasets Journal-first Papers Partha Chakraborty University of Waterloo, Krishna Kanth Arumugam University of Waterloo, Mahmoud Alfadel University of Calgary, Mei Nagappan University of Waterloo, Shane McIntosh University of Waterloo | ||
17:00 15mTalk | Sunflower: Enhancing Linux Kernel Fuzzing via Exploit-Driven Seed Generation SE In Practice (SEIP) Qiang Zhang Hunan University, Yuheng Shen Tsinghua University, Jianzhong Liu Tsinghua University, Yiru Xu Tsinghua University, Heyuan Shi Central South University, Yu Jiang Tsinghua University, Wanli Chang College of Computer Science and Electronic Engineering, Hunan University | ||
17:15 15mTalk | Practical Object-Level Sanitizer With Aggregated Memory Access and Custom Allocator Research Track Xiaolei wang National University of Defense Technology, Ruilin Li National University of Defense Technology, Bin Zhang National University of Defense Technology, Chao Feng National University of Defense Technology, Chaojing Tang National University of Defense Technology | ||
16:00 - 17:30 | |||
16:00 15mTalk | OptCD: Optimizing Continuous Development Demonstrations Talank Baral George Mason University, Emirhan Oğul Middle East Technical University, Shanto Rahman The University of Texas at Austin, August Shi The University of Texas at Austin, Wing Lam George Mason University | ||
16:15 15mTalk | LLMs as Evaluators: A Novel Approach to Commit Message Quality Assessment New Ideas and Emerging Results (NIER) Abhishek Kumar Indian Institute of Technology, Kharagpur, Sandhya Sankar Indian Institute of Technology, Kharagpur, Sonia Haiduc Florida State University, Partha Pratim Das Indian Institute of Technology, Kharagpur, Partha Pratim Chakrabarti Indian Institute of Technology, Kharagpur | ||
16:30 15mTalk | Towards Realistic Evaluation of Commit Message Generation by Matching Online and Offline Settings SE In Practice (SEIP) Petr Tsvetkov JetBrains Research, Aleksandra Eliseeva JetBrains Research, Danny Dig University of Colorado Boulder, JetBrains Research, Alexander Bezzubov JetBrains, Yaroslav Golubev JetBrains Research, Timofey Bryksin JetBrains Research, Yaroslav Zharov JetBrains Research Pre-print | ||
16:45 15mTalk | Enhancing Differential Testing: LLM-Powered Automation in Release Engineering SE In Practice (SEIP) Ajay Krishna Vajjala George Mason University, Arun Krishna Vajjala George Mason University, Carmen Badea Microsoft Research, Christian Bird Microsoft Research, Robert DeLine Microsoft Research, Jason Entenmann Microsoft Research, Nicole Forsgren Microsoft Research, Aliaksandr Hramadski Microsoft, Sandeepan Sanyal Microsoft, Oleg Surmachev Microsoft, Thomas Zimmermann University of California, Irvine, Haris Mohammad Microsoft, Jade D'Souza Microsoft, Mikhail Demyanyuk Microsoft | ||
17:00 15mTalk | How much does AI impact development speed? An enterprise-based randomized controlled trial SE In Practice (SEIP) Elise Paradis Google, Inc, Kate Grey Google, Quinn Madison Google, Daye Nam Google, Andrew Macvean Google, Inc., Nan Zhang Google, Ben Ferrari-Church Google, Satish Chandra Google, Inc | ||
17:15 15mTalk | Using Reinforcement Learning to Sustain the Performance of Version Control Repositories New Ideas and Emerging Results (NIER) Shane McIntosh University of Waterloo, Luca Milanesio GerritForge Inc., Antonio Barone GerritForge Inc., Jacek Centkowski GerritForge Inc., Marcin Czech GerritForge Inc., Fabio Ponciroli GerritForge Inc. | ||
16:00 - 17:30 | |||
16:00 15mTalk | GVI: Guided Vulnerability Imagination for Boosting Deep Vulnerability Detectors Research Track Heng Yong Nanjing University, Zhong Li , Minxue Pan Nanjing University, Tian Zhang Nanjing University, Jianhua Zhao Nanjing University, China, Xuandong Li Nanjing University | ||
16:15 15mTalk | Decoding Secret Memorization in Code LLMs Through Token-Level Characterization Research Track Yuqing Nie Beijing University of Posts and Telecommunications, Chong Wang Nanyang Technological University, Kailong Wang Huazhong University of Science and Technology, Guoai Xu Harbin Institute of Technology, Shenzhen, Guosheng Xu Key Laboratory of Trustworthy Distributed Computing and Service (MoE), Beijing University of Posts and Telecommunications, Haoyu Wang Huazhong University of Science and Technology | ||
16:30 15mTalk | Are We Learning the Right Features? A Framework for Evaluating DL-Based Software Vulnerability Detection Solutions Research Track Satyaki Das University of Southern California, Syeda Tasnim Fabiha University of Southern California, Saad Shafiq University of Southern California, Nenad Medvidović University of Southern California Pre-print | ||
16:45 15mTalk | Boosting Static Resource Leak Detection via LLM-based Resource-Oriented Intention Inference Research Track Chong Wang Nanyang Technological University, Jianan Liu Fudan University, Xin Peng Fudan University, Yang Liu Nanyang Technological University, Yiling Lou Fudan University | ||
17:00 15mTalk | Weakly-supervised Log-based Anomaly Detection with Inexact Labels via Multi-instance Learning Research Track Minghua He Peking University, Tong Jia Institute for Artificial Intelligence, Peking University, Beijing, China, Chiming Duan Peking University, Huaqian Cai Peking University, Ying Li School of Software and Microelectronics, Peking University, Beijing, China, Gang Huang Peking University | ||
17:15 7mTalk | Towards Early Warning and Migration of High-Risk Dormant Open-Source Software Dependencies New Ideas and Emerging Results (NIER) Zijie Huang Shanghai Key Laboratory of Computer Software Testing and Evaluation, Lizhi Cai Shanghai Key Laboratory of Computer Software Testing & Evaluating, Shanghai Software Center, Xuan Mao Department of Computer Science and Engineering, East China University of Science and Technology, Shanghai, China, Kang Yang Shanghai Key Laboratory of Computer Software Testing and Evaluating, Shanghai Development Center of Computer Software Technology | ||
16:00 - 17:30 | |||
16:00 15mTalk | QuanTest: Entanglement-Guided Testing of Quantum Neural Network Systems Journal-first Papers Jinjing Shi Central South University, Zimeng Xiao Central South University, Heyuan Shi Central South University, Yu Jiang Tsinghua University, Xuelong LI China Telecom | ||
16:15 15mTalk | Quantum Approximate Optimization Algorithm for Test Case Optimization Journal-first Papers Xinyi Wang Simula Research Laboratory; University of Oslo, Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University, Tao Yue Beihang University, Paolo Arcaini National Institute of Informatics
| ||
16:30 15mTalk | Testing Multi-Subroutine Quantum Programs: From Unit Testing to Integration Testing Journal-first Papers Peixun Long Institute of High Energy Physics, Chinese Academy of Science, Jianjun Zhao Kyushu University | ||
16:45 15mTalk | Mitigating Noise in Quantum Software Testing Using Machine Learning Journal-first Papers Asmar Muqeet Simula Research Laboratory and University of Oslo, Tao Yue Beihang University, Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University, Paolo Arcaini National Institute of Informatics
, Asmar Muqeet Simula Research Laboratory and University of Oslo | ||
17:00 15mTalk | Test Case Minimization with Quantum Annealing Journal-first Papers Xinyi Wang Simula Research Laboratory; University of Oslo, Asmar Muqeet Simula Research Laboratory and University of Oslo, Tao Yue Beihang University, Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University, Paolo Arcaini National Institute of Informatics
| ||
17:15 7mTalk | When Quantum Meets Classical: Characterizing Hybrid Quantum-Classical Issues Discussed in Developer Forums Research Track Jake Zappin William and Mary, Trevor Stalnaker William & Mary, Oscar Chaparro William & Mary, Denys Poshyvanyk William & Mary | ||
16:00 - 17:30 | |||
16:00 15mTalk | Improved Detection and Diagnosis of Faults in Deep Neural Networks Using Hierarchical and Explainable Classification Research Track Sigma Jahan Dalhousie University, Mehil Shah Dalhousie University, Parvez Mahbub Dalhousie University, Masud Rahman Dalhousie University | ||
16:15 15mTalk | Lightweight Concolic Testing via Path-Condition Synthesis for Deep Learning Libraries Research Track Sehoon Kim , Yonghyeon Kim UNIST, Dahyeon Park UNIST, Yuseok Jeon UNIST, Jooyong Yi UNIST, Mijung Kim UNIST | ||
16:30 15mTalk | Mock Deep Testing: Toward Separate Development of Data and Models for Deep Learning Research Track Ruchira Manke Tulane University, USA, Mohammad Wardat Oakland University, USA, Foutse Khomh Polytechnique Montréal, Hridesh Rajan Tulane University | ||
16:45 15mTalk | RUG: Turbo LLM for Rust Unit Test Generation 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 15mTalk | Test Input Validation for Vision-based DL Systems: An Active Learning Approach 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 | ||
16:00 - 17:30 | |||
16:00 15mTalk | An Empirical Study of Proxy Smart Contracts at the Ethereum Ecosystem Scale Research Track Mengya Zhang The Ohio State University, Preksha Shukla George Mason University, Wuqi Zhang Mega Labs, Zhuo Zhang Purdue University, Pranav Agrawal George Mason University, Zhiqiang Lin The Ohio State University, Xiangyu Zhang Purdue University, Xiaokuan Zhang George Mason University | ||
16:15 15mTalk | Demystifying and Detecting Cryptographic Defects in Ethereum Smart ContractsAward Winner Research Track Jiashuo Zhang Peking University, China, Yiming Shen Sun Yat-sen University, Jiachi Chen Sun Yat-sen University, Jianzhong Su Sun Yat-sen University, Yanlin Wang Sun Yat-sen University, Ting Chen University of Electronic Science and Technology of China, Jianbo Gao Peking University, Zhong Chen | ||
16:30 15mTalk | Chord: Towards a Unified Detection of Blockchain Transaction Parallelism Bugs Research Track Yuanhang Zhou Tsinghua University, Zhen Yan Tsinghua University, Yuanliang Chen Tsinghua University, Fuchen Ma Tsinghua University, Ting Chen University of Electronic Science and Technology of China, Yu Jiang Tsinghua University | ||
16:45 15mTalk | Definition and Detection of Centralization Defects in Smart Contracts Research Track Zewei Lin Sun Yat-sen University, Jiachi Chen Sun Yat-sen University, Jiajing Wu Sun Yat-sen University, Weizhe Zhang Harbin Institute of Technology, Zibin Zheng Sun Yat-sen University | ||
17:00 15mTalk | Fork State-Aware Differential Fuzzing for Blockchain Consensus Implementations Research Track Won Hoi Kim KAIST, Hocheol Nam KAIST, Muoi Tran ETH Zurich, Amin Jalilov KAIST, Zhenkai Liang National University of Singapore, Sang Kil Cha KAIST, Min Suk Kang KAIST | ||
17:15 15mTalk | Code Cloning in Solidity Smart Contracts: Prevalence, Evolution, and Impact on Development Research Track Ran Mo Central China Normal University, Haopeng Song Central China Normal University, Wei Ding Central China Normal University, Chaochao Wu Central China Normal University | ||
18:00 - 21:00 | ICSE Organizing Committee Thank-You DinnerSocial, Networking and Special Rooms at Restaurant for ICSE Organizing Committee Thank-you Dinner Friday | ||
18:00 3hDinner | ICSE Organizing Committee Thank-You Dinner Social, Networking and Special Rooms | ||
19:00 - 22:00 | |||
Sat 3 MayDisplayed time zone: Eastern Time (US & Canada) change
Sat 3 May
Displayed time zone: Eastern Time (US & Canada) change
07:00 - 17:00 | |||
09:00 - 12:30 | |||
09:00 - 10:30 | |||
09:00 10mDay opening | Welcoming Message by Organizers IDE Danny Dig University of Colorado Boulder, JetBrains Research | ||
09:10 40mKeynote | Keynote #1: TBA IDE | ||
09:50 40mKeynote | Keynote #2: TBA IDE | ||
09:00 - 10:30 | Opening and Keynote Q-SE at 207 Chair(s): Stefan Klikovits Johannes Kepler University, Linz, Mohammad Reza Mousavi King's College London | ||
09:00 15mRegistration | Arrival and Registration Q-SE | ||
09:15 15mDay opening | Opening Remarks Q-SE | ||
09:30 60mKeynote | The art of abstraction in quantum software Q-SE Olivia Di Matteo University of British Columbia | ||
09:00 - 10:30 | |||
09:00 90mKeynote | Failures or False Alarms? Validating Tests and Failures for Cyber Physical Systems DeepTest Shiva Nejati University of Ottawa | ||
09:00 - 09:15 | |||
09:00 15mDay opening | Opening of the AIWare BootcampSE for AI Tutorials and Technical Briefings Ahmed E. Hassan Queen’s University | ||
09:15 - 10:00 | |||
09:15 45mTalk | AIware: Challenges and Opportunities Associated with AI-Augmented Software EngineeringSE for AI Tutorials and Technical Briefings Zhen Ming (Jack) Jiang York University | ||
10:00 - 10:30 | |||
10:00 30mTalk | AIware: Rethinking Software Engineering in the AIware Era - A curated catalog of software engineering challenges for FMwareSE for AI Tutorials and Technical Briefings Ahmed E. Hassan Queen’s University | ||
10:30 - 11:00 | |||
10:30 30mBreak | Saturday Morning Break Catering | ||
11:00 - 12:30 | |||
11:00 15mTalk | In-IDE Programming Courses: Learning Software Development in a Real-World Setting IDE Anastasiia Birillo JetBrains Research, Ilya Vlasov JetBrains Research, Katsiaryna Dzialets JetBrains, Hieke Keuning Utrecht University, Timofey Bryksin JetBrains Research | ||
11:15 15mTalk | Code Refactoring in Virtual Reality IDE Mattia Giannaccari , Marco Raglianti Software Institute - USI, Lugano, Michele Lanza Software Institute - USI, Lugano | ||
11:30 15mTalk | Rethinking IDE Customization for Enhanced HAX: A Hyperdimensional Perspective IDE | ||
11:45 15mTalk | Improving Developer Experience for Newbie and Casual Array Programmers IDE | ||
12:00 15mTalk | Enhancing Block Composition: The Role of Category Highlighting in Block-Based Environments IDE | ||
12:15 15mTalk | Evolving the Computational Notebook: A Two-Dimensional Canvas for Enhanced Human-AI Interaction IDE Konstantin Grotov JetBrains Research, Constructor University, Dmitry Botov Neapolis University Paphos | ||
11:00 - 12:30 | |||
11:00 30mResearch paper | Towards Defect Prediction for Quantum Software Q-SE Xuan Mao Department of Computer Science and Engineering, East China University of Science and Technology, Shanghai, China, Zijie Huang Shanghai Key Laboratory of Computer Software Testing and Evaluation, Jianxin Ge , Chao Wang University of Southern California, Wuxu Wang , Lizhi Cai Shanghai Key Laboratory of Computer Software Testing & Evaluating, Shanghai Software Center | ||
11:30 30mResearch paper | Quantum vs. Classical Machine Learning Algorithms for Software Defect Prediction: Challenges and Opportunities Q-SE Md Nadim University of Saskatchewan, Mohammad Hassan University of Prince Edward Island, Ashis Kumar Mandal Hajee Md. Danesh Science and Technology , Bangladesh, Chanchal K. Roy University of Saskatchewan, Canada | ||
12:00 30mResearch paper | Quantum Pattern Detection: Accurate State- and Circuit-based Analyses Q-SE Julian Shen Karlsruhe Institute of Technology, Joshua Ammermann Karlsruhe Institute of Technology (KIT), Christoph König Karlsruhe Institute of Technology, Ina Schaefer KIT | ||
11:00 - 12:30 | |||
11:00 30mTalk | Lachesis: Predicting LLM Inference Accuracy using Structural Properties of Reasoning Paths DeepTest Naryeong Kim Korea Advanced Institute of Science and Technology, Sungmin Kang National University of Singapore, Gabin An Roku, Shin Yoo Korea Advanced Institute of Science and Technology | ||
11:30 30mTalk | DILLEMA: Diffusion and Large Language Models for Multi-Modal Augmentation DeepTest Luciano Baresi Politecnico di Milano, Davide Yi Xian Hu Politecnico di Milano, Muhammad Irfan Mas'Udi Politecnico di Milano, Giovanni Quattrocchi Politecnico di Milano | ||
12:00 30mTalk | On the Effectiveness of LLMs for Manual Test Verifications DeepTest Myron David Peixoto Federal University of Alagoas, Davy Baía Federal University of Alagoas, Nathalia Nascimento Pennsylvania State University, Paulo Alencar University of Waterloo, Baldoino Fonseca Federal University of Alagoas, Márcio Ribeiro Federal University of Alagoas, Brazil | ||
11:00 - 11:30 | |||
11:00 30mTalk | AIware: Towards AI-Native Software Engineering (SE 3.0)SE for AI Tutorials and Technical Briefings | ||
11:30 - 12:00 | |||
11:30 30mTalk | AIware: Building high-quality and trustworthy foundation model-powered applications (FMware)SE for AI Tutorials and Technical Briefings Dayi Lin Centre for Software Excellence, Huawei Canada | ||
12:30 - 14:00 | |||
13:15 45mLunch | Saturday Lunch Catering | ||
14:00 - 17:30 | |||
14:00 - 15:30 | |||
14:00 30mResearch paper | Analyzing, Fixing and Optimizing a Space-Efficient Quantum Circuit for the Graph K-Coloring Problem Q-SE Oscar Belletti Politecnico di Milano, Simone Reale Politecnico di Milano, Elisabeta di Nitto Politecnico di Milano | ||
14:30 30mResearch paper | The Quantum Program Dependence Graph and Its Uses in Quantum Software Development Q-SE | ||
15:00 30mResearch paper | Qunicorn: A Middleware for the Unified Execution Across Heterogeneous Quantum Cloud Offerings Q-SE Benjamin Weder Institute of Architecture of Application Systems (IAAS), University of Stuttgart, Johanna Barzen University of Stuttgart, Martin Beisel Institute of Architecture of Application Systems (IAAS), University of Stuttgart, Fabian Bühler , Daniel Georg , Frank Leymann University of Stuttgart, Lavinia Stiliadou Institute of Architecture of Application Systems (IAAS), University of Stuttgart | ||
14:00 - 15:30 | |||
14:00 30mTalk | DANDI: Diffusion as Normative Distribution for Deep Neural Network Input DeepTest | ||
14:30 30mTalk | Robust Testing for Deep Learning using Human Label Noise DeepTest Yi Yang Gordon Lim University of Michigan, Stefan Larson Vanderbilt University, Kevin Leach Vanderbilt University | ||
15:00 30mTalk | Improving the Reliability of Failure Prediction Models through Concept Drift Monitoring DeepTest Lorena Poenaru-Olaru TU Delft, Luís Cruz TU Delft, Jan S. Rellermeyer Leibniz University Hannover, Arie van Deursen TU Delft | ||
14:00 - 14:45 | |||
14:00 45mTalk | AIware: Prompt EngineeringSE for AI Tutorials and Technical Briefings Filipe Cogo Centre for Software Excellence, Huawei Canada | ||
14:45 - 15:30 | |||
14:45 45mTalk | AIware: RAG EngineeringSE for AI Tutorials and Technical Briefings Keheliya Gallaba Centre for Software Excellence, Huawei Canada | ||
15:30 - 16:00 | |||
15:30 30mBreak | Saturday Afternoon Break Catering | ||
15:30 - 16:00 | |||
15:30 30mTalk | AIware: Balancing Cost and Quality in FMware SE for AI Tutorials and Technical Briefings Kirill Vasilevski Huawei Canada | ||
16:00 - 17:30 | |||
16:00 80mPanel | Round table discussions and Unconference IDE | ||
17:20 10mDay closing | Closing Word by Organizers IDE Danny Dig University of Colorado Boulder, JetBrains Research | ||
16:00 - 17:30 | |||
16:00 20mShort-paper | Bridging the Quantum Divide: Aligning Academic and Industry Goals in Software Engineering Q-SE Jake Zappin William and Mary, Trevor Stalnaker William & Mary, Oscar Chaparro William & Mary, Denys Poshyvanyk William & Mary | ||
16:20 40mDay closing | Closing and Next Q-SE Q-SE | ||
16:00 - 17:30 | Startups, technical debt and closingIWSiB at 208 Chair(s): Jorge Melegati Free University of Bozen-Bolzano | ||
16:00 22mTalk | Identifying Key Requirements Prioritization Criteria for Software Startup Survival: From Literature Review to Startup Focused Prioritization Method IWSiB Frédéric Pattyn Ghent University | ||
16:22 22mTalk | Mitigating Digital Debt in Packaged Enterprise System Customization IWSiB Chandan Singh University of Jyväskylä, Jyväskylä, Finland, Samuli Pekkola University of Jyväskylä, Jyväskylä, Finland | ||
16:45 22mTalk | The Ambidextrous Startup: Balance Between Exploitation of Present and Exploration of Future IWSiB Nan Yang LUT University, Xiaofeng Wang Free University of Bozen-Bolzano, Dominik Siemon LUT University, Sami Hyrynsalmi LUT University | ||
17:07 22mDay closing | Closing IWSiB Jorge Melegati Free University of Bozen-Bolzano | ||
16:00 - 17:30 | |||
16:00 30mTalk | OpenCat: Improving Interoperability of ADS Testing DeepTest Qurban Ali University of Milano-Bicocca, Andrea Stocco Technical University of Munich, fortiss, Leonardo Mariani University of Milano-Bicocca, Oliviero Riganelli University of Milano - Bicocca Pre-print | ||
16:30 30mTalk | Reinforcement Learning from Automatic Feedback for High-Quality Unit Test Generation DeepTest Benjamin Steenhoek Microsoft, Michele Tufano Google, Neel Sundaresan Microsoft, Alexey Svyatkovskiy Google DeepMind | ||
16:30 - 17:30 | |||
16:30 60mTalk | AIware: Performance engineering for AIwareSE for AI Tutorials and Technical Briefings Boyuan Chen Centre for Software Excellence, Huawei Canada, Haoxiang Zhang Centre for Software Excellence at Huawei Canada | ||
Sun 4 MayDisplayed time zone: Eastern Time (US & Canada) change
Sun 4 May
Displayed time zone: Eastern Time (US & Canada) change
09:00 - 09:45 | |||
09:00 45mTalk | AIware: Agentic architectures and workflowsSE for AI Tutorials and Technical Briefings Keheliya Gallaba Centre for Software Excellence, Huawei Canada | ||
09:45 - 10:30 | |||
09:45 45mTalk | AIware: Development Platforms for Agentic SoftwareSE for AI Tutorials and Technical Briefings Gustavo Oliva Centre for Software Excellence, Huawei Canada | ||
11:00 - 12:00 | |||
11:00 60mTalk | AIware: Alignment Engineering + Data FlywheelSE for AI Tutorials and Technical Briefings Gopi Krishnan Rajbahadur Centre for Software Excellence, Huawei, Canada | ||
14:00 - 15:30 | |||
14:00 90mTalk | AIware: Deploying GenAI Applications on AWS EKSSE for AI Tutorials and Technical Briefings Ezequiel Lanza Intel | ||
15:30 - 16:00 | |||
15:30 30mTalk | AIware: AIware ObservabilitySE for AI Tutorials and Technical Briefings | ||
16:30 - 17:15 | |||
16:30 45mTalk | AIware: Evaluating AIwareSE for AI Tutorials and Technical Briefings Jiahuei (Justina) Lin Centre for Software Excellence, Huawei Canada | ||
17:15 - 17:50 | |||
17:15 35mTalk | AIware: How is JetBrains leveraging FMware to improve the software development experience? SE for AI Tutorials and Technical Briefings Danny Dig University of Colorado Boulder, JetBrains Research | ||
17:50 - 18:00 | |||
17:50 10mDay closing | AIware Bootcamp ClosingSE for AI Tutorials and Technical Briefings Ahmed E. Hassan Queen’s University | ||
iCalendar subscription service for your personal schedule
You first need to have starred events () in order to use the iCalendar subscription service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format
Tue 29 Apr 2025 19:00 - 22:00 at 202 - Quiet Room Tuesday Evening
Info for session
The Quiet Room (202) is for anyone who wants to get away from noise and be by themself.
It will be available throughout ICSE week except for Sunday, Tuesday and Saturday (since we need need the room for workshops on those days).
Please keep this room ‘library quiet’. If you want to listen to a stream or music., please wear headphones. Please do not talk to others or participate in a virtual event where you may have to talk.
This room is especially designed to be helpful for the neurodiverse community, who may need to recharge their social battery, or simply get away from noise.
Some people may choose to pray in this room. Please respect them when they do this. There is also Room 2A set aside for this purpose.
Note that the Ready Room (209) is another room where you can hang out and talk to others or get work done.
Wed 30 Apr 2025 07:00 - 22:00 at 202 - Quiet Room Wednesday
Info for session
The Quiet Room (202) is for anyone who wants to get away from noise and be by themself.
It will be available throughout ICSE week except for Sunday, Tuesday and Saturday (since we need need the room for workshops on those days).
Please keep this room ‘library quiet’. If you want to listen to a stream or music., please wear headphones. Please do not talk to others or participate in a virtual event where you may have to talk.
This room is especially designed to be helpful for the neurodiverse community, who may need to recharge their social battery, or simply get away from noise.
Some people may choose to pray in this room. Please respect them when they do this. There is also Room 2A set aside for this purpose.
Note that the Ready Room (209) is another room where you can hang out and talk to others or get work done.
Wed 30 Apr 2025 08:00 - 08:45 at 210 - Meditation Session with Laurie Williams
Info for session
Relax and Unwind: A Guided Meditation with Laurie Williams. Wednesday, April 30 at 8 am.
Do you need to calm your social anxiety before ICSE 2025 kicks in? Do you need to reset your stress level or reboot your focus before giving a public talk? Do you want to disconnect from work? Do you want to bond with your peers? ICSE 2025 is proud to offer a mental health and well-being session to all attendees. Please join us for a guided group mediation session with Laurie Williams.
Thu 1 May 2025 07:00 - 22:00 at 202 - Quiet Room Thursday
Info for session
The Quiet Room (202) is for anyone who wants to get away from noise and be by themself.
It will be available throughout ICSE week except for Sunday, Tuesday and Saturday (since we need need the room for workshops on those days).
Please keep this room ‘library quiet’. If you want to listen to a stream or music., please wear headphones. Please do not talk to others or participate in a virtual event where you may have to talk.
This room is especially designed to be helpful for the neurodiverse community, who may need to recharge their social battery, or simply get away from noise.
Some people may choose to pray in this room. Please respect them when they do this. There is also Room 2A set aside for this purpose.
Note that the Ready Room (209) is another room where you can hang out and talk to others or get work done.
Fri 2 May 2025 07:00 - 15:30 at 202 - Quiet Room Friday Until 330
Info for session
The Quiet Room (202) is for anyone who wants to get away from noise and be by themself.
It will be available throughout ICSE week except for Sunday, Tuesday and Saturday (since we need need the room for workshops on those days). There is also a block Friday afternoon where this is designated the room for the Neurodiverse Café, when people may talk quietly and socialize with other people who would like to socialize quietly and/or meet others with ADHD, autism and other neuridiversities.
Please keep this room ‘library quiet’. If you want to listen to a stream or music., please wear headphones. Please do not talk to others or participate in a virtual event where you may have to talk.
This room is especially designed to be helpful for the neurodiverse community, who may need to recharge their social battery, or simply get away from noise.
Some people may choose to pray in this room. Please respect them when they do this. There is also Room 2A set aside for this purpose.
Note that the Ready Room (209) is another room where you can hang out and talk to others or get work done.
Fri 2 May 2025 16:00 - 22:00 at 202 - Quiet Room Friday 4PM
Info for session
The Quiet Room (202) is for anyone who wants to get away from noise and be by themself.
It will be available throughout ICSE week except for Sunday, Tuesday and Saturday (since we need need the room for workshops on those days). There is also a block Friday afternoon where this is designated the room for the Neurodiverse Café, when people may talk quietly and socialize with other people who would like to socialize quietly and/or meet others with ADHD, autism and other neuridiversities.
Please keep this room ‘library quiet’. If you want to listen to a stream or music., please wear headphones. Please do not talk to others or participate in a virtual event where you may have to talk.
This room is especially designed to be helpful for the neurodiverse community, who may need to recharge their social battery, or simply get away from noise.
Some people may choose to pray in this room. Please respect them when they do this. There is also Room 2A set aside for this purpose.
Note that the Ready Room (209) is another room where you can hang out and talk to others or get work done.
xTue 18 Mar 01:43