ICPC 2025
Sun 27 - Mon 28 April 2025 Ottawa, Ontario, Canada
co-located with ICSE 2025

This program is tentative and subject to change.

Sun 27 Apr 2025 14:40 - 14:46 at 205 - Education, Debugging, Dynamic Analysis

Function overloading is a well-known technique available in most major programming languages, including C++, to facilitate compile-time polymorphism. Due to the complex requirements imposed by the CC++ Language Standard, the behaviour of overload resolution can be surprising even for experienced CC++ developers. This is exacerbated by the fact that if an unexpected function is selected in an overloaded situation, most compilers do not explain why. In addition, an overabundance of candidates can be a compilation time bottleneck. Despite its widespread usage, there are not many tools to help programmers analyse overload usage in a software project.

We developed an overloading inspector tool, Overlord, based on the open-source LLVM/Clang Compiler Infrastructure. With Overlord developers can list the possible candidate functions for a call site, and obtain step-by-step reasoning about the candidate selection process. Additionally to its comprehension functionality the tool also provides profiling data on overload resolution times to help library authors streamline the set of available overloads for improving the compilation performance.

This program is tentative and subject to change.

Sun 27 Apr

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

14:00 - 15:30
14:00
10m
Talk
JavaWiz: A Trace-Based Graphical Debugger for Software Development Education
Research Track
Markus Weninger JKU Linz, Simon Grünbacher Institute for System Software; Johannes Kepler University Linz, Austria, Herbert Prähofer Johannes Kepler University Linz
14:10
10m
Talk
Pinpointing the Learning Obstacles of an Interactive Theorem Prover
Research Track
Sára Juhošová Delft University of Technology, Andy Zaidman Delft University of Technology, Jesper Cockx Delft University of Technology
Pre-print
14:20
10m
Talk
AI-based automated grading of source code of introductory programming assignments
Research Track
Jayant Havare Indian Institute of technology - Bombay, Varsha Apte Indian Institute of technology - Bombay, Kaushikraj Maharajan Indian Institute of technology - Bombay, Nithin Chandra Gupta Samudrala Indian Institute of technology - Bombay, Ganesh Ramakrishnan Indian Institute of technology - Bombay, Srikanth Tamilselvam IBM Research, Sainath Vavilapalli Indian Institute of Technology - Bombay
14:30
10m
Talk
An Analysis of Students' Program Comprehension Processes in a Large Code Base
Research Track
Anshul Shah University of California, San Diego, Thanh Tong University of California, San Diego, Elena Tomson University of California, San Diego, Steven Shi University of California, San Diego, William G. Griswold University of California San Diego, Gerald Soosairaj University of California, San Diego
14:40
6m
Talk
OVERLORD: A C++ overloading inspector
Tool Demonstration
Botond Horváth ELTE Eötvös Loránd University, Budapest, Hungary, Richárd Szalay Eötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers, Zoltán Porkoláb ELTE Eötvös Loránd University, Budapest, Hungary
14:46
6m
Talk
Optimizing Code Runtime Performance through Context-Aware Retrieval-Augmented Generation
Early Research Achievements (ERA)
Manish Acharya Vanderbilt University, Yifan Zhang Vanderbilt University, Kevin Leach Vanderbilt University, Yu Huang Vanderbilt University
14:52
6m
Talk
Investigating Execution-Aware Language Models for Code Optimization
Replications and Negative Results (RENE)
Federico Di Menna University of L'Aquila, Luca Traini University of L'Aquila, Gabriele Bavota Software Institute @ Università della Svizzera Italiana, Vittorio Cortellessa University of L'Aquila
Pre-print
14:58
6m
Talk
Understanding Data Access in Microservices Applications Using Interactive Treemaps
Early Research Achievements (ERA)
Maxime ANDRÉ Namur Digital Institute, University of Namur, Marco Raglianti Software Institute - USI, Lugano, Anthony Cleve University of Namur, Michele Lanza Software Institute - USI, Lugano
Pre-print
15:04
6m
Talk
Divergence-Driven Debugging: Understanding Behavioral Changes Between Two Program Versions
Early Research Achievements (ERA)
Rémi Dufloer Univ. Lille, Inria, CNRS, Centrale Lille, UMR 9189 CRIStAL, F-59000 Lille, France, Imen Sayar Univ. Lille, CNRS, Inria, Centrale Lille, UMR 9189 CRIStAL, F-59000 Lille, France, Anne Etien Université de Lille, CNRS, Inria, Centrale Lille, UMR 9189 –CRIStAL, Steven Costiou INRIA Lille
15:10
10m
Talk
KotSuite: Unit Test Generation for Kotlin Programs in Android Applications
Research Track
Feng Yang Wuhan University, Qi Xin Wuhan University, Zhilei Ren Dalian University of Technology, Jifeng Xuan Wuhan University
15:20
10m
Live Q&A
Session's Discussion: "Education, Debugging, Dynamic Analysis"
Research Track

:
:
:
: