FormaliSE 2025
Sun 27 - Mon 28 April 2025 Ottawa, Ontario, Canada
co-located with ICSE 2025
VenueRogers Centre, Ottawa (formerly Shaw Centre)
Room nameCanada Hall 3 Poster Area
Floor3
Room number303 Posters
Capacity60
Room Information

Poster area around periphery of the room. Lunches will also be served in the room (see Canada Hall 3) as well.

During the main conference, Wednesday to Friday posters from the main conference tracks, the ACM Student Research Competition and a subset of those from the Doctoral Symposium will be present here.

Other posters will appear in Room 209 Poster area.

The diagram below shows the plan for poster locations.

You need to be logged in to see ‘Information for participants’ with the names of the posters to be shown.

Posters to be put up Sunday:

Poster and days Conference Authors Title
1 (S)M-Tu MSR Refactoring for Dockerfile Quality: A Dive into Developer Practices and Automation Potential
2 (S)M-Tu MSR Bikash Saha, Nanda Rani, Sandeep Kumar Shukla MaLAware: Automating the Comprehension of Malicious Software Behaviours using Large Language Models (LLMs)
3 (S)M-Tu MSR Md Shamimur Rahman, Zadia Codabux and Chanchal K. Roy Investigating the Understandability of Review Comments on Code Change Requests
4 (S)M-Tu MSR Daniele Bifolco, Pietro Cassieri, Giuseppe Scanniello, Massimiliano Di Penta, Fiorella Zampetti Do LLMs Provide Links to Code Similar to what they Generate? A Study with Gemini and Bing CoPilot
5 (S)M-Tu MSR Ahmed Adnan, Antu Saha, Oscar Chaparro SPRINT: An Assistant for Issue Report Management
6 (S)M-Tu MSR Md Fazle Rabbi, Arifa Islam Champa, Rajshakhar Paul, and Minhaz F. Zibran Chasing the Clock: How Fast Are Vulnerabilities Fixed in the Maven Ecosystem?
7 (S)M-Tu MSR Imen Joaua, Oussama Ben Sghaier, Houari Sahraoui Combining Large Language Models with Static Analyzers for Code Review Generation
8 (S)M-Tu MSR Youness Hourri, Alexandre Decan, Tom Mens A Dataset of Contributor Activities in the NumFocus Open-Source Community
9 (S)M-Tu MSR Piotr Przymus, Mikołaj Fejzer, Jakub Narębski, Radosław Woźniak, Łukasz Halada, Aleksander Kazecki, Mykhailo Molchanov, Krzysztof Stencel HaPy-Bug - Human Annotated Python Bug Resolution Dataset
10 (S)M-Tu MSR Piotr Przymus, Mikołaj Fejzer, Jakub Narębski, Krzysztof Rykaczewski, Krzysztof Stencel Out of Sight, Still at Risk: The Lifecycle of Transitive Vulnerabilities in Maven
11 (S)M-Tu MSR Nkiru Ede, Jens Dietrich, Uli Zuelicke Popularity and Innovation in Maven Central
12 (S)M-Tu MSR Baltasar Berretta, Augustus Thomas, Heather Guarnera Dependency Update Adoption Patterns in the Maven Software Ecosystem
13 (S)M-Tu MSR Mina Shehata, Saidmakhmud Makhkamjonoov, Mahad Syed, Esteban Parra Cascading Effects: Analyzing Project Failure Impact in the Maven Central Ecosystem
14 (S)M-Tu MSR Christoph Bühler, David Spielmann, Roland Meier, Guido Salvaneschi TerraDS: A Dataset for Terraform HCL Programs
15 (S)M-Tu MSR Rio Kishimoto, Tetsuya Kanda, Yuki Manabe, Katsuro Inoue, Shi Qiu, Yoshiki Higo A Dataset of Software Bill of Materials for Evaluating SBOM Consumption Tools
16 (S)M-Tu MSR Toufique Ahmed, Premkumar Devenu, Christoph Treude, Michael Pradel Can LLMs Replace Manual Annotation of Software Engineering Artifacts?
17 (S)M-Tu MSR Chavhan Sujeet Yashavant, Mitrajsinh Chavda, Saurabh Kumar, Amey Karkare, Angshuman Karmakar SCRUBD: Smart Contracts Reentrancy and Unhandled Exceptions Vulnerability Dataset
18 (S)M-Tu MSR Julien Malka, Stefano Zacchiroli, Théo Zimmermann Does Functional Package Management Enable Reproducible Builds at Scale? Yes.
31 S-M(Tu) Forge Zhimin Zhao SE Arena: An Interactive Platform for Evaluating Foundation Models in Software Engineering
32 S-M(Tu) Forge Aneri Gandhi Automated Codebase Reconciliation using Large Language Models
33 S-M(Tu) Forge Lola Solovyeva AI-Powered, But Power-Hungry? Energy Efficiency of LLM-Generated Code
34 S-M(Tu) Forge Domenico Cotroneo PyResBugs: A Dataset of Residual Python Bugs for Natural Language-Driven Fault Injection
35 S-M(Tu) Forge Jonathan Katzy The Heap: A Contamination-Free Multilingual Code Dataset for Evaluating Large Language Models
36 S-M(Tu) Forge Ivan Petrukha SwiftEval: Developing a Language-Specific Benchmark for LLM-generated Code Evaluation
37 S-M(Tu) Forge Yevhenii Peteliev Towards Generating App Feature Descriptions Automatically with LLMs: the Setapp Case Study
62 S-M(Tu) CAIN Benjamin Weigell, Fabian Stieler,Bernhard Bauer All You Need is an AI Platform: A Proposal for a Complete Reference Architecture
63 S-M(Tu) CAIN Katherine R. Dearstyne, Pedro Antonio Alarcon Granadeno, Theodore Chambers, Jane Cleland-Huang Evaluating Reinforcement Learning Safety in Cyber-Physical Systems
64 S-M(Tu) CAIN Toufique Ahmed, Amin Alipour, Aftab Hussain, Toufique Ahmed, Stephen Huang, Md Rafiqul Islam Rabin, Bowen Xu Finding Trojan Triggers in Code LLMs: An Occlusion-based Human-in-the-loop Approach
65 S-M(Tu) CAIN Hadiza Yusuf, Khouloud Gaaloul Navigating the Shift: Architectural Transformations and Emerging Verification Demands in AI-Enabled Cyber-Physical Systems
66 S-M(Tu) CAIN Random Perturbation Attacks on LLMs for Code Generatio
67 S-M(Tu) CAIN Safeguarding LLM-Applications: Specify or Train?
68 S-M(Tu) CAIN Task decomposition and RAG as Design Patterns for GenAI-based Systems: The case of Workflow Generation

Posters to be put up Tuesday

Poster and days Conference Authors Title
31 Tu-F ACM SRC Jacob Tjaden The Balancing Act of Policies in Developing Machine Learning Explanations
32 Tu-F ACM SRC Iko-Ojo Simon Characterising Algorithm Debt in Machine and Deep Learning Systems
33 Tu-F ACM SRC Miao Miao Program Feature-based Fuzzing Benchmarking
34 Tu-F ACM SRC Boqi Chen Consistent Graph Model Generation with Large Language Models
35 Tu-F ACM SRC Mayant Mukul Automatic Fuzz Drivers for JavaScript with Type Distributions
36 Tu-F ACM SRC Reem Aleithan Revisiting SWE-Bench: On the Importance of Data Quality for LLM-based Code Models
37 Tu-F ACM SRC Avinash Palliyil Improving Formal Methods Visualizations
38 Tu-F ACM SRC Zehao Wang Identifying Performance-Sensitive Configurations in Software Systems with LLM-Driven Agents
39 Tu-F ACM SRC Hanbin Qin To Mock or Not to Mock: Divergence in Mocking Practices Between LLM and Developers
40 Tu-F ACM SRC Ravishka Rathnasuriya On the Fly Input Refinement for Code Language Models
41 Tu-F ACM SRC Oussama Ben Sghaier On the Automation of Code Review Tasks Through Cross-Task Knowledge Distillation
42 Tu-F ACM SRC Lyuye Zhang Enhancing OSS Remediation with Patch Backporting
43 Tu-F ACM SRC Sahar Badihi CASS: Context-Aware Slice Summarization for Debugging Regression Failures
44 Tu-F ACM SRC Yisen Xu MUARF: Leveraging Multi-Agent Workflows for Automated Code Refactoring
45 Tu-F ACM SRC Rui Lu Towards Compatibly Mitigating Technical Lag in Maven Projects

Posters to be put up Wednesday

Poster and days Conference Authors Title
1 W-F SEIS Arif Nurwidyantoro Strategies to Embed Human Values in Mobile Apps: What do End-Users and Practitioners Think?
2 W-F JF Emad Shihab Predicting the First Response Latency of Maintainers and Contributors in Pull Requests
3 W-F JF Emitza Guzman Best ends by the best means: ethical concerns in app reviews
4 W-F JF Shuvendu Lahiri LLM-Based Test-Driven Interactive Code Generation: User Study and Empirical Evaluation
5 W-F JF Andy Zaidman Shaken, Not Stirred. How Developers Like Their Amplified Tests
6 W-F Research Aseem Rastogi RustAssistant: Using LLMs to Fix Compilation Errors in Rust Code
7 W-F JF Phuong T. Nguyen Exploring User Privacy Awareness on GitHub: An Empirical Study
8 W-F Demo Fenglin Bi HyperCRX 2.0: A Comprehensive and Automated Tool for Empowering GitHub Insights
9 W-F SEIS Kousar Aslam Ethical Issues in Video Games: Insights from Reddit Discussions
10 W-F NIER Fabio Massacci Using ML filters to help automated vulnerability repairs: when it helps and when it doesn’t
11 W-F JF Ahmed E. Hassan An Empirical Study on Developers’ Shared Conversations with ChatGPT in GitHub Pull Requests and Issues
12 W-F Research Sheng Wen Your Fix Is My Exploit: Enabling Comprehensive DL Library API Fuzzing with Large Language Models
13 W-F JF Fabio Massacci On the acceptance by code reviewers of candidate security patches suggested by Automated Program Repair tools.
14 W-F SEIP Dinghao Wu FlatD: Protecting Deep Neural Network Program from Reversing Attacks
15 W-F SEIP Kurt Schneider Automating Explanation Need Management in App Reviews: A Case Study from the Navigation App Industry
16 W-F Research Dacheng Tao BDefects4NN: A Backdoor Defect Database for Controlled Localization Studies in Neural Networks
17 W-F JF Charles Zhang Mole: Efficient Crash Reproduction in Android Applications With Enforcing Necessary UI Events
18 W-F JF Bentley Oakes Building Domain-Specific Machine Learning Workflows: A Conceptual Framework for the State-of-the-Practice
19 W-F JF Zhen Ming (Jack) Jiang SimClone: Detecting Tabular Data Clones using Value Similarity
20 W-F JF Xuelong LI QuanTest: Entanglement-Guided Testing of Quantum Neural Network Systems
21 W-F Research Wenwen Wang BSan: A Powerful Identifier-Based Hardware-Independent Memory Error Detector for COTS Binaries
22 W-F NIER Ivan Beschastnikh Listening to the Firehose: Sonifying Z3’s Behavior
23 W-F NIER Kang Yang Towards Early Warning and Migration of High-Risk Dormant Open-Source Software Dependencies
24 W-F NIER James C. Davis A Unit Proofing Framework for Code-level Verification: A Research Agenda
25 W-F NIER Istvan David SusDevOps: Promoting Sustainability to a First Principle in Software Delivery
26 W-F NIER Xiangfeng Wang SolSearch: An LLM-Driven Framework for Efficient SAT-Solving Code Generation
27 W-F JF Sira Vegas Relevant information in TDD experiment reporting
28 W-F JF Shiyi Wei Automated Testing Linguistic Capabilities of NLP Models
29 W-F JF Li Zhang Non-Autoregressive Line-Level Code Completion
30 W-F Research Benjamin Weder Pattern-based Generation and Adaptation of Quantum Workflows
81 TuM + 47 W-F Doctoral Symposium Aman Sharma Build and Runtime Integrity for Java
82 TuM + 48 W-F Doctoral Symposium Charlotte Brandebusemeyer Interactions with Generative AI: Wearables to Measure Developer Experience and Productivity Objectively
83 TuM + 49 W-F Doctoral Symposium Trevor Stalnaker Understanding and Supporting the ML Supply Chain through ML Bill of Materials
84 TuM + 50 W-F Doctoral Symposium Alejandra Selva-Mora A BizDevOps-Aligned Framework for Integrating Security Practices in Agile Software Development
85 TuM + 51 W-F Doctoral Symposium Benedetta Donato Rethinking Software Development Considering Collaboration with AI Assistants
86 TuM + 52 W-F Doctoral Symposium Xiang Chen Exploring GenAI-Driven Innovation in Game Development
87 TuM + 53 W-F Doctoral Symposium Christopher Schankula Towards Fully-Traceable Human-Centred Design
88 TuM + 54 W-F Doctoral Symposium Tom Humbert User perceptions of ethical issues in software
89 TuM + 55 W-F Doctoral Symposium Faith Culas Advancing Cognitive Inclusivity in Software Engineering Tools and Practices
90 TuM + 56 W-F Doctoral Symposium Yuqing Xiao Human-centric Requirements Engineering for Digital Health Software for Aging People
91 TuM + 57 W-F Doctoral Symposium April Clarke Improving Software Engineering Team Communication Through Stronger Social Networks
92 TuM + 58 W-F Doctoral Symposium Paloma Guenes Decoding the Impostor Phenomenon: Unveiling Factors and Mitigation Strategies for Software Professionals
93 TuM + 59 W-F Doctoral Symposium David Molamphy Customer Validation, Feedback and Collaboration in Large-Scale Continuous Software Development
89 TuA + 60 W-F Doctoral Symposium Jake Zappin Addressing Recurring Bugs and Workflow Challenges in Quantum Software Engineering
90 TuA + 61 W-F Doctoral Symposium Thi Dinh Tran Distilling Reference Architectures from Open Source Repositories
91 TuA + 62 W-F Doctoral Symposium Renyi Zhong Towards Quality Assurance of Natural Language in Code
92 TuA + 63 W-F Doctoral Symposium Leon Freudenthaler Semantic-aware Replicated Data Types for Improved Conflict Resolution in Near-synchronous Code Collaboration
93 TuA + 64 W-F Doctoral Symposium Henrique MEDEIROS Energy efficiency through architectural tactics for self-adaptive Cloud systems
94 TuA + 65 W-F Doctoral Symposium Fabian C. Peña Augmenting the Generality and Performance of Large Language Models for Software Engineering
95 TuA + 66 W-F Doctoral Symposium Pablo Valle Automated Repair of Cyber-Physical Systems
96 TuA + 67 W-F Doctoral Symposium Geraldine Galindo-Gutierrez Automatically Generating Single-Responsibility Unit Tests
97 TuA + 68 W-F Doctoral Symposium Aditya Shankar Narayanan Structured State Space Exploration of Dash+ Models
98 TuA + 69 W-F Doctoral Symposium Gengyi Sun Intelligent Automation for Accelerating the Repair of Software Build Failures
99 TuA + 70 W-F Doctoral Symposium Dipin Khati Trustworthiness of Large Language Models for Code
Program

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

Sun 27 Apr

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

13:30 - 14:00

Mon 28 Apr

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

10:30 - 11:00
13:00 - 14:00
13:00
60m
Talk
SPRINT: An Assistant for Issue Report Management
MSR Data and Tool Showcase Track
Ahmed Adnan , Antu Saha William & Mary, Oscar Chaparro William & Mary
Pre-print
13:00
60m
Talk
Combining Large Language Models with Static Analyzers for Code Review Generation
MSR Technical Papers
Imen Jaoua DIRO, Université de Montréal, Oussama Ben Sghaier DIRO, Université de Montréal, Houari Sahraoui DIRO, Université de Montréal
Pre-print
13:00
60m
Talk
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
13:00
60m
Talk
Dependency Update Adoption Patterns in the Maven Software Ecosystem
MSR Mining Challenge
Baltasar Berretta College of Wooster, Augustus Thomas College of Wooster, Heather Guarnera The College of Wooster
13:00
60m
Talk
Popularity and Innovation in Maven Central
MSR Mining Challenge
Nkiru Ede Victoria University of Wellington, Jens Dietrich Victoria University of Wellington, Ulrich Zülicke Victoria University of Wellington
Pre-print
13:00
60m
Talk
Chasing the Clock: How Fast Are Vulnerabilities Fixed in the Maven Ecosystem?
MSR Mining Challenge
Md Fazle Rabbi Idaho State University, Arifa Islam Champa Idaho State University, Rajshakhar Paul Wayne State University, Minhaz F. Zibran Idaho State University
Pre-print
13:00
60m
Talk
SCRUBD: Smart Contracts Reentrancy and Unhandled Exceptions Vulnerability Dataset
MSR Data and Tool Showcase Track
Chavhan Sujeet Yashavant Indian Institute of Technology, Kanpur, Mitrajsinh Chavda Indian Institute of Technology Kanpur, India, Saurabh Kumar Indian Institute of Technology Hyderabad, India, Amey Karkare IIT Kanpur, Angshuman Karmakar Indian Institute of Technology Kanpur, India
Pre-print
13:00
60m
Talk
TerraDS: A Dataset for Terraform HCL Programs
MSR Data and Tool Showcase Track
Christoph Buehler University of St. Gallen, David Spielmann University of St. Gallen, Roland Meier armasuisse, Guido Salvaneschi University of St. Gallen
Pre-print
13:00
60m
Talk
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
13:00
60m
Talk
CoMRAT: Commit Message Rationale Analysis Tool
MSR Data and Tool Showcase Track
Mouna Dhaouadi University of Montreal, Bentley Oakes Polytechnique Montréal, Michalis Famelis Université de Montréal
Media Attached File Attached
13:00
60m
Talk
A Dataset of Software Bill of Materials for Evaluating SBOM Consumption Tools
MSR Data and Tool Showcase Track
Rio Kishimoto Osaka University, Tetsuya Kanda Notre Dame Seishin University, Yuki Manabe The University of Fukuchiyama, Katsuro Inoue Nanzan University, Shi Qiu Toshiba, Yoshiki Higo Osaka University
Pre-print
13:00
60m
Talk
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
13:00
60m
Talk
Does Functional Package Management Enable Reproducible Builds at Scale? Yes.
MSR Technical Papers
Julien Malka LTCI, Télécom Paris, Institut Polytechnique de Paris, France, Stefano Zacchiroli Télécom Paris, Polytechnic Institute of Paris, Théo Zimmermann Télécom Paris, Polytechnic Institute of Paris
Pre-print
13:00
60m
Talk
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
Pre-print
13:00
60m
Talk
Do LLMs Provide Links to Code Similar to what they Generate? A Study with Gemini and Bing CoPilot
MSR Technical Papers
Daniele Bifolco University of Sannio, Pietro Cassieri University of Salerno, Giuseppe Scanniello University of Salerno, Massimiliano Di Penta University of Sannio, Italy, Fiorella Zampetti University of Sannio, Italy
Pre-print
13:00
60m
Talk
Out of Sight, Still at Risk: The Lifecycle of Transitive Vulnerabilities in Maven
MSR Mining Challenge
Piotr Przymus Nicolaus Copernicus University in Toruń, Poland, Mikołaj Fejzer Nicolaus Copernicus University in Toruń, Jakub Narębski Nicolaus Copernicus University in Toruń, Krzysztof Rykaczewski Nicolaus Copernicus University in Toruń, Poland, Krzysztof Stencel University of Warsaw
Pre-print
13:00
60m
Talk
Refactoring for Dockerfile Quality: A Dive into Developer Practices and Automation Potential
MSR Technical Papers
Emna Ksontini University of Michigan, Meriem Mastouri University of Michigan, Rania Khalsi University of Michigan - Flint, Wael Kessentini DePaul University
13:00
60m
Talk
Cascading Effects: Analyzing Project Failure Impact in the Maven Central Ecosystem
MSR Mining Challenge
Mina Shehata Belmont University, Saidmakhmud Makhkamjonoov Belmont University, Mahad Syed Belmont University, Esteban Parra Belmont University
13:00
60m
Talk
MaLAware: Automating the Comprehension of Malicious Software Behaviours using Large Language Models (LLMs)
MSR Data and Tool Showcase Track
BIKASH SAHA Indian Institute of Technology Kanpur, Nanda Rani Indian Institute of Technology Kanpur, Sandeep K. Shukla Indian Institute of Technology Kanpur
Pre-print
13:00
60m
Talk
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

Tue 29 Apr

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

09:00 - 10:30
ACM Student Research Posters and Judging Session 1ICSE SRC - ACM Student Research Competition at Canada Hall 3 Poster Area
Chair(s): Md Tajmilur Rahman Gannon University
09:00
90m
Talk
Consistent Graph Model Generation with Large Language Models
ICSE SRC - ACM Student Research Competition
Boqi Chen McGill University
09:00
90m
Talk
Enhancing OSS Remediation with Patch Backporting
ICSE SRC - ACM Student Research Competition
Lyuye Zhang Nanyang Technological University
09:00
90m
Talk
Improving Formal Methods VisualizationsFormal Methods
ICSE SRC - ACM Student Research Competition
Avinash Palliyil Georgia Institute of Technology
09:00
90m
Talk
MUARF: Leveraging Multi-Agent Workflows for Automated Code Refactoring
ICSE SRC - ACM Student Research Competition
Yisen Xu Software PErformance, Analysis, and Reliability (SPEAR) lab, Concordia University, Montreal, Canada
09:00
90m
Talk
Identifying Performance-Sensitive Configurations in Software Systems with LLM-Driven Agents
ICSE SRC - ACM Student Research Competition
Zehao Wang Concordia University
09:00
90m
Talk
Characterising Algorithm Debt in Machine and Deep Learning Systems
ICSE SRC - ACM Student Research Competition
Emmanuel Iko-Ojo Simon Australian National University
09:00
90m
Talk
Automatic Fuzz Drivers for JavaScript with Type Distributions
ICSE SRC - ACM Student Research Competition
Mayant Mukul University of British Columbia
11:00 - 12:30
ACM Student Research Posters and Judging Session 2ICSE SRC - ACM Student Research Competition at Canada Hall 3 Poster Area
11:00
90m
Talk
On the Fly Input Refinement for Code Language Models
ICSE SRC - ACM Student Research Competition
Ravishka Shemal Rathnasuriya University of Texas at Dallas
11:00
90m
Talk
Program Feature-based Fuzzing Benchmarking
ICSE SRC - ACM Student Research Competition
Miao Miao The University of Texas at Dallas
11:00
90m
Talk
Towards Compatibly Mitigating Technical Lag in Maven Projects
ICSE SRC - ACM Student Research Competition
Rui Lu East China Normal University
11:00
90m
Talk
On the Automation of Code Review Tasks Through Cross-Task Knowledge Distillation
ICSE SRC - ACM Student Research Competition
Oussama Ben Sghaier DIRO, Université de Montréal
11:00
90m
Talk
CASS: Context-Aware Slice Summarization for Debugging Regression Failures
ICSE SRC - ACM Student Research Competition
Sahar Badihi University of British Columbia, Canada
Pre-print
11:00
90m
Talk
Revisiting SWE-Bench: On the Importance of Data Quality for LLM-based Code Models
ICSE SRC - ACM Student Research Competition
Reem Aleithan York University, Canada
11:00
90m
Talk
The Balancing Act of Policies in Developing Machine Learning Explanations
ICSE SRC - ACM Student Research Competition
Jacob Tjaden Colby College
11:00
90m
Talk
To Mock or Not to Mock: Divergence in Mocking Practices Between LLM and Developers
ICSE SRC - ACM Student Research Competition
Hanbin Qin Stevens Institute of Technology
13:00 - 14:00
13:00
60m
Talk
Chasing the Clock: How Fast Are Vulnerabilities Fixed in the Maven Ecosystem?
MSR Mining Challenge
Md Fazle Rabbi Idaho State University, Arifa Islam Champa Idaho State University, Rajshakhar Paul Wayne State University, Minhaz F. Zibran Idaho State University
Pre-print
13:00
60m
Talk
MaLAware: Automating the Comprehension of Malicious Software Behaviours using Large Language Models (LLMs)
MSR Data and Tool Showcase Track
BIKASH SAHA Indian Institute of Technology Kanpur, Nanda Rani Indian Institute of Technology Kanpur, Sandeep K. Shukla Indian Institute of Technology Kanpur
Pre-print
13:00
60m
Talk
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
13:00
60m
Talk
Popularity and Innovation in Maven Central
MSR Mining Challenge
Nkiru Ede Victoria University of Wellington, Jens Dietrich Victoria University of Wellington, Ulrich Zülicke Victoria University of Wellington
Pre-print
13:00
60m
Talk
TerraDS: A Dataset for Terraform HCL Programs
MSR Data and Tool Showcase Track
Christoph Buehler University of St. Gallen, David Spielmann University of St. Gallen, Roland Meier armasuisse, Guido Salvaneschi University of St. Gallen
Pre-print
13:00
60m
Talk
SPRINT: An Assistant for Issue Report Management
MSR Data and Tool Showcase Track
Ahmed Adnan , Antu Saha William & Mary, Oscar Chaparro William & Mary
Pre-print
13:00
60m
Talk
Does Functional Package Management Enable Reproducible Builds at Scale? Yes.
MSR Technical Papers
Julien Malka LTCI, Télécom Paris, Institut Polytechnique de Paris, France, Stefano Zacchiroli Télécom Paris, Polytechnic Institute of Paris, Théo Zimmermann Télécom Paris, Polytechnic Institute of Paris
Pre-print
13:00
60m
Talk
Dependency Update Adoption Patterns in the Maven Software Ecosystem
MSR Mining Challenge
Baltasar Berretta College of Wooster, Augustus Thomas College of Wooster, Heather Guarnera The College of Wooster
13:00
60m
Talk
A Dataset of Software Bill of Materials for Evaluating SBOM Consumption Tools
MSR Data and Tool Showcase Track
Rio Kishimoto Osaka University, Tetsuya Kanda Notre Dame Seishin University, Yuki Manabe The University of Fukuchiyama, Katsuro Inoue Nanzan University, Shi Qiu Toshiba, Yoshiki Higo Osaka University
Pre-print
13:00
60m
Talk
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
13:00
60m
Talk
Refactoring for Dockerfile Quality: A Dive into Developer Practices and Automation Potential
MSR Technical Papers
Emna Ksontini University of Michigan, Meriem Mastouri University of Michigan, Rania Khalsi University of Michigan - Flint, Wael Kessentini DePaul University
13:00
60m
Talk
Combining Large Language Models with Static Analyzers for Code Review Generation
MSR Technical Papers
Imen Jaoua DIRO, Université de Montréal, Oussama Ben Sghaier DIRO, Université de Montréal, Houari Sahraoui DIRO, Université de Montréal
Pre-print
13:00
60m
Talk
Cascading Effects: Analyzing Project Failure Impact in the Maven Central Ecosystem
MSR Mining Challenge
Mina Shehata Belmont University, Saidmakhmud Makhkamjonoov Belmont University, Mahad Syed Belmont University, Esteban Parra Belmont University
13:00
60m
Talk
CoMRAT: Commit Message Rationale Analysis Tool
MSR Data and Tool Showcase Track
Mouna Dhaouadi University of Montreal, Bentley Oakes Polytechnique Montréal, Michalis Famelis Université de Montréal
Media Attached File Attached
13:00
60m
Talk
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
13:00
60m
Talk
Do LLMs Provide Links to Code Similar to what they Generate? A Study with Gemini and Bing CoPilot
MSR Technical Papers
Daniele Bifolco University of Sannio, Pietro Cassieri University of Salerno, Giuseppe Scanniello University of Salerno, Massimiliano Di Penta University of Sannio, Italy, Fiorella Zampetti University of Sannio, Italy
Pre-print
13:00
60m
Talk
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
13:00
60m
Talk
SCRUBD: Smart Contracts Reentrancy and Unhandled Exceptions Vulnerability Dataset
MSR Data and Tool Showcase Track
Chavhan Sujeet Yashavant Indian Institute of Technology, Kanpur, Mitrajsinh Chavda Indian Institute of Technology Kanpur, India, Saurabh Kumar Indian Institute of Technology Hyderabad, India, Amey Karkare IIT Kanpur, Angshuman Karmakar Indian Institute of Technology Kanpur, India
Pre-print
13:00
60m
Talk
Out of Sight, Still at Risk: The Lifecycle of Transitive Vulnerabilities in Maven
MSR Mining Challenge
Piotr Przymus Nicolaus Copernicus University in Toruń, Poland, Mikołaj Fejzer Nicolaus Copernicus University in Toruń, Jakub Narębski Nicolaus Copernicus University in Toruń, Krzysztof Rykaczewski Nicolaus Copernicus University in Toruń, Poland, Krzysztof Stencel University of Warsaw
Pre-print
13:00
60m
Talk
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
Pre-print

Wed 30 Apr

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

13:30 - 14:00
13:30
30m
Poster
Pattern-based Generation and Adaptation of Quantum WorkflowsQuantum
ICSE 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
30m
Talk
Mole: Efficient Crash Reproduction in Android Applications With Enforcing Necessary UI Events
ICSE 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
30m
Talk
Automated Testing Linguistic Capabilities of NLP Models
ICSE 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
30m
Poster
BSan: A Powerful Identifier-Based Hardware-Independent Memory Error Detector for COTS BinariesArtifact-FunctionalArtifact-Available
ICSE 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
30m
Talk
A Unit Proofing Framework for Code-level Verification: A Research AgendaFormal Methods
ICSE 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
30m
Talk
Listening to the Firehose: Sonifying Z3’s BehaviorArtifact-FunctionalArtifact-ReusableArtifact-AvailableFormal Methods
ICSE New Ideas and Emerging Results (NIER)
Finn Hackett University of British Columbia, Ivan Beschastnikh University of British Columbia
13:30
30m
Talk
Towards Early Warning and Migration of High-Risk Dormant Open-Source Software DependenciesSecurity
ICSE 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
30m
Poster
SimClone: Detecting Tabular Data Clones using Value Similarity
ICSE 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
30m
Talk
SolSearch: An LLM-Driven Framework for Efficient SAT-Solving Code GenerationFormal Methods
ICSE 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
15:30 - 16:00
15:30
30m
Poster
Non-Autoregressive Line-Level Code Completion
ICSE Journal-first Papers
Fang Liu Beihang University, Zhiyi Fu Peking University, Ge Li Peking University, Zhi Jin Peking University, Hui Liu Beijing Institute of Technology, Yiyang Hao Silicon Heart Tech Co., Li Zhang Beihang University
15:30
30m
Poster
FlatD: Protecting Deep Neural Network Program from Reversing Attacks
ICSE 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
15:30
30m
Talk
Building Domain-Specific Machine Learning Workflows: A Conceptual Framework for the State-of-the-PracticeSE for AI
ICSE Journal-first Papers
Bentley Oakes Polytechnique Montréal, Michalis Famelis Université de Montréal, Houari Sahraoui DIRO, Université de Montréal
15:30
30m
Poster
Predicting the First Response Latency of Maintainers and Contributors in Pull Requests
ICSE Journal-first Papers
SayedHassan Khatoonabadi Concordia University, Ahmad Abdellatif University of Calgary, Diego Elias Costa Concordia University, Canada, Emad Shihab Concordia University
15:30
30m
Talk
LLM-Based Test-Driven Interactive Code Generation: User Study and Empirical Evaluation
ICSE Journal-first Papers
Sarah Fakhoury Microsoft Research, Aaditya Naik University of Pennsylvania, Georgios Sakkas University of California at San Diego, Saikat Chakraborty Microsoft Research, Shuvendu K. Lahiri Microsoft Research
Link to publication
15:30
30m
Poster
RustAssistant: Using LLMs to Fix Compilation Errors in Rust Code
ICSE Research Track
Pantazis Deligiannis Microsoft Research, Akash Lal Microsoft Research, Nikita Mehrotra Microsoft Research, Rishi Poddar Microsoft Research, Aseem Rastogi Microsoft Research
15:30
30m
Talk
QuanTest: Entanglement-Guided Testing of Quantum Neural Network SystemsQuantum
ICSE 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
Link to publication
17:30 - 18:00
Doctoral Symposium Poster Session (Wednesday) at Canada Hall 3 poster areaICSE Doctoral Symposium at Canada Hall 3 Poster Area
17:30
30m
Talk
Towards Fully-Traceable Human-Centred Design
ICSE Doctoral Symposium
Christopher Schankula McMaster University
17:30
30m
Talk
Towards Quality Assurance of Natural Language in Code
ICSE Doctoral Symposium
Renyi Zhong The Chinese University of Hong Kong
17:30
30m
Talk
Improving Software Engineering Team Communication Through Stronger Social Networks
ICSE Doctoral Symposium
April Clarke University of Canterbury
17:30
30m
Talk
Augmenting the Generality and Performance of Large Language Models for Software Engineering
ICSE Doctoral Symposium
Fabian C. Peña University of Passau
17:30
30m
Talk
Customer Validation, Feedback and Collaboration in Large-Scale Continuous Software Development
ICSE Doctoral Symposium
David Molamphy University of Limerick
17:30
30m
Talk
A BizDevOps-Aligned Framework for Integrating Security Practices in Agile Software Development
ICSE Doctoral Symposium
Alejandra Selva-Mora Universidad de Costa Rica
17:30
30m
Talk
Semantic-aware Replicated Data Types for Improved Conflict Resolution in Near-synchronous Code Collaboration
ICSE Doctoral Symposium
Leon Freudenthaler FH Campus Wien
17:30
30m
Talk
Human-centric Requirements Engineering for Digital Health Software for Aging People
ICSE Doctoral Symposium
Yuqing Xiao Monash University
17:30
30m
Talk
Automatically Generating Single-Responsibility Unit Tests
ICSE Doctoral Symposium
Geraldine Galindo-Gutierrez Centro de Investigación en Ciencias Exactas e Ingenierías, Universidad Católica Boliviana
17:30
30m
Talk
Exploring GenAI-Driven Innovation in Game Development
ICSE Doctoral Symposium
Xiang Chen University of Waterloo
17:30
30m
Talk
Addressing Recurring Bugs and Workflow Challenges in Quantum Software EngineeringQuantum
ICSE Doctoral Symposium
Jake Zappin William and Mary
17:30
30m
Talk
Understanding and Supporting the ML Supply Chain through ML Bill of Materials
ICSE Doctoral Symposium
Trevor Stalnaker William & Mary
17:30
30m
Talk
Energy efficiency through architectural tactics for self-adaptive Cloud systems
ICSE Doctoral Symposium
Henrique David de Medeiros Télécom SudParis, Institut Polytechnique de Paris
17:30
30m
Talk
Intelligent Automation for Accelerating the Repair of Software Build Failures
ICSE Doctoral Symposium
Gengyi Sun University of Waterloo
Pre-print
17:30
30m
Talk
Decoding the Impostor Phenomenon: Unveiling Factors and Mitigation Strategies for Software Professionals
ICSE Doctoral Symposium
Paloma Guenes Pontifical Catholic University of Rio de Janeiro (PUC-Rio)
17:30
30m
Talk
Automated Repair of Cyber-Physical Systems
ICSE Doctoral Symposium
Pablo Valle Mondragon University
Pre-print
17:30
30m
Talk
Distilling Reference Architectures from Open Source Repositories
ICSE Doctoral Symposium
Thi Dinh Tran Gran Sasso Science Institute
17:30
30m
Talk
Structured State Space Exploration of Dash+ Models
ICSE Doctoral Symposium
Aditya Shankar Narayanan University of Waterloo
17:30
30m
Talk
Interactions with Generative AI: Wearables to Measure Developer Experience and Productivity Objectively
ICSE Doctoral Symposium
Charlotte Brandebusemeyer Hasso Plattner Institute, University of Potsdam
17:30
30m
Talk
User perceptions of ethical issues in software
ICSE Doctoral Symposium
Tom P Humbert Vrije Universiteit Amsterdam
17:30
30m
Talk
Advancing Cognitive Inclusivity in Software Engineering Tools and Practices
ICSE Doctoral Symposium
Faith Culas University of Auckland
17:30
30m
Talk
Build and Runtime Integrity for Java
ICSE Doctoral Symposium
Aman Sharma KTH Royal Institute of Technology
Pre-print
17:30
30m
Talk
Rethinking Software Development Considering Collaboration with AI Assistants
ICSE Doctoral Symposium
Benedetta Donato University of Milano - Bicocca
17:30
30m
Talk
Trustworthiness of Large Language Models for Code
ICSE Doctoral Symposium
Dipin Khati William & Mary

Thu 1 May

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

10:30 - 11:00
10:30
30m
Poster
Pattern-based Generation and Adaptation of Quantum WorkflowsQuantum
ICSE 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
30m
Talk
A Unit Proofing Framework for Code-level Verification: A Research AgendaFormal Methods
ICSE 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
30m
Talk
SolSearch: An LLM-Driven Framework for Efficient SAT-Solving Code GenerationFormal Methods
ICSE 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
30m
Talk
Listening to the Firehose: Sonifying Z3’s BehaviorArtifact-FunctionalArtifact-ReusableArtifact-AvailableFormal Methods
ICSE New Ideas and Emerging Results (NIER)
Finn Hackett University of British Columbia, Ivan Beschastnikh University of British Columbia
10:30
30m
Poster
HyperCRX 2.0: A Comprehensive and Automated Tool for Empowering GitHub Insights
ICSE Demonstrations
Yantong Wang East China Normal University, Shengyu Zhao Tongji University, will wang , Fenglin Bi East China Normal University
10:30
30m
Talk
Using ML filters to help automated vulnerability repairs: when it helps and when it doesn’tSecurity
ICSE New Ideas and Emerging Results (NIER)
Maria Camporese University of Trento, Fabio Massacci University of Trento; Vrije Universiteit Amsterdam
10:30
30m
Talk
Automated Testing Linguistic Capabilities of NLP Models
ICSE 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
30m
Poster
Your Fix Is My Exploit: Enabling Comprehensive DL Library API Fuzzing with Large Language Models
ICSE 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 - 13:30
13:00
30m
Talk
BDefects4NN: A Backdoor Defect Database for Controlled Localization Studies in Neural Networks
ICSE 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
30m
Talk
Ethical Issues in Video Games: Insights from Reddit Discussions
ICSE SE in Society (SEIS)
Yeqian Li Vrije Universiteit Amsterdam, Kousar Aslam Vrije Universiteit Amsterdam
13:00
30m
Talk
An Empirical Study on Developers' Shared Conversations with ChatGPT in GitHub Pull Requests and Issues
ICSE 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
30m
Talk
QuanTest: Entanglement-Guided Testing of Quantum Neural Network SystemsQuantum
ICSE 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
Link to publication
13:00
30m
Poster
FlatD: Protecting Deep Neural Network Program from Reversing Attacks
ICSE 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
30m
Talk
Building Domain-Specific Machine Learning Workflows: A Conceptual Framework for the State-of-the-PracticeSE for AI
ICSE Journal-first Papers
Bentley Oakes Polytechnique Montréal, Michalis Famelis Université de Montréal, Houari Sahraoui DIRO, Université de Montréal
13:00
30m
Talk
On the acceptance by code reviewers of candidate security patches suggested by Automated Program Repair tools.Security
ICSE Journal-first Papers
Aurora Papotti Vrije Universiteit Amsterdam, Ranindya Paramitha University of Trento, Fabio Massacci University of Trento; Vrije Universiteit Amsterdam
13:00
30m
Talk
Automating Explanation Need Management in App Reviews: A Case Study from the Navigation App Industry
ICSE 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
13:30
30m
Poster
Non-Autoregressive Line-Level Code Completion
ICSE Journal-first Papers
Fang Liu Beihang University, Zhiyi Fu Peking University, Ge Li Peking University, Zhi Jin Peking University, Hui Liu Beijing Institute of Technology, Yiyang Hao Silicon Heart Tech Co., Li Zhang Beihang University
13:30
30m
Talk
LLM-Based Test-Driven Interactive Code Generation: User Study and Empirical Evaluation
ICSE Journal-first Papers
Sarah Fakhoury Microsoft Research, Aaditya Naik University of Pennsylvania, Georgios Sakkas University of California at San Diego, Saikat Chakraborty Microsoft Research, Shuvendu K. Lahiri Microsoft Research
Link to publication
13:30
30m
Talk
SusDevOps: Promoting Sustainability to a First Principle in Software Delivery
ICSE New Ideas and Emerging Results (NIER)
Istvan David McMaster University / McMaster Centre for Software Certification (McSCert)
13:30
30m
Poster
Predicting the First Response Latency of Maintainers and Contributors in Pull Requests
ICSE Journal-first Papers
SayedHassan Khatoonabadi Concordia University, Ahmad Abdellatif University of Calgary, Diego Elias Costa Concordia University, Canada, Emad Shihab Concordia University
13:30
30m
Poster
RustAssistant: Using LLMs to Fix Compilation Errors in Rust Code
ICSE Research Track
Pantazis Deligiannis Microsoft Research, Akash Lal Microsoft Research, Nikita Mehrotra Microsoft Research, Rishi Poddar Microsoft Research, Aseem Rastogi Microsoft Research
13:30
30m
Talk
Relevant information in TDD experiment reporting
ICSE 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
15:30 - 16:00
15:30
30m
Talk
Mole: Efficient Crash Reproduction in Android Applications With Enforcing Necessary UI Events
ICSE 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
30m
Talk
Best ends by the best means: ethical concerns in app reviews
ICSE Journal-first Papers
Neelam Tjikhoeri Vrije Universiteit Amsterdam, Lauren Olson Vrije Universiteit Amsterdam, Emitzá Guzmán Vrije Universiteit Amsterdam
15:30
30m
Talk
Shaken, Not Stirred. How Developers Like Their Amplified Tests
ICSE 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
Pre-print
15:30
30m
Poster
BSan: A Powerful Identifier-Based Hardware-Independent Memory Error Detector for COTS BinariesArtifact-FunctionalArtifact-Available
ICSE 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
30m
Talk
Towards Early Warning and Migration of High-Risk Dormant Open-Source Software DependenciesSecurity
ICSE 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
30m
Talk
Exploring User Privacy Awareness on GitHub: An Empirical Study
ICSE 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
30m
Poster
SimClone: Detecting Tabular Data Clones using Value Similarity
ICSE 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
30m
Talk
Strategies to Embed Human Values in Mobile Apps: What do End-Users and Practitioners Think?
ICSE 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
17:30 - 18:00
Doctoral Symposium Poster Session (Thursday) at Canada Hall 3 poster areaICSE Doctoral Symposium at Canada Hall 3 Poster Area
17:30
30m
Talk
Understanding and Supporting the ML Supply Chain through ML Bill of Materials
ICSE Doctoral Symposium
Trevor Stalnaker William & Mary
17:30
30m
Talk
Improving Software Engineering Team Communication Through Stronger Social Networks
ICSE Doctoral Symposium
April Clarke University of Canterbury
17:30
30m
Talk
Interactions with Generative AI: Wearables to Measure Developer Experience and Productivity Objectively
ICSE Doctoral Symposium
Charlotte Brandebusemeyer Hasso Plattner Institute, University of Potsdam
17:30
30m
Talk
Decoding the Impostor Phenomenon: Unveiling Factors and Mitigation Strategies for Software Professionals
ICSE Doctoral Symposium
Paloma Guenes Pontifical Catholic University of Rio de Janeiro (PUC-Rio)
17:30
30m
Talk
Towards Quality Assurance of Natural Language in Code
ICSE Doctoral Symposium
Renyi Zhong The Chinese University of Hong Kong
17:30
30m
Talk
Exploring GenAI-Driven Innovation in Game Development
ICSE Doctoral Symposium
Xiang Chen University of Waterloo
17:30
30m
Talk
Addressing Recurring Bugs and Workflow Challenges in Quantum Software EngineeringQuantum
ICSE Doctoral Symposium
Jake Zappin William and Mary
17:30
30m
Talk
Towards Fully-Traceable Human-Centred Design
ICSE Doctoral Symposium
Christopher Schankula McMaster University
17:30
30m
Talk
A BizDevOps-Aligned Framework for Integrating Security Practices in Agile Software Development
ICSE Doctoral Symposium
Alejandra Selva-Mora Universidad de Costa Rica
17:30
30m
Talk
Customer Validation, Feedback and Collaboration in Large-Scale Continuous Software Development
ICSE Doctoral Symposium
David Molamphy University of Limerick
17:30
30m
Talk
Automated Repair of Cyber-Physical Systems
ICSE Doctoral Symposium
Pablo Valle Mondragon University
Pre-print
17:30
30m
Talk
Intelligent Automation for Accelerating the Repair of Software Build Failures
ICSE Doctoral Symposium
Gengyi Sun University of Waterloo
Pre-print
17:30
30m
Talk
Trustworthiness of Large Language Models for Code
ICSE Doctoral Symposium
Dipin Khati William & Mary
17:30
30m
Talk
Automatically Generating Single-Responsibility Unit Tests
ICSE Doctoral Symposium
Geraldine Galindo-Gutierrez Centro de Investigación en Ciencias Exactas e Ingenierías, Universidad Católica Boliviana
17:30
30m
Talk
Augmenting the Generality and Performance of Large Language Models for Software Engineering
ICSE Doctoral Symposium
Fabian C. Peña University of Passau
17:30
30m
Talk
Semantic-aware Replicated Data Types for Improved Conflict Resolution in Near-synchronous Code Collaboration
ICSE Doctoral Symposium
Leon Freudenthaler FH Campus Wien
17:30
30m
Talk
Rethinking Software Development Considering Collaboration with AI Assistants
ICSE Doctoral Symposium
Benedetta Donato University of Milano - Bicocca
17:30
30m
Talk
Human-centric Requirements Engineering for Digital Health Software for Aging People
ICSE Doctoral Symposium
Yuqing Xiao Monash University
17:30
30m
Talk
User perceptions of ethical issues in software
ICSE Doctoral Symposium
Tom P Humbert Vrije Universiteit Amsterdam
17:30
30m
Talk
Energy efficiency through architectural tactics for self-adaptive Cloud systems
ICSE Doctoral Symposium
Henrique David de Medeiros Télécom SudParis, Institut Polytechnique de Paris
17:30
30m
Talk
Build and Runtime Integrity for Java
ICSE Doctoral Symposium
Aman Sharma KTH Royal Institute of Technology
Pre-print
17:30
30m
Talk
Structured State Space Exploration of Dash+ Models
ICSE Doctoral Symposium
Aditya Shankar Narayanan University of Waterloo
17:30
30m
Talk
Advancing Cognitive Inclusivity in Software Engineering Tools and Practices
ICSE Doctoral Symposium
Faith Culas University of Auckland
17:30
30m
Talk
Distilling Reference Architectures from Open Source Repositories
ICSE Doctoral Symposium
Thi Dinh Tran Gran Sasso Science Institute

Fri 2 May

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

10:30 - 11:00
10:30
30m
Talk
An Empirical Study on Developers' Shared Conversations with ChatGPT in GitHub Pull Requests and Issues
ICSE 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
30m
Talk
Automating Explanation Need Management in App Reviews: A Case Study from the Navigation App Industry
ICSE 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
30m
Talk
On the acceptance by code reviewers of candidate security patches suggested by Automated Program Repair tools.Security
ICSE Journal-first Papers
Aurora Papotti Vrije Universiteit Amsterdam, Ranindya Paramitha University of Trento, Fabio Massacci University of Trento; Vrije Universiteit Amsterdam
10:30
30m
Talk
Relevant information in TDD experiment reporting
ICSE 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
30m
Talk
BDefects4NN: A Backdoor Defect Database for Controlled Localization Studies in Neural Networks
ICSE 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
30m
Talk
Ethical Issues in Video Games: Insights from Reddit Discussions
ICSE SE in Society (SEIS)
Yeqian Li Vrije Universiteit Amsterdam, Kousar Aslam Vrije Universiteit Amsterdam
10:30
30m
Talk
SusDevOps: Promoting Sustainability to a First Principle in Software Delivery
ICSE New Ideas and Emerging Results (NIER)
Istvan David McMaster University / McMaster Centre for Software Certification (McSCert)
13:00 - 13:30
13:00
30m
Talk
Strategies to Embed Human Values in Mobile Apps: What do End-Users and Practitioners Think?
ICSE 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
30m
Talk
Best ends by the best means: ethical concerns in app reviews
ICSE Journal-first Papers
Neelam Tjikhoeri Vrije Universiteit Amsterdam, Lauren Olson Vrije Universiteit Amsterdam, Emitzá Guzmán Vrije Universiteit Amsterdam
13:00
30m
Poster
HyperCRX 2.0: A Comprehensive and Automated Tool for Empowering GitHub Insights
ICSE Demonstrations
Yantong Wang East China Normal University, Shengyu Zhao Tongji University, will wang , Fenglin Bi East China Normal University
13:00
30m
Poster
Your Fix Is My Exploit: Enabling Comprehensive DL Library API Fuzzing with Large Language Models
ICSE 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
30m
Talk
Using ML filters to help automated vulnerability repairs: when it helps and when it doesn’tSecurity
ICSE New Ideas and Emerging Results (NIER)
Maria Camporese University of Trento, Fabio Massacci University of Trento; Vrije Universiteit Amsterdam
13:00
30m
Talk
Shaken, Not Stirred. How Developers Like Their Amplified Tests
ICSE 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
Pre-print
13:00
30m
Talk
Exploring User Privacy Awareness on GitHub: An Empirical Study
ICSE 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
17:30 - 18:00
Doctoral Symposium Poster Session (Friday) at Canada Hall 3 poster areaICSE Doctoral Symposium at Canada Hall 3 Poster Area
17:30
30m
Talk
Distilling Reference Architectures from Open Source Repositories
ICSE Doctoral Symposium
Thi Dinh Tran Gran Sasso Science Institute
17:30
30m
Talk
Towards Quality Assurance of Natural Language in Code
ICSE Doctoral Symposium
Renyi Zhong The Chinese University of Hong Kong
17:30
30m
Talk
Augmenting the Generality and Performance of Large Language Models for Software Engineering
ICSE Doctoral Symposium
Fabian C. Peña University of Passau
17:30
30m
Talk
Towards Fully-Traceable Human-Centred Design
ICSE Doctoral Symposium
Christopher Schankula McMaster University
17:30
30m
Talk
Decoding the Impostor Phenomenon: Unveiling Factors and Mitigation Strategies for Software Professionals
ICSE Doctoral Symposium
Paloma Guenes Pontifical Catholic University of Rio de Janeiro (PUC-Rio)
17:30
30m
Talk
Structured State Space Exploration of Dash+ Models
ICSE Doctoral Symposium
Aditya Shankar Narayanan University of Waterloo
17:30
30m
Talk
User perceptions of ethical issues in software
ICSE Doctoral Symposium
Tom P Humbert Vrije Universiteit Amsterdam
17:30
30m
Talk
Interactions with Generative AI: Wearables to Measure Developer Experience and Productivity Objectively
ICSE Doctoral Symposium
Charlotte Brandebusemeyer Hasso Plattner Institute, University of Potsdam
17:30
30m
Talk
Improving Software Engineering Team Communication Through Stronger Social Networks
ICSE Doctoral Symposium
April Clarke University of Canterbury
17:30
30m
Talk
Automated Repair of Cyber-Physical Systems
ICSE Doctoral Symposium
Pablo Valle Mondragon University
Pre-print
17:30
30m
Talk
Build and Runtime Integrity for Java
ICSE Doctoral Symposium
Aman Sharma KTH Royal Institute of Technology
Pre-print
17:30
30m
Talk
Addressing Recurring Bugs and Workflow Challenges in Quantum Software EngineeringQuantum
ICSE Doctoral Symposium
Jake Zappin William and Mary
17:30
30m
Talk
Advancing Cognitive Inclusivity in Software Engineering Tools and Practices
ICSE Doctoral Symposium
Faith Culas University of Auckland
17:30
30m
Talk
A BizDevOps-Aligned Framework for Integrating Security Practices in Agile Software Development
ICSE Doctoral Symposium
Alejandra Selva-Mora Universidad de Costa Rica
17:30
30m
Talk
Semantic-aware Replicated Data Types for Improved Conflict Resolution in Near-synchronous Code Collaboration
ICSE Doctoral Symposium
Leon Freudenthaler FH Campus Wien
17:30
30m
Talk
Rethinking Software Development Considering Collaboration with AI Assistants
ICSE Doctoral Symposium
Benedetta Donato University of Milano - Bicocca
17:30
30m
Talk
Intelligent Automation for Accelerating the Repair of Software Build Failures
ICSE Doctoral Symposium
Gengyi Sun University of Waterloo
Pre-print
17:30
30m
Talk
Exploring GenAI-Driven Innovation in Game Development
ICSE Doctoral Symposium
Xiang Chen University of Waterloo
17:30
30m
Talk
Understanding and Supporting the ML Supply Chain through ML Bill of Materials
ICSE Doctoral Symposium
Trevor Stalnaker William & Mary
17:30
30m
Talk
Customer Validation, Feedback and Collaboration in Large-Scale Continuous Software Development
ICSE Doctoral Symposium
David Molamphy University of Limerick
17:30
30m
Talk
Trustworthiness of Large Language Models for Code
ICSE Doctoral Symposium
Dipin Khati William & Mary
17:30
30m
Talk
Human-centric Requirements Engineering for Digital Health Software for Aging People
ICSE Doctoral Symposium
Yuqing Xiao Monash University
17:30
30m
Talk
Automatically Generating Single-Responsibility Unit Tests
ICSE Doctoral Symposium
Geraldine Galindo-Gutierrez Centro de Investigación en Ciencias Exactas e Ingenierías, Universidad Católica Boliviana
17:30
30m
Talk
Energy efficiency through architectural tactics for self-adaptive Cloud systems
ICSE Doctoral Symposium
Henrique David de Medeiros Télécom SudParis, Institut Polytechnique de Paris

Sun 27 Apr

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

Mon 28 Apr

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

Room13:00153045
Canada Hall 3 Poster Area
13:00 - 14:00
13:00 - 14:00
13:00 - 14:00
13:00 - 14:00
13:00 - 14:00
13:00 - 14:00
13:00 - 14:00
13:00 - 14:00
13:00 - 14:00
13:00 - 14:00
13:00 - 14:00
13:00 - 14:00
13:00 - 14:00
13:00 - 14:00
13:00 - 14:00
13:00 - 14:00
13:00 - 14:00
13:00 - 14:00
13:00 - 14:00

Tue 29 Apr

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

Room9:0015304510:0015304511:0015304512:0015304513:00153045
Canada Hall 3 Poster Area
13:00 - 14:00
13:00 - 14:00
13:00 - 14:00
13:00 - 14:00
13:00 - 14:00
13:00 - 14:00
13:00 - 14:00
13:00 - 14:00
13:00 - 14:00
13:00 - 14:00
13:00 - 14:00
13:00 - 14:00
13:00 - 14:00
13:00 - 14:00
13:00 - 14:00
13:00 - 14:00
13:00 - 14:00
13:00 - 14:00
13:00 - 14:00

Wed 30 Apr

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

Room13:0015304514:0015304515:0015304516:0015304517:00153045
Canada Hall 3 Poster Area
17:30 - 18:00
17:30 - 18:00
17:30 - 18:00
17:30 - 18:00
17:30 - 18:00
17:30 - 18:00
17:30 - 18:00
17:30 - 18:00
17:30 - 18:00
17:30 - 18:00
17:30 - 18:00
17:30 - 18:00
17:30 - 18:00
17:30 - 18:00
17:30 - 18:00
17:30 - 18:00
17:30 - 18:00
17:30 - 18:00
17:30 - 18:00
17:30 - 18:00
17:30 - 18:00
17:30 - 18:00
17:30 - 18:00

Thu 1 May

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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Canada Hall 3 Poster Area
17:30 - 18:00
17:30 - 18:00
17:30 - 18:00
17:30 - 18:00
17:30 - 18:00
17:30 - 18:00
17:30 - 18:00
17:30 - 18:00
17:30 - 18:00
17:30 - 18:00
17:30 - 18:00
17:30 - 18:00
17:30 - 18:00
17:30 - 18:00
17:30 - 18:00
17:30 - 18:00
17:30 - 18:00
17:30 - 18:00
17:30 - 18:00
17:30 - 18:00
17:30 - 18:00
17:30 - 18:00
17:30 - 18:00

Fri 2 May

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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Canada Hall 3 Poster Area
17:30 - 18:00
17:30 - 18:00
17:30 - 18:00
17:30 - 18:00
17:30 - 18:00
17:30 - 18:00
17:30 - 18:00
17:30 - 18:00
17:30 - 18:00
17:30 - 18:00
17:30 - 18:00
17:30 - 18:00
17:30 - 18:00
17:30 - 18:00
17:30 - 18:00
17:30 - 18:00
17:30 - 18:00
17:30 - 18:00
17:30 - 18:00
17:30 - 18:00
17:30 - 18:00
17:30 - 18:00
17:30 - 18:00