My students and I have worked on three papers (two prototypes) that will be presented at SPLASH at end of October ◦ Christopher Esterhuyse -- Cooperative Specification via Composition Control (SLE2024) ▪︎ This paper investigates control mechanisms in declarative languages that can be used by a programmer to have guarantees about the written program even when it is extended by other programmers. The work is motivated by distributed systems governed by policies in which the actors that provide the policies may have been competing interests. Concretely, think about (data sharing) contracts that are embedded in a federated cloud infrastructure. ◦ Damian Frölich -- On the Soundness of Auto-completion Services for Dynamically Typed Languages (GPCE2024) ▪︎ This paper investigates the use of "abstract interpretation" to give sound auto-complete suggestions for dynamic languages and demonstrates the technique on a subset of Python. Here "sound" means: if you select a given candidate, the inserted code will not contain variables that turns out to be undefined when the code runs. ◦ Max Boksem -- Bridging Incremental Programming and Complex Software Development Environments (PAINT2024) ▪︎ This paper demos a prototype that we built to investigate a modular graph structure for representing and running source code. The tool allows you to create different projections out of the code such as code structure, documentation view, and execution history. The tool supports incremental and exploratory programming and "nested graphs" (importing a graph as a node) for hierarchical views, although this is a more recent add-on.

I am looking forward to the last one in particular. I hope that PAINT will accessible to remote participants.

I believe PAINT does not intend to have talks/demos by the authors. Instead, the audience will discuss the work and will give an opportunity to the authors to ask questions. This should result in great feedback for us, and generally good discussion, but may not be the most informative about the work itself. I will ask Max to record a video demo and share it here once I have it.

Thanks for posting! First link is wrong – goes to second paper.

Thanks for experimenting and noticing!

I am also very much interested to the last one, I see overlap with my own project (which I'll present at LIVE: code flow canvas). Is the prototype available online somewhere?

This makes me (even) more sad that I'm missing SPLASH this year. Good luck with the presentations!

@Thomas van Binsbergen I read the paper, and now I am even more looking forward to the demo! Something I found missing in the overview of the state of the art is Smalltalk and Lisp-Machine environments, which also aim at covering both explorative programming and the development of larger software systems.