ICFP/SPLASH 2025
Sun 12 - Sat 18 October 2025 Singapore
Wed 15 Oct 2025 17:00 - 17:30 at Peony NE - Session 2 Chair(s): Lukas Böhme

Programmers ask complex questions in their search for solutions during software development. Along with traditional tools such as debuggers and profilers, state-of-the-art approaches like Babylonian Programming can help programmers answer those questions through interactive and visual feedback. Large language models (LLMs) and programming agents are part of programmers’ toolboxes and are well-integrated into their development workflows. However, they are not yet helpful in considering questions involving run-time behavior.

In this paper, we first review the literature to identify concerns programmers face during development and highlight how humans usually address them. We then focus on questions about program behavior and propose integrating Babylonian-style programming techniques with LLMs to help answer related questions. Finally, we suggest four key properties that future LLM-based development tools should support: (1) LLM tool usage traceability for explainability, (2) resumability of development progress for handovers between human programmers and LLM-based programming agents, (3) context efficiency through selective data querying, and (4) multi-source synthesis for tool integration.

Wed 15 Oct

Displayed time zone: Perth change

16:00 - 17:40
Session 2PAINT at Peony NE
Chair(s): Lukas Böhme Hasso Plattner Institute, University of Potsdam, Potsdam, Germany
16:00
30m
Talk
TIDE: An Educational Live Programming Environment to Compose Graphics with PyTamaro
PAINT
Joey Bevilacqua USI Lugano, Nathan Coquerel Rennes University, Luca Chiodini USI Lugano, Igor Moreno Santos USI Lugano, Matthias Hauswirth USI Lugano
DOI Pre-print Media Attached
16:30
30m
Talk
The MNL: A Block-based Functional Programming Language with Reactive Blocks
PAINT
Steven Lolong University of Tübingen
DOI Pre-print
17:00
30m
Talk
Toward Bridging the Tool Gap: Equipping Large Language Models with Tools to Answer Programmers’ Questions
PAINT
Lukas Böhme Hasso Plattner Institute, University of Potsdam, Potsdam, Germany, Christoph Thiede Hasso Plattner Institute, University of Potsdam, Germany, Toni Mattis University of Potsdam; Hasso Plattner Institute, Tom Beckmann Hasso Plattner Institute, Jens Lincke Hasso Plattner Institute; University of Potsdam, Robert Hirschfeld Hasso Plattner Institute; University of Potsdam
DOI Pre-print
17:30
10m
Day closing
Closing
PAINT