TechDebt 2025
Sun 27 - Mon 28 April 2025 Ottawa, Ontario, Canada
co-located with ICSE 2025
VenueRogers Centre, Ottawa (formerly Shaw Centre)
Room name214
Floor2
Room number214
Capacity408
Room Information

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

This is the largest room on the second floor, and will be the main room of the MSR (Mining Software Repositories) co-located conference on Monday and Tuesday (MSR also uses 215 right next door).

During the main conference days this will be used for some of the sessions that are expected to attract the biggest audiences, such as the Panel 1 and the Town Hall on Thursday afternoon. At other times a key theme will be AI for Testing and Quality.

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

09:00 - 10:30
OpeningNLBSE at 214
Chair(s): Maliheh Izadi Delft University of Technology, Sebastiano Panichella University of Bern
09:15
15m
Day opening
Opening
NLBSE
Maliheh Izadi Delft University of Technology, Andrea Di Sorbo University of Sannio, Sebastiano Panichella University of Bern
09:30
60m
Keynote
Breaking the Silence: the Threats of Using LLMs in Software Engineering
NLBSE
June Sallou Wageningen University & Research, Annibale Panichella Delft University of Technology
11:00 - 12:30
Session 1 - Research papersNLBSE at 214
Chair(s): Maliheh Izadi Delft University of Technology, Sebastiano Panichella University of Bern
11:00
20m
Full-paper
Analyzing Toxicity in Open Source Software Communications Using Psycholinguistics and Moral Foundations Theory
NLBSE
Ramtin Ehsani Drexel University, Shadi Rezapour , Preetha Chatterjee Drexel University, USA
11:20
15m
Short-paper
SkillScope: A Tool to Predict Fine-Grained Skills Needed to Solve Issues on GitHub
NLBSE
Benjamin C. Carter , Jonathan Rives Contreras , Carlos A. Llanes , Pawan Acharya Northern Arizona University, Jack Utzerath , Adonijah O. Farner , Hunter Jenkins , Dylan Johnson Grand Canyon University, Jacob Penney Northern Arizona University, Igor Steinmacher NAU RESHAPE LAB, Marco Gerosa Northern Arizona University, Fabio Marcos De Abreu Santos Colorado State University, USA
11:35
15m
Short-paper
Synthesizing Access Control Policies using Large Language Models
NLBSE
11:50
15m
Short-paper
Semantic API Alignment: Linking High-level User Goals to APIs
NLBSE
Robert Feldt Chalmers | University of Gothenburg, Blekinge Institute of Technology, Riccardo Coppola Politecnico di Torino
12:05
15m
Short-paper
Evaluating Large Language Models in Exercises of UML Use Case Diagrams Modeling
NLBSE
Giacomo Garaccione Politecnico di Torino, Pablo Federico Vega Carrazan , Riccardo Coppola Politecnico di Torino, Luca Ardito Politecnico di Torino
12:20
10m
Paper
Automating Benchmark Generation for LLMs in Software Engineering: Challenges and Opportunities
NLBSE
Nimrod Busany Accenture Labs, Hananel Hadad Accenture Labs, Israel, Gil Rosenblum , Zofia Maszlanka Avanade, Poland, Rohit Shelke University of Ottawa, Canada, Okhaide Akhigbe University of Ottawa, Daniel Amyot University of Ottawa
14:00 - 15:30
Session 2 - Tool competitionNLBSE at 214
Chair(s): Maliheh Izadi Delft University of Technology, Sebastiano Panichella University of Bern, Giuseppe Colavito University of Bari, Pooja Rani University of Zurich, Ali Al-Kaswan Delft University of Technology, Netherlands, Nataliia Stulova MacPaw
14:00
10m
Other
Opening & Code Comment Classification Competition
NLBSE
Giuseppe Colavito University of Bari, Pooja Rani University of Zurich, Ali Al-Kaswan Delft University of Technology, Netherlands, Nataliia Stulova MacPaw
14:10
10m
Demonstration
Code Comment Classification with Data Augmentation and Transformer-Based Models
NLBSE
Mushfiqur Rahman , Mohammed Latif Siddiq University of Notre Dame
14:20
10m
Demonstration
GRAPHiC: Utilizing Graph Structures and Class Weights in Code Comment Classification with Pretrained BERT Models
NLBSE
Pir Sami Ullah Shah FAST National University, Shahela Saif , Muhammad Haris Athar FAST National University, Muhammad Riyaan Tariq , Abdur Rehman Afzal FAST National University
14:30
10m
Demonstration
Evaluating the Performance and Efficiency of Sentence-BERT for Code Comment Classification
NLBSE
Fabian C. Peña University of Passau, Steffen Herbold University of Passau
14:40
10m
Demonstration
Optimizing Deep Learning Models to Address Class Imbalance in Code Comment Classification
NLBSE
Moritz Mock Free University of Bozen-Bolzano, Thomas Borsani , Giuseppe Di Fatta , Barbara Russo Free University of Bozen/Bolzano, Italy
14:50
10m
Demonstration
CodeComClassify: Automating Code Comments Classification using BERT-based Language Models
NLBSE
15:00
10m
Other
Competition Closing
NLBSE
Giuseppe Colavito University of Bari, Pooja Rani University of Zurich, Ali Al-Kaswan Delft University of Technology, Netherlands, Nataliia Stulova MacPaw
15:10
10m
Day closing
Workshop closing
NLBSE
Maliheh Izadi Delft University of Technology, Andrea Di Sorbo University of Sannio, Sebastiano Panichella University of Bern

Mon 28 Apr

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

09:00 - 10:30
Plenary: Opening + Joint MSR + ICPC KeynoteMSR Program / MSR Keynotes at 214
Chair(s): Bram Adams Queen's University, Olga Baysal Carleton University, Michael W. Godfrey University of Waterloo, Canada, Ayushi Rastogi University of Groningen, The Netherlands
09:00
30m
Day opening
Official Opening
MSR Program

09:30
60m
Keynote
Mining BOMs for Improving Supply Chain Efficiency & Resilience
MSR Keynotes
Kate Stewart Linux Foundation
11:00 - 12:30
Defects, bugs, and issuesMSR Data and Tool Showcase Track / MSR Technical Papers / MSR Registered Reports at 214
Chair(s): Minhaz Zibran Idaho State University
11:00
10m
Talk
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
10m
Talk
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
10m
Talk
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
10m
Talk
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
10m
Talk
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
10m
Talk
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
5m
Talk
Mining Bug Repositories for Multi-Fault Programs
MSR Data and Tool Showcase Track
Dylan Callaghan Stellenbosch University, Bernd Fischer Stellenbosch University
12:05
5m
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
12:10
5m
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
12:15
5m
Talk
Identifying and Replicating Code Patterns Driving Performance Regressions in Software Systems
MSR Registered Reports
Denivan Campos University of Molise, Luana Martins University of Salerno, Emanuela Guglielmi University of Molise, Michele Tucci University of L'Aquila, Daniele Di Pompeo University of L'Aquila, Simone Scalabrino University of Molise, Vittorio Cortellessa University of L'Aquila, Dario Di Nucci University of Salerno, Rocco Oliveto University of Molise
14:00 - 15:30
AI for SE (1)MSR Technical Papers / MSR Data and Tool Showcase Track / MSR Registered Reports at 214
Chair(s): Diego Costa Concordia University, Canada
14:00
10m
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
14:10
10m
Talk
Harnessing Large Language Models for Curated Code Reviews
MSR Technical Papers
Oussama Ben Sghaier DIRO, Université de Montréal, Martin Weyssow Singapore Management University, Houari Sahraoui DIRO, Université de Montréal
Pre-print
14:20
10m
Talk
SMATCH-M-LLM: Semantic Similarity in Metamodel Matching With Large Language Models
MSR Technical Papers
Nafisa Ahmed Polytechnique Montreal, Hin Chi Kwok Hong Kong Polytechnic University, Mohammad Hamdaqa Polytechnique Montréal, Wesley Assunção North Carolina State University
14:30
10m
Talk
How Effective are LLMs for Data Science Coding? A Controlled Experiment
MSR Technical Papers
Nathalia Nascimento Pennsylvania State University, Everton Guimaraes Pennsylvania State University, USA, Sai Sanjna Chintakunta Pennsylvania State University, Santhosh AB Pennsylvania State University
Pre-print
14:40
10m
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
14:50
10m
Talk
Too Noisy To Learn: Enhancing Data Quality for Code Review Comment Generation
MSR Technical Papers
Chunhua Liu The University of Melbourne, Hong Yi Lin The University of Melbourne, Patanamon Thongtanunam University of Melbourne
15:00
5m
Talk
Should Code Models Learn Pedagogically? A Preliminary Evaluation of Curriculum Learning for Real-World Software Engineering Tasks
MSR Technical Papers
Skylar Kyi Shin Khant The University of Melbourne, Hong Yi Lin The University of Melbourne, Patanamon Thongtanunam University of Melbourne
15:05
5m
Talk
RepoChat: An LLM-Powered Chatbot for GitHub Repository Question-Answering
MSR Data and Tool Showcase Track
Samuel Abedu Concordia University, Laurine Menneron CESI Graduate School of Engineering, SayedHassan Khatoonabadi Concordia University, Emad Shihab Concordia University
15:10
5m
Talk
How do Copilot Suggestions Impact Developers' Frustration and Productivity?
MSR Registered Reports
Emanuela Guglielmi University of Molise, Venera Arnaoudova Washington State University, Gabriele Bavota Software Institute @ Università della Svizzera Italiana, Rocco Oliveto University of Molise, Simone Scalabrino University of Molise
15:15
5m
Talk
Exploring the Lifecycle and Maintenance Practices of Pre-Trained Models in Open-Source Software Repositories
MSR Registered Reports
Matin Koohjani , Diego Costa Concordia University, Canada
16:00 - 17:30
LLMs for CodeMSR Technical Papers / MSR Data and Tool Showcase Track / MSR Tutorials at 214
Chair(s): Ali Ouni ETS Montreal, University of Quebec
16:00
10m
Talk
How Much Do Code Language Models Remember? An Investigation on Data Extraction Attacks before and after Fine-tuning
MSR Technical Papers
Fabio Salerno Delft University of Technology, Ali Al-Kaswan Delft University of Technology, Netherlands, Maliheh Izadi Delft University of Technology
16:10
10m
Talk
Can LLMs Generate Higher Quality Code Than Humans? An Empirical Study
MSR Technical Papers
Mohammad Talal Jamil Lahore University of Management Sciences, Shamsa Abid National University of Computer and Emerging Sciences, Shafay Shamail LUMS, DHA, Lahore
Pre-print
16:20
10m
Talk
Prompt Engineering or Fine-Tuning: An Empirical Assessment of LLMs for Code
MSR Technical Papers
Jiho Shin York University, Clark Tang , Tahmineh Mohati University of Calgary, Maleknaz Nayebi York University, Song Wang York University, Hadi Hemmati York University
16:30
5m
Talk
Drawing Pandas: A Benchmark for LLMs in Generating Plotting Code
MSR Data and Tool Showcase Track
Timur Galimzyanov JetBrains Research, Sergey Titov JetBrains Research, Yaroslav Golubev JetBrains Research, Egor Bogomolov JetBrains Research
Pre-print
16:35
5m
Talk
SnipGen: A Mining Repository Framework for Evaluating LLMs for Code
MSR Data and Tool Showcase Track
Daniel Rodriguez-Cardenas William & Mary, Alejandro Velasco William & Mary, Denys Poshyvanyk William & Mary
Pre-print
16:50
40m
Tutorial
Harmonized Coding with AI: LLMs for Qualitative Analysis in Software Engineering Research
MSR Tutorials
Christoph Treude Singapore Management University, Youmei Fan Nara Institute of Science and Technology, Tao Xiao Kyushu University, Hideaki Hata Shinshu University

Tue 29 Apr

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

09:00 - 10:30
Plenary: MIP + FCAMSR MIP Award / MSR FCA Award / MSR Vision and Reflection at 214
Chair(s): Gabriele Bavota Software Institute @ Università della Svizzera Italiana, Jin L.C. Guo McGill University, Audris Mockus The University of Tennessee, Knoxville / Vilnius University, Martin Pinzger Universität Klagenfurt, Romain Robbes CNRS, LaBRI, University of Bordeaux, Patanamon Thongtanunam The University of Melbourne
09:00
30m
Awards
MSR 2025 Most Influential Paper Award
MSR MIP Award

09:30
30m
Awards
MSR 2025 Foundational Contribution Award by David Lo: Charting New Gold Mines: Expanding the World of MSR
MSR FCA Award

10:00
30m
Talk
The Standard of Rigor for MSR Research: A 20-Year Evolution
MSR Vision and Reflection
Bogdan Vasilescu Raj Reddy Associate Professor of Software and Societal Systems, Carnegie Mellon University, USA
11:00 - 12:30
Software ecosystems and humansMSR Data and Tool Showcase Track / MSR Technical Papers at 214
Chair(s): Ahmad Abdellatif University of Calgary
11:00
10m
Talk
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
10m
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
11:20
10m
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
11:30
10m
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
11:40
10m
Talk
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
5m
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
11:55
5m
Talk
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
5m
Talk
CoPhi - Mining C/C++ Packages for Conan Ecosystem Analysis
MSR Data and Tool Showcase Track
Vivek Sarkar University of Washington, Anemone Kampkötter TU Dortmund, Ben Hermann TU Dortmund
Pre-print
12:05
5m
Talk
MARIN: A Research-Centric Interface for Querying Software Artifacts on Maven Repositories
MSR Data and Tool Showcase Track
Johannes Düsing TU Dortmund, Jared Chiaramonte Arizona State University, Ben Hermann TU Dortmund
Pre-print
12:10
5m
Talk
GitProjectHealth: an Extensible Framework for Git Social Platform Mining
MSR Data and Tool Showcase Track
Nicolas Hlad Berger-Levrault, Benoit Verhaeghe Berger-Levrault, Kilian Bauvent Berger-levrault
12:15
5m
Talk
Myriad People. Open Source Software for New Media Arts
MSR Data and Tool Showcase Track
Benoit Baudry Université de Montréal, Erik Natanael Gustafsson Independent artist, Roni Kaufman Independent artist, Maria Kling Independent artist
Pre-print
12:20
5m
Talk
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
5m
Talk
Under the Blueprints: Parsing Unreal Engine’s Visual Scripting at Scale
MSR Data and Tool Showcase Track
Kalvin Eng University of Alberta, Abram Hindle University of Alberta
14:00 - 15:30
14:00
10m
Talk
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
10m
Talk
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
10m
Talk
Intelligent Semantic Matching (ISM) for Video Tutorial Search using Transformer Models
MSR Technical Papers
Ahmad Tayeb , Sonia Haiduc Florida State University
14:30
10m
Talk
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:40
10m
Talk
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
14:50
5m
Talk
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
14:55
5m
Talk
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:00
5m
Talk
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
15:05
10m
Talk
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
15:15
5m
Talk
GENCNIPPET: Automated Generation of Code Snippets for Supporting Programming Questions
MSR Registered Reports
Suborno Deb Bappon Department of Computer Science, University of Saskatchewan, Canada, Saikat Mondal University of Saskatchewan, Banani Roy University of Saskatchewan
16:00 - 17:30
Plenary: ClosingMSR Program / MSR Vision and Reflection at 214
Chair(s): Gabriele Bavota Software Institute @ Università della Svizzera Italiana, Jin L.C. Guo McGill University
16:00
30m
Talk
Future of AI4SE: From Code Generation to Software Engineering?
MSR Vision and Reflection
Baishakhi Ray Columbia University
16:30
30m
Talk
Reshaping MSR (and SE) empirical evaluations in 2030
MSR Vision and Reflection
Massimiliano Di Penta University of Sannio, Italy
17:00
15m
Day closing
Closing Session
MSR Program
Bram Adams Queen's University, Olga Baysal Carleton University, Ayushi Rastogi University of Groningen, The Netherlands
17:15
15m
Day closing
MSR 2026 Presentation
MSR Program

Wed 30 Apr

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

11:00 - 12:30
AI for Testing and QA 1ICSE Research Track / ICSE SE In Practice (SEIP) at 214
Chair(s): Jieshan Chen CSIRO's Data61
11:00
15m
Talk
Does GenAI Make Usability Testing Obsolete?Award Winner
ICSE Research Track
Ali Ebrahimi Pourasad University of Hamburg, Walid Maalej University of Hamburg
11:15
15m
Talk
Feature-Driven End-To-End Test Generation
ICSE Research Track
Parsa Alian University of British Columbia, Noor Nashid University of British Columbia, Mobina Shahbandeh University of British Columbia, Taha Shabani University of British Columbia, Ali Mesbah University of British Columbia
11:30
15m
Talk
SeeAction: Towards Reverse Engineering How-What-Where of HCI Actions from Screencasts for UI AutomationAward Winner
ICSE Research Track
Dehai Zhao CSIRO's Data61, Zhenchang Xing CSIRO's Data61, Qinghua Lu Data61, CSIRO, Xiwei (Sherry) Xu Data61, CSIRO, Liming Zhu CSIRO’s Data61
11:45
15m
Talk
Synthesizing Document Database Queries using Collection AbstractionsArtifact-FunctionalArtifact-AvailableArtifact-Reusable
ICSE Research Track
Qikang Liu Simon Fraser University, Yang He Simon Fraser University, Yanwen Cai Simon Fraser University, Byeongguk Kwak Simon Fraser University, Yuepeng Wang Simon Fraser University
12:00
15m
Talk
The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed LanguagesArtifact-FunctionalArtifact-AvailableArtifact-Reusable
ICSE Research Track
Boqi Chen McGill University, José Antonio Hernández López Linköping University, Gunter Mussbacher McGill University, Daniel Varro Linköping University / McGill University
12:15
15m
Talk
DialogAgent: An Auto-engagement Agent for Code Question Answering Data Production
ICSE SE In Practice (SEIP)
Xiaoyun Liang ByteDance, Jingyi Ren ByteDance, Jiayi Qi ByteDance, Chao Peng ByteDance, Bo Jiang Bytedance Network Technology
13:00 - 14:00
ASE 2025 Conference Program Committee MeetingICSE Meetings and BOFs at 214
13:00
60m
Meeting
ASE Conference Program Committee Meeting
ICSE Meetings and BOFs
P: Marcel Böhme MPI for Security and Privacy, Lingming Zhang University of Illinois at Urbana-Champaign
16:00 - 17:30
AI for Testing and QA 2ICSE Research Track / ICSE SE In Practice (SEIP) at 214
Chair(s): Michael Pradel University of Stuttgart
16:00
15m
Talk
Faster Configuration Performance Bug Testing with Neural Dual-level PrioritizationArtifact-FunctionalArtifact-AvailableArtifact-Reusable
ICSE Research Track
Youpeng Ma University of Electronic Science and Technology of China, Tao Chen University of Birmingham, Ke Li University of Exeter
Pre-print
16:15
15m
Talk
Metamorphic-Based Many-Objective Distillation of LLMs for Code-related TasksArtifact-FunctionalArtifact-AvailableArtifact-Reusable
ICSE Research Track
Annibale Panichella Delft University of Technology
16:30
15m
Talk
NIODebugger: A Novel Approach to Repair Non-Idempotent-Outcome Tests with LLM-Based Agent
ICSE Research Track
Kaiyao Ke University of Illinois at Urbana-Champaign
16:45
15m
Talk
Test Intention Guided LLM-based Unit Test Generation
ICSE Research Track
Zifan Nan Huawei, Zhaoqiang Guo Software Engineering Application Technology Lab, Huawei, China, Kui Liu Huawei, Xin Xia Huawei
17:00
15m
Talk
What You See Is What You Get: Attention-based Self-guided Automatic Unit Test Generation
ICSE 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
15m
Talk
Improving Code Performance Using LLMs in Zero-Shot: RAPGen
ICSE SE In Practice (SEIP)
Spandan Garg Microsoft Corporation, Roshanak Zilouchian Moghaddam Microsoft, Neel Sundaresan Microsoft

Thu 1 May

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

11:00 - 12:30
AI for Testing and QA 3ICSE Research Track at 214
Chair(s): Mike Papadakis University of Luxembourg
11:00
15m
Talk
A Multi-Agent Approach for REST API Testing with Semantic Graphs and LLM-Driven Inputs
ICSE 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
15m
Talk
ClozeMaster: Fuzzing Rust Compiler by Harnessing LLMs for Infilling Masked Real ProgramsArtifact-Available
ICSE 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
15m
Talk
LLM Based Input Space Partitioning Testing for Library APIsArtifact-FunctionalArtifact-Available
ICSE 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
15m
Talk
Leveraging Large Language Models for Enhancing the Understandability of Generated Unit TestsArtifact-FunctionalArtifact-Available
ICSE 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
15m
Talk
exLong: Generating Exceptional Behavior Tests with Large Language ModelsArtifact-Available
ICSE 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
15m
Talk
TOGLL: Correct and Strong Test Oracle Generation with LLMsArtifact-Available
ICSE Research Track
Soneya Binta Hossain University of Virginia, Matthew B Dwyer University of Virginia
14:00 - 15:30
Panel 1: The Future of Software Engineering Beyond the Hype of AIICSE Panels and Special Sessions at 214
Chair(s): Steven D. Fraser Innoxec

The first ICSE was held in Washington DC in September 1975. That year also saw the publication of “The Mythical Man Month,” Fred Brooks’s insightful collection of essays on software. Our global thirst for knowledge-on-the-go is supported by innovative web, mobile, networking, plus cloud-based applications, enabled by faster and more capable hardware. Software innovation faces challenges that include risks from nefarious actors and hidden defects. Innovations such as the integration of AI technology take time to learn and adopt. How can we best keep up? What have we discovered through research and practice? What might the future hold as we learn and collaborate to develop new software applications that are usable, economical, sustainable, resilient, and trustworthy? Join us for a 50th anniversary ICSE panel to discuss and learn what is required to meet the challenges of today and tomorrow.

Click here fore more details

14:00
90m
Panel
Panel 1: The Future of Software Engineering Beyond the Hype of AI
ICSE 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
16:00 - 17:30
TCSE and SIGSoft Town Hall MeetingICSE Meetings and BOFs at 214

Join the chairs of TCSE and SIGSOFT to hear about the services that these offer for the benefit of the community, and to shape those services by asking questions, providing feedback, and proposing new directions, activities, and events. Click on the event details below for more information.

16:00
90m
Meeting
TCSE and SIGSoft Town Hall Meeting
ICSE Meetings and BOFs
C: Federica Sarro University College London, C: Marsha Chechik University of Toronto, C: Arie van Deursen TU Delft

Fri 2 May

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

11:00 - 12:30
AI for Testing and QA 5ICSE SE In Practice (SEIP) at 214
Chair(s): Chunyang Chen TU Munich
11:00
15m
Talk
ASTER: Natural and Multi-language Unit Test Generation with LLMsAward Winner
ICSE 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
15m
Talk
Automated Code Review In Practice
ICSE 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
Pre-print
11:30
15m
Talk
CI at Scale: Lean, Green, and Fast
ICSE 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
15m
Talk
Moving Faster and Reducing Risk: Using LLMs in Release DeploymentAward Winner
ICSE 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 University of Tennessee, Megh Mehta Meta Platforms, Inc., Nachiappan Nagappan Meta Platforms, Inc.
12:00
15m
Talk
Prioritizing Large-scale Natural Language Test Cases at OPPO
ICSE 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
15m
Talk
Search+LLM-based Testing for ARM SimulatorsArtifact-AvailableArtifact-FunctionalArtifact-Reusable
ICSE 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
14:00 - 15:30
14:00
15m
Talk
Treefix: Enabling Execution with a Tree of PrefixesArtifact-FunctionalArtifact-AvailableArtifact-Reusable
ICSE Research Track
Beatriz Souza Universität Stuttgart, Michael Pradel University of Stuttgart
Pre-print
14:15
15m
Talk
Assessing Evaluation Metrics for Neural Test Oracle Generation
ICSE Journal-first Papers
Jiho Shin York University, Hadi Hemmati York University, Moshi Wei York University, Song Wang York University
14:30
15m
Talk
Enhancing Energy-Awareness in Deep Learning through Fine-Grained Energy Measurement
ICSE Journal-first Papers
Saurabhsingh Rajput Dalhousie University, Tim Widmayer University College London (UCL), Ziyuan Shang Nanyang Technological University, Maria Kechagia National and Kapodistrian University of Athens, Federica Sarro University College London, Tushar Sharma Dalhousie University
14:45
15m
Talk
Studying the Impact of TensorFlow and PyTorch Bindings on Machine Learning Software Quality
ICSE Journal-first Papers
Hao Li Queen's University, Gopi Krishnan Rajbahadur Centre for Software Excellence, Huawei, Canada, Cor-Paul Bezemer University of Alberta
15:00
15m
Talk
Evaluating the Generalizability of LLMs in Automated Program Repair
ICSE New Ideas and Emerging Results (NIER)
Fengjie Li Tianjin University, Jiajun Jiang Tianjin University, Jiajun Sun Tianjin University, Hongyu Zhang Chongqing University
Pre-print
15:15
15m
Talk
How Propense Are Large Language Models at Producing Code Smells? A Benchmarking Study
ICSE New Ideas and Emerging Results (NIER)
Alejandro Velasco William & Mary, Daniel Rodriguez-Cardenas William & Mary, David Nader Palacio William & Mary, Lutfar Rahman Alif University of Dhaka, Denys Poshyvanyk William & Mary
Pre-print
16:00 - 17:30
Quantum SEICSE Journal-first Papers / ICSE Research Track at 214
Chair(s): Dennis Mancl MSWX Software Experts
16:00
15m
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
16:15
15m
Talk
Quantum Approximate Optimization Algorithm for Test Case OptimizationQuantum
ICSE 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
15m
Talk
Testing Multi-Subroutine Quantum Programs: From Unit Testing to Integration TestingQuantum
ICSE Journal-first Papers
Peixun Long Institute of High Energy Physics, Chinese Academy of Science, Jianjun Zhao Kyushu University
16:45
15m
Talk
Mitigating Noise in Quantum Software Testing Using Machine LearningQuantum
ICSE 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
15m
Talk
Test Case Minimization with Quantum AnnealingQuantum
ICSE 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
7m
Talk
When Quantum Meets Classical: Characterizing Hybrid Quantum-Classical Issues Discussed in Developer ForumsQuantumArtifact-Available
ICSE Research Track
Jake Zappin William and Mary, Trevor Stalnaker William & Mary, Oscar Chaparro William & Mary, Denys Poshyvanyk William & Mary

Sat 3 May

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

09:00 - 10:30
Opening / Keynote 1 / Paper Session 1LLM4Code at 214
09:00
10m
Day opening
Opening
LLM4Code

09:10
60m
Keynote
Keynote 1
LLM4Code
10:10
10m
Talk
Are Large Language Models Memorizing Bug Benchmarks?
LLM4Code
Daniel Ramos Carnegie Mellon University, Claudia Mamede Carnegie Mellon University, Kush Jain Carnegie Mellon University, Paulo Canelas Carnegie Mellon University, Catarina Gamboa Carnegie Mellon University, Claire Le Goues Carnegie Mellon University
10:20
10m
Talk
RepairBench: Leaderboard of Frontier Models for Program Repair
LLM4Code
André Silva KTH Royal Institute of Technology, Martin Monperrus KTH Royal Institute of Technology
11:00 - 12:30
Keynote 2 / Paper Session 2LLM4Code at 214
11:00
60m
Keynote
Keynote 2
LLM4Code

12:00
10m
Talk
With a Little Help from My (LLM) Friends: Enhancing Static Analysis with LLMs to Detect Software Vulnerabilities
LLM4Code
Amy Munson University of California, San Diego, Juanita Gomez University of California, Santa Cruz, Álvaro Cárdenas University of California, Santa Cruz
12:10
10m
Talk
Automating the Detection of Code Vulnerabilities by Analyzing GitHub Issues
LLM4Code
Daniele Cipollone Delft University of Technology, Changjie Wang KTH Royal Institute of Technology, Mariano Scazzariello RISE Research Institutes of Sweden, Simone Ferlin Red Hat, Maliheh Izadi Delft University of Technology, Dejan Kostic KTH Royal Institute of Technology, Marco Chiesa KTH Royal Institute of Technology
12:20
10m
Talk
COSMosFL: Ensemble of Small Language Models for Fault Localisation
LLM4Code
Hyunjoon Cho KAIST, Sungmin Kang KAIST, Gabin An KAIST, Shin Yoo KAIST
14:00 - 15:30
Paper Session 3LLM4Code at 214
14:00
10m
Talk
Mix-of-Language-Experts Architecture for Multilingual Programming
LLM4Code
Yifan Zong University of Waterloo, Yuntian Deng University of Waterloo, Pengyu Nie University of Waterloo
14:10
10m
Talk
Proving the Coding Interview: A Benchmark for Formally Verified Code Generation
LLM4Code
Quinn Dougherty Unaffiliated, Ronak Mehta Unaffiliated
14:20
10m
Talk
LLM-ProS: Analyzing Large Language Models’ Performance in Competitive Problem Solving
LLM4Code
Md Sifat Hossain University of Dhaka, Anika Tabassum University of Dhaka, Md. Fahim Arefin University of Dhaka, Tarannum Shaila Zaman SUNY Polytechnic Institute
14:30
10m
Talk
Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis
LLM4Code
Manish Shetty University of California, Berkeley, Naman Jain University of California, Berkeley, Adwait Godbole University of California, Berkeley, Sanjit A. Seshia University of California, Berkeley, Koushik Sen University of California, Berkeley
14:40
10m
Talk
Evaluating Language Models for Computer Graphics Code Completion
LLM4Code
Jan Kels Heinrich-Heine-Universität Düsseldorf, Abdelhalim Dahou GESIS – Leibniz-Institute for the Social Sciences, Brigitte Mathiak GESIS – Leibniz-Institute for the Social Sciences
14:50
10m
Talk
From Zero to Sixty at the Speed of RAG: Improving YAML Recipe Generation via Retrieval
LLM4Code
Farima Farmahinifarahani J.P. Morgan AI Research, Petr Babkin J.P. Morgan AI Research, Salwa Alamir J.P. Morgan AI Research, Xiaomo Liu J.P. Morgan AI Research
15:00
10m
Talk
SC-Bench: A Large-Scale Dataset for Smart Contract Auditing
LLM4Code
Shihao Xia The Pennsylvania State University, Mengting He The Pennsylvania State University, Linhai Song The Pennsylvania State University, Yiying Zhang University of California San Diego
15:10
10m
Talk
METAMON: Finding Inconsistencies between Program Documentation and Behavior using Metamorphic LLM Queries
LLM4Code
Hyunseok Lee KAIST, Gabin An KAIST, Shin Yoo KAIST
15:20
10m
Talk
CWEval: Outcome-driven Evaluation on Functionality and Security of LLM Code Generation
LLM4Code
Jinjun Peng Columbia University, Leyi Cui Columbia University, Kele Huang Columbia University, Junfeng Yang Columbia University, Baishakhi Ray Columbia University
16:00 - 17:30
Paper Session 4 / Virtual Talk / Award Session & ClosingLLM4Code at 214
16:00
10m
Talk
Cracks in The Stack: Hidden Vulnerabilities and Licensing Risks in LLM Pre-Training Datasets
LLM4Code
Mahmoud Jahanshahi University of Tennessee, Audris Mockus University of Tennessee
16:10
10m
Talk
Understanding Code Properties: Is Code All You Need?
LLM4Code
Srivishnu Pyda University of Maryland, Daniel Nichols University of Maryland, Abhinav Bhatele University of Maryland
16:20
10m
Talk
Analysis of Student-LLM Interaction in a Software Engineering Project
LLM4Code
Agrawal Naman National University of Singapore, Ridwan Salihin Shariffdeen National University of Singapore, Wang Guanlin National University of Singapore, Sanka Rasnayaka National University of Singapore, Ganesh Neelakanta Iyer National University of Singapore
16:30
10m
Talk
Training LLMs for Generating IEC 61131-3 Structured Text with Online Feedback
LLM4Code
Aaron Haag Siemens AG, Bertram Fuchs Siemens AG, Altay Kacan Siemens AG, Oliver Lohse Siemens AG
16:40
10m
Talk
Deriving Coding-Specific Sub-Models from LLMs using Resource-Efficient Pruning (Virtual Talk)
LLM4Code
Laura Puccioni Spotify, Alireza Farshin NVIDIA, Mariano Scazzariello RISE Research Institutes of Sweden, Changjie Wang KTH Royal Institute of Technology, Marco Chiesa KTH Royal Institute of Technology, Dejan Kostic KTH Royal Institute of Technology
16:40
10m
Talk
Is More or Less Automation Better? An Investigation into the LLM4TDD Process (Virtual Talk)
LLM4Code
Sanyogita Piya The University of Texas at Arlington, Anahita Samadi The University of Texas at Arlington, Allison Sullivan University of Texas at Arlington
16:40
10m
Talk
Knowledge Graph Based Repository-Level Code Generation (Virtual Talk)
LLM4Code
Mihir Athale Northeastern University, Vishal Vaddina Quantiphi Inc.
16:40
10m
Talk
Leveraging LLMs for Legacy Code Modernization: Evaluation of LLM-Generated Documentation (Virtual Talk)
LLM4Code
Colin Diggs MITRE Corporation, Michael Doyle MITRE Corporation, Amit Madan MITRE Corporation, Emily Escamilla MITRE Corporation, Siggy Scott MITRE Corporation, Jacob Zimmer MITRE Corporation, Naveed Nekoo MITRE Corporation, Paul Ursino MITRE Corporation, Michael Bartholf MITRE Corporation, Zachary Robin MITRE Corporation, Anand Patel MITRE Corporation, Chris Glasz MITRE Corporation, William Macke MITRE Corporation, Paul Kirk MITRE Corporation, Jasper Phillips MITRE Corporation, Arun Sridharan MITRE Corporation, Doug Wendt MITRE Corporation, Scott Rosen MITRE Corporation, Nitin Naik MITRE Corporation, Justin F. Brunelle MITRE Corporation, Samruddhi Thaker MITRE Corporation
16:40
10m
Talk
From Theory to Practice: Code Generation Using LLMs for CAPEC and CWE Frameworks (Virtual Talk)
LLM4Code
Mohammed Murtuza Shahzad Syed Northern Illinois University, Joseph Wilson Northern Illinois University, Ibrahim Al Azher Northern Illinois University, Hamed Alhoori Dept. of Computer Science at the Northern Illinois University, Mona Rahimi Dept. of Computer Science at the Northern Illinois University
16:40
10m
Talk
Hierarchical Repository-Level Code Summarization for Business Applications Using Local LLMs (Virtual Talk)
LLM4Code
Nilesh Dhulshette TCS Research, Sapan Shah TCS Research, Vinay Kulkarni Tata Consultancy Services Research
16:40
10m
Talk
Code Summarization Beyond Function Level (Virtual Talk)
LLM4Code
Vladimir Makharev Innopolis University, AIRI, Vladimir Ivanov Innopolis University
16:40
10m
Talk
YABLoCo: Yet Another Benchmark for Long Context Code Generation (Virtual Talk)
LLM4Code
Aidar Valeev Innopolis University, Vladimir Ivanov Innopolis University, Roman Garaev Innopolis University, Vadim Lomshakov JetBrains, Irina Pionkovskaya Huawei Noah's Ark Lab, Israel Adewuyi Innopolis University
16:40
10m
Talk
CoCoNUT: Structural Code Understanding does not fall out of a tree (Virtual Talk)
LLM4Code
Claas Beger Cornell University, Saikat Dutta Cornell University
Pre-print
16:40
10m
Talk
Do Code LLMs Understand Design Patterns? (Virtual Talk)
LLM4Code
Zhenyu Pan Northwestern University, Xuefeng Song Northwestern University, Yunkun Wang Zhejiang University, Rongyu Cao Tongyi Lab, Alibaba, China, Binhua Li Tongyi Lab, Alibaba, China, Yongbin Li Tongyi Lab, Alibaba, China, Han Liu Northwestern University
16:40
10m
Talk
From Scientific Texts to Verifiable Code: Automating the Process with Transformers (Virtual Talk)
LLM4Code
Changjie Wang KTH Royal Institute of Technology, Mariano Scazzariello RISE Research Institutes of Sweden, Marco Chiesa KTH Royal Institute of Technology
16:50
10m
Day closing
Award Session & Closing
LLM4Code

Sun 27 Apr

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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
214

Sat 3 May

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

Mon 28 Apr

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
214

Tue 29 Apr

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
214

Fri 2 May

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

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
214

Sat 3 May

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
214
LLM4Code
Opening
09:00 - 09:10
LLM4Code
Keynote 1
09:10 - 10:10
LLM4Code
Keynote 2
11:00 - 12:00